First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
From MaRDI portal
Publication:5428266
DOI10.1007/978-3-540-73086-6_13zbMath1202.68487OpenAlexW1584182675MaRDI QIDQ5428266
Miguel A. Abánades, Jesús Escribano, Francisco Botana
Publication date: 28 November 2007
Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_13
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
This page was built for publication: First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
