<![CDATA[An alternative approach to proof in dynamic geometry]]>
https://help.geogebra.org/topic/an-alternative-approach-to-proof-in-dynamic-geometry
Wed, 28 May 2014 18:07:48 +0000Tue, 27 May 2014 17:34:28 +0000Zend_Feed<![CDATA[Dear Michael, thank you for sharing your papers on proofs in dynamic geometry! We also focus on a similar approach like you introduced in your papers. The forthcoming version 5.0 will support theorem proving in such a way as well. Some of your papers are already well known to us (including my colleagues). Here I refer to my web page http://dev.geogebra.org/tra... where you can find slides for some former talks at http://ggb1.idm.jku.at/~kov.... We also plan to publish other papers concerning your framework and implementing a suitable environment in GeoGebra, too. Some preliminary applets can be seen at http://tube.geogebra.org/st.... Best regards, Zoltan]]>
https://help.geogebra.org/topic/an-alternative-approach-to-proof-in-dynamic-geometry#comment-155677
Wed, 28 May 2014 07:27:51 +0000<![CDATA[Great new for all users! Great works!]]>
https://help.geogebra.org/topic/an-alternative-approach-to-proof-in-dynamic-geometry#comment-155679
Wed, 28 May 2014 13:00:37 +0000<![CDATA[Dear Zoltan Thanks for the welcome and all the useful URL's! The theorem proving feature for GeoGebra sounds really interesting as does the 3D beta version, which I've not yet looked at, but hope to do so soon. I've also added/shared on the GeoGebraTube some links to GeoGebra pages I have on my Dynamic Geometry Sketches site, for example, here's one on "A general formula for the interior angle sum of polygons (including crossed ones)": http://tube.geogebra.org/ma... Have also added 3 others on a nine-point conic, Spieker conic and Nickal's theorem respectively. Regards Michael]]>
https://help.geogebra.org/topic/an-alternative-approach-to-proof-in-dynamic-geometry#comment-155681
Wed, 28 May 2014 14:13:57 +0000<![CDATA[Hi, http://tube.geogebra.org/ma... an other approach... ??? and more : http://tube.geogebra.org/ma...]]>
https://help.geogebra.org/topic/an-alternative-approach-to-proof-in-dynamic-geometry#comment-155683
Wed, 28 May 2014 18:07:48 +0000