Preview
Unable to display preview. Download preview PDF.
References
“Le Mythe de Sisyphe. Essai sur l'absurde”, Gallimard ed. 1942.
“Le-Lisp de l'INRIA Version 15.22 Le manuel de référence”, INRIA, FRANCE, avril 1989.
“Eléments de documentation SISYPHE”, technical report, INRIA, may 1989.
“Macaulay user manual”
“The design of Maple: A compact, portable and powerful computer algebra system”.
“Termination”, Journal of Symbolic Computation, 1987.
“BASTA: un système de manipulation de polynômes en plusieurs indéterminées” Thèse de Doctorat, Université de Nice, 1987.
“REDUCE-3 User's Manual”. Rand Corporation, 1983.
[G. Huet 80] “Confluent reduction: abstract properties and applications to term rewrite systems”, J.ACM 27 4 pp 787–821, oct.1980.
“A primer: 11 keys to New Scratchpad”, Proceeding of EUROSAM '84, LNCS, Springer.
“Scratchpad II: An abstract Datatype System for Mathematical Computation” IBM technical report 1986.
“La réécriture”, Techniques et Sciences Informatiques, AFCET-Gauthier-Villard, juin 86.
“Conception d'une interface utilisateur graphique pour un système de calcul algébrique formel”, submitted to DISCO 89.
[C. Kirchner 85] “Méthodes et Outils de Conception systématique d'Algorithmes d'Unification dans les Théories équationnelles”, Thèse d'Etat, Univ. Nancy, France, 1985.
[D. Lazard 89] “A new method for solving algebraic systems of positive dimension”, rapport LITP, Univ. Paris VI, France, 1989.
“Macsyma user manual, version 10” M.I.T. ed. 1983.
“Algorithmes de complétion et généralisation en logique du premier ordre”, Thèse de Doctorat, Université de Nice, février 1989.
[L. Pottier 89b] “Term generalization, general and associative-commutative cases”, proc. UNIF'89, Third International Workshop on Unification, Lambrecht, June 1989.
[P.W. Purdom and C.A. Brown 87] “Tree Matching and Simplification”, Software-Practice and Experience, Vol 17(2),pp105–115, Feb 1987.
“Mathematica: A system for doing Mathematics by Computers”, Addison-Wesley 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Galligo, A., Grimm, J., Pottier, L. (1990). The design of SISYPHE : a system for doing symbolic and algebraic computations. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1990. Lecture Notes in Computer Science, vol 429. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52531-9_121
Download citation
DOI: https://doi.org/10.1007/3-540-52531-9_121
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52531-8
Online ISBN: 978-3-540-47014-4
eBook Packages: Springer Book Archive