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
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
