Quantifier elimination for real algebra -- the quadratic case and beyond
type: Item
instance of: scholarly article
title: Quantifier elimination for real algebra -- the quadratic case and beyond
zbMATH Open document ID: 0867.03003
author: Volker Weispfenning
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 1997-08-04T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 998033
zbMATH Keywords: constraint solving
zbMATH Keywords: quantifier elimination method
zbMATH Keywords: first-order theory of real numbers
zbMATH Keywords: REDUCE
zbMATH Keywords: REDLOG package
describes a project that uses: QEPCAD
describes a project that uses: REDUCE
describes a project that uses: REDLOG
MaRDI profile type: Publication
full work available at URL: s002000050055
OpenAlex ID: W2040951317
DOI: 10.1007/S002000050055
description: scientific article; zbMATH DE number 998033