论文信息 - Problems and Solutions for Markup for Mathematical Examples and Exercises

Problems and Solutions for Markup for Mathematical Examples and Exercises

This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. The observations described arose from trying to represent mathematical knowledge with the goal to present it according to several well-established teaching strategies for mathematics through the learning environment ACTIVEMATH. The main concern here is with examples, exercises, and proofs.

Paul A. Cairns | Erica Melis | Carsten Ullrich | George Goguadze

[1] Robert J. Gaizauskas,et al. Using Edit Distance Algorithms to Compare Alternative Approaches to ITS Authoring , 2002, Intelligent Tutoring Systems.

[2] Paul A. Cairns,et al. On Dynamically Presenting a Topology Course , 2003, Annals of Mathematics and Artificial Intelligence.

[3] Paul Libbrecht,et al. Using Computer Algebra Systems as Cognitive Tools , 2002, Intelligent Tutoring Systems.

[4] Erica Melis,et al. A proof presentation suitable for teaching proofs , 1999 .

[5] Paul Libbrecht,et al. ActiveMath: A Generic and Adaptive Web-Based Learning Environment , 2001 .

[6] Ken Binmore,et al. Mathematical analysis : a straightforward approach , 1982 .

[7] A. O. Morris. Linear algebra: An introduction , 1978 .

[8] John R. Giles. Real analysis; an introductory course , 1972 .

[9] Michael Kohlhase. OMDoc: an infrastructure for OpenMath content dictionary information , 2000, SIGS.

[10] I. Herstein,et al. Topics in algebra , 1964 .

[11] Leslie Lamport,et al. How to Write a Proof , 1995 .

[12] B. Bollobás. Linear analysis : an introductory course , 1990 .

[13] J. Harrison. Formalized Mathematics , 1996 .

[14] Ray Farmer,et al. Object-Oriented Systems Analysis and Design Using UML , 2001 .