Kernel-checked Lean 4 proofs of the class number one theorem (two routes) and of the class number two list, without Heegner's method, and a verified comparison of tenth-discriminant bounds

Murphy, Peter W.

DOI: 10.5281/zenodo.23690870

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.