JBernstein: Exploration techniques for non-linear constraint checking
[frozen] A library for computing cycles in graphs or in Java code.
Calculator that takes care of measurement units.
Cross platform Mathematical expression solver
DSOL: A Distributed Simulation Object Library implemented in Java
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.
Javafastcomplex has both mutable and immutable complex numbers
Open-source computational library written in pure JAVA