Mathematics in Computer Science

, Volume 3, Issue 3, pp 225–226 | Cite as

Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge

  • Serge Autexier
  • Petr Sojka
  • Masakazu Suzuki


Mathematical Knowledge Mathematical Text Mathematical Document Interactive Exercise Proof Script 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2010

Authors and Affiliations

  1. 1.Secure Cognitive SystemsGerman Research Centre for Artificial Intelligence (DFKI)BremenGermany
  2. 2.Department of Computer Science and Design, Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  3. 3.Kyushu UniversityFukuoka, Nishi-kuJapan

Personalised recommendations