We stand with Ukraine  

Marc Wagner

Affiliations:
  • German Research Centre for Artificial Intelligence (DFKI), Saarbrücken, Germany


According to our database1, Marc Wagner authored at least 6 papers between 2006 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2008
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.
[BibTeX]
[DOI]
Serge Autexier
,
Christoph Benzmüller
,
Dominik Dietrich
,
Marc Wagner
Math. Comput. Sci., 2008

Towards Merging PlatOmega and PGIP.
[BibTeX]
[DOI]
David Aspinall
,
Serge Autexier
,
Christoph Lüth
,
Marc Wagner
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008

Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
[BibTeX]
[DOI]
Dominik Dietrich
,
Ewaryst Schulz
,
Marc Wagner
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.
[BibTeX]
[DOI]
Serge Autexier
,
Armin Fiedler
,
Thomas Neumann
,
Marc Wagner
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change.
[BibTeX]
Normen Müller
,
Marc Wagner
Proceedings of the LWA 2007: Lernen - Wissen, 2007

2006
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.
[BibTeX]
[DOI]
Marc Wagner
,
Serge Autexier
,
Christoph Benzmüller
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006


  Loading...