Towards fast one-block quantifier elimination through generalised critical values

One-block quantifier elimination is comprised of computing a semi-algebraic description of the projection of a semi-algebraic set or of deciding the truth of a semi-algebraic formula with a single quantifier.

Saved in:
Bibliographic Details
Published in:ACM communications in computer algebra 2020-09, Vol.54 (3), p.109-113
Main Authors: Berthomieu, Jérémy, Ferguson, Andrew, Din, Mohab Safey El
Format: Article
Language:English
Subjects:
Computer Science
Mathematics
Optimization and Control
Symbolic Computation
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:One-block quantifier elimination is comprised of computing a semi-algebraic description of the projection of a semi-algebraic set or of deciding the truth of a semi-algebraic formula with a single quantifier.
ISSN:1932-2240
DOI:10.1145/3457341.3457348