Polynomial · polynomial
The image of the unit disk under \(f\): concentric circles \(|z|=r\) and radial spokes mapped through \(f(z)=z+a_2z^2+\dots\); the bold curve is the boundary \(f(e^{i\theta})\). Rendered in your browser from the certified Taylor coefficients - nothing is computed server-side.
| Property | Kind | Params | Holds | Value / r | Status | Confidence |
|---|---|---|---|---|---|---|
| B | membership | {} | - | 1.9500 | retracted | - |
| N | membership | {} | - | 5.7038 | retracted | - |
| ||T(f)|| | bound | {} | - | 1.9500 | retracted | - |
| ||S(f)|| | bound | {} | - | 5.7038 | retracted | - |
| S* | membership | {} | - | - | retracted | - |
| Verifier | Property | Direction | Outcome | Domain r | Witness | Engine |
|---|---|---|---|---|---|---|
| boundary_scan_closed_form_v31 | starlike | disproves | pass | 0.300 | 0.3*exp(i*3.043418) | boundary_v3.1 |
| pointwise_nehari_univalent_iv | nehari_univalent | disproves | pass | 0.168 | [-0.16848739495798318, 2.0633754893197e-17] | gft-0.1.0-reaudit-20260610 |
| pointwise_becker_univalent_iv | becker_univalent | disproves | pass | 0.168 | [-0.16848739495798318, 2.0633754893197e-17] | gft-0.1.0-reaudit-20260610 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.326 | [-0.32647058823529407, 3.9981116089810645e-17] | gft-0.1.0-reaudit-20260610 |
| boundary_scan_centered_v31 | starlike | disproves | pass | - | - | boundary_v3.1 |
| boundary_scan_closed_form | starlike | disproves | pass | 0.300 | 0.3*exp(i*3.043418) | boundary_v3.0 |
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.