Elimination methods
From MaRDI portal
Publication:1125620
zbMath0964.13014MaRDI QIDQ1125620
Publication date: 8 December 1999
Published in: Texts \& Monographs in Symbolic Computation (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects in algebraic geometry (14Q99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra (13-01)
Related Items (87)
Algorithm for computing differential char sets efficiently ⋮ Characteristic sets verses generalized characteristic sets ⋮ Chordality Preserving Incremental Triangular Decomposition and Its Implementation ⋮ On the connection between Ritt characteristic sets and Buchberger-Gröbner bases ⋮ Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties ⋮ Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs ⋮ Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems ⋮ Recent progress in an algebraic analysis approach to linear systems ⋮ \(1: - 3\) resonant centers on \(\mathbb{C}^2\) with homogeneous cubic nonlinearities ⋮ A new approach for constructing subresultants ⋮ Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces ⋮ Wu's characteristic set method for SystemVerilog assertions verification ⋮ Extended Jacobi elliptic function expansion method and its application to nonlinear evolution equation ⋮ Algebraic and algorithmic aspects of radical parametrizations ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Rational general solutions of higher order algebraic ODEs ⋮ Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics ⋮ Chordal Networks of Polynomial Ideals ⋮ The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs ⋮ A Direttissimo Algorithm for Equidimensional Decomposition ⋮ Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems ⋮ A signature-based algorithm for computing the nondegenerate locus of a polynomial system ⋮ The center conditions for a Liénard system ⋮ Self-evident automated geometric theorem proving based on complex number identity ⋮ Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case ⋮ Squarefree normal representation of zeros of zero-dimensional polynomial systems ⋮ Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases ⋮ Chordal graphs in triangular decomposition in top-down style ⋮ Generic regular decompositions for parametric polynomial systems ⋮ Isochronicity and normal forms of polynomial systems of ODEs ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ One class of planar rational involutions ⋮ Abundant interaction solutions of sine-Gordon equation ⋮ Sparse FGLM algorithms ⋮ An approach to solving systems of polynomials via modular arithmetics with applications ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. ⋮ Solving parametric piecewise polynomial systems ⋮ Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification ⋮ Bifurcation of point vortex equilibria: four-vortex translating configurations and five-vortex stationary configurations ⋮ Bifurcations of Critical Periods for a Class of Quintic Liénard Equation ⋮ Characteristic decomposition: from regular sets to normal sets ⋮ Ritt-Wu characteristic set method for Laurent partial differential polynomial systems ⋮ Automated theorem proving practice with null geometric algebra ⋮ Elimination theory in differential and difference algebra ⋮ Solving parametric polynomial systems ⋮ Analysis of Snapback Repellers Using Methods of Symbolic Computation ⋮ Computing strong regular characteristic pairs with Gröbner bases ⋮ Linearizability conditions of time-reversible quartic systems having homogeneous nonlinearities ⋮ Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods ⋮ An algorithm for decomposing a polynomial system into normal ascending sets ⋮ Retrieving geometric information from images: the case of hand-drawn diagrams ⋮ Algebraic analysis of stability and bifurcation of a self-assembling micelle system ⋮ On \(n\)-sectors of the angles of an arbitrary triangle ⋮ Symbolic computation of exact solutions for a nonlinear evolution equation ⋮ Jacobi elliptic function solutions for two variant Boussinesq equations ⋮ Involutive characteristic sets of algebraic partial differential equation systems ⋮ An alternative algorithm for computing the pseudo-remainder of multivariate polynomials ⋮ Integrability conditions for Lotka-Volterra planar complex quintic systems ⋮ Novel composite function solutions of the modified KdV equation ⋮ Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations ⋮ An Algorithm for Transforming Regular Chain into Normal Chain ⋮ Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems ⋮ On the algorithmic linearizability of nonlinear ordinary differential equations ⋮ A short contribution to the theory of regular chains ⋮ Finding new families of rank-one convex polynomials ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ Numerical elimination and moduli space of vacua ⋮ A novel linear algorithm for \(P5P\) problem ⋮ Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition ⋮ Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one ⋮ New interaction solutions to the KdV equation ⋮ Dynamic balancing of planar mechanisms using toric geometry ⋮ On One Method of Proving Inequalities in Automated Way ⋮ Degenerate Bogdanov-Takens bifurcation of codimension 4 in Holling-Tanner model with harvesting ⋮ Symbolic computation for the qualitative theory of differential equations ⋮ Linearizability conditions of time-reversible cubic systems ⋮ Generic regular decompositions for generic zero-dimensional systems ⋮ On the Chordality of Simple Decomposition in Top-Down Style ⋮ Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition ⋮ Automated generation of geometric theorems from images of diagrams ⋮ Discussion on: ``Comparison of different multivariable control design methods applied on half car test setup
This page was built for publication: Elimination methods
