Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Laurent Théry
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extending Coq With Imperative Features and Its Application to SAT Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Mechanical Theorem Proving in Tarski’s Geometry
A Combinatorial Consistency Lemma With Application to Proving the PCP Theorem
SIAM Journal on Computing
Mathematics
Computer Science
Cryptographically Sound Theorem Proving
Algebra and Geometry
Tableau-Based Theorem Proving for Representation and Reasoning.
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof and Proving in Secondary School
Pythagoras
Mathematics
Education
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
