Search: OMEGA --- From Proof Planning Towards Mathematical Knowledge
2003
[1]OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Serge Autexier, Christoph Benzmüller), In Mathematical Knowledge Management Symposium, 2003. (slides) (Preprint: http://christoph-benzmueller.de/papers/W27.pdf) [bibtex]