proof verifier for mathematical proofs and documentation generator
Java Api to manipulate simple on data of Matrix Type
Incan Abacus Emulator
Software for data analysis, image processing, simulations, solver.
A C++ template library extending syntax towards mathematical notation
Fixed-length Arithmetic-types library
C++ library adds mathematical fractions. Example: 1/3, 4/7, 49/357...
A logic IDE for the sentential logic and the predicate logic.
approximate Bayesian computation for stochastic differential equations
A library for working with various complex numbers in Java.
Qt-based FFT implementation