Date:	Mon, April 15, 2013
Time:	17:15
Place:	Research II Lecture Hall

Abstract: The introduction of personal computers and the Internet have only very marginally changed practices of the average mathematician. By and large, computer support in mathematics is restricted to using symbolic and numeric software systems (computation), typesetting papers with TeX/LaTeX, and pre-publishing papers on arXiv.org.

In particular, the knowledge-oriented parts of "doing mathematics" have been difficult to support, since mathematical knowledge is rich in content, sophisticated in structure, and technical in presentation. As math knowledge is mainly communicated and laid down in documents, we will present recent developments and knowledge-tools that are poised to enter mathematical mainstream from a document-oriented perspective.

At the end of the talk we will unpack the crystal ball and try to see how our students (digital natives in all aspects of life except math) will "do maths" when they become adult researchers, engineers, and educators.