A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
type: Item
instance of: scholarly article
title: A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
zbMATH Open document ID: 1035.65054
DOI: 10.1016/S0898-1221(02)00178-5
author: Bican Xia
author: Xiaorong Hou
publication date: 2003-12-14T00:00:00Z
Mathematics Subject Classification ID: 65H10
Mathematics Subject Classification ID: 30C15
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 12Y05
Mathematics Subject Classification ID: 13P05
Mathematics Subject Classification ID: 26C10
Mathematics Subject Classification ID: 65K05
Mathematics Subject Classification ID: 90C30
zbMATH DE Number: 2017093
zbMATH Keywords: Real root-counting
zbMATH Keywords: Polynomial system
zbMATH Keywords: Resultant
zbMATH Keywords: Computer algebra
zbMATH Keywords: Algorithm
zbMATH Keywords: inequalities
zbMATH Keywords: maple
describes a project that uses: Maple
describes a project that uses: DISCOVERER
MaRDI profile type: Publication
cites work: Q4209232
cites work: Q4238962
cites work: Q3737533
cites work: Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
cites work: Q3714165
cites work: An elimination method for polynomial systems
cites work: Decomposing polynomial systems into simple systems
cites work: On the theories of triangular sets
cites work: Recent advances on determining the number of real roots of parametric polynomials
cites work: Q3698903
cites work: Q4946077
cites work: Which Triangles are Plane Sections of Regular Tetrahedra?
full work available at URL: s0898-1221(02)00178-5
OpenAlex ID: W1972268480
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 2017093