Computer Assisted Proofs in Dynamics
MATLAB implementations of algorithms
Specification for interoperability of JavaScript algebraic structures
GNU Octave MQTT toolkit
Uncovering truth in data
Ontology of types of mathematical models, and their properties
SHA-256 Algorithm Implementation in C
A scientific calculator written in Python
A shared memory parallel sparse matrix library including Sparse BLAS.
Program for statistic and visual analysis
Building math graphs in notepad++
*nix Sidereal Clock
Gap.app is a frontend and distribution for GAP on macOS
App for meta-analysis of diagnostic accuracy reviews
Optimal Decision Rules for the Discursive Dilemma
constant-time graph connectivity test
Program for topological degree calculation.
Manual counter with the keyboard or the mouse on images