Gaussian Process Model Fitting
Computer calculations made easy
A portfolio-optimizer using Markowitz(1952) mean-variance model
A system for computer algebra and symbolic mathematics
Global nonlinear optimization with automatic differentiation
A re-implementation of cl-jointgen in C
Software for exact computing based on interval arithmetic.
A Turing Machine Simulator
Stochastic Analysis
A simple programmable spreadsheet for learning statistics.
jHepWork was a name of the DataMelt program in 2005-20013
ntccKMC: A Kripke-structure-based model checker for ntcc
Software tools for applications of simulations by iterations.
Fast C library for relation algebra using binary decision diagrams.
An object oriented C++ library for computer algebra
The Advanced Algebraic Language.