Pages that link to "Item:Q432753"
From MaRDI portal
The following pages link to Algorithmic Thomas decomposition of algebraic and differential systems (Q432753):
Displaying 33 items.
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals (Q479803) (← links)
- A test for monomial containment (Q512370) (← links)
- On the numerical analysis and visualisation of implicit ordinary differential equations (Q782675) (← links)
- Singularities of algebraic differential equations (Q820936) (← links)
- Lagrangian constraints and differential Thomas decomposition (Q895971) (← links)
- Rational general solutions of systems of first-order algebraic partial differential equations (Q1678116) (← links)
- Characteristic decomposition: from regular sets to normal sets (Q1730299) (← links)
- An equivalence theorem for regular differential chains (Q1733300) (← links)
- Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations (Q1740113) (← links)
- The differential counting polynomial (Q1750382) (← links)
- A logic based approach to finding real singularities of implicit ordinary differential equations (Q2035628) (← links)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- On boundary conditions parametrized by analytic functions (Q2109986) (← links)
- Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables (Q2156354) (← links)
- Chordal graphs in triangular decomposition in top-down style (Q2200301) (← links)
- Computing strong regular characteristic pairs with Gröbner bases (Q2229717) (← links)
- On the algorithmic linearizability of nonlinear ordinary differential equations (Q2284947) (← links)
- On the consistency analysis of finite difference approximations (Q2307971) (← links)
- An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form (Q2674009) (← links)
- On the General Analytical Solution of the Kinematic Cosserat Equations (Q2830016) (← links)
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work (Q3294886) (← links)
- The Differential Dimension Polynomial for Characterizable Differential Ideals (Q4556585) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- On the Chordality of Simple Decomposition in Top-Down Style (Q5014670) (← links)
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties (Q5018379) (← links)
- Thomas Decomposition and Nonlinear Control Systems (Q5118404) (← links)
- Some Control Observation Problems and Their Differential Algebraic Partial Solutions (Q5118405) (← links)
- On Symbolic Approaches to Integro-Differential Equations (Q5118406) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs (Q6043324) (← links)
- On rational recursion for holonomic sequences (Q6660338) (← links)
- Identifying Markov chain models from time-to-event data: an algebraic approach (Q6661650) (← links)
- Comprehensive characteristic decomposition of parametric polynomial systems (Q6666527) (← links)
