[PL Seminar]Solving Recurrences via Operational Calculus

Monday, November 28, 2016 -
12:00pm to 1:00pm

Speaker Name: 

John Cyphert




I will present an operational calculus algebra defined by Lothar Berg in his work: Introduction to the Operational Calculus, and discuss how this algebra can be used to solve recurrence relations. I will also show some techniques that can be used to extend the class of recurrences that can be solved via Berg's algebra. I will then discuss some details of my ongoing implementation of a recurrence solver based on the techniques presented. This will include discussion of techniques used in computer algebra systems, such as automatic simplification and techniques used to solve symbolic integration problems.