356 citations · 1.5k across the 27 of their papers we have counts for
3 papers · 1 filter
Why Local Search Excels in Expression Simplification
Ben Ruijl, Aske Plaat, Jos Vermaseren +1
Simplifying expressions is important to make numerical integration of large expressions from High Energy Physics tractable. To this end, Horner's method can be used. Finding suitab…
HEPGAME and the Simplification of Expressions
Ben Ruijl, Jos Vermaseren, Aske Plaat +1
Advances in high energy physics have created the need to increase computational capacity. Project HEPGAME was composed to address this challenge. One of the issues is that numerica…
Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification
Ben Ruijl, Jos Vermaseren, Aske Plaat +1
In many applications of computer algebra large expressions must be simplified to make repeated numerical evaluations tractable. Previous works presented heuristically guided improv…