{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:21Z","timestamp":1725664881141},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:13:26Z","timestamp":1330294406000},"page":"98-111","source":"Crossref","is-referenced-by-count":0,"title":["Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Gehrke","sequence":"first","affiliation":[]},{"given":"Carla","family":"Limongelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"M. Lauer. Computing by Homomorphic Images. In R. Loos, B. Buchberger, and Collins E.G., editors, Computer Algebra \u2014 Symbolic and Algebraic Computation. Springer-Verlag, 1983.","DOI":"10.1007\/978-3-7091-7551-4_10"},{"key":"10_CR2","unstructured":"C. Limongelli. The Integration of Symbolic and Numeric Computation by padic Construction Methods. PhD thesis, Universit\u00e0 degli Studi di Roma \u201cLa Sapienza\u201d, 1993."},{"key":"10_CR3","unstructured":"J.D. Lipson. Elements of Algebra and Algebraic Computing. Addison-Wesley Publishing Company, 1981."},{"key":"10_CR4","unstructured":"R. Milner and M. Tofte. Commentary on Standard ML. MIT Press, 1991."},{"key":"10_CR5","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"10_CR6","unstructured":"L.C. Paulson. ML for the Working Programmer. Cambridge University Press, 1991."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"J.H. Reppy. CML: A Higher-Order Concurrent Language. In SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 293\u2013305, June 1991.","DOI":"10.1145\/113446.113470"},{"key":"10_CR8","unstructured":"D. Sannella. Formal Program Development in Extended ML for the Working Programmer. Technical Report ECS-LFCS-89-102, LFCS, Department of Computer Science, University of Edinburgh, December 1989."},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1006\/jsco.1995.1006","volume":"19","author":"P.S. Santas","year":"1995","unstructured":"P.S. Santas. A Type System for Computer Algebra. Journal of Symbolic Computation, 19:79\u2013109, 1995.","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"10_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1017\/S0956796800001088","volume":"4","author":"M. Tofte","year":"1994","unstructured":"M. Tofte. Principal Signatures for Higher-Order Program Modules. Journal of Functional Programming, 4(3):285\u2013335, July 1994.","journal-title":"Journal of Functional Programming"},{"key":"10_CR11","volume-title":"Technical report","author":"J. Vuillemin","year":"1987","unstructured":"J. Vuillemin. Exact Real Computer Arithmetic with Continued Fractions. Technical report, INRIA, Rocquencourt, France, 1987."},{"key":"10_CR12","unstructured":"D.Y.Y. Yun. The Hensel Lemma in Algebraic Manipulation. PhD thesis, Massachusetts Institute of Technology, November 1974."}],"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_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:23Z","timestamp":1605647363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61697-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616979","9783540706359"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61697-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}