A portable, multi-platform, command-line driven graphing utility
fast C++ library for linear algebra & scientific computing
Arbitrary-precision CRC calculator and algorithm finder
Agena is an interpreted procedural programming language.
System dynamics program with additional features for economics
fast C++ library for GPU linear algebra & scientific computing
Interactive Program For Calculating Properties Of Symmetric Functions
Calc: arbitrary precision C-like arithmetic & calculator
A C++ library for multiprecision complex-number matrix calculations.
An implementation of interval arithmetic
Calculation with Clifford algebras: C++ library and Python module
Programmable Calculator (IP functions, create user functions)
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