Up a level |

Group by: Item Type | No Grouping

Jump to: Book Section

Number of items:

**1**.## 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