TI graphing calculators <-> computer communication software
sparse and dense matrix, linear algebra, visualization, big data
jAgg - Java Aggregation Operations
simple chess app
Creates a data density plot of a 2 dimensional data distribution.
Reveal fractal patterns in irrational numbers
proof verifier for mathematical proofs and documentation generator
Real-time interactive fractal zoomer
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.
A primality/compositeness tester for different types of numbers.
A basic prime number sieve/tester.
Platform-level utilities on .NET Framework 4.0 (C#)