Marc Wagner

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner
Towards Merging PlatOmega and PGIP. Electron. Notes Theor. Comput. Sci. 226 (2009)
Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Math. Comput. Sci. 2 (2) (2008)
Dominik Dietrich, Ewaryst Schulz, Marc Wagner
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. AISC/MKM/Calculemus (2008)
Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM (2007)
Normen Müller, Marc Wagner
Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. LWA (2007)
Marc Wagner, Serge Autexier, Christoph Benzmüller
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)