@misc{indiciae879253fbf5ab,
  title = {wiki.openmath.org - how it works, how you can participate},
  author = {Christoph Lange},
  year = {2010},
  url = {https://arxiv.org/abs/1003.5192},
  note = {Source identifier: 1003.5192}
}