[PDF][PDF] Recurrence-Driven Summations in Automated Deduction
V Nummelin, J Blanchette… - … Symposium on Frontiers …, 2023 - library.oapen.org
Many problems in mathematics and computer science involve summations. We present a
procedure that automatically proves equations involving finite summations, inspired by the …
procedure that automatically proves equations involving finite summations, inspired by the …
[PDF][PDF] Recurrence-Driven Summations in Automated Deduction (Technical Report)
V Nummelin, SR Dahmen - lean-forward.github.io
Many problems in mathematics and computer science involve summations. We present a
procedure that automatically proves equations involving finite summations, inspired by the …
procedure that automatically proves equations involving finite summations, inspired by the …