低垂的果实(第一辑)——四条 OEIS 猜想:命题来源、逻辑证明与 Lean 4 源码(Low-Hanging Fruit, Vol. I — Four OEIS Conjectures: Sources, Proofs, and Lean 4 Sources)

林拾

DOI: 10.5281/zenodo.23768236

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