Опубликованный пакет / CLIR

tunnell.congruent_numbers_1983

v0.1.0

Tunnell (1983): congruent-number criterion -- unconditional necessary direction (congruent => counts equal) separated from the conditional sufficient direction (counts equal => congruent, under weak BSD)

РаботаНомерРедакцийФрагментов
Изложение результата Tunnell 1983 о конгруэнтных числахTUNNELL_EXPOSITION-111