https://blog.geogebra.org/2012/05/theorem-proving/ Dynamic Mathematics for Everyone Tue, 07 Oct 2014 19:34:17 +0000 hourly 1 https://wordpress.org/?v=static-html https://blog.geogebra.org/2012/05/theorem-proving/comment-page-1/#comment-6 Wed, 30 May 2012 21:13:21 +0000 http://www.geogebra.org/blog/?p=68#comment-6 […] 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. […]

]]> https://blog.geogebra.org/2012/05/theorem-proving/comment-page-1/#comment-4 Wed, 23 May 2012 19:55:31 +0000 http://www.geogebra.org/blog/?p=68#comment-4 4.1.81.0 is out, so its webstart version can be used at http://www.geogebra.org/webstart/4.2/geogebra-42.jnlp now.

]]>