Pith. sign in

REVIEW 1 cited by

Effective Whitney Stratification of Real Algebraic Varieties

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 2307.05427 v4 pith:L5U4P7KK submitted 2023-07-11 math.AG

Martin Helmer , Anton Leykin , Vidit Nanda This is my paper · ORCID
classification math.AG
keywords realalgebraicstratificationalgorithmsvarietieswhitneycomplexificationcompute
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We describe new algorithms to compute Whitney stratifications of real algebraic varieties. Using either conormal or polar techniques, these algorithms stratify a complexification of a given real variety. We then show that the resulting stratification can be described by real polynomials. We also extend these methods to stratification problems involving the so-called full semialgebraic sets as well as real algebraic maps.

Discussion (0). Continue with ORCID 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. Geometric Singularities of Feynman Integrals

    hep-th 2025-06 conditional novelty 6.0 of 10

    A constructible function built from the vanishing hypersurface of a Feynman integrand is claimed to encode all Landau singularities, their microlocal directions, and the number of master integrals on each singular stratum.

Pith tools