https://blog.geogebra.org/2012/07/19-and-makes-theorems-proven/ 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/07/19-and-makes-theorems-proven/comment-page-1/#comment-12 Tue, 03 Jul 2012 20:47:52 +0000 http://www.geogebra.org/blog/?p=150#comment-12 Update: Damien’s prover gives the proper answer in 27/44 cases now (see http://ggb1.idm.jku.at/~kovzol/data/prover-20120703/ for details).

]]>