The following pages link to Elimination methods (Q1125620):
Displaying 47 items.
- Computing strong regular characteristic pairs with Gröbner bases (Q2229717) (← links)
- Computer solution of the fundamental elimination problem (Q2247828) (← 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)
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases (Q2364885) (← links)
- A numerical elimination method for polynomial computations (Q2378510) (← links)
- \(1: - 3\) resonant centers on \(\mathbb{C}^2\) with homogeneous cubic nonlinearities (Q2389733) (← links)
- Algebraic and algorithmic aspects of radical parametrizations (Q2409678) (← links)
- The center conditions for a Liénard system (Q2426031) (← links)
- Solving parametric polynomial systems (Q2455750) (← links)
- An algorithm for decomposing a polynomial system into normal ascending sets (Q2464308) (← links)
- Symbolic computation of exact solutions for a nonlinear evolution equation (Q2482600) (← links)
- Jacobi elliptic function solutions for two variant Boussinesq equations (Q2483694) (← links)
- An alternative algorithm for computing the pseudo-remainder of multivariate polynomials (Q2489188) (← links)
- A novel linear algorithm for \(P5P\) problem (Q2518451) (← links)
- Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs (Q2643533) (← links)
- Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems (Q2643540) (← links)
- Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods (Q2656065) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics (Q2674013) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties (Q3452279) (← links)
- (Q3530400) (← links)
- An Algorithm for Transforming Regular Chain into Normal Chain (Q3597999) (← links)
- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems (Q3599200) (← links)
- Analysis of Snapback Repellers Using Methods of Symbolic Computation (Q4632158) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- On the Chordality of Simple Decomposition in Top-Down Style (Q5014670) (← links)
- Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems (Q5014672) (← links)
- Algorithm for computing differential char sets efficiently (Q5034617) (← links)
- Characteristic sets verses generalized characteristic sets (Q5035097) (← links)
- Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
- Thomas Decomposition and Nonlinear Control Systems (Q5118404) (← links)
- Bifurcation of point vortex equilibria: four-vortex translating configurations and five-vortex stationary configurations (Q5136538) (← links)
- Bifurcations of Critical Periods for a Class of Quintic Liénard Equation (Q5138328) (← links)
- Reflections on elimination theory (Q5145944) (← links)
- Chordal Networks of Polynomial Ideals (Q5347294) (← links)
- Discussion on: ``Comparison of different multivariable control design methods applied on half car test setup'' (Q5971350) (← links)
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs (Q6043324) (← links)
- A signature-based algorithm for computing the nondegenerate locus of a polynomial system (Q6108370) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
- Squarefree normal representation of zeros of zero-dimensional polynomial systems (Q6184184) (← links)
- Zero-Hopf bifurcation of limit cycles in certain differential systems (Q6592011) (← links)
- Rationality and parametrizations of algebraic curves under specializations (Q6612183) (← links)
- Comprehensive characteristic decomposition of parametric polynomial systems (Q6666527) (← links)
