Modeling language for Mathematical Optimization
Symbolic programming for the next generation of numerical software
Computational algebraic number theory
Tools for building fast, hackable, pseudospectral equation solvers
Data Visualization and Analysis
Topology optimisation designed for laser based additive manufacturing