{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:07Z","timestamp":1747546927926},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616979"},{"type":"electronic","value":"9783540706359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61697-7_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:12:45Z","timestamp":1330276365000},"page":"216-227","source":"Crossref","is-referenced-by-count":4,"title":["Structures for symbolic mathematical reasoning and computation"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Homann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Calmet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"23_CR1","unstructured":"J. Abbott, A. van Leeuwen, A. Strotmann Objectives of Open Math. Submitted to Journal of Symbolic Computation, 1995."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013157, ACM press, 1995.","DOI":"10.1145\/220346.220366"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-7091-6531-7_1"},{"key":"23_CR4","unstructured":"J. Calmet, K. Homann Distributed Mathematical Problem Solving. In Proceedings of 4th Bar-Ilan Symposium on Foundations of Artificial Intelligence (BISFAI'95), pp. 222\u2013230, 1995."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013146, Kluwer Series on Applied Logic, 1996.","DOI":"10.1007\/978-94-009-0349-4_11"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"E. Clarke, X. Zhao Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan. In A. Bundy (Ed.), Automated Deduction (CADE-12), pp. 758\u2013763, LNAI 814, Springer, 1994.","DOI":"10.1007\/3-540-58156-1_55"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00881906","volume":"11","author":"W.M. Farmer","year":"1993","unstructured":"W.M. Farmer, J.D. Guttman, F.J. ThayerIMPS: An Interactive Mathematical Proof System. In Journal of Automated Reasoning 11:213\u2013248, 1993.","journal-title":"Journal of Automated Reasoning"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1006\/jsco.1995.1012","volume":"19","author":"W.M. Farmer","year":"1995","unstructured":"W.M. Farmer, J.D. Guttman, F.J. ThayerContexts in Mathematical Reasoning and Computation. In Journal of Symbolic Computation 19:201\u2013216, 1995.","journal-title":"Journal of Symbolic Computation"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"F. Giunchiglia, P. Pecchiari, C. Talcott Reasoning Theories \u2014 Towards an Architecture for Open Mechanized Reasoning Systems. In F. Baader, K.U. Schulz (Eds.), Proceedings of First International Workshop on Frontiers of Combining Systems (FroCoS'96), pp. 97\u2013114, Kluwer Series on Applied Logic, 1996.","DOI":"10.1007\/978-94-009-0349-4_8"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"J. Harrison, L. Th\u00e9ry 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 (HUG'93), pp. 174\u2013184, LNCS 780, Springer, 1993.","DOI":"10.1007\/3-540-57826-9_134"},{"key":"23_CR11","unstructured":"K. Homann Symbolic Mathematical Problem Solving by Cooperation of Algorithmic and Logical Services, (in german), Dissertation, University of Karlsruhe, 1996."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"P. Jackson Exploring Abstract Algebra in Constructive Type Theory. In A. Bundy (Ed.), Automated Deduction (CADE-12), pp. 590\u2013604, LNAI 814, Springer, 1994.","DOI":"10.1007\/3-540-58156-1_43"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"N. Kajler CAS\/PI: a Portable and Extensible Interface for Computer Algebra Systems. In Proceedings of ISSAC'92, pp. 376\u2013386, ACM press, 1992.","DOI":"10.1145\/143242.143359"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"M.B. Monagan, K.O. Geddes, K.M. Heal, G. Labahn, S. Vorkoetter Maple V Programming Guide, Springer, 1996.","DOI":"10.1007\/978-1-4684-0241-4"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"L.C. Paulson Isabelle \u2014 A Generic Theorem Prover, LNCS 828, Springer, 1994.","DOI":"10.1007\/BFb0030541"},{"key":"23_CR16","unstructured":"C. Talcott Handles \u2014 Specialized logical services, Working Draft, 1994."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"N. Venkatasubramanian, C. Talcott Reasoning about Meta Level Activities in Open Distributed Systems, to appear in PODC, 1995.","DOI":"10.1145\/224964.224981"}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61697-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:27Z","timestamp":1605629367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61697-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616979","9783540706359"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61697-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}