A portable, multi-platform, command-line driven graphing utility
Agena is an interpreted procedural programming language.
Portable software and data related to Mersenne numbers
A web-based minimisation service
Generator of the Mandelbrot family fractals
TI graphing calculators <-> computer communication software
sparse and dense matrix, linear algebra, visualization, big data
Creates a data density plot of a 2 dimensional data distribution.
proof verifier for mathematical proofs and documentation generator
A logic IDE for the sentential logic and the predicate logic.
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
Open-source computational library written in pure JAVA
library for Bilinear Pairing
A small, basic, yet powerful and competent primality tester.