|
 ABSTRACT
Present computer algebra systems base their interactive sessions on a very simple model of mathematical discourse. The user's input to the system is a line containing a mathematical expression (an operation, a formula, a set of equations, etc) and the system's response to the user is an output line which contains a mathematical expression similar to the input. There are many situations, however, in which this is too simple a model of mathematics. Algebra systems should be allowed to reply 'Well ... it isn't quite that simple'.
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.
| |
1
|
Gradshteyn, I. S. and Ryzhik, I. M. 1979 <i>Table of integrals series and products.</i> Academic press.
|
| |
2
|
Corless, R. M. 1992 Six, lies and calculators. <i>Am. Math. Monthly</i>, in press.
|
| |
3
|
|
| |
4
|
Corless, R. M., Jeffrey, D.J. and Nerenberg, M.A.H. 1992 The row echelon decomposition of a matrix. <i>submitted.</i>
|
CITED BY 6
|
|
P. A. Broadbery , T. Gómez-Díaz , S. M. Watt, On the implementation of dynamic evaluation, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.77-84, July 10-12, 1995, Montreal, Quebec, Canada
|
|
|
Robert M. Corless , Patrizia M. Gianni , Barry M. Trager , Stephen M. Watt, The singular value decomposition for polynomial systems, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.195-207, July 10-12, 1995, Montreal, Quebec, Canada
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
G.1