IDA-conclusions
- presently tested with lecture course and bulletin
- to be commercialised
- platform for further trials (OpenMath)
- limits are more transparent by the experiment
- JAVA is fun
- good client server models coming up (CECM+RIACA)
IDA needs
- Nice display of mathematical objects
- Ways to put mathematical objects in context
and dependency on other objects.
- Ways to carry objects across a page
- Authoring/editing tools