Author:
Adams Andrew,Dunstan Martin,Gottliebsen Hanne,Kelsey Tom,Martin Ursula,Owre Sam
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abbott, J., Van Leeuwen, A., AND Strotman, A. Objectives of OpenMath. Available from, Jan. 1995, http://www.rrz.uni-koeln.de/themen/Computeralgebra/OpenMath/ .
2. Adams, A., Gottliebsen, H., Linton, S., AND Martin, U. 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, Vancouver, Canada (1999), ACM Press.
3. Ballarin, C., Homann, K., AND Calmet, J. Theorems and algorithms: An interface between Isabelle and Maple. In Proceedings of the International Symposium on Symbolic and Algebraic Computation (1995), A. Levelt, Ed., ACM Press, pp. 150–157.
4. Bauer, A., Clarke, E., AND Zhao, X. Analytica-an experiment in combining theorem proving and symbolic computation. Journal of Automated Reasoning 21 (1998), 295–325.
5. Lect Notes Comput Sci;P. Bertoli,1998
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献