Search results
From MaRDI portal
- satisfaction using optimization methods. 2003-10-14 Paper Automated reasoning in geometry 2002-08-27 Paper Automated generation of Kempe linkages for algebraic curves...10 bytes (14 words) - 18:14, 9 December 2023
- mardi4nfdi.de/entity/Q4545702 2002-12-03 Paper Automated reasoning in geometry 2002-08-27 Paper Automated generation of Kempe linkages for algebraic curves...10 bytes (14 words) - 03:36, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4040344 1993-06-05 Paper Automated reasoning in geometry theorem proving with Prolog 1986-01-01 Paper...10 bytes (15 words) - 09:08, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q4013773 1992-09-27 Paper Automated reasoning in geometry theorem proving with Prolog 1986-01-01 Paper https://portal...10 bytes (15 words) - 19:59, 11 December 2023
- Theorems in GeoGebra 2016-09-28 Paper On the unavoidable uncertainty of truth in dynamic geometry proving 2016-06-16 Paper Automated theorem proving in GeoGebra:...10 bytes (15 words) - 14:02, 10 December 2023
- dynamic geometry 2018-10-18 Paper Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools 2018-10-18...10 bytes (14 words) - 10:19, 6 October 2023
- Date of Publication Type Finding proofs in Tarskian geometry 2017-07-10 Paper OTTER Proofs in Tarskian Geometry 2014-09-26 Paper The Legacy of a Great Researcher...10 bytes (15 words) - 09:06, 25 September 2023
- Type Automated generation of illustrations for synthetic geometry proofs 2024-12-17 Paper Automated generation of illustrated proofs in geometry and beyond...10 bytes (15 words) - 10:19, 6 October 2023
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity 2019-03-06 Paper An introduction to geometry expert 2019-01-15...10 bytes (13 words) - 18:14, 9 December 2023
- Mechanical theorem proving in differential geometry: Local theory of surfaces 1997-11-17 Paper Ordering in mechanical geometry theorem proving 1997-09-28...10 bytes (13 words) - 16:20, 8 December 2023
- Theorems in GeoGebra 2016-09-28 Paper On the unavoidable uncertainty of truth in dynamic geometry proving 2016-06-16 Paper Automated theorem proving in GeoGebra:...10 bytes (13 words) - 14:02, 10 December 2023
- figures in Euclid 2023-08-17 Paper Larry Wos: visions of automated reasoning 2022-12-12 Paper Some applications of Gentzen's proof theory in automated deduction...10 bytes (15 words) - 09:29, 9 December 2023
- Paper Automated Reasoning in Higher-Order Regular Algebra 2012-09-21 Paper On Completeness of Omega-Regular Algebras 2012-09-21 Paper Automated Analysis...10 bytes (13 words) - 18:44, 6 October 2023
- for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving 2024-11-18 Paper Introduction to the special...10 bytes (16 words) - 21:27, 11 December 2023
- Publication Date of Publication Type Orchards in elliptic curves over finite fields 2021-02-18 Paper Automated reasoning with power maps 2020-04-07 Paper Means...10 bytes (13 words) - 09:24, 7 October 2023
- 2014-04-16 Paper Modular reasoning about heap paths via effectively propositional formulas 2014-04-10 Paper Solving Geometry Problems Using a Combination...10 bytes (13 words) - 06:27, 7 October 2023
- polyhedra: A challenge for automated reasoning tools 2014-01-05 Paper Sharpening independence results for Huntington's affine geometry 2013-12-16 Paper A machine-assisted...10 bytes (13 words) - 03:09, 25 September 2023
- Type On automating triangle constructions in absolute and hyperbolic geometry 2024-12-17 Paper Automated triangle constructions in hyperbolic geometry 2024-01-08...10 bytes (14 words) - 14:14, 6 October 2023
- strongly shallow identities w.r.t. extensional symbols 2022-10-24 Paper Automated reasoning about parallel algorithms using powerlists 2022-08-16 Paper https://portal...10 bytes (15 words) - 16:54, 11 December 2023
- Discrete Analytical Geometry in Isabelle/HOL 2011-11-25 Paper An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time 2011-11-25...10 bytes (15 words) - 01:40, 13 December 2023
