Algebraic graphs
Interactive scientific graphing and data analysis software.
Open Source and data mining software
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
Simple Long Integer Math for C++
A language for making art using mathematics
A CALCULADORA MAIS SIMPLES E PRÁTICA DA ATUALIDADE
This is a Java APP for Probability and Statistics Tables
Agent-based simulation toolkit
A statistical toolbox for diffusion processes
A powerful arbitrary-precision calculator.
A simple Clifford algebra calculator
Numerical mathematics platform, Matlab alternative
Java language binding for the GNU Linear Programming Kit (GLPK)
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
Visualize 3d linear transformations.
A collection of machine-checkend mathematical proofs