1![Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017](https://www.pdfsearch.io/img/bae29dbeae85e12a79c9850565c22edb.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:32
|
---|
2![Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California](https://www.pdfsearch.io/img/c0fac845251a84aebf03a56e4bc890e4.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2011-11-16 13:42:21
|
---|
3![A proof of Minkowski’s second theorem Matthew Tointon Minkowski’s second theorem is a fundamental result from the geometry of numbers with important applications in additive combinatorics (see, for example, its appli A proof of Minkowski’s second theorem Matthew Tointon Minkowski’s second theorem is a fundamental result from the geometry of numbers with important applications in additive combinatorics (see, for example, its appli](https://www.pdfsearch.io/img/85d7d505dc30ca06af13ee2aabaa3409.jpg) | Add to Reading ListSource URL: tointon.neocities.orgLanguage: English - Date: 2017-05-18 16:55:52
|
---|
4![Theorem Proving using Lazy Proof Expli
ation Corma
Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear
h Center, HP Labs, Palo Alto, CA 2 Theorem Proving using Lazy Proof Expli
ation Corma
Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear
h Center, HP Labs, Palo Alto, CA 2](https://www.pdfsearch.io/img/288d657b371943d9f8e22d6605813db6.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
5![A BOUNDEDNESS THEOREM FOR NEARBY SLOPES OF HOLONOMIC D-MODULES by Jean-Baptiste Teyssier Abstract. — Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundednes A BOUNDEDNESS THEOREM FOR NEARBY SLOPES OF HOLONOMIC D-MODULES by Jean-Baptiste Teyssier Abstract. — Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundednes](https://www.pdfsearch.io/img/653915a1ce1cad59769e01885bcd3364.jpg) | Add to Reading ListSource URL: jbteyssier.comLanguage: English - Date: 2015-09-11 11:04:53
|
---|
6![Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber](https://www.pdfsearch.io/img/1de8577d934aeb3310fcc73e62f513c7.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2005-09-13 07:36:26
|
---|
7![An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road, An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road,](https://www.pdfsearch.io/img/653edbbaaae96c027a3aee3a05128172.jpg) | Add to Reading ListSource URL: tointon.neocities.orgLanguage: English - Date: 2017-05-18 16:55:58
|
---|
8![Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?](https://www.pdfsearch.io/img/78359597414b4153da40d5ab97f0de9b.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:46:13
|
---|
9![INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds](https://www.pdfsearch.io/img/651a1f1743ac4394ed941dd9d4de26be.jpg) | Add to Reading ListSource URL: math.univ-bpclermont.frLanguage: English - Date: 2018-03-05 11:11:23
|
---|
10![Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover](https://www.pdfsearch.io/img/a5f0b664dea4170ff9bce53172b82870.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:09
|
---|