Invitation to and Preparation for the next Online Tutorials
The next online tutorials will happen on Wednesday May 23rd, focussing on the deployment of ActiveMath and the re-use of content-collections, and Thursday May 24th 2007, in collaboration with George...
View ArticleAdd a static exercise
This tasks explains how to create a static exercise and see it.Weiterlesen
View ArticleOmegaTutor Integration, Technical Details
The Main Idea The Omega Mathematical Assistant System offers a module dubbed the "OmegaTutor". It is basically an automated proof construction/proof checking framework based on Omega's Assertion...
View ArticleTask: download eXtasy source and insert into own collection
This tasks explains how to download an extasy exercise into one’s own collection.Weiterlesen
View Article
More Pages to Explore .....