Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

@article{pub2999,
    author = {

Autexier, Serge
 and 

Benzmüller, Christoph
 and 

Dietrich, Dominik
 and 

Wagner, Marc
},
    title = {Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA},
    year = {2008},
    volume = {Online First},
    journal = {Mathematics in Computer Science},
    publisher = {Birkhäuser},
    note = {Special Issue on Mathematical Knowledge Management.}
}