شماره رکورد

853

پديد آور

Avigad, Jeremy

ساير پديد آوران

Kevin Donnelly, David Gray, Paul Raff

عنوان

a formally verified proof on the prime number theorem

سال نشر

2006

مشخصات ظاهري

24ص.

تاريخ ورود اطلاعات

96/6/4

زبان

انگليسي

شماره راهنما

853ج