Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System

DOI10.1145/2930889.2930932zbMath1364.12003MaRDI QIDQ2985809

Lucia Di Vizio, Moulay A. Barkatou, Thomas Cluzeau, Jacques-Arthur Weil

Publication date: 10 May 2017

Published in: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2930889.2930932

zbMATH Keywords

algorithms; computer algebra; Lie algebras; differential Galois theory; linear differential systems; reduced forms; eigenrings; Grothendieck-Katz \(p\)-curvature conjecture

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

12H05: Differential algebra

17B45: Lie algebras of linear algebraic groups

34M15: Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain

Uses Software

• Isolde
• Maple