Pages that link to "Item:Q1015366"

The following pages link to Computing representations for radicals of finitely generated differential ideals (Q1015366):

Displaying 50 items.

• Recent progress in an algebraic analysis approach to linear systems (Q335929) (← links)
• Model reduction of chemical reaction systems using elimination (Q359898) (← links)
• On integro-differential algebras. (Q392441) (← links)
• Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
• Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms (Q477250) (← links)
• A normal form algorithm for regular differential chains (Q541963) (← links)
• Differential algebra for derivations with nontrivial commutation rules (Q557066) (← links)
• A geometric index reduction method for implicit systems of differential algebraic equations (Q719759) (← links)
• Singularities of algebraic differential equations (Q820936) (← links)
• New effective differential Nullstellensatz (Q908094) (← links)
• A bound for the Rosenfeld-Gröbner algorithm (Q928772) (← links)
• Probabilistic algorithms for computing resolvent representations of regular differential ideals (Q985372) (← links)
• Computing differential characteristic sets by change of ordering (Q1034554) (← links)
• On the integrability of homogeneous scalar evolution equations (Q1268395) (← links)
• Resolvent representation for regular differential ideals (Q1566397) (← links)
• Factorization-free decomposition algorithms in differential algebra (Q1569835) (← links)
• Effective bounds for the consistency of differential equations (Q1635272) (← links)
• Mode discernibility and bounded-error state estimation for nonlinear hybrid systems (Q1641053) (← links)
• Validation of simulation models without knowledge of parameters using differential algebra (Q1666600) (← links)
• Rational general solutions of systems of first-order algebraic partial differential equations (Q1678116) (← links)
• An equivalence theorem for regular differential chains (Q1733300) (← links)
• Testing equality in differential ring extensions defined by PDE's and limit conditions (Q1861172) (← links)
• Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE (Q2035626) (← links)
• Computing all identifiable functions of parameters for ODE models (Q2059473) (← links)
• A generalization of the Boulier-Buchberger criterion for the computation of characteristic sets of differential ideals (Q2122135) (← links)
• A bound for a typical differential dimension of systems of linear differential equations (Q2246869) (← links)
• A bound for orders in differential Nullstellensatz (Q2267443) (← links)
• Accelerated tower arithmetic (Q2338646) (← links)
• New order bounds in differential elimination algorithms (Q2409012) (← links)
• Membership problem for differential ideals generated by a composition of polynomials (Q2433008) (← links)
• On the generalized Ritt problem as a computational problem (Q2452562) (← links)
• Universal characteristic decomposition of radical differential ideals (Q2481473) (← links)
• On the complexity of the resolvent representation of some prime differential ideals (Q2496182) (← links)
• Characteristic sets for ordinary differential equations (Q2508525) (← links)
• An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner bases (Q2654368) (← links)
• Effective Computation of Radical of Ideals and Its Application to Invariant Theory (Q2879151) (← links)
• Thomas Decomposition of Algebraic and Differential Systems (Q3589061) (← links)
• Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits (Q3599193) (← links)
• The Differential Dimension Polynomial for Characterizable Differential Ideals (Q4556585) (← links)
• Sur le problème d’équivalence de Cartan (Q4609684) (← links)
• On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
• Thomas Decomposition and Nonlinear Control Systems (Q5118404) (← links)
• On Symbolic Approaches to Integro-Differential Equations (Q5118406) (← links)
• Elimination of unknowns for systems of algebraic differential-difference equations (Q5141753) (← links)
• A new algorithm for computing regular representations for radicals of parametric differential ideals (Q5193281) (← links)
• Algorithms yield upper bounds in differential algebra (Q5879624) (← links)
• Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
• Some effective approaches to check the identifiability of uncontrolled nonlinear systems (Q5944019) (← links)
• The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs (Q6043324) (← links)
• Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability (Q6043379) (← links)