SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library

We describe the new computer algebra library ΣIT and its underlying design. The development of ΣIT is motivated by the need to provide highly efficient implementations of key algorithms for linear ordinary differential and (q)-difference equations to scientific programmers and to computer algebra system users, regardless of the programming language or interactive system they use. As such, ΣIT is not a computer algebra system per se, but a library (or substrate) which is designed to be “plugged” with minimal efforts into different types of client applications.