Model Builder: Graphical ODE Simulator 0.4.8FREEModel Builder is a graphical tool for designing, simulating and analyzing Mathematical models consisting of a system of ordinary differential equations(ODEs).Read More Rating:
Quadratic CalculatorFREEA basic quadratic equation calculator written in Java with a command-line interface. Handles fractions and imaginary roots. Thanks to Doug Lea at SUNY Oswego for his work on the Fraction class.FeaturesHandles fractions and imaginary rootsRead More Rating:
HOL theorem-proving system 14FREEHOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalisingvarious parts of mathematics and theoretical computer science.FeaturesEasy programmabilitySophisticated decision...Read More Rating:
Linear Math Java LibraryFREEJava library that implements linear algebra operations: matrix operations (addition, substraction, multiplication, transposing, determinant of matrix , inversion, rank of matrix); linear equations system solving.Featuresimplements full range of...Read More Rating:
jMathML 2.2.1FREEA pure Java library for manipulating content MathML version 2, including read/write and statement execution.Read More Rating:
libprime 1FREETo create an open source, fast, prime number generation and validation library.Read More Rating:
Multiple precision LAPACK and BLAS 0.6.7FREEThe MPACK project is providing a multiple precision arithmetic version of linear algebra package, similar to the BLAS and LAPACK.Read More Rating:
MAF (Monoid Automata Factory) 2.1FREEA reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automataFeaturesCan compute automatic structures for...Read More Rating:
ocaml-glpk 0.1.6FREEOCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems.Read More Rating:
P=NP algorithmFREEThis algorithm written in Python solves at least a subset of the Hamilton Circuit problem, which is NP complete, in n^3 time.Read More Rating:
TOP DOWNLOADSin Education / MathematicsMatCont13D Calculator03D Geometrical Objects0A-Converter0Abacus Math Writer0Abilities Builder Whole Numbers Plus0Add & Subtract Whole Numbers0 View All Top Downloads
TRENDING APPSin Education / MathematicsClimeCalcMathematicsWorks 2005 | Mathematician 3blibitVisual ProbabilityRo3nLGS-HelferMonte Carlo PDE Solver
LATEST ADDITIONSin Education / MathematicsClimeCalc2026-11-05MathematicsWorks 2005 | Mathematician 3b2026-11-05libit2026-11-05Visual Probability2026-11-05Ro3n2026-11-04LGS-Helfer2026-11-04Monte Carlo PDE Solver2026-11-04 View All Top Additions
