search

cmb33595 / open-geo-prover

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

Adding examples of theorems, proved with simple Wu's method, to documentation #5

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Documentation of OGP has to contain several examples of theorems proved with 
simple Wu's method. Input is in OGP's internal XML format, while output is 
generated TeX report translated to PDF.

Original issue reported on code.google.com by ivan.pet...@gmail.com on 4 Mar 2012 at 4:57

GoogleCodeExporter commented 9 years ago 
Following revisions were adding new examples of geometry theorems in OGP XML 
format or were reorganizing directories for these examples:
r38 - r49.

Original comment by ivan.pet...@gmail.com on 4 Mar 2012 at 10:34

GoogleCodeExporter commented 9 years ago

Original comment by ivan.pet...@gmail.com on 4 Mar 2012 at 10:37

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 9 Apr 2012 at 8:10

GoogleCodeExporter commented 9 years ago 
This issue belongs to A.5 stage of work on main development trunk.

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