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

林拾

DOI: 10.5281/zenodo.23768435

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