Cognitive psychology, artificial intelligence, and computer technology have advanced so much that it is feasible to build computer systems that are as effective as intelligent human tutors. Computer tutors have been developed for teaching students to do proofs in geometry and to write computer programs in the LISP language. (JN)

Discusses the changing nature of mathematics. Describes how computers, applications, and cross-fertilization have produced new methods, theories, and models in the mathematical sciences transforming it into a powerful collection of tools for science. (RT)