Differential algebra for derivations with nontrivial commutation rules
From MaRDI portal
Publication:557066
DOI10.1016/j.jpaa.2004.12.034zbMath1151.12003MaRDI 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
Related Items
Triangular decomposition of semi-algebraic systems, Discrete moving frames and discrete integrable systems, Parameterized Picard-Vessiot extensions and Atiyah extensions, Differential invariant algebras of Lie pseudo-groups, Algorithmic symmetry classification with invariance, Differential invariants of a Lie group action: syzygies on a generating set, Lagrangian curves in a 4-dimensional affine symplectic space, Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields, Evolution of curvature invariants and lifting integrability, NumGfun, On Moving Frames and Noether’s Conservation Laws, 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
Uses Software
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
