Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
1	Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:32 Theoretical computer science Formal methods Mathematical logic Logic in computer science Mathematics Constraint programming Automated theorem proving Satisfiability modulo theories Formal verification Type theory First-order logic Vampire
2	Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:42:21 Mathematical logic Logic Mathematics Model theory Automated theorem proving Predicate logic Semantics Logic programming Resolution First-order logic Skolem normal form Substitution
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 Add to Reading List Source URL: tointon.neocities.org Language: English - Date: 2017-05-18 16:55:52 Spectral theory Hermann Minkowski Minkowski's second theorem Operator theory Mathematics Dissipative operator
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 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP
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 Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2015-09-11 11:04:53 Mathematics Mathematical analysis Abstract algebra Sheaf theory Divisor D-module Extreme value theorem Commutative algebra Algebraic geometry Morphism of algebraic varieties Dimension theory
6	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:26 Proof assistants Theoretical computer science Logic in computer science Mathematical logic Isabelle Logic for Computable Functions Mathematics Resolution Constructible universe Theorem prover LCF Formal methods
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, Add to Reading List Source URL: tointon.neocities.org Language: English - Date: 2017-05-18 16:55:58 Lie groups Mathematics Algebra Abstract algebra Nilpotent group Approximate group Lie algebra Exponential map BakerCampbellHausdorff formula Quotient group
8	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:46:13 Logic Mathematical logic Linguistics Predicate logic Knowledge representation Tree FO Predicate transformer semantics Substitution B-tree Symbol Control
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 Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2018-03-05 11:11:23 Algebra Mathematics Abstract algebra Homotopy theory Category theory Algebraic structures Differential geometry Algebraic topology Groupoid Lie algebroid Group action Equivalence relation
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 Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set

UPDATE