Abstract
Presently computer algebra systems share with calculators the property thai a sequence of computations is not a unified computational sequence, thereby allowing fallacies to occur. We argue thai if computer algebra systems operate in a fram,ework of strict mathematical proof fallacies are eliminated. We show that this is possible in a working interactive system, REQD. We explain why computaiional algebra, done under the strict constraints of proof, is relevant to uses of computer algebra systems in instruction.
Research supported by the National Science Foundation Grants MDR-85-50596 and MDR-87-51523 at Stanford University and the Defense Advanced Research Projects Agency (DoD), monitored by the Space and Naval Warfare Systems Command under Contract N00039-88-C-0292 at the University of California at Berkeley.
Supported under a National Science Foundation Graduate Fellowship.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Chuaqui, and P. Suppes. An Equational Deductive System, for the Differential and Integral Calculus. To appear in the Proceedings of Colog 88, Journal of Symbolic Computation, 1989.
J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra: Systems and Algorithms for Algebraic Compulation. Academic Press, London, 1988.
S. Dooley. The Use of Domain Restrictions in Computer Algebra Systems. Master’s thesis, University of California, Berkeley, California, M December 1988.
R. J. Fateman. On the systematic construction of algebraic manipulation systems. Draft of 24 September 1987. Submitted to the Journal for Symbolic Computation.
D. Richardson. Some unsolvable problems involving elementary functions of a real variable. Journal of Symbolic Logic ,33:511–520, 1968.
E. P. Sacks. Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations. PhD thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, February 1988.
L. A. Steen (Ed.). Calculus for a new century: a pump, not a filter. Notes of the Mathematical Association of America ,8, 1988.
P. Suppes, T. A. Ager, P. Berg, R. Chuaqui, W. Graham, R., E. Maas, and S. Takahashi. Applications of Computer Technology to Pre-College Calculus: First Annual Report. Technical Report 310, Institute for Mathematical Studies in the Social Sciences, Stanford University, April 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag New York Inc.
About this paper
Cite this paper
Ager, T.A., Ravaglia, R.A., Dooley, S. (1989). Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring. In: Kaltofen, E., Watt, S.M. (eds) Computers and Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9647-5_26
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9647-5_26
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97019-6
Online ISBN: 978-1-4613-9647-5
eBook Packages: Springer Book Archive