kryptan open-geo-prover issues

kryptan / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Theorem proving fails with stack overflow in construction of perpendicular line

#30 GoogleCodeExporter closed 9 years ago
1
Missing touch point of tangent line and circle/conic

#29 GoogleCodeExporter opened 9 years ago
0
Completing Area method on non-GeoGebra branches of OGP

#28 GoogleCodeExporter opened 9 years ago
0
Merging implementation of Area Method to main trunk and other branches

#27 GoogleCodeExporter opened 9 years ago
2
Initial implementation of support for solving RC-constructibility problems

#26 GoogleCodeExporter opened 9 years ago
2
GG B.1. - Get NDG conditions with the same objects

#25 GoogleCodeExporter opened 9 years ago
0
GG B.1. - Multiple Prove commands in XML

#24 GoogleCodeExporter closed 9 years ago
3
GG B.1. - Modification of conversion of Intersection Point construction

#23 GoogleCodeExporter opened 9 years ago
2
GG A.8. - Tracking issue for all small bugs found when running OGP from GeoGebra prover

#22 GoogleCodeExporter opened 9 years ago
3
GG B.1. - Improving OGP to allow setting custom log file

#21 GoogleCodeExporter opened 9 years ago
2
GG B.1. - Modifications in sending input theorem from GG to OGP

#20 GoogleCodeExporter closed 9 years ago
9
GG A.2.; A.6. - Implementation of API method for calling OGP from GeoGebra code

#19 GoogleCodeExporter closed 9 years ago
4
GG B.1. - Improving build scripts

#18 GoogleCodeExporter opened 9 years ago
2
GG A.2. - Renaming classes and packages related to Construction Protocol

#17 GoogleCodeExporter closed 9 years ago
7
GG A.2.;A.6. - Improvement of NDG sub-system - implementing more genral representation of NDGs

#16 GoogleCodeExporter closed 9 years ago
5
GG B.1. - Conversion of GeoGebra commands for geometry transformations to OGP format

#15 GoogleCodeExporter opened 9 years ago
2
GG A.2. - Improvement of CP to disregard unnecessary constructions

#14 GoogleCodeExporter closed 9 years ago
5
GG A.4. - Conversion of geometry theorem statements from GeoGebra to OGP format

#13 GoogleCodeExporter closed 9 years ago
3
GG A.2., A.5. - Replacement of log4j logger in OGP branch for GeoGebra by new custom logger

#12 GoogleCodeExporter closed 9 years ago
2
GG A.2. - Changes in OGP constructions

#11 GoogleCodeExporter closed 9 years ago
5
GG A.3. - Adding QDParser to GeoGebra's branch of OGP

#10 GoogleCodeExporter closed 9 years ago
12
GG A.1. - New branch for OGP in GeoGebra - creation and cleanup

#9 GoogleCodeExporter closed 9 years ago
8
GG B.1. - Consolidation of project with GNU GPL v3 license

#8 GoogleCodeExporter opened 9 years ago
7
Running project help from command line

#7 GoogleCodeExporter closed 9 years ago
5
Cleanup of project

#6 GoogleCodeExporter closed 9 years ago
5
Adding examples of theorems, proved with simple Wu's method, to documentation

#5 GoogleCodeExporter opened 9 years ago
4
Adding new types of constructions and statements

#4 GoogleCodeExporter closed 9 years ago
3
Implementation of parametric sets of points and conic sections

#3 GoogleCodeExporter closed 9 years ago
3
Necessary to create construction of congruent angle

#2 GoogleCodeExporter closed 9 years ago
5
JUnit tests don't get executed when OpenGeoProver project is built with Ant

#1 GoogleCodeExporter closed 9 years ago
3