Also known as Wiener-Ikehara theorem
théorème de théorie analytique des nombres
Le théorème de Wiener–Ikehara est un théorème taubérien introduit par Shikao Ikehara (1931). C'est une conséquence du théorème taubérien de Wiener, et peut être utilisé pour démontrer le théorème des nombres premiers (Chandrasekharan, 1969).
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).