51 citations · 57 across the 2 of their papers we have counts for
2 papers
hep-ph2022★ 51 cited
: A tool for topologies, amplitudes, partial fraction decomposition and input for reductions
Marvin Gerlach, Florian Herren, Martin Lang
The demand for precision predictions in the field of high energy physics has dramatically increased over recent years. Experiments conducted at the LHC, as well as precision measur…
cs.LO2013★ 6 cited
Modeling and Verification of Infinite Systems with Resources
Martin Lang, Christof Löding
We consider formal verification of recursive programs with resource consumption. We introduce prefix replacement systems with non-negative integer counters which can be incremented…