An independent partial check of the three-dimensional Yukawa bcc-to-fcc threshold of Luo and Wei: the threshold reproduced three ways, seventeen Lean statements kernel-checked, and what remains open

Callens, Xavier

DOI: 10.5281/zenodo.23708332

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