Speaker
Vitaly Magerya
Description
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.