Pith. sign in

REVIEW 1 cited by

On the Computation of Newton Polytopes of Eliminants

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

arxiv 2502.05015 v2 pith:3MD2OGHP submitted 2025-02-07 cs.SC

classification cs.SC
keywords polytopesnewtonalgorithmcomputingdemonstrateeliminantsequationsincrease
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

For systems of polynomial equations, we study the problem of computing the Newton polytope of their eliminants. As was shown by Esterov and Khovanskii, such Newton polytopes are mixed fiber polytopes of the Newton polytopes of the input equations. We use their results in combination with mixed subdivisions to design an algorithm computing these special polytopes. We demonstrate the increase in practical performance of our algorithm compared to existing methods using tropical geometry and discuss the differences that lead to this increase in performance. We also demonstrate an application of our work to differential elimination.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Support bound for differential elimination in polynomial dynamical systems

    cs.SC 2025-06 conditional novelty 6.0 of 10

    A support bound for the minimal differential equation of a polynomial observation of a polynomial dynamical system, generalized to arbitrary polynomial outputs and symbolic parameters.

Pith tools