fast C++ library for linear algebra & scientific computing
A Portable General-Purpose Computer Algebra System
Software for electromagnetic simulation
UNLocBox (Matlab convex optimization toolbox)
Belief Revision via PS-Merge under constraints belief merging operator
A portfolio-optimizer using Markowitz(1952) mean-variance model
JBernstein: Exploration techniques for non-linear constraint checking
Distributed QP Solver in Python