From MathWeb

Hi! I am Christine Müller, a Ph.D. student of computer science at Jacobs University Bremen.

For more information on myself see my homepage.

Contents 1 My current tasks: adding content 1.1 1. Requirements for Lectora / paper 1.2 2. Abgrenzung zu ActiveMath 1.3 3. analysis of Mathematical Practices: 2 Further Tasks 2.1 Implementation of Lectora 2.2 Discussion with Normen 2.3 Discussion with Andrea 2.4 Discussion with Christoph 3 Outlook

My current tasks: adding content

1. Requirements for Lectora / paper

• end of the week - first draft: revise Social Capital of mathematics
  • next step: read where mathematics comes from, what is mathematic knowledge is!!!
  • mathematical objects, impact of technology: read up on "Innenwelt der Mathematik"
  • communties of practice - define and apply to Lectora

• end of the week - first draft: Requirements
• later: Requirements
• end of april: use cases

• related work: community tools and CoC

2. Abgrenzung zu ActiveMath

• Activemath User model: publication from erica melis
• Course Generation in ActiveMath
• Plugins discussion
• find information on ActiveMath does not replace lectures but rather additional feature in a lecture

3. analysis of Mathematical Practices:

• find further references for mathematical practices
• notations
• proving

Further Tasks

Implementation of Lectora

• user profile
• plugins
• Practice Meta Model - describe and visualize

Discussion with Normen

• what can be inscribed into a OMDoc document
  • infome
  • living docs
• Plugins discussion

Discussion with Andrea

• Social Capital of mathematics
• Added-Value Analysis, Services

Discussion with Christoph

• Plugins discussion

Outlook

• Case Study: currently collecting proofs, evaluate and publish findings in June
• DocumentOntology: publish full documentation with Normen in June