Talk page

Title:
Symbolic summation for particle physics: difference ring theory, stable software and proof certificates

Speaker:
Carsten Schneider

Link:
https://video-archive.fields.utoronto.ca/view/4380

Workshop:
Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation