Towards an intelligent and dynamic geometry book
DOI10.1007/s11786-017-0302-8zbMath1425.97002OpenAlexW2609408480WikidataQ57552294 ScholiaQ57552294MaRDI QIDQ1701659
Publication date: 27 February 2018
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-017-0302-8
dynamic geometrylearning environmentsadaptive toolscollaborative toolsgeometric knowledge managementgeometry deduction
Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50) Comprehensive works on geometry education (97G10)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automated theorem proving in GeoGebra: current achievements
- The area method. A recapitulation
- A case study in formalizing projective geometry in Coq: Desargues theorem
- Representation and automated transformation of geometric statements
- Morley's theorem revisited: origami construction and automated proof
- Using Gröbner bases to reason about geometry problems
- Formalization of the arithmetization of Euclidean plane geometry and applications
- A synthetic proof of Pappus' theorem in Tarski's geometry
- A review and prospect of readable machine proofs for geometry theorems
- A graphical user interface for formal proofs in geometry
- The Web Geometry Laboratory Project
- From Tarski to Hilbert
- OpenGeo: An Open Geometric Knowledge Base
- Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
- Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
- An Introduction to Java Geometry Expert
- Formalization of Wu’s Simple Method in Coq
- A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
- The Relation Tool in GeoGebra 5
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
- Current Status of the I2GATP Common Format
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Mechanical Theorem Proving in Tarski’s Geometry
- Theorem Proving in Higher Order Logics
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- A Vernacular for Coherent Logic
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
This page was built for publication: Towards an intelligent and dynamic geometry book