• 1. The Weyl algebra; 2. Ideal structure of the Weyl algebra; 3. Rings of differential operators; 4. Jacobian conjectures; 5. Modules over the Weyl algebra; 6. Differential equations; 7. Graded and filtered modules; 8. Noetherian rings and modules; 9. Dimension and multiplicity; 10. Holonomic modules; 11. Characteristic varieties; 12. Tensor products; 13. External products; 14. Inverse image; 15. Embeddings; 16. Direct images; 17. Kashiwara's theorem; 18. Preservation of holonomy; 19. Stability of differential equations; 20. Automatic proof of identities.

'I truly recommend this book, both for its mathematical content and for its light reading.' Bulletin of the London Mathematic Society

• 1. The Weyl algebra; 2. Ideal structure of the Weyl algebra; 3. Rings of differential operators; 4. Jacobian conjectures; 5. Modules over the Weyl algebra; 6. Differential equations; 7. Graded and filtered modules; 8. Noetherian rings and modules; 9. Dimension and multiplicity; 10. Holonomic modules; 11. Characteristic varieties; 12. Tensor products; 13. External products; 14. Inverse image; 15. Embeddings; 16. Direct images; 17. Kashiwara's theorem; 18. Preservation of holonomy; 19. Stability of differential equations; 20. Automatic proof of identities.

'I truly recommend this book, both for its mathematical content and for its light reading.' Bulletin of the London Mathematic Society

• 1. The Weyl algebra; 2. Ideal structure of the Weyl algebra; 3. Rings of differential operators; 4. Jacobian conjectures; 5. Modules over the Weyl algebra; 6. Differential equations; 7. Graded and filtered modules; 8. Noetherian rings and modules; 9. Dimension and multiplicity; 10. Holonomic modules; 11. Characteristic varieties; 12. Tensor products; 13. External products; 14. Inverse image; 15. Embeddings; 16. Direct images; 17. Kashiwara's theorem; 18. Preservation of holonomy; 19. Stability of differential equations; 20. Automatic proof of identities.

'I truly recommend this book, both for its mathematical content and for its light reading.' Bulletin of the London Mathematic Society