Generating differential invariants

DOI10.1016/j.jmaa.2006.12.029zbMath1124.53006OpenAlexW2079403784MaRDI QIDQ886192

Publication date: 26 June 2007

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL: http://purl.umn.edu/4363

zbMATH Keywords

Lie group moving frame differential invariant

Mathematics Subject Classification ID

Exterior differential systems (Cartan theory) (58A15) Differential invariants (local theory), geometric objects (53A55)

Related Items

GROUP FOLIATION OF DIFFERENTIAL EQUATIONS USING MOVING FRAMES, Affine differential invariants of functions on the plane, On the reduction of nonlinear mechanical systems via moving frames: a bead on a rotating wire hoop and a spinning top, 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, Poisson structures for geometric curve flows in semi-simple homogeneous spaces, Differential invariants and operators of invariant differentiation of the projectable action of Lie groups, Unnamed Item, On structure-preserving point transformations of differential equations, Invariant parameterization and turbulence modeling on the beta-plane, Schwarps: locally projective image warps based on 2D Schwarzian derivatives, Recursive moving frames, Lagrangian curves in a 4-dimensional affine symplectic space, Triangular decomposition of semi-algebraic systems, Invariants of surfaces in three-dimensional affine geometry, Exact solutions via equivalence transformations of variable-coefficient fifth-order KdV equations, Unnamed Item, Differential invariant algebras of Lie pseudo-groups, Differential invariants of a Lie group action: syzygies on a generating set, Differential invariants of surfaces, Convergent normal form for five dimensional totally nondegenerate CR manifolds in \(\mathbb{C}^4\), Symmetry transformations of an ideal steady fluid flow determined by a potential function, On differential invariants of parabolic surfaces, NumGfun, Symmetry preserving parameterization schemes

Uses Software

Cites Work