An Interactive Algebra Course

Conclusions relevant to OpenMath

- Authoring tools badly needed (including creators of OM objects)
- There is a gap between external packages and interactive books, to
be filled by OM
- OM will obviate the need for further mathematical programming in JAVA
- Meaningfulness and requests using formal proof checking techniques in OM
back to overview
back to applets
back to ida conclusions