scientific article
From MaRDI portal
zbMath0694.53027MaRDI QIDQ3995740
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lie groupscontrol systemsFrobenius theoremCartan-Kähler theoryCartan's method of equivalenceprolongationsG-spacesinvolutivenessalgorithmical description
Pseudogroups and differentiable groupoids (58H05) Research exposition (monographs, survey articles) pertaining to differential geometry (53-02) (G)-structures (53C10)
Related Items
Lie algebroids and Cartan’s method of equivalence, On isotropic sub-Riemannian contact manifolds, On the real theory of four-dimensional conformal structures, Equivalence and the Cartan form, Generalized conformal Hamiltonian dynamics and the pattern formation equations, Rolling balls and octonions, Centroaffine first order invariants of surfaces in \(\mathbb{R}^ 4\), Characteristic cohomology of differential systems. II: Conservation laws for a class of parabolic equations, On the geometry of \(y^{(4)}=f(x,y,y^{\prime },y^{\prime\prime },y^{\prime\prime\prime })\), Differential invariants, Cartan equivalence problem for 5-dimensional bracket-generating CR manifolds in \(\mathbb C^4\), Sub-Finsler geometry in dimension three, The differential invariants of particle Lagrangians under equivalence by contact transformations, Homogeneous integrable Legendrian contact structures in dimension five, I. GM-sets applied to Lie theory, The mean curvature of special Lagrangian 3-folds in \(\text{SU}(3)\)-structures with torsion, 3-folds CR-embedded in 5-dimensional real hyperquadrics, On post-Lie algebras, Lie-Butcher series and moving frames, Differential geometric aspects of causal structures, Contact-equivalence problem for linear hyperbolic equations, Conformal and Grassmann structures, Feedback classification of nonlinear control systems on 3-manifolds, Rank 2 Bäcklund transformations of hyperbolic Monge-Ampère systems, Computation of local symmetries of second-order ordinary differential equations by the Cartan equivalence method, 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, Intrinsic characteristic classes of a local Lie group, Symmetries of sub-Riemannian surfaces, Contact integrable extensions and differential coverings for the generalized \((2 + 1)\)-dimensional dispersionless Dym equation, On the development of symmetry-preserving finite element schemes for ordinary differential equations, Equivalence for differential equations, An enhancement of transformation method, Geometry and conservation laws for a class of second-order parabolic equations. I: Geometry, Subriemannian metric induced by single-input locally accessible control-affine systems, Invariant characterization of third-order ordinary differential equations \(u= f(x, u, u', u)\) with five-dimensional point symmetry group, A recursion operator for the universal hierarchy equation via Cartan's method of equivalence, Input-output transformation using the feedback of nonlinear electrical circuits: algorithms and linearization examples, Parallel surfaces in affine 4-space, Automorphisms of ordinary differential equations, The mean curvature of first-order submanifolds in exceptional geometries with torsion, Symbolic computation of equivalence transformations and parameter reduction for nonlinear physical models, Non-holonomic connections following Élie Cartan, Cartan's structure theory of symmetry pseudo-groups, coverings and multi-valued solutions for the Khokhlov-Zabolotskaya equation, Coverings of differential equations and Cartan's structure theory of Lie pseudo-groups, Deformed cohomologies of symmetry pseudo-groups and coverings of differential equations, Local equivalence problem for a second order complete scalar system of partial differencial equations with \(n\) independent variables, Tanaka prolongation of free Lie algebras, Maximum rank of a Legendrian web, On the Gronwall conjecture, Lie symmetries and CR geometry, Cartan's structure of symmetry pseudo-group and coverings for the \(r\)-th modified dispersionless Kadomtsev-Petviashvili equation, Differential invariants of a class of Lagrangian systems with two degrees of freedom, Second order ODEs under area-preserving maps, Symmetry breaking of systems of linear second-order ordinary differential equations with constant coefficients, Characterization of the Newtonian free particle system in \(m\geqslant 2\) dependent variables, Invariants of third-order ordinary differential equationsy′′′=f(x,y,y′,y′′) via point transformations, Differential invariants for third-order evolution equations, An extension of Cartan's method of equivalence to immersions. I: Necessary conditions, Élie Cartan's geometrical vision or how to avoid expression swell, Differential invariants of a Lie group action: syzygies on a generating set, The Cayley cubic and differential equations, Web geometry of a system of first-order autonomous ordinary differential equations, Projective connections, double fibrations and formal neighbourhoods of lines, Differential systems with Fuchsian linear part: correction and linearization, normal forms and multiple orthogonal polynomials, Para-Kähler-Einstein \(4\)-manifolds and non-integrable twistor distributions, Differential invariants for systems of linear hyperbolic equations, Exotic holonomy on moduli spaces of rational curves, Connections on bundles of horizontal frames associated with contact sub-pseudo-Riemannian manifolds, Uniformly Levi degenerate CR manifolds: The 5-dimensional case, NumGfun, The geometry of the equation \(y=f(x,y,y',y)\), An algorithm for feedback linearization, Formal solutions of differential equations, Invariant functions of control-linear systems, 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, Webs and singularities, 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, Symmetries of the gas dynamics equations using the differential form method, Quadratic closed G2$\mathrm{G}_2$‐structures, Basic Aspects of Differential Geometry, The inverse problem of the calculus of variations for scalar fourth-order ordinary differential equations, A conformal differential invariant and the conformal rigidity of hypersurfaces, Equivalence of Third‐Order Ordinary Differential Equations to Chazy Equations I–XIII, Local rigidity of hypersurfaces in real Euclidean spaces., Equivalence problem for compatible bi-Hamiltonian structures on three-dimensional orientable manifolds, Triangular decomposition of semi-algebraic systems, Equivalence and symmetries of first order differential equations, Geometry of Bäcklund transformations I: generality, Geometric structures as deformed infinitesimal symmetries, Sternberg's structure function of differential systems in dimension five, Cartan meets Chaplygin, A model of trophodynamics
