This survey deals with tracking issues with mathematical knowledge items in a collaborative environment, and with assistive technologies for resolving them.
We assume that for different types of mathematical knowledge items there are different types of issues related to them, and finally different ways how these issues can be resolved.

The survey addresses people who have dealt with a mathematical knowledge base before, be it by operating or developing such a system, or participating in such a system. Examples are diverse and range from informal knowledge bases like the mathematical section of Wikipedia to the libraries of automated theorem provers.

You will first be asked about your previous experience with mathematical knowledge management systems, then about issues and solutions you have experienced.

Thanks for participating!

Christoph Lange, http://kwarc.info/clange/
Ph.D. student (topic: collaboration on structured mathematical knowledge)
Developer of the mathematical semantic wiki SWiM (http://kwarc.info/projects/swim/)