Praxis: A rule-based expert system for MACSYMA

  • Mike Clarkson
Short Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 429)


We have implemented a rule-based expert system for MACSYMA. Although the system has been written with MACSYMA in mind, we must stress that it is not intimately tied to this particular computer algebra package. We feel that it would not be a difficult task to port this system to other computer algebra systems such as Maple, SMP or Mathematica.


  1. Jacques Calmet. Intelligent Computer Algebra System: Myth, Fancy or Reality? In R. Janssen, editor, Trends in Computer Algebra, volume 296 of Lecture Notes in Computer Science, Berlin-Heidelberg-New York, 1988. Springer-Verlag.Google Scholar
  2. J. S. Kowalik, editor. Coupling Symbolic and Numerical Computing in Expert Systems, New York, 1986. Elsevier Science.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Mike Clarkson
    • 1
  1. 1.ISTS, York UniversityNorth YorkCanada

Personalised recommendations