- Periods, Power Series, and Integrated Algebraic Numbers Tobias Kaiser Mon 29 April 2024
- Beyond the Existential Theory of the Reals Marcus Schaefer Daniel Stefankovic Sat 29 October 2022
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
