Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
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
A C++ library for multiprecision complex-number matrix calculations.
An implementation of interval arithmetic
Calc: arbitrary precision C-like arithmetic & calculator
Calculation with Clifford algebras: C++ library and Python module
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
Linear constraint feasibility check and get program.