Marc Wagner

Available identifiers

Publication	Date of Publication	Type
Investigating efficient methods for computing four-quark correlation functions	2019-04-23	Paper
The static-light baryon spectrum from twisted mass lattice QCD	2014-11-03	Paper
The continuum limit of the static-light meson spectrum	2014-06-30	Paper
Light hadrons from lattice QCD with light (u, d), strange and charm dynamical quarks	2014-06-04	Paper
\textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems	2013-12-20	Paper
Computing \(K\) and \(D\) meson masses with \(N_{f}=2+1+1\) twisted mass lattice QCD	2011-05-31	Paper
Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega	2009-09-18	Paper
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors	2009-01-27	Paper
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems	2007-11-28	Paper
System Inversion and Feedforward Control via Formal Power Series and Summation Methods	2005-11-03	Paper
REPAIRING NON-MANIFOLD TRIANGLE MESHES USING SIMULATED ANNEALING	2004-09-24	Paper
Optimization of the keyboard arrangement problem using an ant colony algorithm.	2003-06-18	Paper

This page was built for person: Marc Wagner