The full angle method on the OpenGeoProver
Authors
Abstract
Implementation of the Full Angle Method of the Geometric Automated Theorem Prover OpenGeoProver
Keywords
Geometric Automated Theorem Prover
Subject
Implementation of the Full Angle Method of the Geometric Automated Theorem Prover OpenGeoProver
Conference
ThEdu'13, TP Components for Educational Software, July 2013
DOI
Cited by
No citations found