eds.activemath.org

This page is a sketch of the online tutorial content to start on April 20th. It still needs polishing.

day 1 (Apr 20th): intro day

• activemath overview
• web-server architecture, example of language-based selection
  • with practice, maybe on a shared server so that different people see different things
• practice: first scribble in eXtasy
• conceptual overview of ingredients of authoring
  • collections’ contents
  • OMDoc documents, items, metadata
  • build process, storage, presentation…
• (noon break)
• conceptual overview of Java Web Start applications
• practice: start a collection and see first content, modify reload preview
• conceptual overview of Unicode, XML, DTD, validation
• practice: modify first.oqmath adding a new item
• overview of multimedia embeddings and web-paths
  • observation of omdoc1/exampleSrc
• practice: multimedia embedding -
• assignment and potential support to achieve assignments

day 2 (May 4th): formulae day

• conceptual overview: IDs, theories, imports, references, validation
• practice: introduce definition of an existing symbol
• overview: OpenMath, Symbols, CDs, ActiveMath formulae presentation
• practice inputting a few formulae and playing with them (including CnP)
• overview: QMath, OQMath, contexts, notations file…
• practice with embedding of new contexts
• practice declaring your new symbol
• (noon break)
• overview of notations elements
• practice writing a presentation for your new symbol\
• practice: multiple medias, differences, features
• presentation of input-editor and domain editor
• practice using the new symbol in input-editor
• integrated practice using the math search

day 3 (May 11th): exercises day

• overview of exercises’ representation
• practice of simple mMCQs
• overview of semantic/numeric/symbol evaluations
• practice with mathematical fibs
• overview of misconceptions and diagnosis
• practice of sending a diagnosis
• practice of importing into own collection and “converting to OQMath”

day 4 (May 18th): adaptivity day

• recap of last time’s
• overview of books
• practice: create a new omdoc, get a second page
• practice: use of the assembly tool, embed the new book
• overview of re-using another’s collection
• practice: download, e.g. Matheprisma, load in your AM
• practice: make a book with other’s content and yours
• (noon break)
• overview of domain-model and content link, user-model
• practice of it ?
• overview of the tutorial component, scenarios, groupings, relevant metadata
• practice: observation of test content in omdoc1

day 5 (May 25th): integrating and sharing day

• recap
• overview about collections’ reuse
• overview about applicable licenses
• practice: publish a collection and let the “neighbour” re-use it
• noon break
• overview: links to ActiveMath features
• practice: custom “daily ActiveMath menu”