eds.activemath.org

Notes about the ActiveMath Online Tutorial, May 11, 2007

Raw Recordings

Can be found over rtsp :

• one speed (~700kb/s) of poor quality: morning, early afternoon,
  late afternoon

Other encoding versions have not been recorded as the encoder machine available today was very limited, a tiny Mac Mini.

Slides

…can be obtained in PDF format or PowerPoint format.

What happened

The morning started with a question of Dieter: Why do my files not show up as pages of the book? resolved to be that the files need the .oqmath suffix for them to be processed and, moreover, need all to be embedded within an omdoc or oqmath header.

Then, on air with Carsten Ullrich from China, we browsed through the slides asking questions here and there. Mainly, this was a presentation of the knowledge representation.

Among others, the ActiveMath Metadata Report was referenced.

We worked during the afternoon on the example content of Dieter Kriesell, three scanned pages about Pythagoras Theorem.

We encoded one page which is now part of the subversion of the authoring training. Checking out dieterscollection/ using a subversion client into a directory called dieterscollection inside the content directory is a way to obtain this content and be able to update it in the future.

Similarly, a few examples that I made then and mostly the two last times are to be found inside my attempt-1 collection.

Interesting discussions happened about the classification of each of the items, especially with the focus on schools’ requirements where the formality of a proof is not considered appropriate. As example, the type of the paragraph just before the theorem of Pythagoras on page 80 could have been an example, an elaboration, or even a proof.

Participants were OTA-team, Dieter, and Albert.

Homework

We now have about ten days until the next two last tutorials. We wish participants to continue and/or start encoding their few pages and provide questions and requests for support.

Thus far we know that Dieter will continue on his Pythagoras theorem pages and that Albert will work on files in TeX. Clearly, the content needs to be rather text-book for now since interactive exercises come only at the end of the tutorial.

Revised Schedule of forthcoming tutorials

• We agreed to move the tutorial about interactive exercises from Friday, May 18th, to Wednesday, May 24th.
• We agreed to move the tutorial about integration, sharing, and deployment from Friday, May 25th, to Wednesday, May 23rd.