Simple physics simulation of Curvilinear and Rectilinear Motions
Software tool for Research in Computational Population Genetics
JBernstein: Exploration techniques for non-linear constraint checking
[frozen] A library for computing cycles in graphs or in Java code.
Cross platform Mathematical expression solver
DSOL: A Distributed Simulation Object Library implemented in Java
Komplexe Funktionen Plotter
proof verifier for mathematical proofs and documentation generator
A science API for Java
A lqfb delegation analyser. A 3d directed weighted multi graph.
This small library implements a data structure for Koch curves.