Towards an intelligent and dynamic geometry book

DOI10.1007/s11786-017-0302-8zbMath1425.97002OpenAlexW2609408480WikidataQ57552294 ScholiaQ57552294MaRDI QIDQ1701659

Pedro Quaresma

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

zbMATH Keywords

dynamic geometrylearning environmentsadaptive toolscollaborative toolsgeometric knowledge managementgeometry deduction

Mathematics Subject Classification ID

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

: A Linear Algebra Textbook System ⋮ Automatic Deduction in an AI Geometry Book ⋮ Taxonomies of geometric problems

Uses Software

• Cinderella
• GCLC
• GeoGebra
• GeoProof
• GCLCprover
• GeoThms
• ArgoCLP
• Electronic Geometry Textbook
• Intergeo
• GEX
• TGTP
• GeoView
• Opengeo
• JGEX
• ArgoTriCS
• GATP
• Baghera

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