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.
This screenshot shows a non-degeneracy condition for the triangle midsegment theorem: if the points A and B are different, then the theorem is true. Here we used the "parallel" sign to define the statement. The URL shows that Google hosts the web version of GeoGebra, but also an offline version can be installed for the Google Chrome browser.
- Theorem proving Well, I forgot my own introduction in the first post, but maybe it is more important for me that I work in a great team. Balazs already wrote a few words about himself; I am also a […]
- 19 and makes theorems proven Back again in Austria; I've been to two additional conferences during the last two weeks. The first one, in Serbia, was about computer aided mathematics education, and the second one was […]
- OpenGeoProver debuting
The EACA conference has just ended, but the hard development in theorem proving did not stop. Our Serbian contributor Ivan Petrović did very nice improvements on GeoGebra by working […]
- GeoGebraWeb offers CAS functionality After some hard work with Simon Weitzhofer, an undergraduate student at Johannes Kepler University, Linz, Austria, we finally published a GeoGebraWeb version which contains a built-in […]
- GeoGebraWeb – Spreadsheet view and more… GeoGebra is not only available as a desktop application, but in the web browser too. You can try GeoGebraWeb
in Chrome (works best): http://www.geogebra.org/chrome
or in other […]