App for meta-analysis of diagnostic accuracy reviews
Optimal Decision Rules for the Discursive Dilemma
Manual counter with the keyboard or the mouse on images
Program for topological degree calculation.
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++
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
A language for making art using mathematics
Open Source and data mining software
This is a Java APP for Probability and Statistics Tables
Delphi class for reading and writing SPSS SAV files
This is a maths solving app and study guide for various levels..
Numerical mathematics platform, Matlab alternative
Mixed Integer Linear Programming (MILP) solver.
Proof Logic : A logical framework for theorem proving
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