Yes Platform: Windows, Mac OS, TI-92+, works under Wine Proofs: No The Geometric Supposer The Geometric Supposer Géoplan-Géospace Geonext Geonext was developed by the University of Bayreuth until 2007 and is completely implemented in Java. Its final version was 1.74. GeoProof GeoProof is a free GPL dynamic geometry software, written in OCaml. GEUP GEUP is a more calculus-oriented analog of The Geometer's Sketchpad. Deterministic Languages: English, French, German, Italian, Portuguese, Spanish Macros: Yes Java-applet: No Animation: Yes Locus: Yes, including point on locus Assignments: No Measurement/Calculations: Yes Platform: Windows Proofs: No GRACE GRACE (The Graphical Ruler And Compass Editor) is an analog of The Geometer's Sketchpad (GSP), written in Java. Jeometry Jeometry is a dynamic geometry applet. Kig Kig is a free (GPL) analog of The Geometer's Sketchpad (GSP) for KDE, but more calculus-oriented. It is a part of the KDE Edutainment Project. KmPlot KmPlot is a mathematical function plotter released under the free GPL license. Includes a powerful parser and precision printing in correct scale. Simultaneously plot multiple functions and combine function terms to build new functions. Supports functions with parameters and functions in polar coordinates. Several grid modes are available. Features include: powerful mathematical parser precise metric printing different plot types (functions, parametric, polar) highly configurable visual settings (plot line, axes, grid) export to bitmap format (BMP and PNG) and to Scalable Vector Graphics (SVG) save/load complete session in readable XML format trace mode: cross-hair following plot, coordinates shown in the status bar zooming support ability to draw the 1st and 2nd derivative and the integral of a plot function support user-defined constants and parameter values various tools for plot functions: find minimum/maximum point, get y-value and draw the area between the function and the y-axis KSEG KSEG is a free (GPL) analog of The Geometer's Sketchpad (GSP) with some unique features. This software can handle heavy, complex constructions in Euclidean geometry. Deterministic Languages: Dutch, English, French, Chinese, German, Hungarian, Italian, Japanese, Norwegian Bokmål, Portuguese, Russian, Spanish, Turkish, Welsh Macros: Yes. Editable and with support for recursion Java-applet: No Animation: No Locus: Yes, but no direct way to place a point on a locus. Assignments: No Measurement/Calculations: Yes (the calculator is a bit strange) Platform: Unix/Linux, Windows, Mac OS (any platform that supports Qt) Proofs: No Extra: Editable Live Geometry Live Geometry is a free CodePlex project that lets you create interactive ruler and compass constructions and experiment