Computing the Lie algebra of the differential Galois group of a linear differential system

DOI10.1145/2930889.2930932MaRDI QIDQ2985809zbMATHOpenAlexFDO

Authors Thomas Cluzeau, Lucia Di Vizio, Moulay A. Barkatou, 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

algorithmscomputer algebradifferential Galois theoryLie algebrasreduced formslinear differential systemseigenringsGrothendieck-Katz \(p\)-curvature conjecture

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) Lie algebras of linear algebraic groups (17B45) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15)

Recommendations

• Computing the Lie algebra of the differential Galois group: the reducible case
• Differential Galois theory and integration
• Around the numeric-symbolic computation of differential Galois groups
• Differential Galois theory and Lie symmetries
• An algorithm for computing invariants of differential Galois groups

Cited in

(17)

• Intrinsic approach to Galois theory of \(q\)-difference equations
• On the computation of the Galois group of linear difference equations
• Galois groups of linear difference-differential equations
• Hiroshi Umemura and French mathematics
• Lie symmetries and differential Galois groups of linear equations
• Degree bound for toric envelope of a linear algebraic group
• Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz
• Local differental Galois group and adjoint representation.
• Effective algebraic independence of values of \(E\)-functions
• Computing the Lie algebra of the differential Galois group: the reducible case
• Around the numeric-symbolic computation of differential Galois groups
• Calculating the Galois group of \(Y'=AY+B\), \(Y'=AY\) completely reducible
• Darboux transformations for orthogonal differential systems and differential Galois theory
• Linear differential systems with small coefficients: various types of solvability and their verification
• Differential Galois theory and integration
• Differential Galois theory and Lie symmetries
• Computing characteristic polynomials of p-curvatures in average polynomial time

Describes a project that uses

Uses Software

• Isolde
• Maple

This page was built for publication: Computing the Lie algebra of the differential Galois group of a linear differential system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985809)