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.
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.
Finished Projects
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.
