A page from the OpenDepot.org service

Jump to the start of the main contents

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 2.

Book Section

Adams, A.A. and Gottliebsen, H. and Linton, S.A. and Martin, U. (1999) Automated theorem proving in support of computer algebra: symbolic definite integration as a case study. In: Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation. ACM Press, pp. 253-260. ISBN 1-58113-073-2

Adams, A.A. and Gottliebsen, H. and Linton, S.A. and Martin, U. (1999) VSDITLU: a verified symbolic definite integral table look-up. In: Automated Deduction -- CADE-16 16th International Conference on Automated Deduction. Lecture Notes in Artificial Intelligence, 1632 (1632). Springer-Verlag, Berlin, pp. 112-126. ISBN 3-540-66222-7

This list was generated on Thu Apr 24 21:25:27 2014 BST.