Publication:2751363
From MaRDI portal
zbMath1011.68128MaRDI QIDQ2751363
Shang-Ching Chou, Xiao-Shan Gao
Publication date: 27 August 2002
Related Items
Automated theorem proving in GeoGebra: current achievements, Three-variable statements of set-pairing, Portfolio theorem proving and prover runtime prediction for geometry, Logic for physical space. From antiquity to present day, Automatic Deduction in an AI Geometry Book, The area method. A recapitulation, Representation and automated transformation of geometric statements, Retrieving geometric information from images: the case of hand-drawn diagrams, Automated deduction and knowledge management in geometry, Formalization and specification of geometric knowledge objects, A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs, Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices, Taxonomies of geometric problems