Geometry machines: from AI to SMC

DOI10.1007/3-540-61732-9_60zbMATH Open1541.68426MaRDI QIDQ6560378

Dongming Wang

Publication date: 21 June 2024

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational methods for problems pertaining to geometry (51-08)

Cites Work

• A new theorem discovered by computer prover
• A decision method for certain algebraic geometry problems
• Non-commutative Gröbner bases in algebras of solvable type
• Transcendental functions and mechanical theorem proving in elementary geometries
• A procedure to prove statements in differential geometry
• The parallel numerical method of mechanical theorem proving
• An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry
• Geometric reasoning with logic and algebra
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Using Gröbner bases to reason about geometry problems
• A method for the mechanical derivation of formulas in elementary geometry
• Automated reasoning in geometry theorem proving with Prolog
• Proving geometry theorems with rewrite rules
• Basic principles of mechanical theorem proving in elementary geometries
• Wu's method and its application to perspective viewing
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• A refutational approach to geometry theorem proving
• Some examples of the use of distances as coordinates for euclidean geometry
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
• Plane geometry theorem proving using forward chaining
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• A criterion for dependency of algebraic equations with applications to automated theorem proving
• An extension of a procedure to prove statements in differential geometry
• Automated development of Tarski's geometry
• The parallel numerical method of proving the constructive geometric theorem
• Automated production of traditional proofs in solid geometry
• On the automatic derivation of a set of geometric formulae
• A generic graphic framework for combining inference tools and editing proofs and formulae
• Elimination procedures for mechanical theorem proving in geometry
• Mechanical theorem proving in the local theory of surfaces
• A generalized Euclidean algorithm for geometry theorem proving
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• Mechanical theorem proving in projective geometry
• A category of geometric spaces: Some computational aspects
• An examination of the geometry theorem machine
• Automated Theorem Proving: After 25 Years
• GEOTHER: A geometry theorem prover
• Machine Proofs in Geometry
• Algebraic factoring and geometry theorem proving
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
• Implementation of a geometry theorem proving package in SCRATCHPAD II
• Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer
• Ritt-Wu's decomposition algorithm and geometry theorem proving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Geometry machines: from AI to SMC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560378)