Abstract
Weyl is a new type of computer algebra substrate that extends an existing, object oriented programming language with symbolic computing mechanisms. Rather than layering a new language on top of an existing one, Weyl behaves like a powerful subroutine library, but takes heavy advantage of the ability to overload primitive arithmetic operations in the base language. In addition to the usual objects manipulated in computer algebra systems (polynomial, rational functions, matrices, etc.), domains (e.g., Z, Q[x, y, z]) are also first class objects in Weyl.
This research was supported in part by the Advanced Research Projects Agency of the Department of Defense under ONR Contract N00014-92-J-1989, by ONR Contract N00014-92-J-1839, NSF Contract IRI-9006137 and in part by the U.S. Army Research Office through the Mathematical Science Institute of Cornell University.
Preview
Unable to display preview. Download preview PDF.
References
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith, Implementing Mathematics with the Nuprl Proof Development System, Prentice-Hall, Englewood Cliffs, NJ, 1986.
C. Dicrescenzo and D. Duval, Algebraic extensions and algebraic closure in scratchpad ii, in ISSAC '88, P. Gianni, ed., vol. 358 of Lecture Notes in Computer Science, Berlin-Heidelberg-New York, 1988, Springer-Verlag, p. ??
J. Dongarra, J. R. Bunch, C. B. Moler, and G. W. Stewart, LINPACK User's Guide, SIAM Publications, Philadelphia, PA, 1978.
A. C. Hearn, Reduce 3 user's manual, tech. rep., The RAND Corp., Santa Monica, CA, 1986.
R. D. Jenks and R. S. Sutor, AXIOM: The Scientific Computation System, Springer-Verlag, New York and NAG, Ltd. Oxford, 1992.
Maple Group, Maple, Waterloo, Canada, 1987.
D. A. McAllester, Ontic: A Knowledge Representation System for Mathematics, MIT Press, Cambridge, MA, 1987.
C. B. Moler, Matlab user's guide, Tech. Report CS81-1, Dept. of Computer Science, University of New Mexico, Albuquerque, NM, 1980.
B. T. Smith, J. M. Boyle, Y. Ikebe, V. C. Klema, and C. B. Moler, Matrix Eigensystem Routines: EISPACK Guide, Springer-Verlag, New York, NY, second ed., 1976.
G. L. Steele Jr., Common Lisp, The Language, Digital Press, Burlington, MA, second ed., 1990.
Symbolics, Inc., MACSYMA Reference Manual, Burlington, MA, 14th ed., 1989.
S. Wolfram, Mathematica: A System for Doing Mathematics by Computer, Addison-Wesley, Redwood City, CA, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zippel, R. (1993). The weyl computer algebra substrate. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1993. Lecture Notes in Computer Science, vol 722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013185
Download citation
DOI: https://doi.org/10.1007/BFb0013185
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57235-0
Online ISBN: 978-3-540-47985-7
eBook Packages: Springer Book Archive