Towards the Mathematics Software Bus

Theoretical Computer Science

Volumn 187, Issue 1-2, 1997, Pages 221-230

  Calmet, Jacques ^a   Homann, Karsten ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

Software environments; Symbolic mathematical computing

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; COMPUTER GRAPHICS; FORMAL LOGIC; INTERFACES (COMPUTER); PROBLEM SOLVING;

SOFTWARE PACKAGE MATHEMATICS SOFTWARE BUS; SYMBOLIC MATHEMATICAL COMPUTING;

COMPUTER SOFTWARE;

EID: 0031273695     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00066-2     Document Type: Article

References (20)

1. J. Abbott, A. van Leeuwen, A. Strotmann, Objectives of openmath, J Symbolic Comput. 1995, submitted.
2. F. Baader, K.U. Schulz (Eds.), Frontiers of Combining Systems, Series on Applied Logic 3, Kluwer, Dordrecht, 1996.
3. C. Ballarin, K. Homann, J. Calmet, Theorems and algorithms: an interface between Isabelle and Maple, in: A.H.M. Levelt (Ed.), Proc. Int. Sym. on Symbolic and Algebraic Computation (ISSAC'95), ACM press, New York 1995, pp. 150-157.
4. 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, Berlin, 1996.
5. G. Butler, Software architectures for computer algebra: A case study, in: J. Calmet, C. Limongelli (Eds.), Design and implementation of Symbolic Computation Systems (DISCO'96), Lecture Notes in Computer Science, Vol. 1128, Springer, Berlin, 1996, pp. 277-286.
6. J. Calmet, K. Homann, Distributed mathematical problem solving, in: Proc. 4th Bar-Ilan Sym. Foundations of Artificial Intelligence (BISFAI'95), 1995, pp. 222-230.
7. J. Calmet, K. Homann, Classification of communication and cooperation mechanisms for logical and symbolic computation systems, in: F. Baader, K.U. Schulz (Eds.), Frontiers of Combining Systems, Series on Applied Logic 3, Kluwer, Dordrecht, 1996, pp. 221-234.
8. E. Clarke, X. Zhao, Combining symbolic computation and theorem proving: Some problems of Ramanujan, in: A. Bundy (Ed.), Automated Deduction (CADE-12), Lecture Notes in Artificial Intelligence, Vol. 814, Springer, Berlin, 1994, pp. 758-763.
9. S. Dalmas, M. Gaëtano, A. Sausse, Distributed computer algebra: The central control approach, in: H. Hong (Ed.), Parallel Symbolic Computation, Lecture Notes in Computing, Vol. 5, World Scientific, Singapore, 1994, pp. 104-113.
10. J. Denzinger, M. Fuchs, Goal oriented equational theorem proving using team work, in: B. Nebel (Ed.), Artificial Intelligence (KI'94), Lecture Notes in Artificial Intelligence, Vol. 861, Springer, Berlin, 1994, pp. 343-354.
11. F. Giunchiglia, P. Pecchiari, C. Talcott, Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems, in: F. Baader, K.U. Schulz (Eds.), Frontiers of Combining Systems, Series on Applied Logic 3, Kluwer, Dordrecht, 1996, pp. 157-174.
12. J. Harrison, L. Théry, Extending the HOL theorem prover with a computer algebra system to reason about the reals, in: J.J. Joyce, C.-J.H. Seger (Eds.), Higher Order Logic Theorem Proving and its Applications, Lecture Notes in Computer Science, Vol. 780, Springer, Berlin, 1993, pp. 174-184.
13. K. Homann, Symbolic mathematical problem solving by cooperation of algorithmic and logical services, (in German), Dissertation, University of Karlsruhe, Infix, 1997.
14. K. Homann, J. Calmet, Structures for symbolic mathematical reasoning and computation. in: J. Calmet, C. Limongelli (Eds.), Design and Implementation of Symbolic Computation Systems (DISCO'96), Lecture Notes in Computer Science, Vol. 1128, Springer, Berlin, 1996, pp. 216-227.
15. P. Jackson, Exploring abstract algebra in constructive type theory. in: A. Bundy (Ed.), Automated Deduction (CADE-12), Lecture Notes in Artificial Intelligence, Vol. 814, Springer, Berlin, 1994, pp. 590-604.
16. N. Kajler, CAS/PI: a portable and extensible interface for computer algebra systems. in: Symbolic and Algebraic Computation (ISSAC'92), ACM press, New York, 1992, pp. 376-386.
17. M. Kerber, M. Kohlhase, V. Sorge, Integrating computer algebra with proof planning, in: J. Calmet, C. Limongelli (Eds.), Design and Implementation of Symbolic Computation Systems (DISCO'96), Lecture Notes in Computer Science, Vol. 1128, Springer, Berlin, 1996, pp. 204-215.
18. C. Landauer, K.L. Bellman, Integration systems and interaction spaces, in: F. Baader, K.U. Schulz (Eds.), Frontiers of Combining Systems, Series on Applied Logic 3, Kluwer, Dordrecht, 1996, pp. 249-266.
19. L.C. Paulson, Isabelle - A Generic Theorem Prover, Lecture Notes in Computer Science, Vol. 828, Springer, Berlin, 1994.
20. The Information Bus Company (Tibco), TP-TIB Overview, ©Teknekron Software Systems Inc., 1995.