Tool support for the Z formal notation
Manual counter with the keyboard or the mouse on images
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
Mathematics, linear algebra and optimisation
Java math expression parser and script interpreter
Interval Calculator for Engineer
Modular Java framework for meta-heuristic optimization
Belief Revision via PS-Merge under constraints belief merging operator
Equation of stock trading simplified to game of moving resizing balls
Computer calculations made easy
EDMFit is an adjustment tool to estimate EDM calibration parameters.
MathTools is an aid in preparing printed math tests.
Editor for Petri nets
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
SL2 (= SLSL) - A Simple Linear Systems Library
Java toolkit for discrete Image and Signal processing.
A simple Belief Merging Prototype
Simple physics simulation of Curvilinear and Rectilinear Motions