author = {C. Schneider},
title = {{Symbolic summation for particle physics: difference ring theory, stable software and proof certificates}},
language = {english},
year = {2015},
month = {December 15},
note = {Invited talk at Workshop on Algebra, Geometry and Proofs in Symbolic Computation},
institution = {Fields Institute, Toronto, Canada},
conferencename = {Workshop on Algebra, Geometry and Proofs in Symbolic Computation},
url = {https://www.fields.utoronto.ca/programs/scientific/15-16/computeralgebra/geometry/}