Days are passing and the summer conference time is getting closer and closer. In two weeks we (Simon and I) will attend EACA 2012 in Spain, and then CADGME 2012 in Serbia. For both we are preparing with the new features of GeoGebra, namely the provers.
Even during the last week there were lots of improvements on the user interface. Now GeoGebra accepts statements in a∥b, c⊥d, E≟F (or E==F) format, and both segments and lines can be used in many proofs. The non-degeneracy conditions are also reported for almost all investigations. These are maybe nuances for a researcher, but important details for most users, for example students: GeoGebra must be intuitive in all subtopics of the mathematics. This is what we try to focus on: to ease understanding of difficult things.
For those who are interested in the very technical information, we updated the wiki page for theorem proving on our developers’ site. The newest results for the benchmarking suite are also available here.