The weyl computer algebra substrate

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 722 LNCS, Issue , 1993, Pages 303-318

  Zippel, Richard ^a  

^a Department of Molecular Biology and Genetics   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; RATIONAL FUNCTIONS; SUBROUTINES;

ARITHMETIC OPERATIONS; BASE LANGUAGE; CLASS OBJECTS; COMPUTER ALGEBRA; COMPUTER ALGEBRA SYSTEMS; SYMBOLIC COMPUTING;

ALGEBRA;

EID: 85027616914     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0013185     Document Type: Conference Paper

References (12)

1. 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.
2. 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. ??
3. J. Dongarra, J. R. Bunch, C. B. Moler, and G. W. Stewart, LINPACK User's Guide, SIAM Publications, Philadelphia, PA, 1978.
4. A. C. Hearn, Reduce 3 user's manual, tech. rep., The RAND Corp., Santa Monica, CA, 1986.
5. R. D. Jenks and R. S. Sutor, AXIOM: The Scientific Computation System, Springer-Verlag, New York and NAG, Ltd. Oxford, 1992.
6. Maple Group, Maple, Waterloo, Canada, 1987.
7. D. A. McAllester, Ontic: A Knowledge Representation System for Mathematics, MIT Press, Cambridge, MA, 1987.
8. C. B. Moler, Matlab user's guide, Tech. Report CS81-1, Dept. of Computer Science, University of New Mexico, Albuquerque, NM, 1980.
9. 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.
10. G. L. Steele Jr., Common Lisp, The Language, Digital Press, Burlington, MA, second ed., 1990.
11. Symbolics, Inc., MACSYMA Reference Manual, Burlington, MA, 14th ed., 1989.
12. S. Wolfram, Mathematica: A System for Doing Mathematics by Computer, Addison-Wesley, Redwood City, CA, 1988.