Open Source BSD Mathematics Software - Page 4
Sort By:
Tool support for the Z formal notation
Statistical data analysis
Le couteau suisse du prof de maths
Calc: arbitrary precision C-like arithmetic & calculator
12÷16×3=9÷4
OCaml bindings for GLPK
Structure parameter inference approach for endocrine feedback control
A Calculator to perform logical operations