2D & 3D TeX-Aware Vector Graphics Language
System dynamics program with additional features for economics
Computation and Visualization environment
Agent-based simulation toolkit
A collection of machine-checkend mathematical proofs
Simulated Airline Travel Solution Provider Library
A portfolio-optimizer using Markowitz(1952) mean-variance model
A system for computer algebra and symbolic mathematics
Toolkit for simulations of quantum walks on graphs
an interactive 3D viewing program
A C++ and Python library for finance, statistics and linear algebra.