Be intuitive

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 ab, cd, EF (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.

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.

Related Posts

  • 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): or in other […]
Posted in Development, GGB Tagged with: , , , ,


About GeoGebra

GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. It has received several educational software awards in Europe and the USA.

Quick Facts

  • Graphics, algebra and tables are connected and fully dynamic
  • Easy-to-use interface, yet many powerful features
  • Authoring tool to create interactive learning materials as web pages
  • Available in many languages for our millions of users around the world
  • Free and open source software
© 2020 International GeoGebra Institute