Pages that link to "Item:Q432753"

The following pages link to Algorithmic Thomas decomposition of algebraic and differential systems (Q432753):

Displaying 12 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)
• Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
• Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)