The ISAC-system is an experimental software assembling open source components with as little glue code as possible. The system is a feasibility study for a novel kind of transparent single-stepping software for applied mathematics --- experimenting with concepts and technologies from computer mathematics (theorem proving, symbolic computation, model based reasoning etc) and e-learning (knowledge space theory, usability engineering, computer-supported collaboration etc).

The development employs academic expertise from several disciplines, while many sub-tasks (applied math, front-end, math-kernel, content - contributions are welcome !) can be done by students within academic education. The challenge for research is interdisciplinary cooperation.

The major challenge for the ISAC initiative, however, is to establish and promote a process of cooperation with practice of learning, with students, teachers and the respective educational institutions: software systems intimately involved with education can never be complete and finished !

What can be found under 'Products' is still prospective, but already identifies different usage of the components tutoring-system, authoring-system and mathematics-kernel.