1 Table of Contents: “... recursive types defined using products and sums can be implemented using pointers -- The abstract Galois...”

2 “..., including group and fields, and provides a friendly introduction to Galois theory. After that, it uses...”

3 “... equations, symbolic integration and differential galois theory, symbolic operator calculi, algorithmic D...”