Home

JEM - Joining Educational Mathematics

eContentPlus Thematic Network
314 Members | 284 Publications | 29 Software and Services | 12 Case studies | 76 Learning resources
Catalan  Dutch  English  Finnish  French  German  Greek  Italian  Norwegian  Portuguese  Spanish  Swedish  
  • Login
  • Contact
  • Search

JEM

  • About JEM
    • The JEM Network
    • Network Rules
    • Network Meetings
    • Related Projects
    • FAQs
  • Publications
  • Learning Resources
  • Community
    • Recent posts
    • Blogs
    • Wiki
      • Authors' wiki
      • Developers' wiki
      • Users' wiki
    • Forums
    • Polls
    • Members
  • News Headlines
    • JEM
    • Planet JEM
    • eLearning
    • Technology

Online now

There are currently 0 users and 41 guests online.


odt2dtbook › 2nd JEM Seminar on ... › eLearning › Clasificación de ... › Current signups › Interview on the ...

  • View
  • Track
  • Signups
Printer-friendly version

kohlhase

Lastname, Firstname
Kohlhase, Michael
Affiliation
Jacobs University Bremen

Personal Information

JEM position
site leader
Competencies
OpenMath, MathML, OMDoc, Standards, computational Logic, natural language semantics, ...

JEM publications

  • Compiling OpenMath Type systems to RelaxNG Grammars
  • Presenting Mathematical Content With Flexible Elisions

Syndicate content
European Commission This web site is part of the JEM Thematic Network. Work is co-funded by the European Commission.
The content of this website is the sole responsibility of the thematic network members. It does not represent the opinion of the European Community and the Community is not responsible for any use that might be made of information contained herein. The last author of the page is solely responsible for its content. Unless otherwise stated, the content of the page is licensed under a Creative Commons Attribution-Share Alike 2.5 License.
Visits/hits in the last hour:        89 Visits | 1176 Hits