The MathDox project aims to develop a XML format for interactive mathematical documents. These MathDox documents can be transformed to interactive mathematical web pages useing the MathDox Player. MathDox documents can be used for demonstrations of algorithms, testing people's skill in mathematics or explaining new concepts with dynamic, on-screen, calculations.

• Mathdox Player
• Mathdox Manual
• Screencast (how to create a MathDox document and play it with the Mathdox Player)

• ONBETWIST is a joint project of the TU/e together with OU, UM, UvA and UU, sponsored by SURF. Its goal is to set up a national database of mathematics exercises.

• Technology Enhanced Learning of Mathematics for Master Education

• Wortel TUE website

Inter2geo is a European project, with a consortium consisting of multiple companies and universities (to be precise: Pedagogische Hochschule Schwäbisch Gmünd, Université Montpellier, DFKI, Cabrilog, Universität Bayreuth, Université de Luxembourg, Universidad de Cantabria, Maths for More and Jihočeská Univerzita v Českých Budějovicích). The goal is to develop a platform on the web where mathematics teachers throughout Europe (and elsewhere) can go to find, edit and add dynamic geometry resources, to be used as classroom material. To this end, a common file format is being developed, so that users of different programs such as Cabri Géomètre, Cinderella, or Geogebra, can all use the same resources. The platform will support the ability for teachers to build their own collections of (favorite) resources, communicate with each other, work together developing resources, and ranking them.

• Inter2geo website

RIACA participates in the European project LeActiveMath which is developing language-enhanced, user-adaptive, interactive elearning tools for mathematics that can provide the learner with intelligent feedback. For this project, RIACA is developing an exercise repository that includes and editor for interactive mathematics exercises.

• Project Details
• LeActiveMath website
• Exercise Repository

MAThADORE is a Dutch project started in 2005 in which RIACA participates. It is developing an interactive and complete lesson method for highschool mathematics. Lesson material produced by MAThADORE is adaptable to the preferences of the teacher and the student.

• Project Details (Dutch only)
• MAThADORE website

The SCIEnce project (Symbolic Computation Infrastructure for Europe) brings together the developers of four powerful symbolic computation software packages and a major symbolic computation research institute supported by research groups expert in essential underpinning technologies, to unite the European community of researchers in, and users of, symbolic computation. The project will promote the development of new software made more efficient by sharing components and expertise, more interoperable in the modern Web services environment and ready for the coming environment of Grid computing.

• SCIEnce website

This site hosts An Online Service for Computing Hadamard Matrices and Orthogonal Arrays of Strength 3. The methods used in this website and the table of available strength 3 mixed orthogonal arrays are described in the Ph.D. thesis Computer-algebraic methods for the construction of designs of experiments by Nguyễn Văn Minh Mẫn, September 2005.

• Online Service

While it is easy to generate a proof that two graphs are isomorphic, it is hard in general to prove that two graphs are not isomorphic. The Proof Assistant for Graph Nonisomorphism can check if two graphs are isomorphic and will try to give a proof.

• Proof Assistant