Meta-Guide.com

Wikipedia:

• Automated reasoning
• Automated theorem proving

See also:

Automated Reasoning | Automated Theorem Proving (Automated Deduction)

[105x Jun 2017]

• Higher Order Logic Theorem Proving and its Applications: Proceedings of the Ifip | Ebook
• First Order Logic and Automated Theorem Proving Texts in Computer Science
• Higher Order Logic Theorem Proving and its Applications: Proceedings of the Ifip | Ebook
• Interactive Theorem Proving and Program Development
• HOW TO INSTALL METAMATH THEOREM PROVER with mmj2 GUI interface
• Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• First Order Logic and Automated Theorem Proving Texts in Computer Science
• Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX 95,
• Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition Dover Books on C
• Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang
• 2017 03 09 – Joachim Breitner – Why use theorem provers when we have compilers
• Theorem Proving for FOL Satisfiability Procedures
• Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summe
• (…) How to turn (Liquid) Haskell into a theorem prover – Niki Vazou(Lambda Days 2017)
• Download Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vie
• Free Download Mathematics Mechanization Mechanical Geometry Theorem Proving, Mechanical Geometry Pro
• Download The Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis Computat
• Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX 95,
• Converse Midpoint Theorem Proving || Class 9 || SA 2 || NCERT || Easy Tricks ||
• Midpoint Theorem Proving || Quadrilateral Class 9 || SA 2 || NCERT ||
• Using Sophisticated Models in Resolution Theorem Proving Lecture Notes in Computer Science
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• Mathematics Mechanization Mechanical Geometry Theorem Proving, Mechanical Geometry Problem Solving a
• Logic for Computer Science Foundations of Automatic Theorem Proving Harper & Row computer science an
• Isabelle A Generic Theorem Prover Lecture Notes in Computer Science
• Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summe
• Interactive Theorem Proving and Program Development
• Interactive Theorem Proving and Program Development
• Book | Higher Order Logic Theorem Proving and its Applications: Proceedings of the Ifip
• Theorem Proving in Higher Order Logics by Richard J. Boulton
• Download Interactive Theorem Proving 4th International Conference ITP 2013 Rennes France July 22 26
• Download Interactive Theorem Proving Third International Conference ITP 2012 Princeton NJ USA August
• Download Interactive Theorem Proving Third International Conference ITP 2012 Princeton NJ USA August
• Download Interactive Theorem Proving 4th International Conference ITP 2013 Rennes France July 22 26
• Download Automated Theorem Proving in Software Engineering Book
• Calculus Unit 3.5 Notes Sandwich Theorem Proving Derivative of Sine 2016
• A verified Lisp implementation for a verified theorem prover
• Proof Theory Applied to Automated Theorem Proving
• Finding Loop Invariants Using a Theorem Prover
• General Theorem Proving for Satisfiability Modulo Theories: An Overview
• Fairness in Theorem Proving
• Download Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics PDF
• Automated Theorem Proving Theory and Practice
• What are the prospects for automatic theorem proving?
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• What are the prospects for automatic theorem proving?
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• PLSE Seminar Series Leonardo de Moura “The Lean Theorem Prover”
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• PLSE: Leonardo de Moura, “The Lean Theorem Prover”
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Mathematics Mechanization Mechanical Geometry Theorem Proving, Mechanical Geometry Problem Solving a
• Theorem provers are a P.L. researcher’s best friend
• Theorem Proving with Coq – Jaap Boender guest lecture
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Automated theorem proving
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics PDF
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Isabelle Theorem Prover tutorial
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics PDF
• Interactive Theorem Proving with Lean
• Interactive Theorem Proving and Program Development PDF
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Interactive Theorem Proving and Program Development
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• Logic for Computer Science Foundations of Automatic Theorem Proving Second Edition Dover Books on Co
• Interactive Theorem Proving and Program Development
• The KeYmaera X Theorem Prover
• Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
• Sten-Ake Tarnlund: AI and theorem-proving using a proof of P is not equal to NP, part 1
• Sten-Ake Tarnlund: AI and theorem-proving using a proof of P is not equal to NP, part 2
• Interactive Theorem Proving and Program Development
• Mid-point theorem | Parallelogram Theorem:Proving Quadrilateral is a Rhombus
• any intelligent activity can be described as theorem proving
• Applied Theorem Proving: Modelling Instruction Sets and Decompiling Machine Code
• Applied Theorem Proving: Modelling Instruction Sets and Decompiling Machine Code
• Resolution Theorem Prover
• Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions
• Sympony Theorem Prover Tutorial video
• Symphony Theorem Prover: Discharging CML Proof Obligations
• CML Theorem Prover tutorial
• Lecture 4 | A survey of automated theorem proving | John Harrison 
• Lecture 2 | A survey of automated theorem proving | John Harrison 
• Lecture 1 | A survey of automated theorem proving | John Harrison 
• Lecture 3 | A survey of automated theorem proving | John Harrison 
• Resolution Theorem Proving
• Interactive Theorem Proving (3)
• Interactive Theorem Proving (1-2)
• Interactive Theorem Proving (2-2)
• Interactive Theorem Proving (2-1)
• Interactive Theorem Proving (1-1)
• Pythagoras’ Theorem : proving whether a triangle is right-angled
• Using Theorem Provers as Preprocessors for Hybrid Systems Model Checking
• Thomas Ball – Advances in Automated Theorem Proving
• ICFP 2012. Gordon Stewart: Verified heap theorem prover by paramodulation.
• Theorem proving in GeoGebra
• Type Systems in Theorem Provers – Eric Willigers
• Intermediate value theorem: Proving an equation has at least one solution
• Theorem Prover Coq [DEMO]