Deciding polynomial-exponential problems

Melanie Achatz*, Scott McCallum, Volker Weispfenning

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

22 Citations (Scopus)

Abstract

This paper presents a decision procedure for a certain class of sentences of first order logic involving integral polynomials and the exponential function in which the variables range over the real numbers. The inputs to the decision procedure are prenex sentences in which only the outermost quantified variable can occur in the exponential function. The decision procedure has been implemented in the computer logic system REDLOG. Closely related work is reported in [2, 7, 16, 20, 24].

Original languageEnglish
Title of host publicationISSAC'08: Proceedings of the 21st International Symposium on Symbolic and Algebraic Computation 2008
EditorsDavid Jeffrey
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Pages215-222
Number of pages8
ISBN (Print)9781595939043
DOIs
Publication statusPublished - 2008
Event21st Annual Meeting of the International Symposium on Symbolic Computation, ISSAC 2008 - Linz, Hagenberg, Austria
Duration: 20 Jul 200823 Jul 2008

Other

Other21st Annual Meeting of the International Symposium on Symbolic Computation, ISSAC 2008
CountryAustria
CityLinz, Hagenberg
Period20/07/0823/07/08

Fingerprint Dive into the research topics of 'Deciding polynomial-exponential problems'. Together they form a unique fingerprint.

Cite this