论文信息 - The design of SISYPHE: a system for doing symbolic and algebraic computations

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

SISYPHE is a new general purpose Computer Algebra System under development at INRIA and University of Nice since 1988. The system can be used interactively as a mathematical calculator and new procedures and packages can be added using a programming language, SISYPHE is written in Le-Lisp [J.Chailloux and al.], the syntax of the command language and the names of the user functions are Macsyma like. The system is made from a set of compiled modules and contains a pre-compiler and a compiler. Mathematical objects admit various typed internal representations with associated conversion functions. SISYPHE is designed to be used by engineers as well as researchers.

[1] Loïc Pottier,et al. Algorithmes de complétion et généralisation en logique du premier ordre , 1989 .

[2] Stephen M. Watt,et al. Scratchpad II: An Abstract Datatype System for Mathematical Computation , 1988, Trends in Computer Algebra.

[3] Albert Camus,et al. Le mythe de Sisyphe , 1942 .

[4] Paul Walton Purdom,et al. Tree matching and simplification , 1987, Softw. Pract. Exp..

[5] Bruce W. Char,et al. The design of maple: A compact, portable and powerful computer algebra system , 1983, EUROCAL.

[6] Richard D. Jenks,et al. A Primer: 11 Keys to New Scratchpad , 1984, Symbolic and Algebraic Computation.

[7] Daniel Lazard,et al. A new method for solving algebraic systems of positive dimension , 1991, Discret. Appl. Math..

[8] Stephen Wolfram,et al. Mathematica: a system for doing mathematics by computer (2nd ed.) , 1991 .

[9] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.