Pith. sign in

REVIEW

Real solutions to systems of polynomial equations in Macaulay2

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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

arxiv 2208.05576 v1 pith:DZ5T3DOF submitted 2022-08-10 math.AG

Jordy Lopez Garcia , Kelly Maluccio , Frank Sottile , Thomas Yahl This is my paper · ORCID
classification math.AG
keywords packageequationsmacaulay2methodspolynomialrealrealrootssolutions
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

The Macaulay2 package RealRoots provides symbolic methods to study real solutions to systems of polynomial equations. It updates and expands an earlier package developed by Grayson and Sottile in 1999. We provide mathematical background and descriptions of the RealRoots package, giving examples which illustrate some of its implemented methods. We also prove a general version of Sylvester's Theorem whose statement and proof we could not find in the literature.

Discussion (0). Continue with ORCID to comment.

Pith tools