Sign up to our mailing list by sending a blank email to

D-modules and Automated Proof

Chris Campbell, Undergraduate Maths Seminar

Date Icon Week 6, Monday 27 January MT 2020
Time Icon 4:00pm

The theory of D-modules is an rich and deep algebraic theory that describes differential equations that, since it’s inception in the 60’s, has left few areas of mathematics untouched. The algebraic structure allows for the use of algorithms designed for attacking systems of polynomial equations to be used for differential equations.

I will talk about applications in the field of automated proof, specifically proving combinatorial identities and differential equation identities. There will be little previous knowledge required beyond 1st year algebra and basic differential equations.