Deciding polynomial-transcendental problems
type: Item
instance of: scholarly article
title: Deciding polynomial-transcendental problems
zbMATH Open document ID: 1243.03015
author: Scott McCallum
author: Volker Weispfenning
published in: Journal of Symbolic Computation
publication date: 2011-12-21T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 5991112
zbMATH Keywords: decision procedure
zbMATH Keywords: exponential polynomial
zbMATH Keywords: transcendental function
describes a project that uses: REDLOG
describes a project that uses: REDUCE
MaRDI profile type: Publication
full work available at URL: j.jsc.2011.08.009
OpenAlex ID: W2015314684
cites work: Deciding polynomial-exponential problems
cites work: Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
cites work: Q4079605
cites work: On the Lambert \(w\) function
cites work: Generalized Budan--Fourier theorem and virtual roots
cites work: Robust multi-objective feedback design by quantifier elimination
cites work: Virtual roots of real polynomials
cites work: Testing stability by quantifier elimination
cites work: Nonlinear control system design by quantifier elimination
cites work: Computing in the field of complex algebraic numbers
cites work: Cylindrical algebraic decomposition using validated numerics
cites work: Q5301637
cites work: Real root isolation for tame elementary functions
DOI: 10.1016/J.JSC.2011.08.009
Recommended article: Deciding polynomial-exponential problems
Recommended article: Q2702031
Recommended article: Q4411947
Recommended article: Q3698313
Recommended article: Undecidability of Parametric Solutions of Polynomial Equations
Recommended article: Q4863285
Recommended article: Q3380287
Recommended article: Integer transfinite diameter and computation of polynomials
Recommended article: The hardness of polynomial equation solving
Recommended article: Q3704922
description: scientific article; zbMATH DE number 5991112