an interactive 3D viewing program
Calculator that takes care of measurement units.
DSOL: A Distributed Simulation Object Library implemented in Java
Software for data analysis, image processing, simulations, solver.
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data
Module Computation for Metabolic Networks
Capacity exhaustion prediction from RRD files
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Genetic Algorithm Optimization for Python
Hand Written Equation Creator
A lqfb delegation analyser. A 3d directed weighted multi graph.
Runge is an Interactive Solver for Systems of Differential Equations
An R Package for Environmental Statistics
This small library implements a data structure for Koch curves.
Parallelized FREquency DEComposer algorithm
User Manual describing theory behind the package, installation instruc
A logic IDE for the sentential logic and the predicate logic.