Search: Organisation, Transformation, And Propagation Of Mathematical
2008
[1]Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner), In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. (Preprint: http://christoph-benzmueller.de/papers/J17.pdf) [bibtex] [doi]