@unpublished{ECACMQ2024,
title = {Extensions of the Cylindrical Algebraic Covering Method for Quantifier},
author = {Jasper Kurt Ferdinand Nalbach and Gereon Kremer},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2411.03070},
url = { https://arxiv.org/abs/2411.03070},
}×

@conference{CACQ2023,
title = {Cylindrical Algebraic Coverings for Quantifiers},
author = {Gereon Kremer and Jasper Kurt Ferdinand Nalbach},
booktitle = {CEUR Workshop Proceedings},
volume = {3458},
pages = {9 Seiten},
type = {Conference Paper},
year = {2023},
url = { https://publications.rwth-aachen.de/record/956001},
}×