scientific article; zbMATH DE number 517393

Publication date: 24 February 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

elimination real algebra computational ideal theory polyomial equations

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra (13-01) Computational aspects and applications of commutative rings (13Pxx)

Related Items

Subresultants in multiple roots: an extremal case, On the connection between Ritt characteristic sets and Buchberger-Gröbner bases, A solution to Kronecker's problem, Interpolation and model checking for nonlinear arithmetic, Graph compression and the zeros of polynomials, Computing with quadratic forms over number fields, Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers, A logic and computation for Popper's conditional probabilities, Pegasus: sound continuous invariant generation, An inexact proximal DC algorithm with sieving strategy for rank constrained least squares semidefinite programming, On the probability of the number of solutions for the P4P problem, On maps which preserve semipositivity and quantifier elimination theory for real numbers, Twelve Limit Cycles in 3D Quadratic Vector Fields with Z3 Symmetry, Strongly Noetherian rings and constructive ideal theory, Algebraic phase unwrapping along the real axis: extensions and stabilizations, A new approach for constructing subresultants, Real ideal and the duality of semidefinite programming for polynomial optimization, Quantifier elimination for the reals with a predicate for the powers of two, Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces, A deductive approach towards reasoning about algebraic transition systems, Word problems in Elliott monoids, On polynomial semantics for propositional logics, Ascending chains of ideals in the polynomial ring, Computing the topology of the image of a parametric planar curve under a birational transformation, The invertibility of rational univariate representations, Subresultants of \((x-\alpha)^m\) and \((x-\beta)^n\), Jacobi polynomials and complexity, Equality-constrained minimization of polynomial functions, An improved algorithm for deciding semi-definite polynomials, Differential elimination by differential specialization of Sylvester style matrices, Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals, Algorithms for computing triangular decomposition of polynomial systems, Quantifier elimination theory and maps which preserve semipositivity, Minimal involutive bases, Elliptic curves and Fibonacci numbers arising from Lindenmayer system with symbolic computation, Algorithmic Thomas decomposition of algebraic and differential systems, Thomas Decomposition and Nonlinear Control Systems, An algorithm for determining copositive matrices, Identification of focus and center in a 3-dimensional system, Difference algebra and system identification, Classification of direct kinematics to planar generalized Stewart platforms, Is every nonsingular matrix diagonally equivalent to a matrix with all distinct eigenvalues?, Determination of the limits for multivariate rational functions, Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification, Equilibrium behavior in markets and games: Testable restrictions and identification., Testable restrictions on the equilibrium manifold under random preferences., Observable implications of equilibrium behavior on finite data., Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL, An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks, An effective decision method for semidefinite polynomials, Elimination theory in differential and difference algebra, Multibasic and mixed hypergeometric Gosper-type algorithms, Algebraic closure of a rational function, Deformation techniques for efficient polynomial equation solving., On decomposition of algebraic PDE systems into simple subsystems, Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading, Computing the asymptotes for a real plane algebraic curve, Identification of Pareto-improving policies: Information as the real invisible hand, Determining the limits of bivariate rational functions by Sturm's theorem, A chain rule for subresultants, The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}, A new algorithm for symbolic integration with application, Solving the equality-constrained minimization problem of polynomial functions, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, New algorithms for the perspective-three-point problem, RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations, On the links between triangular sets and dynamic constructible closure, Difference Algebra, Facility location problems: a parameterized view, A geometric index reduction method for implicit systems of differential algebraic equations, A proximal DC approach for quadratic assignment problem, The testable implications of competitive equilibrium in economies with externalities, Bifurcation analysis on a class of three-dimensional quadratic systems with twelve limit cycles, Inclusion dynamics hybrid automata, An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions, Cylinders Through Five Points: Complex and Real Enumerative Geometry, The second discriminant of a univariate polynomial, Semi-algebraically connected components of minimum points of a polynomial function, Montgomery's method of polynomial selection for the number field sieve, Gröbner bases, invariant theory and equivariant dynamics, A verified implementation of algebraic numbers in Isabelle/HOL, Sign determination in residue number systems, Notes on the complexity of exact view graph algorithms for piecewise smooth algebraic surfaces, Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one, Gröbner bases of characteristic ideals of LRS over UFD, Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick, Computing triangular systems and regular systems, Computations of multi-resultant with mechanization, Computer algebra and algebraic geometry -- achievements and perspectives, Generic regular decompositions for generic zero-dimensional systems, Globally Optimizing Small Codes in Real Projective Spaces, Center conditions in a switching Bautin system, BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES, Normal parametrizations of algebraic plane curves, Parameter identifiability of nonlinear systems: The role of initial conditions.

Uses Software

AXIOM