Belief Revision via PS-Merge under constraints belief merging operator
A Java library to model and fit ARTA processes.
Equation of stock trading simplified to game of moving resizing balls
Computer calculations made easy
Fast and more random implementations of java.util.Random.
API for all possible cellular automata that work same at all angles
EDMFit is an adjustment tool to estimate EDM calibration parameters.
A Calculator to perform logical operations
sparse and dense matrix, linear algebra, visualization, big data
jAgg - Java Aggregation Operations
MathTools is an aid in preparing printed math tests.
Java graph library
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
A Free and Open Source Java Framework for Multiobjective Optimization
Petri net framework for security related modeling and reasoning.