Tool support for the Z formal notation
Android app interface for antoniovandre_eval software.
Symja - Java computer algebra language & symbolic math library
A flexible mathematical expressions parser for JAVA, Android, C# .NET
Open Source and data mining software
This is a maths solving app and study guide for various levels..
Mathematics, linear algebra and optimisation
Generates Latin squares and counts their transversals
Basic Scientific Calculator
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Modular Java framework for meta-heuristic optimization
MathTools is an aid in preparing printed math tests.
Java toolkit for discrete Image and Signal processing.
Software tool for Research in Computational Population Genetics
proof verifier for mathematical proofs and documentation generator
Hand Written Equation Creator
A simple programmable spreadsheet for learning statistics.
Octave Eclipse GUI