Search results
From MaRDI portal
- 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
- de/entity/Q4584890 2018-09-04 Paper AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS 2014-03-10 Paper Automatic Theorem-Proving in Combinatorics on Words 2012-09-20...10 bytes (16 words) - 02:49, 7 October 2023
- Publication Type An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning 1980-01-01 Paper Inductive...10 bytes (18 words) - 11:13, 13 December 2023
- Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences 2013-03-18 Paper Automatic Theorem-Proving in Combinatorics on Words 2012-09-20...10 bytes (16 words) - 11:24, 7 October 2023
- Paper ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING) 2015-04-23 Paper Avoiding 2-binomial squares and cubes 2015-02-24...10 bytes (17 words) - 03:40, 12 December 2023
- Publication Type Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques 1983-01-01 Paper...10 bytes (18 words) - 10:22, 6 October 2023
- Date of Publication Type The t‐variable method in gentzen‐style automatic theorem proving 1990-01-01 Paper...10 bytes (16 words) - 12:27, 14 March 2024
- Publication Date of Publication Type Complete demodulation for automatic theorem proving 1976-01-01 Paper An Evaluation of an Implementation of Qualified...10 bytes (18 words) - 11:18, 24 September 2023
- Plane geometry theorem proving using forward chaining 1975-01-01 Paper A relaxation approach to splitting in an automatic theorem prover 1975-01-01 Paper...10 bytes (18 words) - 12:01, 24 September 2023
- Date of Publication Type Using the VIRT programming language for automatic theorem proving 2000-10-16 Paper VIRT: A universal programming language 2000-09-18...10 bytes (19 words) - 12:14, 24 September 2023
- programming. Theorem proving techniques and P- functions 1987-01-01 Paper Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches...10 bytes (16 words) - 10:14, 24 September 2023
- Paper Refinements to depth-first iterative-deepening search in automatic theorem proving 1989-01-01 Paper...10 bytes (16 words) - 00:41, 25 September 2023
- Combinational Logic Using Theorem-Proving Techniques 1985-01-01 Paper Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques 1983-01-01...10 bytes (18 words) - 10:22, 6 October 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
- alternative superiority in decision-making problems 2005-06-30 Paper Automatic theorem proving and fuzzy situational search for decisions 2003-09-09 Paper Decomposition...10 bytes (18 words) - 19:47, 6 October 2023
- Logic Implementation in Maple 2009-01-27 Paper A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry 2008-04-01 Paper 3D extension of Steiner...10 bytes (18 words) - 20:31, 8 December 2023
- mardi4nfdi.de/entity/Q4232480 1999-08-23 Paper A new approach for automatic theorem proving in real geometry 1999-04-11 Paper https://portal.mardi4nfdi.de/entity/Q4226991...10 bytes (16 words) - 19:32, 6 October 2023
- Non-resolution theorem proving 1977-01-01 Paper Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques 1977-01-01 Paper A man-machine theorem-proving...10 bytes (19 words) - 07:03, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q3789560 1987-01-01 Paper Automatic theorem proving. II 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3819964...10 bytes (18 words) - 12:20, 7 October 2023
