Search indexed papers, families, proofs, and classes by short phrases, or by theorem terms: a class, a functional such as H₃(1) or |a₃−μa₂²|, a parameter (μ = 1/2), a directed radius (sine → sigmoid), or “sharp”. Results link to atlas records; extracted paper claims are labelled as such and are not verified facts.
Try: Bessel bounds · sine proofs · Fekete proofs · Asha Sebastian · H3(1) lemniscate · sine to sigmoid
Press Down Arrow to focus results; Tab also moves through links and filters.
We use first-party site metrics to improve navigation: page visits, internal clicks, search result counts (not search terms), and approximate active time. A random tab ID groups events for seven days; GPC/DNT turns this off. The separate visitor count uses a self-hosted pseudonymous fingerprint and also respects GPC/DNT.