scientific article; zbMATH DE number 3056446
From MaRDI portal
Publication:5795628
Cited in
(only showing first 100 items - show all)- Systems of nonalgebraic nonlinear ODEs
- Differential standard bases under composition
- Joseph Fels Ritt
- Ritt-Wu's decomposition algorithm and geometry theorem proving
- Universal enveloping of (modified) \(\lambda\)-differential Lie algebras
- Differential invariants of a Lie group action: syzygies on a generating set
- Gröbner bases and gradings for partial difference ideals
- Proving an execution of an algorithm correct?
- Power series solutions of algebraic differential equations
- Algebra, geometry and topology of ERK kinetics
- On the growth of algebras with bialgebra action
- Finitely Generated Extensions of Difference Fields
- Basic principles of mechanical theorem proving in elementary geometries
- An Existence Theorem in the Algebraic Study of Homogeneous Linear Ordinary Differential Equations
- Symbolic solutions of first-order algebraic ODEs
- Rational general solutions of higher order algebraic ODEs
- Algebraic differential equations of the first order and the second degree
- Spectral Picard-Vessiot fields for algebro-geometric Schrödinger operators
- Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
- Rational solutions of first order algebraic ordinary differential equations
- scientific article; zbMATH DE number 3715790 (Why is no real title available?)
- Local bifurcations of critical periods in a generalized 2D LV system
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
- A fixed point theorem for mappings in scaled metric spaces, with applications to partial differential equations
- Elimination in control theory
- Constructions of free commutative integro-differential algebras
- Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
- Redundancy relations for fault diagnosis in nonlinear uncertain systems
- On the relationship between differential algebra and tropical differential algebraic geometry
- Bifurcations of critical periods for a class of quintic Liénard equation
- Thomas decomposition of algebraic and differential systems
- A review and prospect of readable machine proofs for geometry theorems
- The dimension method in elementary and differential geometry
- ZERO ORDER ESTIMATES FOR ANALYTIC FUNCTIONS
- On Cartan's equivalence problem
- On the Intersections of the Components of a Difference Polynomial
- Thomas decomposition and nonlinear control systems
- Geometry machines: from AI to SMC
- scientific article; zbMATH DE number 1983999 (Why is no real title available?)
- Characteristic decomposition: from regular sets to normal sets
- Elimination theory in differential and difference algebra
- Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017
- Some control observation problems and their differential algebraic partial solutions
- A geometric index reduction method for implicit systems of differential algebraic equations
- On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations
- Systems of generators for ideals of algebra of convergent differential series
- Involutive characteristic sets of algebraic partial differential equation systems
- Analysis in differential algebras and modules
- Proving geometry theorems with rewrite rules
- The notion of dimension in the theory of algebraic differential equations
- Differential algebras in codifferential categories
- A Jordan-Hölder theorem for differential algebraic groups
- Differentially closed fields
- Solution of linear system of differential equations by rational canonical form
- On the tame automorphisms of differential polynomial algebras
- Punctually presented structures I: Closure theorems
- Sublinear Differential Polynomials
- Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases
- These are the differentials of order 𝑛
- Implicitization of partial differential rational parametric equations
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
- Differential and difference algebra
- Poisson algebras via model theory and differential-algebraic geometry
- The ideal of separants in the ring of differential polynomials
- Counting quadrant walks via Tutte's invariant method
- On the Coalgebra of Partial Differential Equations
- A question of Joseph Ritt from the point of view of vertex algebras
- Partial differential Chow forms and a type of partial differential Chow varieties
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Solvable-by-finite groups as differential Galois groups
- On a new differential geometric setting in nonlinear control
- Cohomology, deformations and extensions of Rota-Baxter Leibniz algebras
- Rational general solutions of first order non-autonomous parametrizable ODEs
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
- Asymptotic integration of \(1+\alpha\)-order fractional differential equations
- Flatness and Monge parameterization of two-input systems, control-affine with 4 states or general with 3 states
- The dimension and structure of the space of harmonic 2-spheres in the m-sphere
- Algorithmic Thomas decomposition of algebraic and differential systems
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- 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
- Differential independence of \(\Gamma\) and \(\zeta\)
- PI observer design for a class of nondifferentially flat systems
- Global Lie-Tresse theorem
- Symbolic computation for the qualitative theory of differential equations
- A linear algebra approach to the differentiation index of generic DAE systems
- Necessary conditions for Liouvillian solutions of (third order) linear differential equations
- A structure theorem for the elementary functions and its application to the identity problem
- Modeling and estimation of kinetic parameters and replicative fitness of HIV-1 from flow-cytometry-based growth competition experiments
- Jacobi's bound: Jacobi's results translated in Kőnig's, Egerváry's and Ritt's mathematical languages
- Mechanical manipulation for a class of differential systems
- Local Differential Algebra
- Effective power series computations
- Characterizing positively invariant sets: inductive and topological methods
- General solutions of first-order algebraic ODEs in simple constant extensions
- Free operated monoids and rewriting systems
- Abstract Differential Algebra and the Analytic Case
- Differential antisymmetric infinitesimal bialgebras, coherent derivations and Poisson bialgebras
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)
