Numerical linear algebra on the HP-28 or how to lie with supercalculators
American Mathematical Monthly
On the implementation of dynamic evaluation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
The singular value decomposition for polynomial systems
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Guarded expressions in practice
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A Skeptic’s Approach to Combining HOL and Maple
Journal of Automated Reasoning
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Computer algebra handbook
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact
Computer Mathematics
Automating Side Conditions in Formalized Partial Functions
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Journal of Symbolic Computation
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
LU factoring of non-invertible matrices
ACM Communications in Computer Algebra
Ten commandments for good default expression simplification
Journal of Symbolic Computation
Simplifying products of fractional powers of powers
ACM Communications in Computer Algebra
Hi-index | 0.00 |
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'.