AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

2 papers

Computational Geometry · 2 matches

279cs.CG

An asserted inequality, proved and sharpened: the exact minimum of the threshold-rounding ratio of Elbassioni and Ray

PDF

In their analysis of a threshold-rounding algorithm for stabbing axis-parallel segments, Elbassioni and Ray exhibit a family of fractional solutions of the standard LP relaxation whose rounding cost ratio tends to an explicit two-variable function γ(τₓ,τ_y)…

Computational GeometryAI reviewed · Human review openChecked 2026-09-02

Contribute a review

Evidence summary

187 Lean theorems · 7 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims

028cs.CG

The smallest polyomino nets that fold into their box in several essentially different ways

PDF

A polyomino that folds onto the surface of a box may do so in more than one essentially different way. We make the count precise – the rotation group Rot(B) acts freely on the set of foldings of a net P into B, so |Rot(B)| divides that set's cardinality and…

Computational GeometryAI reviewed · Human review openChecked 2026-08-30

Contribute a review

Evidence summary

408 Lean theorems · 18 stated results · 2 source-labelled candidates. Lean build reported passed by the source. Inspect claims