Mathematics
Showing page 1 of 1.
-
RODIN Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
739 weekly downloads -
Octclipse Octave Eclipse GUI
90 weekly downloads -
LQFB-analyser A lqfb delegation analyser. A 3d directed weighted multi graph.
1 weekly downloads -
ECalculator Eclipse-Plugin: A scientific calculator with arbitrary precision and natural arithmetic input.
1 weekly downloads -
MoTaBaR Provide a reference implementation of Moving Taylor Bayesian Regression, a method for nonparametric multi-dimensional function estimation with correlated errors from finite samples, as a Python package based on SciPy
1 weekly downloads -
IUP version of dischoco Studiying version of Distrubuted version of choco, a constraint programing tool.
0 weekly downloads -
Java Metaheuristics (JMH) Java Metaheuristics (JMH) is a Java library aimed at the design and implementation of exact and approximated algorithms for optimization problems. JMH is specifically tailored for the design of metaheuristic procedures.
0 weekly downloads -
RoxGT - Eclipse Graph Theory Framework RoxGT its an open source framework for building Graph-based applications. It has been built essentially for academic jobs, such as graph algorithm execution and theorem proofs.
0 weekly downloads -
Stock Market Trading Advisor It will be an Eclipse RCP application for stock price analysis.
0 weekly downloads -
abaci Abaci is a mathematical technical computing language on the top of JVM(Java Virtual Machine). Abaci aims to provide a state-of-the-art, open source technical computing infrastructure to education, academics and industry.
0 weekly downloads -
openAPC Foundation The openAPC Software is a free available high quality open source solution to improve productivity by applying Advanced Process Control (APC) technologies.
0 weekly downloads
