{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:55Z","timestamp":1725663115633},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167679"},{"type":"electronic","value":"9783540388135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16767-6_69","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:55:44Z","timestamp":1330178144000},"page":"253-265","source":"Crossref","is-referenced-by-count":0,"title":["Some design principles for a mathematical knowledge representation system: A new approach to scientific calculation"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Calmet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Bergman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"23_CR1","unstructured":"\u2014 \"Computer Algebra\". Ed. by B. Buchberger et al., 2nd edit. Springer-Verlag, Wien (1983)."},{"key":"23_CR2","unstructured":"\u2014 J. Calmet and D. Lugiez, \"Software Engineering Aspects of a Mathematical Knowledge-Based System\". LIFIA report (1986)."},{"key":"23_CR3","first-page":"123","volume":"174","author":"R. D. Jenks","year":"1984","unstructured":"\u2014 R.D. Jenks, \"A Primer: 11 Keys to New Scratchpad\". Springer Verlag INCS 174, pp 123\u2013147, (1984).","journal-title":"Springer Verlag INCS"},{"key":"23_CR4","first-page":"91","volume":"72","author":"M. Bergman","year":"1982","unstructured":"\u2014 M. Bergman, \"Algebraic specifications: a constructive methodology in logic programming\". Springer Verlag INCS 72, pp 91\u2013100, (1982).","journal-title":"Springer Verlag INCS"},{"key":"23_CR5","first-page":"22","volume-title":"An Intuitionistic Theory of Types","author":"P. Martin-L\u00f6f","year":"1975","unstructured":"\u2014 P. Martin-L\u00f6f, \"An Intuitionistic Theory of Types\". Proc. Logic Coll. 1973, Ed. by H.E. Rose et al., North-Holland, Amsterdam, pp 22\u201329, (1975)."},{"key":"23_CR6","unstructured":"\u2014 M. Elbaamran, \"Etude et r\u00e9alisation d'un syst\u00e8me d'aide \u00e0 la sp\u00e9cification alg\u00e9brique des types abstraits\". 3rd cycle thesis, Univ. Aix-Marseille (1984)"},{"key":"23_CR7","unstructured":"\u2014 D. Bert, \"LPG Manuel\", LIFIA-IMAG Report, unpublished (1984)."},{"key":"23_CR8","unstructured":"\u2014 B.W. Kernighan and P.J. Plauger, \"Software Tools in Pascal\". Addison-Wesley, (1981)."},{"key":"23_CR9","unstructured":"\u2014 Enderle, Karsy and Pfaff, \"Computer Graphics Programming, GKS: The Graphic Standard\". Springer-Verlag (1982)."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"\u2014 J. Calmet, \"Manipulation of Recurrence Relations in Computer Algebra\". This Conference.","DOI":"10.1007\/3-540-16767-6_68"},{"key":"23_CR11","unstructured":"\u2014 M. Vivet, \"CAMELIA\". PhD thesis, Univ. du Maine, unpublished (1984)."}],"container-title":["Lecture Notes in Computer Science","Applied Algebra, Algorithmics and Error-Correcting Codes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16767-6_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:06:30Z","timestamp":1619543190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16767-6_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167679","9783540388135"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-16767-6_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}