Differential algebra for derivations with nontrivial commutation rules

DOI10.1016/j.jpaa.2004.12.034zbMath1151.12003OpenAlexW2070426035MaRDI QIDQ557066

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

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

Cites Work