Proceedings - Toegepaste Wiskunde - TU Delft
Proceedings - Toegepaste Wiskunde - TU Delft Proceedings - Toegepaste Wiskunde - TU Delft
MathDox Authors Hans Cuypers Department of Mathematics and Computer Science Eindhoven University of Technology Email: info@mathdox.org Jan Willem Knopper Department of Mathematics and Computer Science Eindhoven University of Technology Email: info@mathdox.org Rikko Verrijzer Department of Mathematics and Computer Science Eindhoven University of Technology Email: info@mathdox.org Abstract MathDox is a system for presenting highly interactive mathematical documents over the World Wide Web. It provides easy connections to Computer Algebra Systems, dynamic geometry systems and other mathematical services. Within MathDox we have developed an exercise system providing parameterized exercises to students and offering intelligent feedback. We will describe the MathDox-system, its applications and use in concrete situations. Key Words interactive mathematics, mathdox, exercise system 56
MathDox Interactive Mathematics in education 1 Introduction Recently developed E-learning tools like Learning Management Systems (LMS) are very well suited for distance education and for delivery of online educational materials to students. However, these systems only offer a good learning environment for eduction via the web. The success of good education is still very dependent on the learning material itself. In the area of Mathematics we see various new tools offering students a rich environment for practicing mathematics. These systems offer parameterized exercises with open questions that are automatically graded. Think of Maple TA, Aleks, and WebAssign, or STACK, WIMS, WebWORK, DWO and ActiveMath. Here we report on our own initiatives to create a system, called MathDox, offering highly interactive mathematical documents and exercises. MathDox is an open source system serving dynamic and interactive web pages with high quality rendering of mathematics and easy access to mathematical services like computer algebra systems or dynamic geometry software. The power of MathDox is that it provides users with various means to communicate with mathematical services and offers a flexible way for providing intelligent feedback in its documents and exercise system. The MathDox software is open source and can be found at www.mathdox.org. 2 Interactive mathematical documents Web pages about mathematics are often static and do not invite the user to experiment with and experience the material. We see three main reasons for this. First of all, interactivity in mathematical content often requires non-trivial computations that are not easily performed without the assistance of specialized mathematical software, e.g. computer algebra systems. Second, displaying mathematics properly on a web page can be challenging. Third, the input of mathematical expressions is difficult, both for the user as well as for the author. To address these issues we have developed the MathDox system, see (Cohen et al, 2006) and (Cuypers et al., 2008). It consists of the MathDox format and a set of tools including the MathDox Player. The MathDox format is an XML based language for interactive mathematical documents. As such MathDox documents can be interpreted and transformed into web pages by the MathDox Player. The resulting web pages are dynamic and interactive, support rendering of mathematics, offer easy access to computer algebra systems, and are equipped with a convenient mathematical input system. We describe the various parts of the system. 57
- Page 7: Voorwoord NIOC 2011 Grenzeloos ICT
- Page 10 and 11: Naar een open repository met inform
- Page 12 and 13: Proceedings NIOC 2011 2 Thema’s B
- Page 14 and 15: Proceedings NIOC 2011 Veel aanbiede
- Page 16 and 17: Proceedings NIOC 2011 2.5 COMMUNITY
- Page 18 and 19: Bouw een intelligente robot in de k
- Page 20 and 21: Proceedings NIOC 2011 Dwengo vzw on
- Page 22 and 23: Proceedings NIOC 2011 Deze workshop
- Page 24 and 25: Overbruggen van de tweede digitale
- Page 26 and 27: Proceedings NIOC 2011 Uit onderzoek
- Page 28: Proceedings NIOC 2011 En daarmee is
- Page 31 and 32: Free Technology Academy: Europees o
- Page 33 and 34: Proceedings NIOC 2011 6 Resultaten
- Page 35 and 36: Ideeën, wat moeten we zonder Inlei
- Page 37 and 38: Proceedings NIOC 2011 2 Afbakening
- Page 39 and 40: Proceedings NIOC 2011 Dit duidt op
- Page 42 and 43: De Open Generatiekloof Auteurs Emie
- Page 44 and 45: Proceedings NIOC 2011 Het conceptue
- Page 46 and 47: Proceedings NIOC 2011 4.1 RELATIEF
- Page 48 and 49: Proceedings NIOC 2011 Als laatste s
- Page 50: Proceedings NIOC 2011 ECABO is het
- Page 53 and 54: Mogelijke opzet voor een cursus Duu
- Page 55: Proceedings NIOC 2011 Hiervoor is k
- Page 59 and 60: Proceedings NIOC 2011 4 MathDox sof
- Page 61 and 62: Proceedings NIOC 2011 16
- Page 63 and 64: Proceedings NIOC 2011 From the stud
- Page 65 and 66: Versiebeheer en de kwaliteit van te
- Page 67 and 68: Proceedings NIOC 2011 We hebben dri
- Page 69 and 70: Proceedings NIOC 2011 Ook hier geld
- Page 71 and 72: Proceedings NIOC 2011 FIGUUR 3 Boxp
- Page 73 and 74: Proceedings NIOC 2011 Met name bij
- Page 76 and 77: InfVO - een Amsterdamse steun in de
- Page 78 and 79: Proceedings NIOC 2011 De leerlingen
- Page 80 and 81: Proceedings NIOC 2011 5 De uitvoeri
- Page 82 and 83: Ontwerp van een 1-jarige Master Sof
- Page 84 and 85: Proceedings NIOC 2011 3 Kaders De g
- Page 86 and 87: Proceedings NIOC 2011 FIGUUR 3 Soft
- Page 88 and 89: Proceedings NIOC 2011 9 OU Master S
- Page 90 and 91: Proceedings NIOC 2011 13 Toelatings
- Page 92 and 93: Modularisering van Sterk Afhankelij
- Page 94 and 95: Proceedings NIOC 2011 De 4 vakken w
- Page 96 and 97: Proceedings NIOC 2011 3 Alle GipHou
- Page 98: Proceedings NIOC 2011 2 weken voora
- Page 101 and 102: Informatica in het VO: hoe verder 1
- Page 103 and 104: Proceedings NIOC 2011 5 Bestuurlijk
- Page 105 and 106: Hoe weet een opleiding wat het bero
MathDox<br />
Interactive Mathematics in education<br />
1 Introduction<br />
Recently developed E-learning tools like Learning Management Systems (LMS) are very<br />
well suited for distance education and for delivery of online educational materials to<br />
students. However, these systems only offer a good learning environment for eduction<br />
via the web. The success of good education is still very dependent on the learning material<br />
itself.<br />
In the area of Mathematics we see various new tools offering students a rich environment<br />
for practicing mathematics. These systems offer parameterized exercises with open<br />
questions that are automatically graded. Think of Maple TA, Aleks, and WebAssign, or<br />
STACK, WIMS, WebWORK, DWO and ActiveMath. Here we report on our own initiatives to<br />
create a system, called MathDox, offering highly interactive mathematical documents and<br />
exercises.<br />
MathDox is an open source system serving dynamic and interactive web pages with high<br />
quality rendering of mathematics and easy access to mathematical services like computer<br />
algebra systems or dynamic geometry software. The power of MathDox is that it provides<br />
users with various means to communicate with mathematical services and offers a flexible<br />
way for providing intelligent feedback in its documents and exercise system.<br />
The MathDox software is open source and can be found at www.mathdox.org.<br />
2 Interactive mathematical documents<br />
Web pages about mathematics are often static and do not invite the user to experiment<br />
with and experience the material. We see three main reasons for this.<br />
First of all, interactivity in mathematical content often requires non-trivial computations<br />
that are not easily performed without the assistance of specialized mathematical software,<br />
e.g. computer algebra systems.<br />
Second, displaying mathematics properly on a web page can be challenging.<br />
Third, the input of mathematical expressions is difficult, both for the user as well as for the<br />
author.<br />
To address these issues we have developed the MathDox system, see (Cohen et al, 2006)<br />
and (Cuypers et al., 2008). It consists of the MathDox format and a set of tools including<br />
the MathDox Player. The MathDox format is an XML based language for interactive mathematical<br />
documents. As such MathDox documents can be interpreted and transformed into<br />
web pages by the MathDox Player. The resulting web pages are dynamic and interactive,<br />
support rendering of mathematics, offer easy access to computer algebra systems, and are<br />
equipped with a convenient mathematical input system.<br />
We describe the various parts of the system.<br />
57