scientific article; zbMATH DE number 3056446

zbMATH Open0037.18402MaRDI QIDQ5795628FDOQ5795628

Publication date: 1950

Full work available at URL: http://www.ams.org/online_bks/coll33/

Title of this publication is not available (Why is that?)

differential polynomials ordinary differential equations Differential algebra systems of algebraic equations partial differential algebra algebraic differential manifolds Riquier's existence theorem for orthonomic systems

Mathematics Subject Classification ID

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)

Cited In (only showing first 100 items - show all)

Rational general solutions of higher order algebraic ODEs
Local bifurcations of critical periods in a generalized 2D LV system
Constructions of free commutative integro-differential algebras
Elimination in control theory
Thomas decomposition of algebraic and differential systems
ZERO ORDER ESTIMATES FOR ANALYTIC FUNCTIONS
When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
A geometric index reduction method for implicit systems of differential algebraic equations
Systems of generators for ideals of algebra of convergent differential series
The notion of dimension in the theory of algebraic differential equations
Involutive characteristic sets of algebraic partial differential equation systems
Proving geometry theorems with rewrite rules
A Jordan-Hölder theorem for differential algebraic groups
On the tame automorphisms of differential polynomial algebras
Implicitization of partial differential rational parametric equations
A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
The ideal of separants in the ring of differential polynomials
Solvable-by-finite groups as differential Galois groups
On a new differential geometric setting in nonlinear control
Flatness and Monge parameterization of two-input systems, control-affine with 4 states or general with 3 states
Rational general solutions of first order non-autonomous parametrizable ODEs
Differential independence of \(\Gamma\) and \(\zeta\)
Asymptotic integration of \(1+\alpha\)-order fractional differential equations
The dimension and structure of the space of harmonic 2-spheres in the \(m\)-sphere
Algorithmic Thomas decomposition of algebraic and differential systems
A characteristic set method for ordinary difference polynomial systems
Estimation of constant and time-varying dynamic parameters of HIV infection in a nonlinear differential equation model
Global Lie-Tresse theorem
Necessary conditions for Liouvillian solutions of (third order) linear differential equations
Modeling and estimation of kinetic parameters and replicative fitness of HIV-1 from flow-cytometry-based growth competition experiments
A linear algebra approach to the differentiation index of generic DAE systems
Abstract Differential Algebra and the Analytic Case
Effective power series computations
Mechanical manipulation for a class of differential systems
Jacobi's bound for independent systems of algebraic partial differential equations
Complete Models of Differential Fields
Probabilistic algorithms for computing resolvent representations of regular differential ideals
Computations in differential and difference modules
Alternative to Ritt's pseudodivision for finding the input-output equations of multi-output models
Primary decomposition of zero-dimensional ideals over finite fields
Averaging algebras, rewriting systems and Gröbner–Shirshov bases
Mechanical theorem proving in the local theory of surfaces
Controllability of differential systems in differential rings
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
Title not available (Why is that?)
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
On Borel summation and Stokes phenomena for rank-\(1\) nonlinear systems of ordinary differential equations
A criterion for testing whether a difference ideal is prime
Membership problem for differential ideals generated by a composition of polynomials
One-element differential standard bases with respect to inverse lexicographical orderings
Rational general solutions of trivariate rational differential systems
Structural identifiability analysis of some highly structured families of statespace models using differential algebra
Geometry of \(p\)-jets
Realization of multivariable nonlinear systems via the approaches of differential forms and differential algebra
Realization theory for rational systems: minimal rational realizations
Elimination procedures for mechanical theorem proving in geometry
An effective automatic procedure for testing parameter identifiability of HIV/AIDS models
Computing representations for radicals of finitely generated differential ideals
Differential Algebra and System Modeling in Cellular Biology
An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space
Model reduction of chemical reaction systems using elimination
Independence in computable algebra
Local algebraic analysis of differential systems
A normal form algorithm for regular differential chains
The model theory of differential fields revisited
Parameter identifiability and input-output equations
Picard-Vessiot extensions for real fields
Differential algebra for derivations with nontrivial commutation rules
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
On convexification of system identification criteria
Sieve estimation of constant and time-varying coefficients in nonlinear ordinary differential equation models by considering both numerical error and measurement error
Computing with D-algebraic power series
Localization and parametrization of linear multidimensional control systems
Differential invariants of a Lie group action: syzygies on a generating set
Finitely Generated Extensions of Difference Fields
Power series solutions of algebraic differential equations
On the growth of algebras with bialgebra action
Basic principles of mechanical theorem proving in elementary geometries
Algebraic differential equations of the first order and the second degree
Title not available (Why is that?)
Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence
Redundancy relations for fault diagnosis in nonlinear uncertain systems
A review and prospect of readable machine proofs for geometry theorems
On the relationship between differential algebra and tropical differential algebraic geometry
The dimension method in elementary and differential geometry
Title not available (Why is that?)
Characteristic decomposition: from regular sets to normal sets
Elimination theory in differential and difference algebra
Analysis in differential algebras and modules
Differentially closed fields
On the Coalgebra of Partial Differential Equations
Poisson algebras via model theory and differential-algebraic geometry
Differential and difference algebra
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
Local Differential Algebra
\(\lambda\)-differential operators and \(\lambda\)-differential modules for the Virasoro algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5795628)