Structures for symbolic mathematical reasoning and computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1128, Issue , 1996, Pages 216-227

  Homann, Karsten ^a   Calmet, Jacques ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Integration of computing and reasoning paradigms; Interfaces

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; INTERFACES (MATERIALS);

FORMAL FRAMEWORK; MATHEMATICAL OBJECTS; MATHEMATICAL PROBLEM SOLVING; MATHEMATICAL REASONING; REASONING PARADIGM; RECENT RESEARCHES;

COMPUTATION THEORY;

EID: 84947430924     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61697-7_23     Document Type: Conference Paper

References (17)

1. J. ABBOTT, A. VAN LEEUWEN, A. STROTMANN Objectives of OpenMath. 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. I. IOMANN 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.
6. E. CLARKE, X. ZttAO Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan. In A. BUNDY (Ed.), Automated Deduction (CADE-12), pp. 758-763, LNAI 814, Springer, 1994.
7. W. M. FARMER, J. D. GUTTMAN, F. J. THAYER IMPS: An Interactive Mathematical Proof System. In Journal of Automated Reasoning 11: 213-248, 1993.
8. W. M. FARMER, J. D. GUTTMAN, F. J. TnAYER Contexts in Mathematical Reasoning and Computation. In Journal of Symbolic Computation 19: 201-216, 1995.
9. F. GIUlqCI-IIGLIA, P. PECCHIARI, C. TALCOTT Reasoning Theories-Towards an Architecture for Open Mechanized Reasoning Systems. In F. BAADER, K. U. ScrIULZ (Eds.), Proceedings of First International Workshop on Frontiers of Combining Systems (FroCoS'96), pp. 97-114, Kluwer Series on Applied Logic, 1996.
10. J. HARRISON, L. THIERY Extending the HOL Theorem Prover with a Computer Algebra System to Reason About the Reals. In J. J. JOYCE, C.-J. H. SEQER (Eds.), Higher Order Logic Theorem proving and its Applications (HUG'93), pp. 174-184, LNCS 780, Springer, 1993.
11. K. HOMANN Symbolic Mathematical Problem Solving by Cooperation of Algorithmic and Logical Services, (in german), Dissertation, University of Karlsruhe, 1996.
12. P. JACKSON Exploring Abstract Algebra in Constructive Type Theory. In A. BUNDY (Ed.), Automated Deduction (CADE-12), pp. 590-604, LNAI 814, Springer, 1994.
13. N. KAJLER CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems. In Proceedings of ISSAC'92, pp. 376-386, ACM press, 1992.
14. M. B. MONAGAN, K. O. GEDDES, K. M. HEAL, G. LABAHN, S. VORKOETTER Maple V Programming Guide, Springer, 1996.
15. L. C. PAULSON Isabelle-A Generic Theorem Prover, LNCS 828, Springer, 1994.
16. C. TALCOTT Handles-Specialized logical services, Working Draft, 1994.
17. N. VENKATASUBRAMANIAN, C. TALCOTT Reasoning about Meta Level Activities in Open Distributed Systems, to appear in PODC, 1995.