CISUC

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