Software for exact computing based on interval arithmetic.
A simple programmable spreadsheet for learning statistics.
Software tools for applications of simulations by iterations.
Fast C library for relation algebra using binary decision diagrams.
An object oriented C++ library for computer algebra
LIME is a software tool for creating multiphysics simulation codes.
The Advanced Algebraic Language.