{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:42:24Z","timestamp":1777657344103,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540601562","type":"print"},{"value":"9783540495338","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60156-2_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:46:25Z","timestamp":1330278385000},"page":"18-29","source":"Crossref","is-referenced-by-count":9,"title":["Combining theorem proving and symbolic mathematical computing"],"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,2]]},"reference":[{"key":"3_CR1","unstructured":"W. Bosma, J. Cannon, Handbook of MAGMA Functions, Sydney, 1994."},{"key":"3_CR2","first-page":"166","volume-title":"LNCS 737","author":"J. Calmet","year":"1993","unstructured":"J. Calmet, K. Homann, I.A. Tjandra, Unified Domains and Abstract Computational Structures, in J. Calmet, J.A. Campbell (eds.), International Conference on Artificial Intelligence and Symbolic Mathematical Computing, Karlsruhe, August 3\u20136, 1992, LNCS 737, pp. 166\u2013177, Springer, 1993."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"J. Calmet, I.A. Tjandra, A Unified-Algebra-Based Specification Language for Symbolic Computing, in A. Miola (ed.), Design and Implementation of Symbolic Computation Systems, LNCS 722, pp. 122\u2013133, Springer, 1993.","DOI":"10.1007\/BFb0013173"},{"key":"3_CR4","unstructured":"D. Geddis, The DTP Manual, Stanford University, 1994."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"A. Heck, Introduction to MAPLE, Springer, 1993.","DOI":"10.1007\/978-1-4684-0519-4"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"R.D. Jenks, R.S. Sutor, AXIOM, Springer, 1992.","DOI":"10.1007\/978-1-4612-2940-7"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"D.B. Lenat, J.S. Brown, Why AM and EURISKO Appear to Work, Artificial Intelligence 23, pp. 269\u2013294, Elsevier, 1984.","DOI":"10.1016\/0004-3702(84)90016-X"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"W.W. McCune, OTTER 3.0 Reference Manual and Guide, Technical Report ANL-94\/6, Argonne National Laboratory, 1994.","DOI":"10.2172\/10129052"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"L.C. Paulson, ISABELLE: A Generic Theorem Prover, LNCS 828, Springer, 1994.","DOI":"10.1007\/BFb0030541"},{"key":"3_CR10","volume-title":"Extending Explanation-Based Learning by Generalizing the Structure of Explanations","author":"J.W. Shavlik","year":"1990","unstructured":"J.W. Shavlik, Extending Explanation-Based Learning by Generalizing the Structure of Explanations, Pitman, London, 1990."},{"key":"3_CR11","unstructured":"A. Vella, C. Vella, Artificial Intelligence and the Mathcycle, in J.H. Johnson, S. McKee, A. Vella (eds.), Artificial Intelligence in Mathematics, Oxford University Press, 1994."}],"container-title":["Lecture Notes in Computer Science","Integrating Symbolic Mathematical Computation and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60156-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:23Z","timestamp":1605646523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60156-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601562","9783540495338"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60156-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}