@inproceedings{Kauers_2025,
series = {ISSAC ’25},
title = {Bounds for D-Algebraic Closure Properties},
url = {http://dx.doi.org/10.1145/3747199.3747552},
doi = {10.1145/3747199.3747552},
booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation},
publisher = {ACM},
author = {Kauers, Manuel and Pages, Raphael},
year = {2025},
month = {jul},
pages = {106–113},
collection = {ISSAC ’25},
date-added = {2026-2-6 9:29:23 +0100}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A