Some design principles for a mathematical knowledge representation system: A new approach to scientific calculation

  • Jacques Calmet
  • Marc Bergman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 228)


Computer Algebra System Abstract Data Type Algebraic Algorithm Algebraic Specification Host Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    — "Computer Algebra". Ed. by B. Buchberger et al., 2nd edit. Springer-Verlag, Wien (1983).Google Scholar
  2. 2.
    — J. Calmet and D. Lugiez, "Software Engineering Aspects of a Mathematical Knowledge-Based System". LIFIA report (1986).Google Scholar
  3. 3.
    — R.D. Jenks, "A Primer: 11 Keys to New Scratchpad". Springer Verlag INCS 174, pp 123–147, (1984).Google Scholar
  4. 4.
    — M. Bergman, "Algebraic specifications: a constructive methodology in logic programming". Springer Verlag INCS 72, pp 91–100, (1982).Google Scholar
  5. 5.
    — P. Martin-Löf, "An Intuitionistic Theory of Types". Proc. Logic Coll. 1973, Ed. by H.E. Rose et al., North-Holland, Amsterdam, pp 22–29, (1975).Google Scholar
  6. 6.
    — M. Elbaamran, "Etude et réalisation d'un système d'aide à la spécification algébrique des types abstraits". 3rd cycle thesis, Univ. Aix-Marseille (1984)Google Scholar
  7. 7.
    — D. Bert, "LPG Manuel", LIFIA-IMAG Report, unpublished (1984).Google Scholar
  8. 8.
    — B.W. Kernighan and P.J. Plauger, "Software Tools in Pascal". Addison-Wesley, (1981).Google Scholar
  9. 9.
    — Enderle, Karsy and Pfaff, "Computer Graphics Programming, GKS: The Graphic Standard". Springer-Verlag (1982).Google Scholar
  10. 10.
    — J. Calmet, "Manipulation of Recurrence Relations in Computer Algebra". This Conference.Google Scholar
  11. 11.
    — M. Vivet, "CAMELIA". PhD thesis, Univ. du Maine, unpublished (1984).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Jacques Calmet
    • 1
  • Marc Bergman
    • 2
  1. 1.LIFIAGrenobleFrance
  2. 2.IIRIAMMarseilleFrance

Personalised recommendations