Amanote Research
Register
Sign In
Mechanical Theorem Proving in Tarski’s Geometry
doi 10.1007/978-3-540-77356-6_9
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Julien Narboux
Publisher
Springer Berlin Heidelberg
Related search
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cryptographically Sound Theorem Proving
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
The Complexity of Theorem-Proving Procedures
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Comparing Unification Algorithms in First-Order Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Theorem Proving: An Equational Viewpoint
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
ELIOS-OBJ Theorem Proving in a Specification Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science