Numerica

0262720272-f30
Numerica is the first project I worked on when I joined Brown University. Numerica is a modeling language for global optimization, i.e., for finding all solutions to systems of nonlinear equations or for reporting that none exist.

Numerica has applications in a variety of areas including kinematics, chemical engineering, finance and electrical engineering to name only a few. Its implementation uses a combination of techniques from numerical analysis, artificial intelligence, and programming languages. It was shown to outperform state of the art tools on many applications, sometimes by many orders of magnitude. It led to the publication of several papers, one book, and it was licensed by Brown for industrial use. It was also a fundamental project which gave us the experience to look for much more ambitious modeling languages.

MIT Press