scientific article; zbMATH DE number 3056446
From MaRDI portal
Publication:5795628
Cited in
(only showing first 100 items - show all)- A characteristic set method for ordinary difference polynomial systems
- Controllability of differential systems in differential rings
- Differential invariants of a Lie group action: syzygies on a generating set
- Computing representations for radicals of finitely generated differential ideals
- Jacobi's bound for independent systems of algebraic partial differential equations
- Power series solutions of algebraic differential equations
- Proving geometry theorems with rewrite rules
- Basic principles of mechanical theorem proving in elementary geometries
- Differential and difference algebra
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- Mechanical manipulation for a class of differential systems
- Differentially closed fields
- The model theory of differential fields revisited
- 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
- Necessary conditions for Liouvillian solutions of (third order) linear differential equations
- An extension of a procedure to prove statements in differential geometry
- On a new differential geometric setting in nonlinear control
- Algebraic differential equations of the first order and the second degree
- Solvable-by-finite groups as differential Galois groups
- An optimization of Seidenberg's elimination algorithm in differential algebra.
- Analysis in differential algebras and modules
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- 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
- Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017
- Free operated monoids and rewriting systems
- Structural identifiability analysis of some highly structured families of statespace models using differential algebra
- Computations in differential and difference modules
- Geometry of p-jets
- 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
- Rational general solutions of trivariate rational differential systems
- Localization and parametrization of linear multidimensional control systems
- On Borel summation and Stokes phenomena for rank-\(1\) nonlinear systems of ordinary differential equations
- Differential algebras in codifferential categories
- Systems of generators for ideals of algebra of convergent differential series
- A short contribution to the theory of regular chains
- Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one
- Computing all identifiable functions of parameters for ODE models
- On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras
- Structural identifiability analysis of age-structured PDE epidemic models
- Symbolic computation for the qualitative theory of differential equations
- Algebra, geometry and topology of ERK kinetics
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations
- Spectral Picard-Vessiot fields for algebro-geometric Schrödinger operators
- On the tame automorphisms of differential polynomial algebras
- Characterizing positively invariant sets: inductive and topological methods
- On 3-Lie algebras with a derivation
- Solution of linear system of differential equations by rational canonical form
- A question of Joseph Ritt from the point of view of vertex algebras
- Modeling and estimation of kinetic parameters and replicative fitness of HIV-1 from flow-cytometry-based growth competition experiments
- The ramificant determinant
- On convexification of system identification criteria
- PI observer design for a class of nondifferentially flat systems
- Applications of differential form Wu's method to determine symmetries of (partial) differential equations
- Sparse differential resultant for Laurent differential polynomials
- 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\)
- Local bifurcations of critical periods in a generalized 2D LV system
- A certain homogeneous differential equation transformation
- Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
- Effective power series computations
- Membership problem for differential ideals generated by a composition of polynomials
- A review and prospect of readable machine proofs for geometry theorems
- One-element differential standard bases with respect to inverse lexicographical orderings
- Jacobi's bound for systems of algebraic differential equations
- A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
- Galois theory for the family partial differential equations \(\Delta_\alpha \psi \equiv 0\)
- A bound for the orders of the components of a system of algebraic difference equations
- A Hitchhiker's guide to automatic differentiation
- Some functional transcendence results around the Schwarzian differential equation
- A data driven fault isolation method based on reference faulty situations with application to a nonlinear chemical process
- Parameter identifiability and input-output equations
- Symbolic solutions of first-order algebraic ODEs
- Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
- Primary decomposition of zero-dimensional ideals over finite fields
- Realization of multivariable nonlinear systems via the approaches of differential forms and differential algebra
- Redundancy relations for fault diagnosis in nonlinear uncertain systems
- scientific article; zbMATH DE number 5989826 (Why is no real title available?)
- On Detecting Solutions of Polynomial Nonlinear Difference Equations
- Finitely Generated Extensions of Difference Fields
- On the Intersections of the Components of a Difference Polynomial
- An Existence Theorem in the Algebraic Study of Homogeneous Linear Ordinary Differential Equations
- Specialization and Picard-Vessiot Theory
- Sublinear Differential Polynomials
- Local Differential Algebra
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
- Thomas decomposition of algebraic and differential systems
- 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
- Model reduction of chemical reaction systems using elimination
- 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
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)
