Search results
From MaRDI portal
- Paper The CADE-28 Automated Theorem Proving System Competition – CASC-28 2022-04-19 Paper The 10th IJCAR automated theorem proving system competition – CASC-J10...10 bytes (16 words) - 17:52, 9 December 2023
- Paper Rewrite method for theorem proving in first order theory with equality 1987-01-01 Paper Automatic inductive theorem proving using Prolog 1987-01-01...10 bytes (16 words) - 07:04, 7 October 2023
- Publication Date of Publication Type Proving termination by dependency pairs and inductive theorem proving 2012-07-31 Paper Termination Analysis by Dependency...10 bytes (16 words) - 11:26, 6 October 2023
- Publication Date of Publication Type Proving termination by dependency pairs and inductive theorem proving 2012-07-31 Paper Termination Analysis by Dependency...10 bytes (16 words) - 11:26, 6 October 2023
- 1988-01-01 Paper On the Application of a Smoothness Function in Proving a Local Limit Theorem 1988-01-01 Paper A Measure of “smoothness” of Multidimensional...10 bytes (18 words) - 10:55, 12 December 2023
- de/entity/Q4539651 2002-07-10 Paper Automated theorem proving in mathematics. 1997-05-12 Paper MUSCADET: An automatic theorem proving system using knowledge and metaknowledge...10 bytes (16 words) - 10:21, 13 December 2023
- Polynomial Theorem 1968-01-01 Paper Experiments With a Multipurpose, Theorem-Proving Heuristic Program 1968-01-01 Paper Automatic Theorem Proving With Renamable...10 bytes (18 words) - 13:25, 13 December 2023
- Paper SMTtoTPTP – A Converter for Theorem Proving Formats 2015-12-02 Paper Beagle – A Hierarchic Superposition Theorem Prover 2015-12-02 Paper Finite Quantification...10 bytes (16 words) - 17:45, 7 December 2023
- historical perspective 2022-12-12 Paper On fairness of completion-based theorem proving strategies 2022-12-09 Paper SGGS decision procedures 2022-11-09 Paper...10 bytes (19 words) - 15:52, 10 December 2023
- statements and mechanical geometry theorem proving 1989-01-01 Paper An introduction to Wu's method for mechanical theorem proving in geometry 1988-01-01 Paper...10 bytes (17 words) - 19:14, 9 December 2023
- de/entity/Q4296171 1994-06-16 Paper Uniform strategies: The CADE-11 theorem proving contest 1994-04-12 Paper Combinatorial results relating to products...10 bytes (19 words) - 18:26, 9 December 2023
- AC-termination 2007-08-24 Paper Mechanically proving termination using polynomial interpretations 2006-11-17 Paper Theorem Proving in Higher Order Logics 2006-07-06...10 bytes (16 words) - 12:26, 12 December 2023
- Formalisation of Green’s Theorem 2016-10-27 Paper A Formal Proof of Cauchy’s Residue Theorem 2016-10-27 Paper Automated theorem proving for special functions...10 bytes (19 words) - 19:14, 9 December 2023
- 2022-05-12 Paper The Pythagorean Theorem and the Angle Sum and Difference Identitites 2019-02-18 Paper Proving the Pythagorean Theorem by Letting the Sides Vary...10 bytes (16 words) - 07:11, 13 December 2023
- Number Calculations and Theorem Proving 2008-12-04 Paper Numerical Software with Result Verification 2007-09-28 Paper Theorem Proving in Higher Order Logics...10 bytes (19 words) - 18:59, 12 December 2023
- Paper Hierarchical invention of theorem proving strategies 2021-01-20 Paper Relaxed weighted path order in theorem proving 2020-10-30 Paper ENIGMAWatch:...10 bytes (17 words) - 01:14, 13 December 2023
- linear logic inference 2023-11-09 Paper Machine Learning for Inductive Theorem Proving 2023-06-30 Paper Correction to: ``Towards formalising Schutz' axioms...10 bytes (18 words) - 02:40, 13 December 2023
- Publication Date of Publication Type Theorem proving graph grammars with attributes and negative application conditions 2017-06-15 Paper Translating controlled...10 bytes (22 words) - 05:51, 12 December 2023
- Paper The search efficiency of theorem proving strategies 2020-01-21 Paper Semantically guided first-order theorem proving using hyper-linking 2020-01-21...10 bytes (19 words) - 14:32, 8 December 2023
- 2022-08-16 Paper Tactic theorem proving with refinement-tree proofs and metavariables 2020-01-21 Paper Hybrid interactive theorem proving using nuprl and HOL...10 bytes (18 words) - 11:44, 13 December 2023