This dataset code generates mathematical question and answer pairs
Computer Algebra System written in Common Lisp
Tool support for the Z formal notation
OmicsSuite: a suite for multi-omics analysis and visualization.
Framework for numerical computations, data analysis and visualisation
A free software for mathematical and engineering calculations
Create charts by retrieving data from Stata on-the-fly
A textbook on informal homotopy type theory
Automated integer factorization
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