A computer algebra system written in pure Python
Android, UIQ 3.0, Series 60 Edition 5 open-source software
An implementation of interval arithmetic
GNU Octave toolkit for controlling a Raspberry Pi
C++ math library developed primarily for games focused on simplicity
GladTeX -- embed LaTeX-quality images in HTML
MathTools is an aid in preparing printed math tests.
MathJax support for MathML content embedded in SVG documents
JBernstein: Exploration techniques for non-linear constraint checking
R package for modelling anthropogenic deforestation
Math Parser for Java
combinational logic functions minimization
An object oriented C++ library for computer algebra
Learning Stochastic Discrete Event Systems