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
An implementation of interval arithmetic
engineering programmable calculator
A C++ library for multiprecision complex-number matrix calculations.
Calculation with Clifford algebras: C++ library and Python module
Foreval is parser & compiler of mathematical expressions
Programmable Calculator (IP functions, create user functions)
ForevalZ - compiler of mathematical expressions with complex numbers
Software for electromagnetic simulation
Computer Assisted Proofs in Dynamics
Interactive geometry software for Euclidean and non-Euclidean spaces
This is a maths solving app and study guide for various levels..
A collection of machine-checkend mathematical proofs
Biomolecular electrostatics software
Linear constraint feasibility check and get program.
Kaplan-Meier for Windows
C++ BigInt class enables to work with arbitrary precision integers