Komplexe Funktionen Plotter
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data
Module Computation for Metabolic Networks
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Genetic Algorithm Optimization for Python
A lqfb delegation analyser. A 3d directed weighted multi graph.
This small library implements a data structure for Koch curves.
An R Package for Environmental Statistics
Parallelized FREquency DEComposer algorithm
User Manual describing theory behind the package, installation instruc
OpenCV wrapper for sba library
A logic IDE for the sentential logic and the predicate logic.
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
Simple example for triangulate polygon with allegro engine (C++)
A simple programmable spreadsheet for learning statistics.
Matlab Toolbox for reading and writing videos.
approximate Bayesian computation for stochastic differential equations