🧭 New here?
Take a guided tour of the site.

Indexed Papers

1067 papers · 1019 GFT claims · 10881 theorems extracted · 1951–2026

6 1950s 12 1960s 36 1970s 43 1980s 56 1990s 74 2000s 399 2010s 441 2020s
0 papers · Toshiyuki Sugawa · 1970s Page 1 of 1

No papers match your filters.

Suggesting a paper: paper ingestion is reviewed offline so the public registry remains a reproducible release snapshot. Please send the paper URL through the project feedback channel rather than expecting immediate indexing.
↑↓ navigate↵ openesc closeall results
✦ 350 explorers have wandered the registry - thanks for stopping by. Tell us what you'd like to see →
Usage & privacy

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.

💬 Feedback