A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
leftaroundabout
Solve symbolically defined systems of non-linear equations numerically.
bjodah