Differential invariants of a Lie group action: syzygies on a generating set

DOI10.1016/j.jsc.2008.08.003zbMath1176.12004arXiv0710.4318OpenAlexW1557748481WikidataQ115345236 ScholiaQ115345236MaRDI QIDQ1008571

Evelyne Hubert

Publication date: 30 March 2009

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0710.4318

zbMATH Keywords

symbolic computationsyzygiesdifferential algebradifferential invariantsLie group actions

Mathematics Subject Classification ID

Related Items (57)

On Moving Frames and Noether’s Conservation Laws ⋮ GROUP FOLIATION OF DIFFERENTIAL EQUATIONS USING MOVING FRAMES ⋮ Affine differential invariants of functions on the plane ⋮ Discrete moving frames and discrete integrable systems ⋮ 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 ⋮ Geometric affine symplectic curve flows in \(\mathbb R^4\) ⋮ Poisson structures for geometric curve flows in semi-simple homogeneous spaces ⋮ Discrete moving frames on lattice varieties and lattice-based multispaces ⋮ MOVING FRAMES AND NOETHER’S CONSERVATION LAWS—THE GENERAL CASE ⋮ Group foliation of finite difference equations ⋮ Lagrangian curves in a 4-dimensional affine symplectic space ⋮ Triangular decomposition of semi-algebraic systems ⋮ Unnamed Item ⋮ Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE ⋮ Differential invariant algebras of Lie pseudo-groups ⋮ NumGfun

Uses Software

• DIFFALG
• AIDA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential algebra for derivations with nontrivial commutation rules
• The moving frame, differential invariants and rigidity theorems for curves in homogeneous spaces
• On the geometry of \(y^{(4)}=f(x,y,y^{\prime },y^{\prime\prime },y^{\prime\prime\prime })\)
• Generating differential invariants
• Smooth and algebraic invariants of a group action: Local and global constructions
• Second-order differential invariants of the rotation group \(O(n)\) and of its extensions: \(E(n),P(1,n),G(1,n)\)
• On Cartan's method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• On the finiteness of differential invariants.
• Model completion of Lie differential fields
• The geometry of the equation \(y'=f(x,y,y',y)\)
• Differential invariants of classical groups
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces
• Evolution of curvature invariants and lifting integrability
• The equivalence problem for fourth order differential equations under fiber preserving diffeomorphisms
• Computer Algebra and Geometric Algebra with Applications
• Algorithms for symmetric differential systems

This page was built for publication: Differential invariants of a Lie group action: syzygies on a generating set