Search

Your search keyword '"ELIMINATION (Mathematics)"' showing total 1 results
1 results on '"ELIMINATION (Mathematics)"'

1. Elementary recursive quantifier elimination based on Thom encoding and sign determination.

Author

Perrucci, Daniel and Roy, Marie-Françoise

Subjects
*ELIMINATION (Mathematics), *ALGORITHMS, *CODING theory, *ALGEBRA, *SEMIALGEBRAIC sets
Abstract

We describe a new quantifier elimination algorithm for real closed fields based on Thom encoding and sign determination. The complexity of this algorithm is elementary recursive and its proof of correctness is completely algebraic. In particular, the notion of connected components of semialgebraic sets is not used. [ABSTRACT FROM AUTHOR]

Published
2017
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results