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