The containment poset of the function classes: an arrow A → B means A ⊂ B (every A is a B). Broader classes sit at the top. Click any class to highlight its super-classes (above, in blue) and sub-classes (below, in green).
What the registry has established for each class × coefficient functional. proven exact = sharp theorem (bracket closed to a point); bracket = certified enclosure, candidate not yet proven sharp; open = numerically conjectured, not yet certified (open problems →); - = none. A ✦ marks a result already in the literature.
36 proven-exact · 11 brackets · 97 open · across 39 classes.
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.