Towards fast one-block quantifier elimination through generalised critical values

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din

Journal title: ACM Communications in Computer Algebra

Journal number: 54/3

Journal publisher: ACM Communications in Computer Algebra

Published year: 2020

Published pages: 109-113

DOI identifier: 10.1145/3457341.3457348

ISSN: 1932-2240