Latest version of The Geometer's Sketchpad is 5.06 and it was released on April 26, 2013.
Mathematics Mechanization and Automated Reasoning Platform (Chinese: ), or Mathematics-Mechanization Platform (MMP, code named elimino), is a group of automated theorem proving software based on an...
Latest version of Mathematics-Mechanization Platform is 3.0 and it was released on 2006-04-01.Tags: Theorem Proving Software Systems, Automated Theorem Proving, Interactive Geometry Software
Cabri Geometry is a commercial interactive geometry software produced by the French company Cabrilog for teaching and learning geometry and trigonometry. It was designed with ease-of-use in mind....Tags: Interactive Geometry Software
GEUP is a commercial interactive geometry software program, similar to Cabri Geometry. Originally using the Spanish language, it was programmed by Ramón Alvarez Galván. Recent versions include...
Latest version of GEUP 7 is 7.0.2 and it was released on Jan 2017.Tags: Mathematical Software, Interactive Geometry Software, Science Software For Windows
Wolfram Mathematica (usually termed Mathematica, Mathematica software suite) is a mathematical symbolic computation program, sometimes termed a computer algebra system or program, used in many...Tags: 1988 Software, Astronomical Databases, Computational Notebook, Computer Algebra System Software For Linux, Computer Algebra System Software For Macos, Computer Algebra System Software For Windows, Computer Algebra Systems, Crossplatform Software, Data Mining And Machine Learning Software, Earth Sciences Graphics Software, Econometrics Software, Formula Editors, Interactive Geometry Software, Mathematical Optimization Software, Mathematical Software, Numerical Analysis Software For Linux, Numerical Analysis Software For Macos, Numerical Analysis Software For Windows, Numerical Programming Languages, Numerical Software, Physics Software, Pirelated Software, Plotting Software, Proprietary Commercial Software For Linux, Proprietary Crossplatform Software, Regression And Curve Fitting Software, Simulation Programming Languages, Software That Uses Qt, Statistical Programming Languages, Theorem Proving Software Systems, Time Series Software, Wolfram Research