A geometry library for Java
Timeseries databases management system
Calculator that takes care of measurement units.
Simple physics simulation of Curvilinear and Rectilinear Motions
Software for exact computing based on interval arithmetic.
JBernstein: Exploration techniques for non-linear constraint checking
Software tool for Research in Computational Population Genetics
[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
Java Api to manipulate simple on data of Matrix Type
User Friendly Data Analysis Tool for Interaction Data
A science API for Java
Math Parser for Java
Hand Written Equation Creator