change simple query to relation algebra
A C++ template library extending syntax towards mathematical notation
Yadlr toolset for many-valued inference
A C++ and Python library for finance, statistics and linear algebra.
Open-source computational library written in pure JAVA
Optical library using TPSA
SymMAP.NET is an open source project attempting to support symbol lang
Heterogeneous cluster for acceleration of linear algebra computations
Fast C library for relation algebra using binary decision diagrams.
An object oriented C++ library for computer algebra
Processor Enhanced Robust Core Solver for Recursive Multibody Dynamics
Basic linear algebra in C++
Lisp interpreter for the PSP + UNIX-clones.
Satisfiability-Modulo-Theories Real Algebra Toolkit
Linear Algebra Package
Fully featured specialized computer algebra system
The Advanced Algebraic Language.
Matrix c++ library solving any linear algebra problems
differential algebra library