Quantcast
Channel: eds.activemath.org - exercises
Browsing latest articles
Browse All 4 View Live

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 Article



Add a static exercise

This tasks explains how to create a static exercise and see it.Weiterlesen

View Article

OmegaTutor 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 Article

Task: 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
Browsing latest articles
Browse All 4 View Live




Latest Images