Sequences in overpartitions. (2023)
Attributed to:
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s11139-022-00685-y
PubMed Identifier: 37205008
Publication URI: http://europepmc.org/abstract/MED/37205008
Type: Journal Article/Review
Volume: 61
Parent Publication: The Ramanujan journal
Issue: 2
ISSN: 1382-4090