Author Archives: kovzol
Google Summer of Code Mentor Summit
Thanks to Google, this year we had 7 students for the Google Summer of Code program. This was the 3rd year we have been involved after 5 and 7 supported students since 2010. As an official closing of the annual … Continue reading
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 … Continue reading
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 … Continue reading
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 … Continue reading
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 … Continue reading
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 computer algebra system (CAS), “binary the same” to the desktop version of GeoGebra. Ted … Continue reading