The following pages link to Marc Oliver Wagner (Q1812015):
Displaying 13 items.
- (Q467340) (redirect page) (← links)
- The static-light baryon spectrum from twisted mass lattice QCD (Q467342) (← links)
- Computing \(K\) and \(D\) meson masses with \(N_{f}=2+1+1\) twisted mass lattice QCD (Q536996) (← links)
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- Investigating efficient methods for computing four-quark correlation functions (Q1737437) (← links)
- Optimization of the keyboard arrangement problem using an ant colony algorithm. (Q1812016) (← links)
- The continuum limit of the static-light meson spectrum (Q2248206) (← links)
- Light hadrons from lattice QCD with light (u, d), strange and charm dynamical quarks (Q2451820) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- REPAIRING NON-MANIFOLD TRIANGLE MESHES USING SIMULATED ANNEALING (Q4819324) (← links)
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)
- System Inversion and Feedforward Control via Formal Power Series and Summation Methods (Q5701471) (← links)
