GreatStuff660 / open-geo-prover

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

Initial implementation of support for solving RC-constructibility problems #26

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
This issue document is for initial implementation of support for solving 
RC-constructibility problems. These problems will be solved by algebraic method 
which uses simple triangulation algorithm (from Wu's method) to separate 
variables.

Original issue reported on code.google.com by ivan.petrovic.matf on 14 Jul 2012 at 10:47

GoogleCodeExporter commented 9 years ago
Stage of work on main branch for this issue will be defined later.

Original comment by ivan.petrovic.matf on 14 Jul 2012 at 10:48

GoogleCodeExporter commented 9 years ago
First submission on main development branch is with revision r289. Parts of 
changes common with other branches are submitted under issue 22.

Original comment by ivan.petrovic.matf on 14 Jul 2012 at 11:15