Blog Archives

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 also, but with Czech colleagues from České Budějovice.   In

Posted in Development, GGB Tagged with: , , , ,

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 hard on the OpenGeoProver (OGP) prototype during the last week. Now

Posted in Community, Development, GGB Tagged with: , , , , ,

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

Posted in Development, GGB Tagged with: , , , ,

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 mathematics teacher from

Posted in Development Tagged with: , , , ,

Follow

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