Framework & GUI for Bayes Nets and other probabilistic models.
A flexible mathematical expressions parser for JAVA, Android, C# .NET
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
Verification via biSimulations of Max-Plus-Linear models
A Calculator to perform logical operations
proof verifier for mathematical proofs and documentation generator
A simple programmable spreadsheet for learning statistics.
combinational logic functions minimization
Pure Java Fuzzy API