github.com/kovzol/Java-Geome… -- Java Geometry Expert (JGEX) version 0.81 is released.
JGEX is a free study tool to prove planar geometry theorems with various proof algorithms. It is written by the Chinese experts of the topic, Chou, Gao and Ye, back in the early 2000s.
matek.hu/zoltan/blog-2023111… -- Debut of GNU Aris in WebAssembly
rdcu.be/dqrDa -- Formalization of geometry, automated and interactive geometric reasoning (Preface to a Springer Special Issue)
The Java Geometry Expert (JGEX) can visualize geometry proofs via a GraphViz-like Java library called graph-support and the SVG library batik:
forum.graphviz.org/t/java-ve…
Web version of GeoGebra Discovery computes derivatives by using (ε, δ)-definition of limit. See also github.com/kovzol/geogebra/r….
Fractal zoomer XaoS 4.3 works fully functionally in a web browser: matek.hu/zoltan/xaos
Kovács Zoltán retweeted
Here is Chris Brown demonstrating Geogebra Discovery at ISSAC 2023 in Tromsø. Very impressive! Chris said that he used to think that writing software to do this in a browser was impossible, but then @kovz0l just did it!
After many years of dreaming, it's finally here: matek.hu/zoltan/xaos/
Credits: Abhishek Tiwari, supported by Google Summer of Code: summerofcode.withgoogle.com/…, A. Aggarwal (co-mentor), J.B. Langston (main idea to use QTimer), and original authors J. Hubička and T. Marsh.
XaoS 4.1 is out! github.com/xaos-project/XaoS…
Kovács Zoltán retweeted
With @geogebra #GoogleClassroom Coursework API, teachers now have 500,000+ free math materials at their fingertips goo.gl/xSu03b
Kovács Zoltán retweeted
Very much enjoying "Report Cards for Famous Mathematicians". mathwithbaddrawings.com/2015…
Kovács Zoltán retweeted
.@Intel's Real Sense technology and @geogebra is what happens when tech and education collide! Watch how here: spr.ly/GeoGebra_IntelSchools
#eldf15 Meine Vortragsfolien zum Thema "Das neue Beziehung-Werkzeug in GeoGebra 5": tube.geogebra.org/material/s….
Kovács Zoltán retweeted
Vorbereitungdarbeiten für eLearning Didaktik Fachtagung 2015 bereits intensiv am Laufen #eldf15
Kovács Zoltán retweeted
GeoGebra Graphing Calculator for Android now in beta:
blog.geogebra.org/2015/10/ge…... fb.me/1Tq7HOYOq
Kovács Zoltán retweeted
Students can experience math in a new way with @geogebra and #GoogleClassroom goo.gl/HyHL6v xitter.cf/GoogleForEdu/status/62…















