Author:
Homann Karsten,Calmet Jacques
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J. Abbott, A. van Leeuwen, A. Strotmann Objectives of Open Math. Submitted to Journal of Symbolic Computation, 1995.
2. C. Ballarin, K. Homann, J. Calmet Theorems and Algorithms: An Interface between Isabelle and Maple. In A.H.M. Levelt (Ed.), Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC'95), pp. 150–157, ACM press, 1995.
3. B. Buchberger Mathematica: Doing Mathematics by Computer? In A. Miola (Ed.), Advances in the Design of Symbolic Computation Systems, Texts and Monographs in Symbolic Computation, Springer, 1996.
4. J. Calmet, K. Homann Distributed Mathematical Problem Solving. In Proceedings of 4th Bar-Ilan Symposium on Foundations of Artificial Intelligence (BISFAI'95), pp. 222–230, 1995.
5. J. Calmet, K. Homann Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. In F. Baader, K.U. Schulz (Eds.), Proceedings of First International Workshop on Frontiers of Combining Systems (FroCoS'96), pp. 133–146, Kluwer Series on Applied Logic, 1996.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献