Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring-Reference-Cited by-同舟云学术

Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring

Published:1989 Issue: Volume: Page:215-227
ISSN:
Container-title:Computers and Mathematics
language:
Short-container-title:

Author:

Ager Tryg A.,Ravaglia R. A.,Dooley Sam

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4613-9647-5_26.pdf

Reference8 articles.

1. 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.

2. J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra: Systems and Algorithms for Algebraic Compulation. Academic Press, London, 1988.

3. S. Dooley. The Use of Domain Restrictions in Computer Algebra Systems. Master’s thesis, University of California, Berkeley, California, M December 1988.

4. R. J. Fateman. On the systematic construction of algebraic manipulation systems. Draft of 24 September 1987. Submitted to the Journal for Symbolic Computation.

5. D. Richardson. Some unsolvable problems involving elementary functions of a real variable. Journal of Symbolic Logic ,33:511–520, 1968.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inequalities, assessment and computer algebra;International Journal of Mathematical Education in Science and Technology;2014-08-18

2. Successful pedagogical applications of symbolic computation;Texts and Monographs in Symbolic Computation;1998

3. Some human interaction issues in computer algebra;ACM SIGCHI Bulletin;1994-10

4. Some human interaction issues in computer algebra;ACM SIGSAM Bulletin;1994-03