[frozen] A library for computing cycles in graphs or in Java code.
JBernstein: Exploration techniques for non-linear constraint checking
Software for exact computing based on interval arithmetic.
Software tool for Research in Computational Population Genetics
Command line scientific calculator
S.O.H. Madgwick's AHRS algorithm encapsulated in a .dll file
Computes Gauss-Legendre quadrature nodes and weights
A Turing Machine Simulator
proof verifier for mathematical proofs and documentation generator
A class library to use conformal geometric algebra in C#
Software for data analysis, image processing, simulations, solver.
Module Computation for Metabolic Networks
A C++ template library extending syntax towards mathematical notation