Panta rhei

LWA 2007 - Lernen - Wissen - Adaptivitat - Learning, Knowledge, and Adaptivity, Workshop Proceedings

Volumn , Issue , 2007, Pages 318-323

  Müller, Christine ^a   Kohlhase, Michael ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATIVE COMMUNITY; EDUCATIONAL CONTENTS; NARRATIVE STRUCTURES;

EID: 84874010902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Ron Ausbrooks, Stephen Buswell, David Carlisle, Stéphane Dalmas, Stan Devitt, Angel Diaz, Max Froumentin, Roger Hunter, Patrick Ion, Michael Kohlhase, Robert Miner, Nico Poppelier, Bruce Smith, Neil Soiffer, Robert Sutor, and Stephen Watt. Mathematical Markup Language (MathML) version 2.0 (second edition). W3C recommendation, World Wide Web Consortium, 2003. Available at http://www.w3.org/TR/MathML2
2. Annozilla Project, seen July 2007. available at http://annozilla. mozdev.org/
3. Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, and Michael Kohlhase. The Open Math standard, version 2.0. Technical report, The Open Math Society, 2004. http://www.openmath. org/standard/om20
4. CONNEXIONS. Project homepage at http://www.cnx.org, seen February 2007
5. The cnx and omdoc document ontology
6. Greasemonkey Project, seen July 2007. project web page at http://www. greasespot.net/
7. Ims content packaging information model. Project web site at http://www.imsglobal.org/content/packaging/index.html, seen July 2007
8. Ims global learning consortium. web site at hhttp://www.imsglobal.org/, seen July 2007
9. Andrea Kohlhase and Michael Kohlhase. Communities of Practice in MKM: An Extensional Model. In Jon Borwein and William M. Farmer, editors, Mathematical Knowledge Management, MKM'06, number 4108 in LNAI, pages 179-193. Springer Verlag, 2006
10. Michael Kohlhase, Christine Müller, and Normen Müller. Documents with flexible notation contexts as interfaces to mathematical knowledge. In Paul Libbrecht, editor, Mathematical User Interfaces Workshop 2007, 2007
11. Michael Kohlhase. OMDOC-An open markup format for mathematical documents
12. Number 4180 in LNAI. Springer Verlag, 2006
13. Michael Kohlhase and Ioan S ucan. System description: MATHWEBSEARCH 0.3, a semantic search engine. submitted to CADE 21, 2007
14. Christine Müller. Panta rhei. Project Home Page at http://kwarc.info/projects/panta-rhei/, seen August 2007
15. E. Melis, E. Andres, A. Franke, G. Goguadse, P. Libbrecht, M. Pollet, and C. Ullrich. ACTIVEMATH System Description. In Johanna D. Moore, Carol Luckhard Redfield, and W. Lewis Johnson, editors, Artificial Intelligence in Education, volume 68 of Frontiers in Artificial Intelligence and Applications, pages 580-582. IOS Press, 2001
16. Math WebSearch a semantic search engine. web page at http://search. mathweb.org, seen June 2007
17. Bruce Miller. LaTeXML: A LATEX to xml converter. Web Manual at http://dlmf.nist.gov/LaTeXML/
18. Etienne Wenger. Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, 2005