[PL Seminar]Solving Recurrences via Operational Calculus

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

Speaker Name: 

John Cyphert

Cookies: 

No

Description: 

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.