A. A. Adams
According to our database1, A. A. Adams authored at least 2 papers in 1999.
Legend:Book In proceedings Article PhD thesis Other
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999
VSDITLU: a verifiable symbolic definite integral table look-up.
Proceedings of the Automated Deduction, 1999