IDA future needs
Future needs
Authoring tools (including creators of OM objects)
Bridges between external packages and HTML(or XML)+JAVA
JAVA beyond a page
Notion of
MMM: "Meaningful Mathematical Message"
Formal proof checking