Edinburgh Research Explorer· 2013
Bertrand postülasının bir kanıtı
A proof of Bertrand's postulate
- 97atıf
- 2013yıl
Kısa özet
Bertrand postülası, asal sayı dağılımına ilişkin Chebyshev'in araçlarından yararlanılarak Matita İnteraktif Teorem İspatlayıcısı'nda biçimsel olarak kanıtlanmıştır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
ÇıkarımlarUygulamada
Ana noktalarUygulamada
Makaleye SorUygulamada
Devamı Pofolia uygulamasında
Çıkarımlar, ana noktalar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.
Web'de giriş yaparak açAlan: Teorik Bilgisayar Bilimi
Theoretical Computer ScienceMathematics