References

R4R

W. Clinger, J. Rees, eds. -- Revised Report on the Algorithmic Language Scheme. ACM LISP Pointers IV, 3 (July-September 1991).

CJ

R. Corless, D. Jeffrey -- Well It Isn't Quite That Simple! ACM Sigsam Bulletin, Number 26 p. 2-6 (1992).

DDD

J. Della Dora, C. Dicrescenzo, D. Duval -- About a New Method for Computing in Algebraic Number Fields. Eurocal'85, vol.2, Springer Lecture Notes in Computer Science 204, ed. G. Goos, J. Hartmanis, p. 289-290 (1985).

DD

C. Dicrescenzo, D. Duval -- Algebraic Extensions and Algebraic Closure in Scratchpad. Symbolic and Algebraic Computation, Springer Lecture Notes in Computer Science 358, ed. P. Gianni, p. 440-446 (1989).

Du

D. Duval -- Evaluation dynamique et clôture algébrique en Axiom. J. of Pure and Applied Algebra, to appear.

DGV

D. Duval, L. González-Vega -- Dynamic Evaluation and Real Closure. To appear in Mathematics and Computers (transactions of IMACS Conference, June 1993).

DR

D. Duval, J.-C. Reynaud -- Sketches and Computation (Part I): Basic Definitions and Static Evaluation and (Part II): Dynamic Evaluation and Applications. Mathematical Structures in Computer Science, 4 p. 185-238 and 239-271. Cambridge University Press (1994)

Go

T. Gómez-Díaz -- Quelques applications de l'évaluation dynamique. Thesis, Université de Limoges (1994). Available from Atelier National de Reproduction des Thèses, Université de Grenoble 2.

JS

R. D. Jenks, R. S. Sutor -- Axiom, The Scientific Computation System. NAG, Springer-Verlag (1992).

La

J. M. Lang -- Private communication. Waterloo Maple Software (1995).

Si

W. Y. Sit -- An algorithm for solving parametric linear systems. J. Symbolic Computation 13 p. 353-394 (1992).

W1

S. M. Watt, P. A. Broadbery, S. S. Dooley, P. Iglio, S. C. Morrison, J. M. Steinbach, R. S. Sutor -- Axiom library compiler user guide. NAG Ltd, 1994.

W2

S. M. Watt, P. A. Broadbery, S. S. Dooley, P. Iglio, S. C. Morrison, J. M. Steinbach, R. S. Sutor -- A first report on the compiler. Proceedings ISSAC'94, ACM Press, New York 1994, p. 25-31.