Better Answers to Real Questions

Better Answers to Real Questions

We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2015-01
Hauptverfasser: Kosta, Marek, Sturm, Thomas, Dolzmann, Andreas
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science - Logic in Computer Science
Computer Science - Symbolic Computation
Post-processing
Real numbers
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Kosta, Marek
Sturm, Thomas
Dolzmann, Andreas
description We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engineering. So far, the answers produced by these implementations included infinitesimal and infinite numbers, which are hard to interpret in practice. We introduce here a post-processing procedure to convert, for fixed parameters, all answers into standard real numbers. The relevance of our procedure is demonstrated by application of our implementation to various examples from the literature, where it significantly improves the quality of the results.
doi_str_mv 10.48550/arxiv.1501.05098
format Article
fullrecord <record><control><sourceid>proquest_arxiv</sourceid><recordid>TN_cdi_arxiv_primary_1501_05098</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2072091731</sourcerecordid><originalsourceid>FETCH-LOGICAL-a521-84d3be9981712e5c7c2041ee2a33c6445c461894d7688526bcd8617c9964874a3</originalsourceid><addsrcrecordid>eNotj0tLAzEURoMgWGp_gCsDrme89-a9rMUXFETpPqSZCFPqTE2mPv69ndbVtzkczsfYFUItrVJwG_JP-1WjAqxBgbNnbEJCYGUl0QWblbIBANKGlBITxu_SMKTM5135TrnwoedvKWz56z6Voe27csnO38O2pNn_Ttnq4X61eKqWL4_Pi_myCopGeSPWyTmLBimpaCKBxJQoCBG1lCpKjdbJxmhrFel1bKxGE53T0hoZxJRdn7THfL_L7UfIv3684Y83DsTNidjl_nOs85t-n7tDkycwBA6NQPEHXqJHRQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2072091731</pqid></control><display><type>article</type><title>Better Answers to Real Questions</title><source>Freely Accessible Journals</source><source>arXiv.org</source><creator>Kosta, Marek ; Sturm, Thomas ; Dolzmann, Andreas</creator><creatorcontrib>Kosta, Marek ; Sturm, Thomas ; Dolzmann, Andreas</creatorcontrib><description>We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engineering. So far, the answers produced by these implementations included infinitesimal and infinite numbers, which are hard to interpret in practice. We introduce here a post-processing procedure to convert, for fixed parameters, all answers into standard real numbers. The relevance of our procedure is demonstrated by application of our implementation to various examples from the literature, where it significantly improves the quality of the results.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.1501.05098</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Computer Science - Logic in Computer Science ; Computer Science - Symbolic Computation ; Post-processing ; Real numbers</subject><ispartof>arXiv.org, 2015-01</ispartof><rights>2015. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,781,785,886,27927</link.rule.ids><backlink>$$Uhttps://doi.org/10.1016/j.jsc.2015.07.002$$DView published paper (Access to full text may be restricted)$$Hfree_for_read</backlink><backlink>$$Uhttps://doi.org/10.48550/arXiv.1501.05098$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Kosta, Marek</creatorcontrib><creatorcontrib>Sturm, Thomas</creatorcontrib><creatorcontrib>Dolzmann, Andreas</creatorcontrib><title>Better Answers to Real Questions</title><title>arXiv.org</title><description>We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engineering. So far, the answers produced by these implementations included infinitesimal and infinite numbers, which are hard to interpret in practice. We introduce here a post-processing procedure to convert, for fixed parameters, all answers into standard real numbers. The relevance of our procedure is demonstrated by application of our implementation to various examples from the literature, where it significantly improves the quality of the results.</description><subject>Computer Science - Logic in Computer Science</subject><subject>Computer Science - Symbolic Computation</subject><subject>Post-processing</subject><subject>Real numbers</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2015</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GOX</sourceid><recordid>eNotj0tLAzEURoMgWGp_gCsDrme89-a9rMUXFETpPqSZCFPqTE2mPv69ndbVtzkczsfYFUItrVJwG_JP-1WjAqxBgbNnbEJCYGUl0QWblbIBANKGlBITxu_SMKTM5135TrnwoedvKWz56z6Voe27csnO38O2pNn_Ttnq4X61eKqWL4_Pi_myCopGeSPWyTmLBimpaCKBxJQoCBG1lCpKjdbJxmhrFel1bKxGE53T0hoZxJRdn7THfL_L7UfIv3684Y83DsTNidjl_nOs85t-n7tDkycwBA6NQPEHXqJHRQ</recordid><startdate>20150121</startdate><enddate>20150121</enddate><creator>Kosta, Marek</creator><creator>Sturm, Thomas</creator><creator>Dolzmann, Andreas</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20150121</creationdate><title>Better Answers to Real Questions</title><author>Kosta, Marek ; Sturm, Thomas ; Dolzmann, Andreas</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a521-84d3be9981712e5c7c2041ee2a33c6445c461894d7688526bcd8617c9964874a3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Computer Science - Logic in Computer Science</topic><topic>Computer Science - Symbolic Computation</topic><topic>Post-processing</topic><topic>Real numbers</topic><toplevel>online_resources</toplevel><creatorcontrib>Kosta, Marek</creatorcontrib><creatorcontrib>Sturm, Thomas</creatorcontrib><creatorcontrib>Dolzmann, Andreas</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Access via ProQuest (Open Access)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>arXiv Computer Science</collection><collection>arXiv.org</collection><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Kosta, Marek</au><au>Sturm, Thomas</au><au>Dolzmann, Andreas</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Better Answers to Real Questions</atitle><jtitle>arXiv.org</jtitle><date>2015-01-21</date><risdate>2015</risdate><eissn>2331-8422</eissn><abstract>We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engineering. So far, the answers produced by these implementations included infinitesimal and infinite numbers, which are hard to interpret in practice. We introduce here a post-processing procedure to convert, for fixed parameters, all answers into standard real numbers. The relevance of our procedure is demonstrated by application of our implementation to various examples from the literature, where it significantly improves the quality of the results.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.1501.05098</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2015-01
issn 2331-8422
language eng
recordid cdi_arxiv_primary_1501_05098
source Freely Accessible Journals; arXiv.org
subjects Computer Science - Logic in Computer Science
Computer Science - Symbolic Computation
Post-processing
Real numbers
title Better Answers to Real Questions
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-18T06%3A07%3A14IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_arxiv&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Better%20Answers%20to%20Real%20Questions&rft.jtitle=arXiv.org&rft.au=Kosta,%20Marek&rft.date=2015-01-21&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.1501.05098&rft_dat=%3Cproquest_arxiv%3E2072091731%3C/proquest_arxiv%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2072091731&rft_id=info:pmid/&rfr_iscdi=true