∡
GFT Registry
Home
Browse
▾
Function families
Encyclopedia of GFT families
Class hierarchy
Super/sub-class containment graph
Machine proofs
Certified enclosures
Applications
Families × application areas
Tools
▾
Verify & counterexamples
Bring your own f(z); find witnesses
Coefficient expansions
a₂…a₅ in Schur parameters
Image Lab
Conformal image explorer
Cryptography Lab
Geometric S-box benchmark
Reference
▾
Papers
FAQ
Architecture
☽
🔍
Jump to family, class, paper…
⌘K
🧭 New here?
Take a guided tour of the site.
Start tour
Dismiss
Indexed Papers
1088 papers · 1039 GFT claims · 10796 theorems extracted · 1951–2026
2
1950s
6
1960s
9
1970s
33
1980s
25
1990s
70
2000s
468
2010s
470
2020s
6 papers · 1960s · with theorems
Page 1 of 1
Toeplitz Determinants and Szegö's Formula
R. E. Hartwig · 1969
link ↗
11 theorems
ON SOME FAMILIES OF ANALYTIC FUNCTIONS
Shinji Yamashita · 1968
link ↗
12 theorems
UNIVALENT «-SPIRAL FUNCTIONS
Richard J. Libera · 1967
link ↗
8 theorems
close-to-convex
EXTREMAL PROBLEMS FOR SCHLICHT FUNCTIONS
E. Netanyahu · 1965
link ↗
On the existence of a harmonic mapping
Kêichi Shibata · 1963
link ↗
28 theorems
EXTREMAL PROBLEMS FOR FUNCTIONS STARLIKE
W. C. Royster · 1962
link ↗
5 theorems
📄 Submit a paper for indexing
Paper URL (arXiv, Springer, MDPI, AIMS, etc.)
Submit Paper
↑↓
navigate
↵
open
esc
close
✦ You're explorer
#5,673
to wander the registry - thanks for stopping by.
Tell us what you'd like to see →
💬 Feedback
🧭 Take a tour