TY  - RPRT
TI  - wiki.openmath.org - how it works, how you can participate
AU  - Christoph Lange
PY  - 2010
UR  - https://arxiv.org/abs/1003.5192
ID  - 1003.5192
ER  -