libdspl-2.0 is opensource cross-platform digital signal processing alg
Symja - Java computer algebra language & symbolic math library
Unicode XML TEI text analysis platform
Divide numbers with recurring decimals
Perl Lib Math Notation
Computer Assisted Proofs in Dynamics
Interactive geometry software for Euclidean and non-Euclidean spaces
PeCalc is a polyvalent engineering calculator for S&T students
A collection of machine-checkend mathematical proofs
Biomolecular electrostatics software
Linear constraint feasibility check and get program.
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
C++ BigInt class enables to work with arbitrary precision integers