OStatic

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, wi...

This program plots the solutions or approximations of systems of ordinary differential equations (ODEs). It makes use of opengl for the plotting, and ...

ASCIIMathML.js: a JavaScript to convert calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your webpage loads...

blat(mat) is a Braille to print translator for maths. It takes a Spanish Six-dot Mathematical Braille (not Nemeth Code) text and converts it to an HTM...

Geodes is a mac application designed to do geometry and math like you can do in front of a sheet of paper. It both includes simple figures drawing (li...

PyGeo is a dynamic 3d geometry framework written in Python, rendered with VPython.

This program converts calculator-style ASCII math notation (the same that ASCIIMathML uses) to Spanish Braille mathematics notation (not Nemeth Code)....

MathBase is a productivity environment for mathematical problems and technical applications. You will be able to draw geometrical scenes, compute func...

Geoplan-Geospace is a 2D and 3D interactive geometry software to create and manipulate interactive figures for eLearning. It features euclidean geomet...

Program for presentation of geometrical euclidean constructions. Utilises own script language for description of the construction. Construction is pe...