Differential algebra for derivations with nontrivial commutation rules

DOI10.1016/J.JPAA.2004.12.034zbMath1151.12003OpenAlexW2070426035MaRDI QIDQ557066

Evelyne Hubert

Publication date: 23 June 2005

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00071606/file/RR-4972.pdf

Mathematics Subject Classification ID

Rings of differential operators (associative algebraic aspects) (16S32) Differential algebra (12H05)

Related Items (54)

On Moving Frames and Noether’s Conservation Laws ⋮ Discrete moving frames and discrete integrable systems ⋮ Parameterized Picard-Vessiot extensions and Atiyah extensions ⋮ A new incremental algorithm for computing Groebner bases ⋮ Degree bounds for Gröbner bases of low-dimensional polynomial ideals ⋮ A new algorithm for computing comprehensive Gröbner systems ⋮ Finding all bessel type solutions for linear differential equations with rational function coefficients ⋮ Simultaneously row- and column-reduced higher-order linear differential systems ⋮ Consistency of finite difference approximations for linear PDE systems and its algorithmic verification ⋮ Computation with semialgebraic sets represented by cylindrical algebraic formulas ⋮ Black-box/white-box simplification and applications to quantifier elimination ⋮ Parametric quantified SAT solving ⋮ A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra ⋮ Absolute factoring of non-holonomic ideals in the plane ⋮ Algorithms for Bernstein--Sato polynomials and multiplier ideals ⋮ Global optimization of polynomials using generalized critical values and sums of squares ⋮ A Slice algorithm for corners and Hilbert-Poincaré series of monomial ideals ⋮ Composition collisions and projective polynomials ⋮ Decomposition of generic multivariate polynomials ⋮ Chebyshev interpolation polynomial-based tools for rigorous computing ⋮ Blind image deconvolution via fast approximate GCD ⋮ Polynomial integration on regions defined by a triangle and a conic ⋮ Computing the singularities of rational space curves ⋮ Solving schubert problems with Littlewood-Richardson homotopies ⋮ When can we detect that a P-finite sequence is positive? ⋮ Complexity of creative telescoping for bivariate rational functions ⋮ Partial denominator bounds for partial linear difference equations ⋮ Real and complex polynomial root-finding with eigen-solving and preprocessing ⋮ Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method ⋮ Random polynomials and expected complexity of bisection methods for real solving ⋮ The DMM bound ⋮ Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes ⋮ Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology ⋮ Output-sensitive decoding for redundant residue systems ⋮ A Strassen-like matrix multiplication suited for squaring and higher power computation ⋮ Computing specified generators of structured matrix inverses ⋮ Yet another block Lanczos algorithm ⋮ Liouvillian solutions of irreducible second order linear difference equations ⋮ Solving recurrence relations using local invariants ⋮ On some decidable and undecidable problems related to q-difference equations with parameters ⋮ Iterative Toom-Cook methods for very unbalanced long integer multiplication ⋮ An in-place truncated fourier transform and applications to polynomial multiplication ⋮ Randomized NP-completeness for p -adic rational roots of sparse polynomials in one variable ⋮ Easy composition of symbolic computation software ⋮ Symbolic integration at compile time in finite element methods ⋮ Discrete moving frames on lattice varieties and lattice-based multispaces ⋮ Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields ⋮ Lagrangian curves in a 4-dimensional affine symplectic space ⋮ Triangular decomposition of semi-algebraic systems ⋮ Algorithmic symmetry classification with invariance ⋮ Evolution of curvature invariants and lifting integrability ⋮ Differential invariant algebras of Lie pseudo-groups ⋮ Differential invariants of a Lie group action: syzygies on a generating set ⋮ NumGfun

Uses Software

• Unnamed Item
• DifferentialGeometry
• DIFFALG
• diffgrob2
• Rif
• Vessiot

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-commutative Gröbner bases in algebras of solvable type
• Computing representations for radicals of finitely generated differential ideals
• Uniform rank over differential operator rings and Poincaré-Birkhoff- Witt extensions
• Moving coframes. II: Regularization and theoretical foundations
• An introduction to commutative and noncommutative Gröbner bases
• Factorization-free decomposition algorithms in differential algebra
• Computational ideal theory in finitely generated extension rings
• Invariant Euler--Lagrange equations and the invariant variational bicomplex
• Model completion of Lie differential fields
• Symbolic computation and differential equations: Lie symmetries
• Symmetry classification using noncommutative invariant differential operators
• Some properties of the lattice points and their application to differential algebra^*
• Reduction of systems of nonlinear partial differential equations to simplified involutive forms
• Specializations in Differential Algebra
• Differential Algebraic Groups
• Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
• Algorithms for symmetric differential systems

This page was built for publication: Differential algebra for derivations with nontrivial commutation rules