fast C++ library for linear algebra & scientific computing
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
fast C++ library for GPU linear algebra & scientific computing
Calculation with Clifford algebras: C++ library and Python module
A C++ library for multiprecision complex-number matrix calculations.
An implementation of interval arithmetic
Programmable Calculator (IP functions, create user functions)
Software for electromagnetic simulation
Computer Assisted Proofs in Dynamics
Interactive geometry software for Euclidean and non-Euclidean spaces
A collection of machine-checkend mathematical proofs
Biomolecular electrostatics software
Linear constraint feasibility check and get program.
C++ BigInt class enables to work with arbitrary precision integers
A system for computer algebra and symbolic mathematics
Calculate primes numbers with yourself
Tinger Calc is a powerful scientific calculator environment.