An algorithm for isolating the real solutions of semi-algebraic systems
type: Item
instance of: scholarly article
title: An algorithm for isolating the real solutions of semi-algebraic systems
zbMATH Open document ID: 1027.68150
author: Bican Xia
author: Lu Yang
published in: Journal of Symbolic Computation
publication date: 2003-03-23T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 14P10
zbMATH DE Number: 1886761
zbMATH Keywords: Maple
zbMATH Keywords: realzero
describes a project that uses: DISCOVERER
describes a project that uses: Maple
MaRDI profile type: Publication
full work available at URL: jsco.2002.0572
OpenAlex ID: W2026489546
cites work: On the theories of triangular sets
cites work: Q3714165
cites work: Q4079605
cites work: Q3316585
cites work: Which Triangles are Plane Sections of Regular Tetrahedra?
cites work: Q4238962
cites work: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
cites work: Q3698903
cites work: A cubic system with eight small-amplitude limit cycles
cites work: Q3994523
cites work: Q3135183
cites work: Permanence and global stability for competitive Lotka-Volterra diffusion systems
cites work: Q5807665
cites work: Zero decomposition algorithms for systems of polynomial equations
cites work: Decomposing polynomial systems into simple systems
cites work: Computing triangular systems and regular systems
cites work: Q3737533
cites work: Q4946077
cites work: A complete algorithm for automated discovering of a class of inequality-type theorems
DOI: 10.1006/JSCO.2002.0572
description: scientific article; zbMATH DE number 1886761