Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge
@proceedings{ASS-10-a,
  editor        = {Serge Autexier and Petr Sojka and Masakazu Suzuki},
  title         = {Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge},
  journal       = {Journal Mathematics in Computer Science},
  volume        = {3},
  type          = {Special Issue},
  number        = {3},
  series        = {Journal Mathematics in Computer Science},
  publisher     = {Birkhäuser Basel},
  month         = {may},
  year          = {2010},
}