Agena is an interpreted procedural programming language.
A cross-platform statistical package for econometric analysis
fast C++ library for linear algebra & scientific computing
Simulation of a two-channel Bell test, with closed-form proofs
Symja - Java computer algebra language & symbolic math library
Mixed Integer Linear Programming (MILP) solver.
Computer calculations made easy
A system for computer algebra and symbolic mathematics
A Free and Open Source Java Framework for Multiobjective Optimization
OCaml bindings for GLPK
Software for exact computing based on interval arithmetic.
An implementation of Dantzig-Wolfe decomposition built upon GLPK
A simple programmable spreadsheet for learning statistics.
Nonlinear Krylov acceleration of fixed-point and Newton-like methods
Heterogeneous cluster for acceleration of linear algebra computations
Water Retention on Magic Squares with Constraint-Based Local Search