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
Cylindrical Algebraic Decomposition in Macaulay2
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)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.