{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:24:08Z","timestamp":1726406648902},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525318"},{"type":"electronic","value":"9783540470144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52531-9_121","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:36:19Z","timestamp":1330205779000},"page":"30-39","source":"Crossref","is-referenced-by-count":0,"title":["The design of SISYPHE : a system for doing symbolic and algebraic computations"],"prefix":"10.1007","author":[{"given":"A.","family":"Galligo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Grimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Pottier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"unstructured":"\u201cLe Mythe de Sisyphe. Essai sur l'absurde\u201d, Gallimard ed. 1942.","key":"4_CR1"},{"unstructured":"\u201cLe-Lisp de l'INRIA Version 15.22 Le manuel de r\u00e9f\u00e9rence\u201d, INRIA, FRANCE, avril 1989.","key":"4_CR2"},{"unstructured":"\u201cEl\u00e9ments de documentation SISYPHE\u201d, technical report, INRIA, may 1989.","key":"4_CR3"},{"unstructured":"\u201cMacaulay user manual\u201d","key":"4_CR4"},{"unstructured":"\u201cThe design of Maple: A compact, portable and powerful computer algebra system\u201d.","key":"4_CR5"},{"unstructured":"\u201cTermination\u201d, Journal of Symbolic Computation, 1987.","key":"4_CR6"},{"unstructured":"\u201cBASTA: un syst\u00e8me de manipulation de polyn\u00f4mes en plusieurs ind\u00e9termin\u00e9es\u201d Th\u00e8se de Doctorat, Universit\u00e9 de Nice, 1987.","key":"4_CR7"},{"unstructured":"\u201cREDUCE-3 User's Manual\u201d. Rand Corporation, 1983.","key":"4_CR8"},{"issue":"4","key":"4_CR9","doi-asserted-by":"crossref","first-page":"787","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"[G. Huet 80] \u201cConfluent reduction: abstract properties and applications to term rewrite systems\u201d, J.ACM 27 4 pp 787\u2013821, oct.1980.","journal-title":"J.ACM"},{"unstructured":"\u201cA primer: 11 keys to New Scratchpad\u201d, Proceeding of EUROSAM '84, LNCS, Springer.","key":"4_CR10"},{"unstructured":"\u201cScratchpad II: An abstract Datatype System for Mathematical Computation\u201d IBM technical report 1986.","key":"4_CR11"},{"unstructured":"\u201cLa r\u00e9\u00e9criture\u201d, Techniques et Sciences Informatiques, AFCET-Gauthier-Villard, juin 86.","key":"4_CR12"},{"unstructured":"\u201cConception d'une interface utilisateur graphique pour un syst\u00e8me de calcul alg\u00e9brique formel\u201d, submitted to DISCO 89.","key":"4_CR13"},{"key":"4_CR14","volume-title":"M\u00e9thodes et Outils de Conception syst\u00e9matique d'Algorithmes d'Unification dans les Th\u00e9ories \u00e9quationnelles","author":"C. Kirchner","year":"1985","unstructured":"[C. Kirchner 85] \u201cM\u00e9thodes et Outils de Conception syst\u00e9matique d'Algorithmes d'Unification dans les Th\u00e9ories \u00e9quationnelles\u201d, Th\u00e8se d'Etat, Univ. Nancy, France, 1985."},{"key":"4_CR15","volume-title":"A new method for solving algebraic systems of positive dimension","author":"D. Lazard","year":"1989","unstructured":"[D. Lazard 89] \u201cA new method for solving algebraic systems of positive dimension\u201d, rapport LITP, Univ. Paris VI, France, 1989."},{"unstructured":"\u201cMacsyma user manual, version 10\u201d M.I.T. ed. 1983.","key":"4_CR16"},{"unstructured":"\u201cAlgorithmes de compl\u00e9tion et g\u00e9n\u00e9ralisation en logique du premier ordre\u201d, Th\u00e8se de Doctorat, Universit\u00e9 de Nice, f\u00e9vrier 1989.","key":"4_CR17"},{"key":"4_CR18","volume-title":"Term generalization, general and associative-commutative cases","author":"L. Pottier","year":"1989","unstructured":"[L. Pottier 89b] \u201cTerm generalization, general and associative-commutative cases\u201d, proc. UNIF'89, Third International Workshop on Unification, Lambrecht, June 1989."},{"issue":"2","key":"4_CR19","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/spe.4380170203","volume":"17","author":"P.W. Purdom","year":"1987","unstructured":"[P.W. Purdom and C.A. Brown 87] \u201cTree Matching and Simplification\u201d, Software-Practice and Experience, Vol 17(2),pp105\u2013115, Feb 1987.","journal-title":"Software-Practice and Experience"},{"unstructured":"\u201cMathematica: A system for doing Mathematics by Computers\u201d, Addison-Wesley 1988.","key":"4_CR20"}],"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-52531-9_121.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:15Z","timestamp":1619572095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52531-9_121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525318","9783540470144"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-52531-9_121","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}