On the implementation of dynamic evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the implementation of dynamic evaluation

Full text

Pdf (747 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1995 international symposium on Symbolic and algebraic computation table of contents

Montreal, Quebec, Canada

Pages: 77 - 84

Year of Publication: 1995

ISBN:0-89791-699-9

Authors

P. A. Broadbery	The Numerical Algorithms Group, Ltd, Wilkinson House, Jordan Hill Road, Oxford, OX2 8DR, UK
T. Gómez-Díaz	Laboratoire d'arithmétique, calcul formel et optimisation (URA 1586), 123, Av. Albert Thomas. University of Limoges, France
S. M. Watt	IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 11, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/220346.220356 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	R4R	W. Clinger, j. Rees, eds. Revised4 Report on the Algorithmic Language Scheme. ACM LISP Pointers IV, 3 (July-September 1991).
	CJ	Robert M. Corless , David J. Jeffrey, Well … it isn't quite that simple, ACM SIGSAM Bulletin, v.26 n.3, p.2-6, Aug. 1992 [doi>10.1145/141897.141901]
	DDD	Jean Della Dora , Claire Dicrescenzo , Dominique Duval, About a New Method for Computing in Algebraic Number Fields, Research Contributions from the European Conference on Computer Algebra-Volume 2, p.289-290, April 01-03, 1985
	DD	Claire Dicrescenzo , Dominique Duval, Algebraic Extensions and Algebraic Closure in Scratchpad II, Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation, p.440-446, July 04-08, 1988
	Du	D. Duval-- Evaluation dynamique et cl6ture algdbrique en Axiom. J. of Pure and Applied Algebra, to appear.
	DGV	D. Duval , L. González-Vega, Dynamic evaluation and real closure, Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments, p.551-560, January 1996, Lille, France
	DR	D. Dural, 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. G6mez-Dfaz- Quelques applications de l'~valuation dynamique. Thesis, Universit6 de Limoges (1994). Available from Atelier National de Reproduction des Thhses, Universit6 de Grenoble 2.
	JS	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	La	J. M. Lang- Private communication. Waterloo Maple Software (1995).
	Si	William Y. Sit, An algorithm for solving parametric linear systems, Journal of Symbolic Computation, v.13 n.4, p.353-394, April 1992 [doi>10.1016/S0747-7171(08)80104-6]
	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	Stephen M. Watt , Peter A. Broadbery , Samuel S. Dooley , Pietro Iglio , Scott C. Morrison , Jonathan M. Steinbach , Robert S. Sutor, A first report on the A# compiler, Proceedings of the international symposium on Symbolic and algebraic computation, p.25-31, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190356]

CITED BY 3

	Andreas Dolzmann , Thomas Sturm, Guarded expressions in practice, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.376-383, July 21-23, 1997, Kihei, Maui, Hawaii, United States
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	Thierry Gautier , Jean-Louis Roch, NC² computation of gcd-free basis and application to parallel algebraic numbers computation, Proceedings of the second international symposium on Parallel symbolic computation, p.31-37, July 20-22, 1997, Maui, Hawaii, United States