Publication:3995740
From MaRDI portal
zbMath0694.53027MaRDI QIDQ3995740
Publication date: 17 September 1992
Lie groups; control systems; Frobenius theorem; Cartan-Kähler theory; Cartan's method of equivalence; prolongations; G-spaces; involutiveness; algorithmical description
58H05: Pseudogroups and differentiable groupoids
53-02: Research exposition (monographs, survey articles) pertaining to differential geometry
53C10: (G)-structures
Related Items
On post-Lie algebras, Lie-Butcher series and moving frames, Equivalence for differential equations, Intrinsic characteristic classes of a local Lie group, Symmetries of sub-Riemannian surfaces, On the Gronwall conjecture, Symmetry breaking of systems of linear second-order ordinary differential equations with constant coefficients, An extension of Cartan's method of equivalence to immersions. I: Necessary conditions, Web geometry of a system of first-order autonomous ordinary differential equations, Formal solutions of differential equations, On the geometry of \(y^{(4)}=f(x,y,y^{\prime },y^{\prime\prime },y^{\prime\prime\prime })\), Sub-Finsler geometry in dimension three, Contact-equivalence problem for linear hyperbolic equations, Cartan's structure theory of symmetry pseudo-groups, coverings and multi-valued solutions for the Khokhlov-Zabolotskaya equation, Cartan's structure of symmetry pseudo-group and coverings for the \(r\)-th modified dispersionless Kadomtsev-Petviashvili equation, Élie Cartan's geometrical vision or how to avoid expression swell, Differential invariants of a Lie group action: syzygies on a generating set, Differential systems with Fuchsian linear part: correction and linearization, normal forms and multiple orthogonal polynomials, Differential invariants for systems of linear hyperbolic equations, Conformal and Grassmann structures, Exotic holonomy on moduli spaces of rational curves, An algorithm for feedback linearization, Invariant functions of control-linear systems, Computation of local symmetries of second-order ordinary differential equations by the Cartan equivalence method, An enhancement of transformation method, Parallel surfaces in affine 4-space, Projective connections, double fibrations and formal neighbourhoods of lines, Uniformly Levi degenerate CR manifolds: The 5-dimensional case, The geometry of the equation \(y'=f(x,y,y',y)\), Cartan-Chern-Moser theory on algebraic hypersurfaces and an application to the study of automorphism groups of algebraic domains, About Cartan geometrization of non-holonomic mechanics, On isotropic sub-Riemannian contact manifolds, Centroaffine first order invariants of surfaces in \(\mathbb{R}^ 4\), Characteristic cohomology of differential systems. II: Conservation laws for a class of parabolic equations, Differential invariants, The differential invariants of particle Lagrangians under equivalence by contact transformations, Feedback classification of nonlinear control systems on 3-manifolds, Contact integrable extensions and differential coverings for the generalized \((2 + 1)\)-dimensional dispersionless Dym equation, Subriemannian metric induced by single-input locally accessible control-affine systems, Maximum rank of a Legendrian web, Lie symmetries and CR geometry, Differential invariants of a class of Lagrangian systems with two degrees of freedom, Second order ODEs under area-preserving maps, On the real theory of four-dimensional conformal structures, Equivalence and the Cartan form, Rolling balls and octonions, A recursion operator for the universal hierarchy equation via Cartan's method of equivalence, Coverings of differential equations and Cartan's structure theory of Lie pseudo-groups, Local equivalence problem for a second order complete scalar system of partial differencial equations with \(n\) independent variables, Tanaka prolongation of free Lie algebras, Characterization of the Newtonian free particle system in \(m\geqslant 2\) dependent variables, Differential invariants for third-order evolution equations, Non-holonomic connections following Élie Cartan, Invariants of third-order ordinary differential equationsy′′′=f(x,y,y′,y′′) via point transformations, NumGfun, Webs and singularities, Lie algebroids and Cartan’s method of equivalence, 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, Equivalence of Third‐Order Ordinary Differential Equations to Chazy Equations I–XIII, Equivalence and symmetries of first order differential equations, A conformal differential invariant and the conformal rigidity of hypersurfaces, Geometric structures as deformed infinitesimal symmetries, The inverse problem of the calculus of variations for scalar fourth-order ordinary differential equations, Local rigidity of hypersurfaces in real Euclidean spaces., Triangular decomposition of semi-algebraic systems, Unnamed Item, A model of trophodynamics
