{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:45Z","timestamp":1725663765800},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540515173"},{"type":"electronic","value":"9783540482079"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51517-8_104","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:03:06Z","timestamp":1330185786000},"page":"149-160","source":"Crossref","is-referenced-by-count":0,"title":["Application of a structured LISP system to computer algebra"],"prefix":"10.1007","author":[{"given":"J.","family":"Smit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. H.","family":"Gerez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Mulder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"volume-title":"Reduce Users manual, Version 3.2","year":"1983","key":"25_CR1","unstructured":"Hearn, A.C. (ed) Reduce Users manual, Version 3.2, The Rand Corporation, Santa Monica, California, April 1983."},{"key":"25_CR2","unstructured":"Smit, J. O. Herrmann, S.H. Gerez, R. Luchtmeijer, R.J. Mulder and L. Spaanenburg, \u201cSyntactic and Semantic Definition of MoDL\u201d, In: \u201cThe Integrated Circuit Design Book\u201d, P. de Wilde, (Ed.), Delft University Press, The Netherlands, ISBN 90-6275-246-2."},{"key":"25_CR3","unstructured":"J. Smit, J., B.J.F. van Beijnum, S.H. Gerez and R.J. Mulder, \u201cProving Correctness of Digital Designs in the Multidimen-sional Design Space\u201d, Proceedings of the IFIP Working Conference: \u201cFrom HDL Descriptions to Guaranteed Correct Circuit Designs\u201d, North Holland, September 1986."},{"key":"25_CR4","unstructured":"Steele, G.L. Common LISP Manual, Digital Press, Cambridge, Massatuchets."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Gutknecht, J., \u201cSeparate Compilation in Modula-2: An Approach to Efficient Symbol Files\u201d, IEEE Software, Nov. 1986, pp 29\u201338.","DOI":"10.1109\/MS.1986.229474"},{"key":"25_CR6","volume-title":"Smalltalk-80 The Language and its implementation","author":"A. Goldberg","year":"1983","unstructured":"Goldberg, A. and D. Robson, \u201cSmalltalk-80 The Language and its implementation\u201d. Addison-Wesley, Reading Mass., ISBN 0-201-11371-6, 1983."},{"key":"25_CR7","unstructured":"Andelson-Velskii, G.M. and E.M. Landis, \u201cSoviet Math. #3\u201d, pp 1259\u20131263."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Abdali S.K., G.W. Cherry, N. Soiffer, \u201cAn object oriented approach to algebra system design\u201d. Proc. of the 1986 Sympo-sium on Symbolic and Algebraic Computation, Symsac '86, July 21\u201323, Waterloo, Ontario, pp 100\u2013106.","DOI":"10.1145\/32439.32444"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Bradford, R.J., A.C. Hearn, J.A. Padget and E. Schrufer, \u201cEnlarging the REDUCE Domain of Computation\u201d, Proc. of the 1986 Symposium on Symbolic and Algebraic Computation, Symsac '86, July 21\u201323, Waterloo, Ontario, pp 100\u2013106.","DOI":"10.1145\/32439.32460"},{"issue":"1","key":"25_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TC.1985.1676511","volume":"1","author":"D.W. Matula","year":"1985","unstructured":"Matula, D.W. and Kornerup, P. \u201cFinite Precision Rational Arithmetic: Slash Number Systems\u201d, IEEE Transactions on Computers, C-34, Vol. 1, No 1, January 1985, pp 3\u201318.","journal-title":"IEEE Transactions on Computers, C-34"}],"container-title":["Lecture Notes in Computer Science","Eurocal '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51517-8_104.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:41Z","timestamp":1605630101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51517-8_104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540515173","9783540482079"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-51517-8_104","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}