A portable, multi-platform, command-line driven graphing utility
fast C++ library for linear algebra & scientific computing
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
System dynamics program with additional features for economics
Calc: arbitrary precision C-like arithmetic & calculator
fast C++ library for GPU linear algebra & scientific computing
Interactive Program For Calculating Properties Of Symmetric Functions
An implementation of interval arithmetic
Programmable Calculator (IP functions, create user functions)
A C++ library for multiprecision complex-number matrix calculations.
Calculation with Clifford algebras: C++ library and Python module
an interactive "rolling paper" calculator
Software for electromagnetic simulation
Unicode XML TEI text analysis platform
Computer Assisted Proofs in Dynamics
Interactive geometry software for Euclidean and non-Euclidean spaces
A collection of machine-checkend mathematical proofs