The following pages link to Elimination methods (Q1125620):
Displaying 50 items.
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- Recent progress in an algebraic analysis approach to linear systems (Q335929) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- Rational general solutions of higher order algebraic ODEs (Q394458) (← links)
- Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases (Q426175) (← links)
- Isochronicity and normal forms of polynomial systems of ODEs (Q432742) (← links)
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification (Q462854) (← links)
- Involutive characteristic sets of algebraic partial differential equation systems (Q547816) (← links)
- Extended Jacobi elliptic function expansion method and its application to nonlinear evolution equation (Q602465) (← links)
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case (Q630689) (← links)
- One class of planar rational involutions (Q640134) (← links)
- An approach to solving systems of polynomials via modular arithmetics with applications (Q645703) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
- Novel composite function solutions of the modified KdV equation (Q708176) (← links)
- Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations (Q709568) (← links)
- Finding new families of rank-one convex polynomials (Q732513) (← links)
- Numerical elimination and moduli space of vacua (Q737597) (← links)
- New interaction solutions to the KdV equation (Q763812) (← links)
- A new approach for constructing subresultants (Q864796) (← links)
- Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
- Linearizability conditions of time-reversible quartic systems having homogeneous nonlinearities (Q938715) (← links)
- Integrability conditions for Lotka-Volterra planar complex quintic systems (Q974629) (← links)
- Dynamic balancing of planar mechanisms using toric geometry (Q1030265) (← links)
- Linearizability conditions of time-reversible cubic systems (Q1043521) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces (Q1665584) (← links)
- Sparse FGLM algorithms (Q1711988) (← links)
- Characteristic decomposition: from regular sets to normal sets (Q1730299) (← links)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- Automated theorem proving practice with null geometric algebra (Q1730305) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Abundant interaction solutions of sine-Gordon equation (Q1952955) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- A short contribution to the theory of regular chains (Q2035618) (← links)
- Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition (Q2061992) (← links)
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one (Q2066949) (← links)
- Degenerate Bogdanov-Takens bifurcation of codimension 4 in Holling-Tanner model with harvesting (Q2074453) (← links)
- Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- Chordal graphs in triangular decomposition in top-down style (Q2200301) (← links)
- Computing strong regular characteristic pairs with Gröbner bases (Q2229717) (← links)
- Algebraic analysis of stability and bifurcation of a self-assembling micelle system (Q2249013) (← links)
- On the algorithmic linearizability of nonlinear ordinary differential equations (Q2284947) (← links)
- Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
