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#
Module Computation for Metabolic Networks
A C++ template library extending syntax towards mathematical notation
A science API for Java
Fixed-length Arithmetic-types library
Runge is an Interactive Solver for Systems of Differential Equations
An R Package for Environmental Statistics