Geometry machines: from AI to SMC

DOI10.1007/3-540-61732-9_60MaRDI QIDQ6560378zbMATH OpenFDO

Authors Dongming Wang

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/3-540-61732-9_60

Mathematics Subject Classification ID

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

Recommendations

• Automatted geometry theorem proving
• Automated reasoning in geometry
• Mechanical geometry theorem proving
• A review and prospect of readable machine proofs for geometry theorems
• Machine Proofs in Geometry

Cites work

• A category of geometric spaces: Some computational aspects
• A criterion for dependency of algebraic equations with applications to automated theorem proving
• A decision method for certain algebraic geometry problems
• A generalized Euclidean algorithm for geometry theorem proving
• A generic graphic framework for combining inference tools and editing proofs and formulae
• A method for the mechanical derivation of formulas in elementary geometry
• A new theorem discovered by computer prover
• A procedure to prove statements in differential geometry
• A refutational approach to geometry theorem proving
• Algebraic factoring and geometry theorem proving
• An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry
• An examination of the geometry theorem machine
• An extension of a procedure to prove statements in differential geometry
• Automated development of Tarski's geometry
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• Automated production of traditional proofs in solid geometry
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• Automated reasoning in geometry theorem proving with Prolog
• Automated Theorem Proving: After 25 Years
• Basic principles of mechanical theorem proving in elementary geometries
• Elimination procedures for mechanical theorem proving in geometry
• Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer
• Geometric reasoning with logic and algebra
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• GEOTHER: A geometry theorem prover
• scientific article; zbMATH DE number 3840732 (Why is no real title available?)
• scientific article; zbMATH DE number 3852462 (Why is no real title available?)
• scientific article; zbMATH DE number 4199658 (Why is no real title available?)
• scientific article; zbMATH DE number 4164190 (Why is no real title available?)
• scientific article; zbMATH DE number 3822556 (Why is no real title available?)
• scientific article; zbMATH DE number 3926283 (Why is no real title available?)
• scientific article; zbMATH DE number 3926285 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 3980529 (Why is no real title available?)
• scientific article; zbMATH DE number 4021099 (Why is no real title available?)
• scientific article; zbMATH DE number 4031634 (Why is no real title available?)
• scientific article; zbMATH DE number 4049614 (Why is no real title available?)
• scientific article; zbMATH DE number 4050980 (Why is no real title available?)
• scientific article; zbMATH DE number 4065140 (Why is no real title available?)
• scientific article; zbMATH DE number 4072432 (Why is no real title available?)
• scientific article; zbMATH DE number 4095427 (Why is no real title available?)
• scientific article; zbMATH DE number 4101137 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 95106 (Why is no real title available?)
• scientific article; zbMATH DE number 167286 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 3586510 (Why is no real title available?)
• scientific article; zbMATH DE number 1263331 (Why is no real title available?)
• scientific article; zbMATH DE number 1263332 (Why is no real title available?)
• scientific article; zbMATH DE number 1263333 (Why is no real title available?)
• scientific article; zbMATH DE number 1263388 (Why is no real title available?)
• scientific article; zbMATH DE number 1263399 (Why is no real title available?)
• scientific article; zbMATH DE number 1273649 (Why is no real title available?)
• scientific article; zbMATH DE number 1348459 (Why is no real title available?)
• scientific article; zbMATH DE number 500492 (Why is no real title available?)
• scientific article; zbMATH DE number 622670 (Why is no real title available?)
• scientific article; zbMATH DE number 719412 (Why is no real title available?)
• scientific article; zbMATH DE number 733783 (Why is no real title available?)
• scientific article; zbMATH DE number 736767 (Why is no real title available?)
• scientific article; zbMATH DE number 1057747 (Why is no real title available?)
• scientific article; zbMATH DE number 1465203 (Why is no real title available?)
• scientific article; zbMATH DE number 1542850 (Why is no real title available?)
• scientific article; zbMATH DE number 1761890 (Why is no real title available?)
• scientific article; zbMATH DE number 778202 (Why is no real title available?)
• scientific article; zbMATH DE number 790271 (Why is no real title available?)
• scientific article; zbMATH DE number 4197462 (Why is no real title available?)
• scientific article; zbMATH DE number 3185223 (Why is no real title available?)
• scientific article; zbMATH DE number 4187140 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• Implementation of a geometry theorem proving package in SCRATCHPAD II
• Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
• Machine Proofs in Geometry
• Mechanical theorem proving in projective geometry
• Mechanical theorem proving in the local theory of surfaces
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
• Non-commutative Gröbner bases in algebras of solvable type
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• On the application of Buchberger's algorithm to automated geometry theorem proving
• On the automatic derivation of a set of geometric formulae
• Plane geometry theorem proving using forward chaining
• Proving geometry theorems with rewrite rules
• Ritt-Wu's decomposition algorithm and geometry theorem proving
• Some examples of the use of distances as coordinates for euclidean geometry
• The parallel numerical method of mechanical theorem proving
• The parallel numerical method of proving the constructive geometric theorem
• Transcendental functions and mechanical theorem proving in elementary geometries
• Using Gröbner bases to reason about geometry problems
• Wu's method and its application to perspective viewing

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)