Paste a SymPy closed form like z/(1-z)^2 or a list of Taylor coefficients,
and the registry's three-tier verifier returns a verdict. Sandbox - nothing is saved.
A disproof verdict is a certified counterexample - useful mid-proof to
refute a claimed containment before you commit to it. Witnesses found this way are
collected below. Results also include the image domain
f(𝔻) and a check of your coefficients against the registry's certified
coefficient bounds for any subclass (Fekete–Szegő proven exact; Hankel/Zalcman
certified enclosures).
These are recorded witness rows from registry runs. Contract-compliant entries contain a certified interior point where Re(zf′/f) < 0; historical rows remain visible for audit and require replay before authoritative use.
These are computational non-membership facts, not refutations of any published theorem - most are special functions that are starlike only on a smaller sub-disk, or synthetic test cases. We record them as honest negative results.
No counterexamples recorded yet.
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.