Projects

Below, an overview is given of the projects RIACA is currently involved in and the products developed by RIACA. Following the links, you will be able to find more information on these projects and products.

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.
  • 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.

Finished Projects

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.
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.
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.
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.
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.
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.
WebALT is a European project in which RIACA participates. WebALT sets out to develop multilingual mathematics exercises supplied with advanced metadata; these exercises can be automatically translated to various natural languages. RIACA is developing the editor WExEd with which multilingual mathematics exercises can be created.
OpenMath
OpenMath is an emerging standard for representing the semantics of mathematical objects in XML. It allows mathematical objects to be exchanged between computer programs, stored in databases or published on the Worldwide Web. RIACA had an important role in the development of OpenMath
MathBook
MathBook is a document standard for (interactive) Mathematical Documents. From one source file one cna create a website, a PDF file, a LaTex file, etc.
IDA
Algebra Interactive is an HTML-based book for undergraduate students in all fields of science, e.g. mathematics, computer science, physics and (electrical) engineering.