Pages that link to "Item:Q1018922"

The following pages link to Involution. The formal theory of differential equations and its applications in computer algebra (Q1018922):

Displaying 50 items.

• Higher-spin modes in a domain-wall universe (Q271273) (← links)
• Consistent interactions and involution (Q302500) (← links)
• Multigraded modules of nested type (Q311789) (← links)
• Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
• The anti-plane shear problem in nonlinear elasticity revisited (Q377711) (← links)
• BRST analysis of general mechanical systems (Q391027) (← links)
• Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
• On the free resolution induced by a Pommaret basis (Q480668) (← links)
• Term-ordering free involutive bases (Q480676) (← links)
• Gauge symmetries in 2D field theory (Q490976) (← links)
• A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals (Q492020) (← links)
• The profinite dimensional manifold structure of formal solution spaces of formally integrable PDEs (Q505962) (← links)
• The Calabi complex and Killing sheaf cohomology (Q508067) (← links)
• Bäcklund transformations (Q518513) (← links)
• Algebraic and geometric structures of analytic partial differential equations (Q520979) (← links)
• Lie completion of pseudo-groups (Q537726) (← links)
• Geometry of jet spaces and integrable systems (Q633993) (← links)
• Recursive moving frames for Lie pseudo-groups (Q722467) (← links)
• Global Lie-Tresse theorem (Q739821) (← 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)
• Differential invariants and symmetry: Riemannian metrics and beyond (Q901826) (← links)
• On the determination of semi-inverse solutions of nonlinear Cauchy elasticity: the \textit{not so simple} case of anti-plane shear (Q1627133) (← links)
• Deterministic genericity for polynomial ideals (Q1680155) (← 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)
• BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases (Q1758701) (← links)
• Existence of \(\partial\)-parameterized Picard-Vessiot extensions over fields with algebraically closed constants (Q1931688) (← links)
• A general framework for Noetherian well ordered polynomial reductions (Q2000264) (← links)
• Systems of generators for ideals of algebra of convergent differential series (Q2017772) (← links)
• Invariants of surfaces in three-dimensional affine geometry (Q2023412) (← links)
• On the explicit solutions of separation of variables type for the incompressible 2D Euler equations (Q2026695) (← links)
• Compatibility complex for black hole spacetimes (Q2031125) (← links)
• Degree upper bounds for involutive bases (Q2035622) (← links)
• Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE (Q2035626) (← links)
• A logic based approach to finding real singularities of implicit ordinary differential equations (Q2035628) (← links)
• An involutive GVW algorithm and the computation of Pommaret bases (Q2051592) (← links)
• Relative Gröbner and involutive bases for ideals in quotient rings (Q2051594) (← links)
• Explicit triangular decoupling of the separated Lichnerowicz tensor wave equation on Schwarzschild into scalar Regge-Wheeler equations (Q2078968) (← links)
• On \(2+1\)-dimensional fibre-reinforced fluid motions: a magnetohydrodynamics nexus (Q2083828) (← links)
• Complementary decompositions of monomial ideals and involutive bases (Q2100115) (← links)
• Explicit solutions to the 3D incompressible Euler equations in Lagrangian formulation (Q2171712) (← links)
• Reducing triangular systems of ODEs with rational coefficients, with applications to coupled Regge-Wheeler equations (Q2176118) (← links)
• Computing the resolution regularity of bi-homogeneous ideals (Q2211194) (← links)
• Discretization of quasilinear evolution equations by computer algebra methods (Q2216799) (← links)
• The involutive system of higher-spin equations (Q2231859) (← links)
• On the algorithmic linearizability of nonlinear ordinary differential equations (Q2284947) (← links)
• On the consistency analysis of finite difference approximations (Q2307971) (← links)
• Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow (Q2311055) (← links)