An R package for causal inference in time series
fast C++ library for linear algebra & scientific computing
MathMod is a mathematical modeling software
fast C++ library for GPU linear algebra & scientific computing
C++ Chart Library for wxWidgets
Easy mathematics in wxWidgets
Computer calculations made easy
Editor for Petri nets
proof verifier for mathematical proofs and documentation generator
An implementation of Dantzig-Wolfe decomposition built upon GLPK
A Python IDE optimized for scripting and easy access to documentation.