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

林拾

DOI: 10.5281/zenodo.23830607

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