One entry per mathematical family, deduplicated across naming variants and grouped by type. Parametric families collapse many historical singletons into a single entity with a parameter space.
| Koebe z/(1-z)² | z/(1-z)^2 | 1 proven | 1 · 8 |
| Koebe Kα: z/(1-z)^(2α) | z/(1-z)^(2*alpha) | 16 disproven parametric (1) | 16 · 25 |
| z(1-z/2)/(1-z)^2 | z*(1 - z/2)/(1-z)**2 | 1 disproven | 1 · 1 |
| z(1-z/3)/(1-z)^2 | z*(1 - z/3)/(1-z)**2 | 1 disproven | 1 · 1 |
| z(1+z/2)/(1-z) | z*(1 + z/2)/(1 - z) | 1 disproven | 1 · 1 |
| z(1+z)/(1-z) | z*(1 + z)/(1 - z) | 1 disproven | 1 · 1 |
| (z - z^2/2)/(1-z)^2 | (z - z**2/2)/(1-z)**2 | 1 disproven | 1 · 1 |
| z/(1-z) | z/(1-z) | 1 proven | 1 · 8 |
| z/(1-z/2) | z/(1 - z/2) | 1 proven | 1 · 8 |
| z/(1-z/2)² | z/(1 - z/2)^2 | 1 proven | 1 · 8 |
| z/(1-z/3) | z/(1 - z/3) | 1 proven | 1 · 8 |
| z/(1-z/4) | z/(1 - z/4) | 1 proven | 1 · 1 |
| z/(1-z)^4 | z/(1-z)**4 | 1 disproven | 1 · 1 |
| z/(1-z/5) | z/(1 - z/5) | 1 proven | 1 · 1 |
| z/(1-z)^3 | z/(1-z)**3 | 1 disproven | 1 · 1 |
| z/(1-z+z^2/2) | z/(1 - z + z**2/2) | 1 proven | 1 · 1 |
| z/(1-z+z^2) | z/(1-z+z**2) | 1 proven | 1 · 1 |
| z/(1-z^2) | z/(1-z**2) | 1 proven | 1 · 1 |
| z/(1+z/2) | z/(1 + z/2) | 1 proven | 1 · 1 |
| z/(1+z/3) | z/(1 + z/3) | 1 proven | 1 · 1 |
| z/(1+z) | z/(1+z) | 1 proven | 1 · 8 |
| z/(1+z²) | z/(1+z^2) | 1 proven | 1 · 8 |
| z/(1+z)^3 | z/(1+z)**3 | 1 disproven | 1 · 1 |
| z/(1+z+z^2) | z/(1+z+z**2) | 1 proven | 1 · 1 |
| z/(1+z)^2 | z/(1+z)**2 | 1 proven | 1 · 1 |
| Silverman polynomial test | - | 1 proven 1 disproven parametric (1) | 2 · 8 |
| z + 3z² (truly disproven) | z + 3*z**2 | 1 disproven | 1 · 5 |
| z + 3z³ (boundary test) | z + 3*z**3 | 1 proven | 1 · 5 |
| z − z²/4 | - | 1 proven | 1 · 4 |
| z + z²/2 | - | 1 proven | 1 · 4 |
| z + z²/4 | - | 1 proven | 1 · 4 |
| z + z²/4 + z³/9 | - | 1 proven | 1 · 4 |
| z + z² + z³ | - | 1 disproven | 1 · 4 |
| z + z³/3 | - | 1 proven | 1 · 4 |
| z - z^2/2 | z - z**2/2 | 1 proven | 1 · 1 |
| z - z^2/2 + z^3/3 | z - z**2/2 + z**3/3 | 1 disproven | 1 · 1 |
| z - z^2/4 | z - z**2/4 | 1 proven | 1 · 1 |
| z - z^3/3 | z - z**3/3 | 1 proven | 1 · 1 |
| z + z^2/5 | z + z**2/5 | 1 proven | 1 · 1 |
| z + z^5/5 | z + z**5/5 | 1 proven | 1 · 1 |
| z + z^2/2 | z + z**2/2 | 1 proven | 1 · 1 |
| z + z^2/2 + z^3/3 | z + z**2/2 + z**3/3 | 1 disproven | 1 · 1 |
| z + z^2/4 + z^3/9 | z + z**2/4 + z**3/9 | 1 proven | 1 · 1 |
| z + z^3/4 | z + z**3/4 | 1 proven | 1 · 1 |
| z + z^4/4 | z + z**4/4 | 1 proven | 1 · 1 |
| z + z^2/6 | z + z**2/6 | 1 proven | 1 · 1 |
| z + z^2/3 | z + z**2/3 | 1 proven | 1 · 1 |
| z + z^3/3 | z + z**3/3 | 1 proven | 1 · 1 |
| z + z²/4 (C01 boundary) | z + z**2/4 | 1 proven | 1 · 5 |
| (e^(2z)-1)/2 | (exp(2*z) - 1)/2 | 1 proven | 1 · 1 |
| (e^(3z)-1)/3 | (exp(3*z) - 1)/3 | 1 disproven | 1 · 1 |
| z cosh(z) | z*cosh(z) | 1 disproven | 1 · 8 |
| z·exp(2z) — convex of order 1/2 | z*exp(2*z) | 1 disproven | 1 · 5 |
| z e^(-z^2/2) | z*exp(-z**2/2) | 1 proven | 1 · 1 |
| z e^(-z^2/3) | z*exp(-z**2/3) | 1 proven | 1 · 1 |
| z e^(-z/2) | z*exp(-z/2) | 1 proven | 1 · 1 |
| z e^(-z/3) | z*exp(-z/3) | 1 proven | 1 · 1 |
| z e^(-z) | z*exp(-z) | 1 proven | 1 · 8 |
| z e^z | z*exp(z) | 1 proven | 1 · 8 |
| z e^(z²) | z*exp(z/2) | 1 proven | 1 · 8 |
| z·exp(z²/3) (queue test) | z*exp(z**2/3) | 1 proven | 1 · 1 |
| z e^(z^2/2) | z*exp(z**2/2) | 1 proven | 1 · 1 |
| z e^(z^2/4) | z*exp(z**2/4) | 1 proven | 1 · 1 |
| z e^(z^2/6) | z*exp(z**2/6) | 1 proven | 1 · 1 |
| z·exp(z³/3) | z*exp(z**3/3) | 1 proven | 1 · 5 |
| z·exp(z⁴/4) (queue test) | z*exp(z**4/4) | 1 proven | 1 · 1 |
| z·exp(z/2) — half exponential | z*exp(z/2) | 1 proven | 1 · 5 |
| z e^(z/3) | z*exp(z/3) | 1 proven | 1 · 1 |
| z e^(z/4) | z*exp(z/4) | 1 proven | 1 · 1 |
| sinh(z) (normalized) | sinh(z) | 1 proven | 1 · 8 |
| arctanh(z) | atanh(z) | 1 proven | 1 · 8 |
| sin(z) | sin(z) | 1 proven | 1 · 8 |
| tan(z) | tan(z) | 1 proven | 1 · 1 |
| 3 sin(z/3) | 3*sin(z/3) | 1 proven | 1 · 1 |
| 2 sin(z/2) | 2*sin(z/2) | 1 proven | 1 · 1 |
| 2 tan(z/2) | 2*tan(z/2) | 1 proven | 1 · 1 |
| arctan(z) (normalized) | atan(z) | 1 proven | 1 · 5 |
| z cos(z) | z*cos(z) | 1 disproven | 1 · 8 |
| z cos(z/2) | z*cos(z/2) | 1 proven | 1 · 1 |
| z cos(z/3) | z*cos(z/3) | 1 proven | 1 · 1 |
| z sec(z) | z/cos(z) | 1 proven | 1 · 1 |
| z sec(z/2) | z/cos(z/2) | 1 proven | 1 · 1 |
| Alternating signs Σ(-1)^(n-1)/n z^n | - | 1 disproven | 1 · 4 |
| C01 boundary 3-term | - | 1 proven | 1 · 4 |
| C01 exact boundary | - | 1 proven | 1 · 4 |
| C01 just over | - | 1 proven | 1 · 4 |
| de Branges boundary, a₂=2 | - | 1 disproven | 1 · 4 |
| Fast decay Σ 1/4^n z^n | - | 1 proven | 1 · 4 |
| Large a₃ test | - | 1 disproven | 1 · 4 |
| Slow decay Σ 1/n z^n | - | 1 disproven | 1 · 4 |
| tanh(z) | tanh(z) | 1 proven | 1 · 1 |
| 3 sinh(z/3) | 3*sinh(z/3) | 1 proven | 1 · 1 |
| 3 tanh(z/3) | 3*tanh(z/3) | 1 proven | 1 · 1 |
| 2 tanh(z/2) | 2*tanh(z/2) | 1 proven | 1 · 1 |
| z cosh(z/2) | z*cosh(z/2) | 1 proven | 1 · 1 |
| z cosh(z/3) | z*cosh(z/3) | 1 proven | 1 · 1 |
| z sech(z) | z/cosh(z) | 1 proven | 1 · 1 |
| Bi-univalent test: a₂=0.5, a₃=0.3 | - | 1 proven | 1 · 4 |
| Bi-univalent test: a₂=1, a₃=1 | - | 1 disproven | 1 · 4 |
| Bi-univalent √2 extremal | - | 1 disproven | 1 · 4 |
| z + 2z² | z + 2z^2 | 1 disproven | 1 · 4 |
| z + z² | z + z^2 | 1 disproven | 1 · 8 |
| z + z² + z³/2 | z + z^2 + z^3/2 | 1 disproven | 1 · 8 |
| Modified Bessel I_ν | - | 17 proven 2 disproven applied parametric (1) | 19 · 25 |
| Normalized Bessel J_ν | - | 27 proven 4 disproven applied parametric (1) | 33 · 66 |
| Identity z | z | 1 proven | 1 · 8 |
| −log(1−z) | -log(1-z) | 1 proven | 1 · 8 |
| 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 |
| ₂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 |
| log(1+z) | log(1 + z) | 1 proven | 1 · 1 |
| -2 log(1-z/2) | -2*log(1 - z/2) | 1 proven | 1 · 1 |
| Mittag-Leffler E_α | - | 26 proven 13 disproven applied parametric (1) | 38 · 78 |
| Two-parameter Mittag-Leffler E_{a,b} | - | 29 proven 7 disproven parametric (0) | 36 · 36 |
| Convex of order α — K(α) | - | 11 proven 14 disproven parametric (1) | 25 · 40 |
| Cusp-domain family demo (z + z²/4 - z³/8) | z + z**2/4 - z**3/8 | 1 proven applied | 1 · 1 |
| erf(z) normalized | - | 1 proven | 1 · 4 |
| Janowski S*[A,B] extremal | - | 8 proven 10 disproven applied parametric (2) | 20 · 38 |
| Laguerre L_n | - | 1 proven 6 disproven parametric (1) | 10 · 19 |
| Lommel s_{μ,ν}(z) normalized (ν=1/2) | - | 14 disproven applied parametric (1) | 14 · 23 |
| Mocanu α-convex | - | 14 proven 7 disproven applied parametric (1) | 21 · 30 |
| Ruscheweyh family R(λ) | - | 23 disproven applied parametric (1) | 23 · 35 |
| Strongly starlike SS*(β) | - | 10 proven 10 disproven parametric (1) | 20 · 35 |
| Struve H_ν (normalized) | - | 11 proven applied parametric (1) | 16 · 34 |
| Wright φ(α,β; z) | - | 18 proven 27 disproven applied parametric (2) | 45 · 60 |
| q-exponential e_q(z) | - | 31 proven 7 disproven parametric (1) | 38 · 71 |