Tag Archives: theorem
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