Skip to main content
SpringerLink
Log in

The design of SISYPHE : a system for doing symbolic and algebraic computations

  • Symbolic And Algebraic Computation — Systems Design
  • Conference paper
  • First Online:
Design and Implementation of Symbolic Computation Systems (DISCO 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 429))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. “Le Mythe de Sisyphe. Essai sur l'absurde”, Gallimard ed. 1942.

    Google Scholar 

  2. “Le-Lisp de l'INRIA Version 15.22 Le manuel de référence”, INRIA, FRANCE, avril 1989.

    Google Scholar 

  3. “Eléments de documentation SISYPHE”, technical report, INRIA, may 1989.

    Google Scholar 

  4. “Macaulay user manual”

    Google Scholar 

  5. “The design of Maple: A compact, portable and powerful computer algebra system”.

    Google Scholar 

  6. “Termination”, Journal of Symbolic Computation, 1987.

    Google Scholar 

  7. “BASTA: un système de manipulation de polynômes en plusieurs indéterminées” Thèse de Doctorat, Université de Nice, 1987.

    Google Scholar 

  8. “REDUCE-3 User's Manual”. Rand Corporation, 1983.

    Google Scholar 

  9. [G. Huet 80] “Confluent reduction: abstract properties and applications to term rewrite systems”, J.ACM 27 4 pp 787–821, oct.1980.

    Google Scholar 

  10. “A primer: 11 keys to New Scratchpad”, Proceeding of EUROSAM '84, LNCS, Springer.

    Google Scholar 

  11. “Scratchpad II: An abstract Datatype System for Mathematical Computation” IBM technical report 1986.

    Google Scholar 

  12. “La réécriture”, Techniques et Sciences Informatiques, AFCET-Gauthier-Villard, juin 86.

    Google Scholar 

  13. “Conception d'une interface utilisateur graphique pour un système de calcul algébrique formel”, submitted to DISCO 89.

    Google Scholar 

  14. [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.

    Google Scholar 

  15. [D. Lazard 89] “A new method for solving algebraic systems of positive dimension”, rapport LITP, Univ. Paris VI, France, 1989.

    Google Scholar 

  16. “Macsyma user manual, version 10” M.I.T. ed. 1983.

    Google Scholar 

  17. “Algorithmes de complétion et généralisation en logique du premier ordre”, Thèse de Doctorat, Université de Nice, février 1989.

    Google Scholar 

  18. [L. Pottier 89b] “Term generalization, general and associative-commutative cases”, proc. UNIF'89, Third International Workshop on Unification, Lambrecht, June 1989.

    Google Scholar 

  19. [P.W. Purdom and C.A. Brown 87] “Tree Matching and Simplification”, Software-Practice and Experience, Vol 17(2),pp105–115, Feb 1987.

    Google Scholar 

  20. “Mathematica: A system for doing Mathematics by Computers”, Addison-Wesley 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut National de Recherche en Informatique et Automatique, 2004 route des Lucioles, Sophia Antipolis, 06565, Valbonne Cedex, France

    A. Galligo, J. Grimm & L. Pottier

  2. Dép. de Math., INRIA and Université de Nice, 06034, Nice Cedex, France

    A. Galligo

Authors
  1. A. Galligo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Grimm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Pottier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfonso Miola

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation