Marc Wagner

MaRDI QIDQ1812015zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

This page was built for person: Marc Wagner