Proceedings of the 1995 international symposium on Symbolic and algebraic computation

FOXBOX: a system for manipulating symbolic objects in black box representation

ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation

VSDITLU: a verifiable symbolic definite integral table look-up

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction

Cited References

Computer algebra handbook

Algebraic and numerical algorithms

Algorithms and theory of computation handbook