scientific article; zbMATH DE number 517393
From MaRDI portal
Publication:4282674
zbMath0804.13009MaRDI QIDQ4282674
Publication date: 24 February 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (only showing first 100 items - show all)
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 ⋮ Morse inequalities for ordered eigenvalues of generic self-adjoint families ⋮ Complex matrix inversion via real matrix inversions ⋮ 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 ⋮ Pegasus: a framework for sound continuous invariant generation ⋮ Cylinders Through Five Points: Complex and Real Enumerative Geometry ⋮ The second discriminant of a univariate polynomial ⋮ Decomposing the radicals of polynomial ideals by rational univariate representations ⋮ Global attractor and its 1D and 2D structures of Beverton-Holt Ricker competition model ⋮ 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. ⋮ Subresultants of several univariate polynomials in Newton basis
Uses Software
This page was built for publication:
