Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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 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.

23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat