Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Lecture Notes in Computer Science;K. Homann,1995
2. Harrison, J., Théry, L.: A Skeptic’s Approach to Combining HOL and Maple. Journal of Automated Reasoning 21, 279–294 (1998)
3. Zimmer, J., Kohlhase, M.: System Description: The Mathweb Software Bus for Distributed Mathematical Reasoning. In: [28], pp. 139–143
4. Zimmer, J., Franke, A., Colton, S., Sutcliffe, G.: Integrating HR and tptp2x into Mathweb to Compare Automated Theorem Provers. In: Proc. of PaPS 2002 Workshop. DIKU Technical Report 02-10. Department of Computer Science, University of Copenhagen, pp. 4–18 (2002)
5. LNAI;E. Melis,2000