# D-modules and Automated Proof

## Chris Campbell, Undergraduate Maths Seminar

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.