Belief Revision via PS-Merge under constraints belief merging operator
Equation of stock trading simplified to game of moving resizing balls
API for all possible cellular automata that work same at all angles
A Calculator to perform logical operations
MathTools is an aid in preparing printed math tests.
sparse and dense matrix, linear algebra, visualization, big data
Editor for Petri nets
Petri net framework for security related modeling and reasoning.
Java graph library
A printed document recognition system that can deal with formula
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
A simple Belief Merging Prototype
Imports bibtex references from MathSciNet
Timeseries databases management system
Simple physics simulation of Curvilinear and Rectilinear Motions
JBernstein: Exploration techniques for non-linear constraint checking
Java Api to manipulate simple on data of Matrix Type
Hand Written Equation Creator
This small library implements a data structure for Koch curves.
Javafastcomplex has both mutable and immutable complex numbers
A simple programmable spreadsheet for learning statistics.