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...

AiM is a system for intelligent computer-aided learning and assessment in mathematics and related disciplines, based on a symbolic mathematics program...

The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC)...

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for optimizing multiple QoS properties of distributed real-time embedd...

Generator of uniformly distributed random numbers where there are many methods (algorithms) of random numbers generations available (Fibonacci generat...

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

The jMarkovChains project aims at providing tools to analyse Markov Chains. It consists of a core library which provides loading/saving/analysing of m...

Is an algebraic-geometric program to make geometricals constructions; handle points, lines, conical, symmetries, invertion, locus, animation, etc.

CABLE (Computer Algebra Based Learning and Evaluation) is an online mathematical assessment tool for use with an open source computer algebra system.