Didactic application to aid students in learning Numerical Methods;
Генератор случайных чисел
Software for electromagnetic simulation
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
GNU Octave toolkit for controlling a Raspberry Pi
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
Open Source and data mining software
Agent-based simulation toolkit
A collection of machine-checkend mathematical proofs