Open source 3D modeling software
Lisp interpreter for the PSP + UNIX-clones.
solve n moadele m majhol
Satisfiability-Modulo-Theories Real Algebra Toolkit
The Advanced Algebraic Language.
Matrix c++ library solving any linear algebra problems
Linear Algebra Package
Expression compiler written in C# using System.Linq.Expressions
Fully featured specialized computer algebra system
differential algebra library