scientific article; zbMATH DE number 4187179

MaRDI QIDQ5752028zbMATH OpenFDO

Authors Michelle Y. Kim

Publication date 1989

zbMATH Keywords

geometric objectsprogramming environmenttheorem proving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68T99) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computing methodologies and applications (68U99)

Recommendations

• Automatted geometry theorem proving
• Realization of automatic reasoning system of geometry based on point-eliminating method
• Machine Proofs in Geometry
• Geometric theorem proving by integrated logical and algebraic reasoning
• Proving geometry theorems with rewrite rules

Cited in

(6)

• Conservation principles and action schemes in the synthesis of geometric concepts
• Geometric theorem proving by integrated logical and algebraic reasoning
• Representation and automated transformation of geometric statements
• Preface to the special issue on geometric reasoning
• Automated Deduction in Geometry
• Visual Mathematics: Diagrammatic Formalization and Proof

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 Q5752028)