Quantifier elimination for a class of exponential polynomial formulas
type: Item
instance of: scholarly article
title: Quantifier elimination for a class of exponential polynomial formulas
zbMATH Open document ID: 1382.03056
author: Ming Xu
author: Zhibin Li
author: Lu Yang
published in: Journal of Symbolic Computation
publication date: 2014-12-09T00:00:00Z
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 14Q15
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 6378428
zbMATH Keywords: exponential polynomials
zbMATH Keywords: cylindrical algebraic decomposition
zbMATH Keywords: quantifier elimination
zbMATH Keywords: decision procedures
zbMATH Keywords: interval arithmetic
describes a project that uses: QEPCAD
describes a project that uses: REDLOG
MaRDI profile type: Publication
full work available at URL: j.jsc.2014.09.015
OpenAlex ID: W2054225417
cites work: Deciding polynomial-exponential problems
cites work: Cylindrical Algebraic Decomposition I: The Basic Algorithm
cites work: Q4050665
cites work: Algorithms in real algebraic geometry
cites work: Improved projection for cylindrical algebraic decomposition
cites work: QEPCAD B
cites work: On Euclid's Algorithm and the Theory of Subresultants
cites work: Decision procedures for real and p‐adic fields
cites work: Polynomial Remainder Sequences and Determinants
cites work: Q4079605
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Q3902405
cites work: Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
cites work: Fourier-Motzkin elimination and its dual
cites work: Variant real quantifier elimination: algorithm and application
cites work: Variant quantifier elimination
cites work: Q4349924
cites work: Q4232499
cites work: An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
cites work: Deciding polynomial-transcendental problems
cites work: Q5736199
cites work: Q4237405
cites work: How to recognize zero?
cites work: A new decision method for elementary algebra
cites work: Q5301637
cites work: Real root isolation for tame elementary functions
cites work: Cylindrical decomposition for systems transcendental in the first variable
cites work: Q5807665
cites work: The complexity of linear problems in fields
cites work: Quantifier elimination for real algebra -- the quadratic case and beyond
cites work: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
cites work: Reachability analysis of rational eigenvalue linear systems
cites work: Q3075207
cites work: Recent advances on determining the number of real roots of parametric polynomials
cites work: A complete discrimination system for polynomials
DOI: 10.1016/J.JSC.2014.09.015
description: scientific article; zbMATH DE number 6378428