Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Kinyon
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Related publications
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
Automated Theorem Proving by Translation to Description Logic
EasyChair Preprints
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
Proof and Proving in Secondary School
Pythagoras
Mathematics
Education
Reasoning, Proof and Proving in Mathematics Education
The Complexity of Theorem-Proving Procedures
Tableau-Based Theorem Proving for Representation and Reasoning.
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
