Successful pedagogical applications of symbolic computation

At the Education Program for Gifted Youth (EPGY) we have developed a series of stand-alone, multi-media computer-based courses designed to teach advanced students mathematics at the secondary-school and college level. The EPGY course software has been designed to be used in those settings where a regular class cannot be offered, either because of an insufficient number of students to take the course or the absence of a qualified instructor to teach the course. In this way it differs from traditional applications of computers in education, most of which are intended to be used primarily as supplements and in conjunction with a human teacher.

[1]  Daniel Richardson,et al.  Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.

[2]  Stan Wagon.  Mathematica in action , 1991 .

[3]  Erich Kaltofen,et al.  Computers and Mathematics , 1989, Springer US.

[4]  Patrick Suppes,et al.  Computer-Based Mathematics and Physics for Gifted Students , 1995 .

[5]  T. A. Ager,et al.  Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring , 1989, Computers and Mathematics.

[6]  Jean-François Nicaud.  Reference Network: A Genetic Model for Intelligent Tutoring Systems , 1992, Intelligent Tutoring Systems.

[7]  Jean-François Nicaud,et al.  Building ITSs to be used: lessons learned from the APLUSIX project , 1993, Lessons from Learning.

[8]  Patrick Suppes,et al.  Computer-based instruction brings advanced-placement physics to gifted students , 1995 .

[9]  Kazem Sadegh-Zadeh,et al.  In dubio pro aegro , 1990, Artif. Intell. Medicine.

[10]  Michael Beeson.  MATHPERT: a computerized learning environment for algebra, trigonometry, and calculus , 1990 .

[11]  Richard E. Crandall,et al.  Mathematica for the sciences , 1991 .

[12]  Patrick Suppes,et al.  An equational deductive system for the differential and integral calculus , 1988, Conference on Computer Logic.

[13]  Neil Soiffer,et al.  A Survey of User Interfaces for Computer Algebra Systems , 1998, J. Symb. Comput..

[14]  Patrick Suppes,et al.  University-level computer-assisted instruction at Stanford: 1975 , 1977 .

[15]  Peter Cuasay.  Cognitive Factors in Academic Achievement. , 1992 .

[16]  P. Suppes,et al.  Computer Assisted Instruction at Stanford , 1971 .

[17]  James H. Davenport,et al.  Computer Algebra: Systems and Algorithms for Algebraic Computation , 1988 .

[18]  MICHAEL T. KANE.  THE DIVERSITY IN SAMPLES OF STUDENT PROOFS AS A FUNCTION OF PROBLEM CHARACTERISTICS : THE 1970 STANFORD CAl LOGIC CURRICULUM , 1981 .