Termination of linear programs with nonlinear constraints
type: Item
instance of: scholarly article
title: Termination of linear programs with nonlinear constraints
zbMATH Open document ID: 1208.68151
author: Bican Xia
author: Zhi-Hai Zhang
published in: Journal of Symbolic Computation
publication date: 2010-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5814773
zbMATH Keywords: termination
zbMATH Keywords: quantifier elimination
zbMATH Keywords: semi-algebraic system
zbMATH Keywords: rationally independent group
zbMATH Keywords: cyclotomic polynomial
describes a project that uses: QEPCAD
describes a project that uses: REDLOG
describes a project that uses: DISCOVERER
MaRDI profile type: Publication
full work available at URL: j.jsc.2010.06.006
OpenAlex ID: W1976104755
cites work: Linear forms in the logarithms of algebraic numbers (IV)
cites work: Deciding stability and mortality of piecewise affine dynamical systems
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Termination of Integer Linear Programs
cites work: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
cites work: Q4079605
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Q2769578
cites work: The size-change principle for program termination
cites work: Q4724859
cites work: Q4344108
cites work: Computing in the field of complex algebraic numbers
cites work: Q5807665
cites work: Computer Aided Verification
cites work: Q4488162
cites work: Symbolic decision procedure for termination of linear programs
DOI: 10.1016/J.JSC.2010.06.006
description: scientific article; zbMATH DE number 5814773