This dataset code generates mathematical question and answer pairs
Tool support for the Z formal notation
Create charts by retrieving data from Stata on-the-fly
A textbook on informal homotopy type theory
Mixed Integer Linear Programming (MILP) solver.
A computer algebra system for research in combinatorial game theory.
A (Strict)FastMath class with 1e-15ish accuracy.
Cross platform GUI for Maxima
TI graphing calculators <-> computer communication software
Soduku Solver solves 6x6 soduku of easy and medium level.
Fast and more random implementations of java.util.Random.
Computer calculations made easy
A package for Isogeometric Analysis in Octave and Matlab
Computer calculations made easy
Library for 2D/3D geometry in Matlab.
An image processing and analysis library for Matlab
A geometry library for Java
Math Parser for Java
Real-time interactive fractal zoomer