scientific article; zbMATH DE number 4072432

MaRDI QIDQ3804232zbMATH OpenFDO

Authors Beat Brüderlin

Publication date 1988

zbMATH Keywords

Euclidean geometryCADProloggeometric constructionsgeometric proofs

Mathematics Subject Classification ID

Euclidean geometries (general) and generalizations (51M05) Geometric constructions in real or complex geometry (51M15)

Recommendations

• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• Realization of automatic reasoning system of geometry based on point-eliminating method
• scientific article; zbMATH DE number 194597
• Automatted geometry theorem proving
• scientific article; zbMATH DE number 4072392

Cited in

(16)

• scientific article; zbMATH DE number 4072392 (Why is no real title available?)
• Geometry machines: from AI to SMC
• scientific article; zbMATH DE number 1189068 (Why is no real title available?)
• Automatic generation of staged geometric predicates
• Automatic proofs for formulae enumerating proper polycubes
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• The reachability problem in constructive geometric constraint solving based dynamic geometry
• Automatic Construction and Verification of Isotopy Invariants
• Automated deduction and knowledge management in geometry
• scientific article; zbMATH DE number 194597 (Why is no real title available?)
• scientific article; zbMATH DE number 1421053 (Why is no real title available?)
• scientific article; zbMATH DE number 1745042 (Why is no real title available?)
• scientific article; zbMATH DE number 2155188 (Why is no real title available?)
• Automatted geometry theorem proving
• scientific article; zbMATH DE number 5733428 (Why is no real title available?)
• Sketch-based pruning of a solution space within a formal geometric constraint solver

This page was built for publication:

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