REVIEW 1 cited by
Cylindrical Algebraic Decomposition in Macaulay2
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
CylindricalAlgebraicDecomposition.m2 is the first implementation of Cylindrical Algebraic Decomposition (CAD) in Macaulay2. CAD decomposes space into 'cells' where input polynomials are sign-invariant. This package computes an Open CAD (full-dimensional cells only) for sets of real polynomials with rational coefficients, enabling users to solve existential problems involving strict inequalities. With the construction of a full CAD (cells of all dimensions), this tool could be extended to solve any real quantifier elimination problem. The current implementation employs the Lazard projection and introduces a new heuristic for choosing the variable ordering.
Forward citations
Cited by 1 Pith paper
-
Pure D-brane Black Holes: BPS Counting and non-BPS Vacua
The (1,1,1,5) and (1,1,1,6) D2-D2-D2-D6 BPS systems yield 2032 and 5616 vacua, matching U-duality, while the analogous non-BPS system has no zero-energy vacua and six doubly-degenerate low-energy minima.
Discussion (0). Continue with ORCID to comment.