Differential algebra for derivations with nontrivial commutation rules
From MaRDI portal
Publication:557066
DOI10.1016/J.JPAA.2004.12.034zbMATH Open1151.12003OpenAlexW2070426035MaRDI QIDQ557066FDOQ557066
Authors: 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
Recommendations
- Differential calculi on commutative algebras
- On differentiations in differntial algebras
- Commutative and non-commutative algebras in the study of differential equations
- On commutative differential algebras
- scientific article; zbMATH DE number 709502
- Algebraic dependence of commuting differential operators
- scientific article; zbMATH DE number 3946306
- scientific article; zbMATH DE number 5989826
- scientific article; zbMATH DE number 3996398
- scientific article; zbMATH DE number 3227148
Rings of differential operators (associative algebraic aspects) (16S32) Differential algebra (12H05)
Cites Work
- Title not available (Why is that?)
- An introduction to commutative and noncommutative Gröbner bases
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Differential Algebraic Groups
- Title not available (Why is that?)
- Symbolic computation and differential equations: Lie symmetries
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Factorization-free decomposition algorithms in differential algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Moving coframes. II: Regularization and theoretical foundations
- Invariant Euler--Lagrange equations and the invariant variational bicomplex
- Title not available (Why is that?)
- Algorithms for symmetric differential systems
- Symmetry classification using noncommutative invariant differential operators
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
- Specializations in Differential Algebra
- Reduction of systems of nonlinear partial differential equations to simplified involutive forms
- Computational ideal theory in finitely generated extension rings
- Model completion of Lie differential fields
- Some properties of the lattice points and their application to differential algebra*
Cited In (59)
- Parametric quantified SAT solving
- Differential calculi on commutative algebras
- Algorithms for Bernstein-Sato polynomials and multiplier ideals
- Computing specified generators of structured matrix inverses
- Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case
- On some decidable and undecidable problems related to \(q\)-difference equations with parameters
- Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method
- Consistency of finite difference approximations for linear PDE systems and its algorithmic verification
- Title not available (Why is that?)
- Degree bounds for Gröbner bases of low-dimensional polynomial ideals
- Decomposition of generic multivariate polynomials
- Algorithmic symmetry classification with invariance
- Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields
- A Strassen-like matrix multiplication suited for squaring and higher power computation
- Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes
- Black-box/white-box simplification and applications to quantifier elimination
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Randomized NP-completeness for p -adic rational roots of sparse polynomials in one variable
- Lagrangian curves in a 4-dimensional affine symplectic space
- On moving frames and Noether's conservation laws
- Solving recurrence relations using local invariants
- Iterative Toom-Cook methods for very unbalanced long integer multiplication
- Output-sensitive decoding for redundant residue systems
- Symbolic integration at compile time in finite element methods
- Commutative and non-commutative algebras in the study of differential equations
- The DMM bound: multivariate (aggregate) separation bounds
- Discrete moving frames on lattice varieties and lattice-based multispaces
- Global optimization of polynomials using generalized critical values and sums of squares
- Random polynomials and expected complexity of bisection methods for real solving
- Simultaneously row- and column-reduced higher-order linear differential systems
- Composition collisions and projective polynomials: statement of results
- A new algorithm for computing comprehensive Gröbner systems
- A slice algorithm for corners and Hilbert-Poincaré series of monomial ideals
- A new incremental algorithm for computing Groebner bases
- When can we detect that a P-finite sequence is positive?
- Liouvillian solutions of irreducible second order linear difference equations
- Partial denominator bounds for partial linear difference equations
- Real and complex polynomial root-finding with eigen-solving and preprocessing
- Finding all Bessel type solutions for linear differential equations with rational function coefficients
- Complexity of creative telescoping for bivariate rational functions
- Polynomial integration on regions defined by a triangle and a conic
- Blind image deconvolution via fast approximate GCD
- Discrete moving frames and discrete integrable systems
- Triangular decomposition of semi-algebraic systems
- Parameterized Picard-Vessiot extensions and Atiyah extensions
- Solving Schubert problems with Littlewood-Richardson homotopies
- NumGfun: a package for numerical and analytic computation with D-finite functions
- Easy composition of symbolic computation software: a new lingua franca for symbolic computation
- Differential invariant algebras of Lie pseudo-groups
- A method for semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra
- Evolution of curvature invariants and lifting integrability
- Differential invariants of a Lie group action: syzygies on a generating set
- An in-place truncated Fourier transform and applications to polynomial multiplication
- Computing the singularities of rational space curves
- Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology
- Absolute factoring of non-holonomic ideals in the plane
- Chebyshev interpolation polynomial-based tools for rigorous computing
- Title not available (Why is that?)
- Extending the Algebraic Manipulability of Differentials
Uses Software
This page was built for publication: Differential algebra for derivations with nontrivial commutation rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q557066)
