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

ivan-z-petrovic / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover [author of the original repository on GoogleCode]

3 stars 2 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

Changed state: Started

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