Author

Xu Yang

0 works0 citations

Recent research

AI & ComputingOpen access
A Proof of the Conjectured Formula for OEIS A091468
This note proves the formula a(n) = 3*A003239(n) - 2 conjectured in OEIS A091468. The proof extracts the main diagonal of the bivariate generating function for OEIS A091467 and evaluates it through the Euler differential operator and a constant-term identity.
Zenodo (CERN European Organization for Nuclear Research)2026-08-240 citationsDOI
AI & ComputingOpen access
A Proof of the Conjectured Formula for OEIS A091468
This note proves the formula a(n) = 3*A003239(n) - 2 conjectured in OEIS A091468. The proof extracts the main diagonal of the bivariate generating function for OEIS A091467 and evaluates it through the Euler differential operator and a constant-term identity.
Zenodo (CERN European Organization for Nuclear Research)2026-08-240 citationsDOI