search

kryptan / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover
0 stars 0 forks source link

GG A.4. - Conversion of geometry theorem statements from GeoGebra to OGP format #13

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
It is necessary to implement the converter of geometry theorem statements from 
GeoGebra to OGP format.

Theorems are passed to OGP as strings in form "name[arg1, arg2, ..., argn]".
Later they could be passed in some other format and then new type of conversion 
would be required.

Original issue reported on code.google.com by ivan.petrovic.matf on 24 May 2012 at 10:37

GoogleCodeExporter commented 9 years ago 
Revision r174 implements statement converter for GeoGebra branch and r175 is 
the same code for area method branch.

Revision r176 added small changes from r174 to development trunk.

Original comment by ivan.petrovic.matf on 25 May 2012 at 2:12

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 2 Jun 2012 at 3:02

GoogleCodeExporter commented 9 years ago 
Two new revisions have been made to re-implement the solution for theorem 
statements since they won't be sent separately but within same XML string as 
constructions: r177 (Main GG branch) and r178 (Area Method branch).

Original comment by ivan.petrovic.matf on 2 Jun 2012 at 3:15