scientific article
From MaRDI portal
Publication:2751363
zbMath1011.68128MaRDI QIDQ2751363
Shang-Ching Chou, Xiao-Shan Gao
Publication date: 27 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
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
This page was built for publication:
