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
- Estimates for the coefficients of differential dimension polynomials
- 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
- On central extensions of simple differential algebraic groups
- The analytic theory of systems of partial differential equations
- A short contribution to the theory of regular chains
- Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
- Overview on Heisenberg-Weyl algebra and subsets of Riordan subgroups
- scientific article; zbMATH DE number 5989826 (Why is no real title available?)
- A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
- Applications of differential form Wu's method to determine symmetries of (partial) differential equations
- Formal deformations, cohomology theory and \(L_\infty \)[1]-structures for differential Lie algebras of arbitrary weight
- Classification of Lie subalgebras up to an inner automorphism
- On Borel summation and Stokes phenomena for rank-\(1\) nonlinear systems of ordinary differential equations
- scientific article; zbMATH DE number 3399724 (Why is no real title available?)
- An Existence Theorem for Difference Polynomials
- Algebraic factoring and geometry theorem proving
- Nonlinear algebra and applications
- A criterion for testing whether a difference ideal is prime
- Deformations of solutions of algebraic differential equations
- Transforming radical differential equations to algebraic differential equations
- The algebro-geometric method: Solving algebraic differential equations by parametrizations
- Membership problem for differential ideals generated by a composition of polynomials
- One-element differential standard bases with respect to inverse lexicographical orderings
- On symbolic approaches to integro-differential equations
- Rational general solutions of trivariate rational differential systems
- Sums of products of functions of x times functions of y
- SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
- Calculating Galois groups of third-order linear differential equations with parameters
- Identifiability results for several classes of linear compartment models
- The ramificant determinant
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Structural identifiability analysis of some highly structured families of statespace models using differential algebra
- Geometry of p-jets
- On Detecting Solutions of Polynomial Nonlinear Difference Equations
- Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros
- Effective definability of Kolchin polynomials
- Realization theory for rational systems: minimal rational realizations
- Realization of multivariable nonlinear systems via the approaches of differential forms and differential algebra
- An effective automatic procedure for testing parameter identifiability of HIV/AIDS models
- A certain homogeneous differential equation transformation
- Elimination procedures for mechanical theorem proving in geometry
- On the second order homogeneous quadratic differential equation
- Computing all identifiable functions of parameters for ODE models
- A procedure to prove statements in differential geometry
- Decomposition of polynomial sets into characteristic pairs
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems
- An extension of a procedure to prove statements in differential geometry
- Multiplicity structure of the arc space of a fat point
- Symbolic computation in algebra, geometry, and differential equations
- D-algebraic functions
- Computing representations for radicals of finitely generated differential ideals
- Decomposition of Functions of Finite Analytical Complexity
- On 3-Lie algebras with a derivation
- Jacobi's bound for systems of algebraic differential equations
- An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space
- On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras
- Solving first order autonomous algebraic ordinary differential equations by places
- Model reduction of chemical reaction systems using elimination
- Differential Algebra and System Modeling in Cellular Biology
- An attempt to differential Galois theory of second order polynomial system and solvable subgroup of Möbius transformations
- Elimination of unknowns for systems of algebraic differential-difference equations
- A data driven fault isolation method based on reference faulty situations with application to a nonlinear chemical process
- Independence in computable algebra
- Local algebraic analysis of differential systems
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
- A normal form algorithm for regular differential chains
- Structural identifiability analysis of age-structured PDE epidemic models
- Differential equations and \(A\)-approximations
- A bound for the orders of the components of a system of algebraic difference equations
- The model theory of differential fields revisited
- scientific article; zbMATH DE number 1029219 (Why is no real title available?)
- Parameter identifiability and input-output equations
- Galois theory for the family partial differential equations \(\Delta_\alpha \psi \equiv 0\)
- Advances in elimination theory for algebraic differential and difference equations
- The General Solution of a First Order Differential Polynomial
- Contribution to integral elimination
- On formal power series solutions of regular differential chains
- An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry
- Local Partial Differential Algebra
- Burchnall-Chaundy polynomials for matrix ODOs and Picard-Vessiot theory
- An optimization of Seidenberg's elimination algorithm in differential algebra.
- Differential algebra for derivations with nontrivial commutation rules
- Lazy Hermite reduction and creative telescoping for algebraic functions
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)