Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
From MaRDI portal
Publication:5756763
DOI10.1007/11812289_22zbMath1188.68264OpenAlexW95821551MaRDI QIDQ5756763
Predrag Janičić, Pedro Quaresma
Publication date: 5 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11812289_22
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Geometry constructions language ⋮ The Area Method and Proving Plane Geometry Theorems ⋮ The area method. A recapitulation ⋮ Towards an Electronic Geometry Textbook ⋮ Automatic Verification of Regular Constructions in Dynamic Geometry Systems ⋮ GCLCprover ⋮ GeoThms ⋮ GeoThms — a Web System for Euclidean Constructive Geometry
Uses Software
This page was built for publication: Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
