Rational invariants of a group action. Construction and rewriting

DOI10.1016/j.jsc.2006.03.005zbMath1121.13010OpenAlexW2104381255MaRDI QIDQ2457418

Publication date: 23 October 2007

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

Full work available at URL: https://doi.org/10.1016/j.jsc.2006.03.005

zbMATH Keywords

Gröbner basis moving frame cross-section differential invariants rational invariants algebraic group actions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Actions of groups on commutative rings; invariant theory (13A50)

Related Items

On Moving Frames and Noether’s Conservation Laws ⋮ Orbit space reduction and localizations ⋮ Scaling invariants and symmetry reduction of dynamical systems ⋮ 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 moments and their invariants ⋮ The moving-frame method for the iterated-integrals signature: orthogonal invariants ⋮ Invariants: Computation and Applications ⋮ Algorithmic invariant theory of nonreductive groups ⋮ Invariants of finite and discrete group actions via moving frames ⋮ Invariants of objects and their images under surjective maps ⋮ Estimation under group actions: recovering orbits from invariants ⋮ Discrete moving frames on lattice varieties and lattice-based multispaces ⋮ MOVING FRAMES AND NOETHER’S CONSERVATION LAWS—THE GENERAL CASE ⋮ Using extended Derksen ideals in computational invariant theory ⋮ Generic separating sets for three-dimensional elasticity tensors ⋮ Invariant algebraic sets and symmetrization of polynomial systems ⋮ Rational invariants of even ternary forms under the orthogonal group ⋮ Computation of invariants of finite abelian groups ⋮ Triangular decomposition of semi-algebraic systems ⋮ Classification of curves in 2D and 3D via affine integral signatures ⋮ Recursive moving frames for Lie pseudo-groups ⋮ Differential Signatures of Algebraic Curves ⋮ Differential invariants of a Lie group action: syzygies on a generating set ⋮ NumGfun

Uses Software

SINGULAR

Cites Work