Vitaly Magerya
2/14/23, 5:00 PM
I'd like to present Rational Tracer, a solver of systems of Integration-By-Parts relations (and more) based on modular arithmetic methods, and explain how using new programming ideas we can achieve lower evaluation times and higher flexibility for practical IBP solving.