Independent reproduction of a Lean factoring certificate: Rudich and Rousseau, "Deterministic Factoring in Time N^{o(1)}", what the machines checked and what they did not

Feshter, Yanush

DOI: 10.5281/zenodo.23819194

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