App for meta-analysis of diagnostic accuracy reviews
Optimal Decision Rules for the Discursive Dilemma
Program for topological degree calculation.
A flexible mathematical expressions parser for JAVA, Android, C# .NET
Interactive geometry software for Euclidean and non-Euclidean spaces
Neural network program. Creates and trains neural networks, shows data
Interactive scientific graphing and data analysis software.
Simple Long Integer Math for C++
A language for making art using mathematics
Open Source and data mining software
Numerical mathematics platform, Matlab alternative
Automated integer factorization
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
A collection of machine-checkend mathematical proofs
Java language binding for the GNU Linear Programming Kit (GLPK)
Sampling exactly from the normal and exponential distributions
A C++ Matrix Library