Pages that link to "Item:Q1018922"
From MaRDI portal
The following pages link to Involution. The formal theory of differential equations and its applications in computer algebra (Q1018922):
Displayed 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)