@

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/}