scientific article; zbMATH DE number 3056446
From MaRDI portal
Publication:5795628
zbMath0037.18402MaRDI QIDQ5795628
Publication date: 1950
Full work available at URL: http://www.ams.org/online_bks/coll33/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ordinary differential equationssystems of algebraic equationsdifferential polynomialsDifferential algebrapartial differential algebraalgebraic differential manifoldsRiquier's existence theorem for orthonomic systems
Differential algebra (12H05) Research exposition (monographs, survey articles) pertaining to ordinary differential equations (34-02) Research exposition (monographs, survey articles) pertaining to field theory (12-02)
Related Items (only showing first 100 items - show all)
Poisson algebras via model theory and differential-algebraic geometry ⋮ On the connection between Ritt characteristic sets and Buchberger-Gröbner bases ⋮ Differential independence of \(\Gamma\) and \(\zeta\) ⋮ Counting quadrant walks via Tutte's invariant method ⋮ A Hitchhiker's guide to automatic differentiation ⋮ The algebro-geometric method: Solving algebraic differential equations by parametrizations ⋮ Joseph Fels Ritt ⋮ Universal enveloping of (modified) λ-differential Lie algebras ⋮ Local bifurcations of critical periods in a generalized 2D LV system ⋮ An Existence Theorem for Difference Polynomials ⋮ A certain homogeneous differential equation transformation ⋮ Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence ⋮ Calculating Galois groups of third-order linear differential equations with parameters ⋮ Solutions of First Order Differential Equations which are Solutions of Linear Differential Equations of Higher Order ⋮ Averaging algebras, rewriting systems and Gröbner–Shirshov bases ⋮ A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity ⋮ Some functional transcendence results around the Schwarzian differential equation ⋮ Differential antisymmetric infinitesimal bialgebras, coherent derivations and Poisson bialgebras ⋮ The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs ⋮ A Direttissimo Algorithm for Equidimensional Decomposition ⋮ Bertini theorems for differential algebraic geometry ⋮ Effective power series computations ⋮ Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros ⋮ Burchnall-Chaundy polynomials for matrix ODOs and Picard-Vessiot theory ⋮ Complete Models of Differential Fields ⋮ Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases ⋮ Proving an execution of an algorithm correct? ⋮ Rational solutions of first order algebraic ordinary differential equations ⋮ Abstract Differential Algebra and the Analytic Case ⋮ Nonlinear algebra and applications ⋮ Punctually presented structures I: Closure theorems ⋮ Jacobi's bound: Jacobi's results translated in Kőnig's, Egerváry's and Ritt's mathematical languages ⋮ A data driven fault isolation method based on reference faulty situations with application to a nonlinear chemical process ⋮ Parameter identifiability and input-output equations ⋮ On Primitive Elements in Differentially Algebraic Extension Fields ⋮ Membership problem for differential ideals generated by a composition of polynomials ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ Some Control Observation Problems and Their Differential Algebraic Partial Solutions ⋮ On Symbolic Approaches to Integro-Differential Equations ⋮ Unnamed Item ⋮ Partial differential Chow forms and a type of partial differential Chow varieties ⋮ Unnamed Item ⋮ Sur le problème d’équivalence de Cartan ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ -Differential operators and -differential modules for the Virasoro algebra ⋮ Bifurcations of Critical Periods for a Class of Quintic Liénard Equation ⋮ One-element differential standard bases with respect to inverse lexicographical orderings ⋮ Jacobi's bound for systems of algebraic differential equations ⋮ From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work ⋮ Elimination of unknowns for systems of algebraic differential-difference equations ⋮ A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs ⋮ SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY ⋮ Constructions of Free Commutative Integro-Differential Algebras ⋮ Thomas Decomposition of Algebraic and Differential Systems ⋮ A structure theorem for the elementary functions and its application to the identity problem ⋮ Flatness and Monge parameterization of two-input systems, control-affine with 4 states or general with 3 states ⋮ A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals ⋮ Systems of nonalgebraic nonlinear ODEs ⋮ Differential Algebra and System Modeling in Cellular Biology ⋮ Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits ⋮ Primary decomposition of zero-dimensional ideals over finite fields ⋮ Picard-Vessiot extensions for real fields ⋮ Unnamed Item ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ Algebraic factoring and geometry theorem proving ⋮ Symbolic Solutions of First-Order Algebraic ODEs ⋮ Effective definability of Kolchin polynomials ⋮ Finitely Generated Extensions of Difference Fields ⋮ An Existence Theorem in the Algebraic Study of Homogeneous Linear Ordinary Differential Equations ⋮ Local Partial Differential Algebra ⋮ Redundancy Relations for Fault Diagnosis in Nonlinear Uncertain Systems ⋮ Galois theory for the family partial differential equations \(\Delta_\alpha \psi \equiv 0\) ⋮ The analytic theory of systems of partial differential equations ⋮ Estimates for the coefficients of differential dimension polynomials ⋮ On the Coalgebra of Partial Differential Equations ⋮ On the Intersections of the Components of a Difference Polynomial ⋮ A bound for the orders of the components of a system of algebraic difference equations ⋮ Differential Equations andA-Approximations ⋮ Gröbner bases and gradings for partial difference ideals ⋮ Sum of squares manifolds: The expressibility of the Laplace-Beltrami operator on pseudo-Riemannian manifolds as a sum of squares of vector fields ⋮ The General Solution of a First Order Differential Polynomial ⋮ Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form ⋮ Unnamed Item ⋮ On central extensions of simple differential algebraic groups ⋮ Specialization and Picard-Vessiot Theory ⋮ Decomposition of Functions of Finite Analytical Complexity ⋮ Sublinear Differential Polynomials ⋮ These are the differentials of order 𝑛 ⋮ Local Differential Algebra ⋮ The notion of dimension in the theory of algebraic differential equations ⋮ Sparse differential resultant for Laurent differential polynomials ⋮ A fixed point theorem for mappings in scaled metric spaces, with applications to partial differential equations ⋮ On Detecting Solutions of Polynomial Nonlinear Difference Equations ⋮ Classification of Lie Subalgebras up to an Inner Automorphism ⋮ Analysis in differential algebras and modules ⋮ On the tame automorphisms of differential polynomial algebras ⋮ On the relationship between differential algebra and tropical differential algebraic geometry ⋮ Characterizing positively invariant sets: inductive and topological methods ⋮ Necessary conditions for Liouvillian solutions of (third order) linear differential equations ⋮ An extension of a procedure to prove statements in differential geometry
This page was built for publication: