🧭 New here?
Take a guided tour of the site.
Coefficient bounds
Certified |a₃−μa₂²|, Hankel, Zalcman brackets
Verify your own f
Paste f(z); get a certified membership verdict
Coefficient expansions
a₂…a₅ as polynomials in Schur parameters
Counterexamples
Certified witnesses refuting containments
151families 11groups 18parametric 92closed form 321proven starlike 14applied areas
All (151) Applied (14) Pure (137) Applications cross-tab →
Filter:
Compare image domains f(𝔻)
Bessel 2
Modified Bessel I_ν - 17 proven 2 disproven applied parametric (1) 19 · 25
Normalized Bessel J_ν - 27 proven 4 disproven applied parametric (1) 33 · 66
Fractional 2
Miller-Ross family demo (z·E_{1,2}(z)) z*(exp(z)-1)/z + z*0 1 proven applied 1 · 1
Rabotnov-family demo (z + z²/2 + z³/6) z + z**2/2 + z**3/6 1 proven applied 1 · 1
Hypergeometric 2
₂F₁(a, b; c; z) — Gauss hypergeometric - 9 proven 4 disproven applied parametric (3) 13 · 22
₁F₁(a; c; z) — Kummer confluent hypergeometric - 19 proven 2 disproven applied parametric (2) 21 · 36
Cusp Domain 1
Cusp-domain family demo (z + z²/4 - z³/8) z + z**2/4 - z**3/8 1 proven applied 1 · 1
Janowski 1
Janowski S*[A,B] extremal - 8 proven 10 disproven applied parametric (2) 20 · 38
Lommel 1
Lommel s_{μ,ν}(z) normalized (ν=1/2) - 14 disproven applied parametric (1) 14 · 23
Mittag-Leffler 1
Mittag-Leffler E_α - 26 proven 13 disproven applied parametric (1) 38 · 78
Mocanu 1
Mocanu α-convex - 14 proven 7 disproven applied parametric (1) 21 · 30
Ruscheweyh 1
Ruscheweyh family R(λ) - 23 disproven applied parametric (1) 23 · 35
Struve 1
Struve H_ν (normalized) - 11 proven applied parametric (1) 16 · 34
Wright 1
Wright φ(α,β; z) - 18 proven 27 disproven applied parametric (2) 45 · 60
↑↓ navigate openesc close
✦ You're explorer #4,243 to wander the registry - thanks for stopping by. Tell us what you'd like to see →
💬 Feedback