A portable, multi-platform, command-line driven graphing utility
fast C++ library for linear algebra & scientific computing
Agena is an interpreted procedural programming language.
Android, UIQ 3.0, Series 60 Edition 5 open-source software
System dynamics program with additional features for economics
Arbitrary-precision CRC calculator and algorithm finder
fast C++ library for GPU linear algebra & scientific computing
An implementation of interval arithmetic
Calc: arbitrary precision C-like arithmetic & calculator
A Portable General-Purpose Computer Algebra System
Interactive Program For Calculating Properties Of Symmetric Functions
A C++ library for multiprecision complex-number matrix calculations.
Structure parameter inference approach for endocrine feedback control
Calculation with Clifford algebras: C++ library and Python module
Software for electromagnetic simulation
Symja - Java computer algebra language & symbolic math library
Interactive geometry software for Euclidean and non-Euclidean spaces
A collection of machine-checkend mathematical proofs
Biomolecular electrostatics software