Discovery Archive

Explore Ramanujan's Discoveries

Search, filter and compare identities, theorems, conjectures, formulas, and notebook contribution families.

Complete Catalogue

Browse 177 discovery and contribution-family records grouped by field, source, result type and difficulty.

Source-Aware Notes

Each entry distinguishes published papers, notebooks, later names, collaborations and records still needing exact citation review.

Study Path

Use search, category filters, related discoveries and formula permalinks to move from readable summaries into the mathematics.

2 entries shown from 177 detailed discovery and contribution-family records.

Ramanujan's Tau Function

Ramanujan-Petersson Conjecture

The modern theorem and naming developed after Ramanujan's original conjectural bounds.

Plain language: The modern theorem and naming developed after Ramanujan's original conjectural bounds.

Level
Advanced
Source
Source catalogue
Status
Needs Review

Open the entry for context, source notes, related formulas, and later mathematical developments.

Read Discovery

Ramanujan's Tau Function

Tau Multiplicativity

Tau Multiplicativity is catalogued as a conjecture in Ramanujan's Tau Function.

Plain language: A central formula or notation associated with Tau Multiplicativity.

Level
Advanced
Source
Source catalogue
Status
Needs Review

Open the entry for context, source notes, related formulas, and later mathematical developments.

Read Discovery