Python library for defining and optimizing mathematical expressions
A portable, multi-platform, command-line driven graphing utility
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Agena is an interpreted procedural programming language.
*nix Sidereal Clock
Parallel Optimization Library for Java
Generator of the Mandelbrot family fractals
chinese remainder theorem - progressive solving, n-soln, extras
Modular Java framework for meta-heuristic optimization
API for all possible cellular automata that work same at all angles
MathTools is an aid in preparing printed math tests.
A Free and Open Source Java Framework for Multiobjective Optimization
Puzzle game demonstrating whats so hard about binary integer factoring
Tail probability calculator for continuous random variable
MathJax support for MathML content embedded in SVG documents
Creates a data density plot of a 2 dimensional data distribution.
proof verifier for mathematical proofs and documentation generator
A logic IDE for the sentential logic and the predicate logic.