swampland conjectures
play

Swampland Conjectures Pablo Soler - Heidelberg ITP Strings and - PowerPoint PPT Presentation

Dec 06, 2022 •278 likes •860 views

Swampland Conjectures Pablo Soler - Heidelberg ITP Strings and Fields 19 - YITP Kyoto String phenomenology & the swampland <latexit

  1. Swampland Conjectures Pablo Soler - Heidelberg ITP Strings and Fields ’19 - YITP Kyoto

  2. String phenomenology & the swampland

  3. <latexit sha1_base64="EAxFprSVFYJYfuKS7d/uV4r6OYc=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyKoMegF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4Xopb1yxa/6c5BVEuSkAjnqvfJXt69YlqC0TFBjOoGf2nBCteVM4LTUzQymlI3oADuOSpqgCSfza6fkzCl9EivtSloyV39PTGhizDiJXGdC7dAsezPxP6+T2fg6nHCZhYlWyKM0GsIrPXSZ9rZFaMHaFMc3crYUOqKbMuoJILIVh+eZU0L6qBXw3uLyu1mzyOIpzAKZxDAFdQgzuoQwMYPMIzvMKbp7wX7937WLQWvHzmGP7A+/wBlJiPHg=</latexit> <latexit sha1_base64="EAxFprSVFYJYfuKS7d/uV4r6OYc=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyKoMegF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4Xopb1yxa/6c5BVEuSkAjnqvfJXt69YlqC0TFBjOoGf2nBCteVM4LTUzQymlI3oADuOSpqgCSfza6fkzCl9EivtSloyV39PTGhizDiJXGdC7dAsezPxP6+T2fg6nHCZhYlWyKM0GsIrPXSZ9rZFaMHaFMc3crYUOqKbMuoJILIVh+eZU0L6qBXw3uLyu1mzyOIpzAKZxDAFdQgzuoQwMYPMIzvMKbp7wX7937WLQWvHzmGP7A+/wBlJiPHg=</latexit> <latexit sha1_base64="EAxFprSVFYJYfuKS7d/uV4r6OYc=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyKoMegF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4Xopb1yxa/6c5BVEuSkAjnqvfJXt69YlqC0TFBjOoGf2nBCteVM4LTUzQymlI3oADuOSpqgCSfza6fkzCl9EivtSloyV39PTGhizDiJXGdC7dAsezPxP6+T2fg6nHCZhYlWyKM0GsIrPXSZ9rZFaMHaFMc3crYUOqKbMuoJILIVh+eZU0L6qBXw3uLyu1mzyOIpzAKZxDAFdQgzuoQwMYPMIzvMKbp7wX7937WLQWvHzmGP7A+/wBlJiPHg=</latexit> <latexit sha1_base64="EAxFprSVFYJYfuKS7d/uV4r6OYc=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyKoMegF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4Xopb1yxa/6c5BVEuSkAjnqvfJXt69YlqC0TFBjOoGf2nBCteVM4LTUzQymlI3oADuOSpqgCSfza6fkzCl9EivtSloyV39PTGhizDiJXGdC7dAsezPxP6+T2fg6nHCZhYlWyKM0GsIrPXSZ9rZFaMHaFMc3crYUOqKbMuoJILIVh+eZU0L6qBXw3uLyu1mzyOIpzAKZxDAFdQgzuoQwMYPMIzvMKbp7wX7937WLQWvHzmGP7A+/wBlJiPHg=</latexit> <latexit sha1_base64="8DaxENaOM20fupORTAiGRfmtnI4=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyqoMeAF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4XomV654lf9OcgqCXJSgRz1Xvmr21csS1BaJqgxncBPbTih2nImcFrqZgZTykZ0gB1HJU3QhJP5tVNy5pQ+iZV2JS2Zq78nJjQxZpxErjOhdmiWvZn4n9fJbHwTrhM4uSLRbFmSBWkdnrpM81MivGjlCmubuVsCHVlFkXUMmFECy/vEqaF9XArwb3V5XaZR5HEU7gFM4hgGuowR3UoQEMHuEZXuHNU96L9+59LFoLXj5zDH/gf4AlKGPEg=</latexit> <latexit sha1_base64="8DaxENaOM20fupORTAiGRfmtnI4=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyqoMeAF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4XomV654lf9OcgqCXJSgRz1Xvmr21csS1BaJqgxncBPbTih2nImcFrqZgZTykZ0gB1HJU3QhJP5tVNy5pQ+iZV2JS2Zq78nJjQxZpxErjOhdmiWvZn4n9fJbHwTrhM4uSLRbFmSBWkdnrpM81MivGjlCmubuVsCHVlFkXUMmFECy/vEqaF9XArwb3V5XaZR5HEU7gFM4hgGuowR3UoQEMHuEZXuHNU96L9+59LFoLXj5zDH/gf4AlKGPEg=</latexit> <latexit sha1_base64="8DaxENaOM20fupORTAiGRfmtnI4=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyqoMeAF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4XomV654lf9OcgqCXJSgRz1Xvmr21csS1BaJqgxncBPbTih2nImcFrqZgZTykZ0gB1HJU3QhJP5tVNy5pQ+iZV2JS2Zq78nJjQxZpxErjOhdmiWvZn4n9fJbHwTrhM4uSLRbFmSBWkdnrpM81MivGjlCmubuVsCHVlFkXUMmFECy/vEqaF9XArwb3V5XaZR5HEU7gFM4hgGuowR3UoQEMHuEZXuHNU96L9+59LFoLXj5zDH/gf4AlKGPEg=</latexit> <latexit sha1_base64="8DaxENaOM20fupORTAiGRfmtnI4=">AB7XicbVDLSgNBEOyNrxhfUY9eBoPgKeyqoMeAF48RzAOSJcxOepMxszPLzKwQv7BiwdFvPo/3vwbJ8keNLGgoajqprsrSgU31ve/vcLa+sbmVnG7tLO7t39QPjxqGpVphg2mhNLtiBoUXGLDciuwnWqkSwFY1uZ37rCbXhSj7YcYphQgeSx5xR6RmF4XomV654lf9OcgqCXJSgRz1Xvmr21csS1BaJqgxncBPbTih2nImcFrqZgZTykZ0gB1HJU3QhJP5tVNy5pQ+iZV2JS2Zq78nJjQxZpxErjOhdmiWvZn4n9fJbHwTrhM4uSLRbFmSBWkdnrpM81MivGjlCmubuVsCHVlFkXUMmFECy/vEqaF9XArwb3V5XaZR5HEU7gFM4hgGuowR3UoQEMHuEZXuHNU96L9+59LFoLXj5zDH/gf4AlKGPEg=</latexit> <latexit sha1_base64="uD+wtoefsR0DkLrUP2Tpiynljx8=">AB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GNBA8eWrAf0Iay2U7atZtN2N0IJfQXePGgiFd/kjf/jds2B219MPB4b4aZeUEiuDau+0U1tY3NreK26Wd3b39g/LhUvHqWLYZLGIVSegGgWX2DTcCOwkCmkUCGwH45uZ35CpXksH8wkQT+iQ8lDzqixUuO+X64VXcOskq8nFQgR71f/uoNYpZGKA0TVOu5ybGz6gynAmclnqpxoSyMR1i1JI9R+Nj90Ss6sMiBhrGxJQ+bq74mMRlpPosB2RtSM9LI3E/zuqkJr/2MyQ1KNliUZgKYmIy+5oMuEJmxMQSyhS3txI2oyY7Mp2RC85ZdXSeui6rlVr3FZqd3mcRThBE7hHDy4ghrcQR2awADhGV7hzXl0Xpx352PRWnDymWP4A+fzB6RwjNM=</latexit> <latexit sha1_base64="uD+wtoefsR0DkLrUP2Tpiynljx8=">AB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GNBA8eWrAf0Iay2U7atZtN2N0IJfQXePGgiFd/kjf/jds2B219MPB4b4aZeUEiuDau+0U1tY3NreK26Wd3b39g/LhUvHqWLYZLGIVSegGgWX2DTcCOwkCmkUCGwH45uZ35CpXksH8wkQT+iQ8lDzqixUuO+X64VXcOskq8nFQgR71f/uoNYpZGKA0TVOu5ybGz6gynAmclnqpxoSyMR1i1JI9R+Nj90Ss6sMiBhrGxJQ+bq74mMRlpPosB2RtSM9LI3E/zuqkJr/2MyQ1KNliUZgKYmIy+5oMuEJmxMQSyhS3txI2oyY7Mp2RC85ZdXSeui6rlVr3FZqd3mcRThBE7hHDy4ghrcQR2awADhGV7hzXl0Xpx352PRWnDymWP4A+fzB6RwjNM=</latexit> <latexit sha1_base64="uD+wtoefsR0DkLrUP2Tpiynljx8=">AB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GNBA8eWrAf0Iay2U7atZtN2N0IJfQXePGgiFd/kjf/jds2B219MPB4b4aZeUEiuDau+0U1tY3NreK26Wd3b39g/LhUvHqWLYZLGIVSegGgWX2DTcCOwkCmkUCGwH45uZ35CpXksH8wkQT+iQ8lDzqixUuO+X64VXcOskq8nFQgR71f/uoNYpZGKA0TVOu5ybGz6gynAmclnqpxoSyMR1i1JI9R+Nj90Ss6sMiBhrGxJQ+bq74mMRlpPosB2RtSM9LI3E/zuqkJr/2MyQ1KNliUZgKYmIy+5oMuEJmxMQSyhS3txI2oyY7Mp2RC85ZdXSeui6rlVr3FZqd3mcRThBE7hHDy4ghrcQR2awADhGV7hzXl0Xpx352PRWnDymWP4A+fzB6RwjNM=</latexit> <latexit sha1_base64="uD+wtoefsR0DkLrUP2Tpiynljx8=">AB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GNBA8eWrAf0Iay2U7atZtN2N0IJfQXePGgiFd/kjf/jds2B219MPB4b4aZeUEiuDau+0U1tY3NreK26Wd3b39g/LhUvHqWLYZLGIVSegGgWX2DTcCOwkCmkUCGwH45uZ35CpXksH8wkQT+iQ8lDzqixUuO+X64VXcOskq8nFQgR71f/uoNYpZGKA0TVOu5ybGz6gynAmclnqpxoSyMR1i1JI9R+Nj90Ss6sMiBhrGxJQ+bq74mMRlpPosB2RtSM9LI3E/zuqkJr/2MyQ1KNliUZgKYmIy+5oMuEJmxMQSyhS3txI2oyY7Mp2RC85ZdXSeui6rlVr3FZqd3mcRThBE7hHDy4ghrcQR2awADhGV7hzXl0Xpx352PRWnDymWP4A+fzB6RwjNM=</latexit> ` p String/M-theory ` s L

Recommend

Conjectures from Quantum Gravity - Exploring the Landscape inside the Swampland - Florian Wolf

Conjectures from Quantum Gravity - Exploring the Landscape inside the Swampland - Florian Wolf

Conjectures from Quantum Gravity - Exploring the Landscape inside the Swampland - Florian Wolf Young Scientists Workshop at Castle Ringberg on July 19, 2017 Swampland vs. Landscape High energy, more dimensions, Quantum Gravity e.g. String

481 views • 33 slides
Bounding parameters in the web of swampland conjectures Niccol` o Cribiori Cortona Young, May

Bounding parameters in the web of swampland conjectures Niccol` o Cribiori Cortona Young, May

Bounding parameters in the web of swampland conjectures Niccol` o Cribiori Cortona Young, May 27th, 2020 Based on 2004.00030, with D. Andriot and D. Erkinger Introduction Niccol` o Cribiori Bounding parameters in the web of swampland

206 views • 20 slides
Some Evidences and Consequences of Swampland Conjectures Gary Shiu University of

Some Evidences and Consequences of Swampland Conjectures Gary Shiu University of

Some Evidences and Consequences of Swampland Conjectures Gary Shiu University of Wisconsin-Madison String Theory Landscape String Theory Landscape Anything goes? An even vaster Swampland? An even vaster Swampland? END OF LANDSCAPE

875 views • 52 slides
Luca Martucci Recent swampland conjectures imply no de Sitter vacua in string theory! [Obied,

Luca Martucci Recent swampland conjectures imply no de Sitter vacua in string theory! [Obied,

a DIPARTIMENTO D DI FISICA F E ASTRONOMIA A Galileo Galilei Luca Martucci Recent swampland conjectures imply no de Sitter vacua in string theory! [Obied, Ooguri, Spodyneiko, Vafa `18] [Dvali, Gomez `18] [Ooguri, Palti, Shiu, Vafa `18]

631 views • 24 slides
The 6D supergravity swampland Theoretical Tests of the Swampland University of Massachusetts

The 6D supergravity swampland Theoretical Tests of the Swampland University of Massachusetts

6D supergravity and F-theory models 6D supergravity swampland Charge completeness and massless charge universality The 6D supergravity swampland Theoretical Tests of the Swampland University of Massachusetts Amherst October 21, 2019

751 views • 48 slides
Hyperbolic Field Space and Swampland Conjecture for DBI Scalar Speaker: Yun-Long Zhang Yukawa

Hyperbolic Field Space and Swampland Conjecture for DBI Scalar Speaker: Yun-Long Zhang Yukawa

Refined Swampland conjecture DBI from Two-field model Non-canonical theories Summary Hyperbolic Field Space and Swampland Conjecture for DBI Scalar Speaker: Yun-Long Zhang Yukawa Institute for Theoretical Physics, Kyoto University based on

313 views • 17 slides
Conjectures regarding chi-bounded classes of graphs ILKYOO CHOI 1 , O-joung Kwon 2 , and Sang-il

Conjectures regarding chi-bounded classes of graphs ILKYOO CHOI 1 , O-joung Kwon 2 , and Sang-il

Conjectures regarding chi-bounded classes of graphs Conjectures regarding chi-bounded classes of graphs ILKYOO CHOI 1 , O-joung Kwon 2 , and Sang-il Oum 1 Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea Hungarian

1.05k views • 70 slides
MODULI STABILISATION AND THE HOLOGRAPHIC SWAMPLAND Joseph Conlon DIAS, Oct 2020 (based on JC,

MODULI STABILISATION AND THE HOLOGRAPHIC SWAMPLAND Joseph Conlon DIAS, Oct 2020 (based on JC,

MODULI STABILISATION AND THE HOLOGRAPHIC SWAMPLAND Joseph Conlon DIAS, Oct 2020 (based on JC, Quevedo 1811.06276, JC, Revello 2006.01021) MODULI: WHAT? L = L GR + L SM + L BSM What is in ? L BSM Simple concept: massive

467 views • 29 slides
Flux Compactifications (Clearing the Swampland) Gianguido DallAgata (Padua University / INFN)

Flux Compactifications (Clearing the Swampland) Gianguido DallAgata (Padua University / INFN)

GGI W orkshop Firenze, April 12th, 2007 Flux Compactifications (Clearing the Swampland) Gianguido DallAgata (Padua University / INFN) References Flux compactifications in string theory: A Comprehensive review. Mariana Grana (Ecole

650 views • 44 slides
Classical de Sitter solutions and the swampland David ANDRIOT Introduction Stringy de Sitter

Classical de Sitter solutions and the swampland David ANDRIOT Introduction Stringy de Sitter

David ANDRIOT Classical de Sitter solutions and the swampland David ANDRIOT Introduction Stringy de Sitter CERN, Geneva, Switzerland Consequences, refinements Constraints Based on arXiv:1609.00385 (with J. Bl ab ack), 1710.08886

1.15k views • 90 slides
Three Researchers, Five Conjectures: An Empirical Analysis of TOM-Skype Censorship and

Three Researchers, Five Conjectures: An Empirical Analysis of TOM-Skype Censorship and

Three Researchers, Five Conjectures: An Empirical Analysis of TOM-Skype Censorship and Surveillance Jeffrey Knockel Jedidiah R. Crandall Jared Saia Computer Science Department University of New Mexico Secrets If you find a locked

461 views • 27 slides
Some Pretty Edge Coloring Conjectures Rong Luo Department of Mathematics West Virginia

Some Pretty Edge Coloring Conjectures Rong Luo Department of Mathematics West Virginia

Some Pretty Edge Coloring Conjectures Rong Luo Department of Mathematics West Virginia University Rong Luo (WVU) Some Pretty Edge Coloring Conjectures 1 / 1 Introduction A simple graph is a graph without multiple edges while a graph means

1.37k views • 122 slides
Evidence Towards a Swampland Conjecture Eran Palti University of Heidelberg 1602.06517 (JHEP

Evidence Towards a Swampland Conjecture Eran Palti University of Heidelberg 1602.06517 (JHEP

Evidence Towards a Swampland Conjecture Eran Palti University of Heidelberg 1602.06517 (JHEP 1608 (2016) 043) with Florent Baume 1609.00010 (JHEP 01 (2017) 088) with Daniel Klaewer Physics and Geometry of F-theory, Trieste, February 2017 In

652 views • 24 slides
Extension complexity bounds for polygons Numerical factorizations and conjectures Franois

Extension complexity bounds for polygons Numerical factorizations and conjectures Franois

Extension complexity bounds for polygons Numerical factorizations and conjectures Franois Glineur Universit catholique de Louvain (UCLouvain) Center for Operations Research and Econometrics and Information and Communication Technologies,

1.1k views • 74 slides
Duality and Axionic Weak Gravity Stefano Andriolo KU Leuven [based on: SA, Huang, Noumi, Ooguri,

Duality and Axionic Weak Gravity Stefano Andriolo KU Leuven [based on: SA, Huang, Noumi, Ooguri,

Duality and Axionic Weak Gravity Stefano Andriolo KU Leuven [based on: SA, Huang, Noumi, Ooguri, Shiu 20 2004.13721] StringPheno Summer series 28th July 2020 THE SWAMPLAND [Vafa 05, Ooguri,Vafa 06] Landscape: Swampland:

315 views • 30 slides
Oblivious Mechanisms in Differential Privacy Experiments, Conjectures, and Open Questions

Oblivious Mechanisms in Differential Privacy Experiments, Conjectures, and Open Questions

Oblivious Mechanisms in Differential Privacy Experiments, Conjectures, and Open Questions Chien-Lun Chen Joint work with Ranjan Pal and Leana Golubchik 1 5/27/2016 Quantitative Evaluation &amp; Design (QED) Research Group Privacy Issues in

438 views • 15 slides
Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper

Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper

Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper Bounds , Simpler Proofs and Algorithmic Applications Leonid Gurvits CCS-3 Los Alamos National Laboratory , Nuevo Mexico e-mail: gurvits@lanl.gov

565 views • 41 slides
MathCheck 2: A SAT+CAS Verifier for Combinatorial Conjectures Curtis Bright 1 , Vijay Ganesh 1 ,

MathCheck 2: A SAT+CAS Verifier for Combinatorial Conjectures Curtis Bright 1 , Vijay Ganesh 1 ,

MathCheck 2: A SAT+CAS Verifier for Combinatorial Conjectures Curtis Bright 1 , Vijay Ganesh 1 , Albert Heinle 1 , Ilias Kotsireas 2 , Saeed Nejati 1 , Krzysztof Czarnecki 1 1 University of Waterloo, 2 Wilfred Laurier University July 2, 2016 To

750 views • 28 slides
New Conjectures in the Geometry of Numbers Daniel Dadush Centrum Wiskunde &amp; Informatica

New Conjectures in the Geometry of Numbers Daniel Dadush Centrum Wiskunde &amp; Informatica

New Conjectures in the Geometry of Numbers Daniel Dadush Centrum Wiskunde &amp; Informatica (CWI) Oded Regev New York University Talk Outline 1. A Reverse Minkowski Inequality &amp; its conjectured Strengthening. 2. Strong Reverse

946 views • 79 slides
Model Theory of Transseries Matthias Aschenbrenner Overview I. Transseries II. Some Conjectures

Model Theory of Transseries Matthias Aschenbrenner Overview I. Transseries II. Some Conjectures

Model Theory of Transseries Matthias Aschenbrenner Overview I. Transseries II. Some Conjectures about Transseries III. Recent Results (joint with L OU VAN DEN D RIES and J ORIS VAN DER H OEVEN ) I. Transseries A reminder on Laurent series ( x

1.47k views • 117 slides
Elliptic Curves: Facts, Conjectures and Applications Gerhard Frey Institute for Experimental

Elliptic Curves: Facts, Conjectures and Applications Gerhard Frey Institute for Experimental

Elliptic Curves: Facts, Conjectures and Applications Gerhard Frey Institute for Experimental Mathematics University of Essen e-mail: frey@iem.uni-due.de ECC 2010 Seattle 1 1 Prelude Problems: 1. Kroneckers Dream: Let K be a field.

728 views • 68 slides
Brunn-Minkowski type inequalities and conjectures K aroly B or oczky Alfr ed R

Brunn-Minkowski type inequalities and conjectures K aroly B or oczky Alfr ed R

Brunn-Minkowski type inequalities and conjectures K aroly B or oczky Alfr ed R enyi Institute of Mathematics and CEU Jena, September, 2019 Brunn-Minkowski inequality K , C convex bodies in R n , , &gt; 0 K + C = {

484 views • 21 slides
Recent progress towards the Kobayashi and Green-Griffiths-Lang conjectures Jean-Pierre Demailly

Recent progress towards the Kobayashi and Green-Griffiths-Lang conjectures Jean-Pierre Demailly

Recent progress towards the Kobayashi and Green-Griffiths-Lang conjectures Jean-Pierre Demailly Institut Fourier, Universit e de Grenoble Alpes &amp; Acad emie des Sciences de Paris November 28-29, 2015 16th Takagi Lectures, University

863 views • 17 slides
PhD Research Proposal A SAT+CAS system for checking math conjectures Curtis Bright University of

PhD Research Proposal A SAT+CAS system for checking math conjectures Curtis Bright University of

PhD Research Proposal A SAT+CAS system for checking math conjectures Curtis Bright University of Waterloo March 14, 2016 1 / 50 Motivation The research areas of SMT [SAT-Modulo-Theories] solving and symbolic computation are quite

859 views • 65 slides

More recommend