A real polynomial decision algorithm using arbitrary-precision floating point arithmetic
type: Item
instance of: scholarly article
title: A real polynomial decision algorithm using arbitrary-precision floating point arithmetic
zbMATH Open document ID: 0947.65059
DOI: 10.1023/A:1009924521389
published in: Reliable Computing
publication date: 2000-11-13T00:00:00Z
Mathematics Subject Classification ID: 65H10
Mathematics Subject Classification ID: 65K05
Mathematics Subject Classification ID: 90C30
Mathematics Subject Classification ID: 12Y05
Mathematics Subject Classification ID: 26C10
Mathematics Subject Classification ID: 30C15
zbMATH DE Number: 1421494
zbMATH Keywords: real polynomial decision algorithm
zbMATH Keywords: cylindrical algebraic decomposition algorithm
zbMATH Keywords: system of real polynomial equations and inequalities
zbMATH Keywords: Mathematica
describes a project that uses: Mathematica
author: Adam Strzeboński
MaRDI profile type: Publication
full work available at URL: a:1009924521389
OpenAlex ID: W4230173220
description: scientific article; zbMATH DE number 1421494