System dynamics program with additional features for economics
fast C++ library for linear algebra & scientific computing
Software for electromagnetic simulation
Unicode XML TEI text analysis platform
Computer Assisted Proofs in Dynamics
A portfolio-optimizer using Markowitz(1952) mean-variance model