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
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, On 3-Lie algebras with a derivation, Proving geometry theorems with rewrite rules, Basic principles of mechanical theorem proving in elementary geometries, On a new differential geometric setting in nonlinear control, Implicitization of partial differential rational parametric equations, Differential and difference algebra, Model reduction of chemical reaction systems using elimination, On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving, Geometry of \(p\)-jets, Rational general solutions of first order non-autonomous parametrizable ODEs, Elimination procedures for mechanical theorem proving in geometry, Mechanical theorem proving in the local theory of surfaces, The dimension method in elementary and differential geometry, A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers, Rational general solutions of higher order algebraic ODEs, Overview on Heisenberg-Weyl algebra and subsets of Riordan subgroups, Algebraic differential equations of the first order and the second degree, Identifiability results for several classes of linear compartment models, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, The dimension and structure of the space of harmonic 2-spheres in the \(m\)-sphere, Algorithmic Thomas decomposition of algebraic and differential systems, An effective automatic procedure for testing parameter identifiability of HIV/AIDS models, Rational general solutions of trivariate rational differential systems, Sums of products of functions of x times functions of y, A procedure to prove statements in differential geometry, An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry, Alternative to Ritt's pseudodivision for finding the input-output equations of multi-output models, An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space, Localization and parametrization of linear multidimensional control systems, Asymptotic integration of \(1+\alpha\)-order fractional differential equations, When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?, A criterion for testing whether a difference ideal is prime, Solvable-by-finite groups as differential Galois groups, Characteristic decomposition: from regular sets to normal sets, Ritt-Wu characteristic set method for Laurent partial differential polynomial systems, Elimination theory in differential and difference algebra, Solution of linear system of differential equations by rational canonical form, Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017, On Borel summation and Stokes phenomena for rank-\(1\) nonlinear systems of ordinary differential equations, Computing with D-algebraic power series, Mechanical manipulation for a class of differential systems, A question of Joseph Ritt from the point of view of vertex algebras, Independence in computable algebra, Local algebraic analysis of differential systems, On the growth of algebras with bialgebra action, Differential standard bases under composition, The ideal of separants in the ring of differential polynomials, Free operated monoids and rewriting systems, Differential algebras in codifferential categories, A Jordan-Hölder theorem for differential algebraic groups, A normal form algorithm for regular differential chains, Structural identifiability analysis of some highly structured families of statespace models using differential algebra, Realization theory for rational systems: minimal rational realizations, Involutive characteristic sets of algebraic partial differential equation systems, Differentially closed fields, Differential algebra for derivations with nontrivial commutation rules, Estimation of constant and time-varying dynamic parameters of HIV infection in a nonlinear differential equation model, Systems of generators for ideals of algebra of convergent differential series, Modeling and estimation of kinetic parameters and replicative fitness of HIV-1 from flow-cytometry-based growth competition experiments, Probabilistic algorithms for computing resolvent representations of regular differential ideals, The model theory of differential fields revisited, Sieve estimation of constant and time-varying coefficients in nonlinear ordinary differential equation models by considering both numerical error and measurement error, A geometric index reduction method for implicit systems of differential algebraic equations, The ramificant determinant, An attempt to differential Galois theory of second order polynomial system and solvable subgroup of Möbius transformations, A short contribution to the theory of regular chains, Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one, A linear algebra approach to the differentiation index of generic DAE systems, On convexification of system identification criteria, A characteristic set method for ordinary difference polynomial systems, Controllability of differential systems in differential rings, Global Lie-Tresse theorem, Differential invariants of a Lie group action: syzygies on a generating set, PI observer design for a class of nondifferentially flat systems, Computing representations for radicals of finitely generated differential ideals, Jacobi's bound for independent systems of algebraic partial differential equations, Computing all identifiable functions of parameters for ODE models, On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras, Computations in differential and difference modules, An optimization of Seidenberg's elimination algorithm in differential algebra., Structural identifiability analysis of age-structured PDE epidemic models, On the second order homogeneous quadratic differential equation, Symbolic computation for the qualitative theory of differential equations, Solving first order autonomous algebraic ordinary differential equations by places, Applications of differential form Wu's method to determine symmetries of (partial) differential equations, Algebra, geometry and topology of ERK kinetics, Power series solutions of algebraic differential equations, Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm, Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving, Elimination in control theory, Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition, The differential equation \(y=0\) revisited, On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations, Spectral Picard-Vessiot fields for algebro-geometric Schrödinger operators, 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
