bibkey: manyama2024a371364 authors: Seiichi Manyama year: 2024 title: “OEIS A371364: normalized reversion of x(1-4x)^2/(1-3x)” doi: null url: https://oeis.org/A371364 claim: “The sequence is the expansion of (1/x)Series_Reversion(x(1-4x)^2/(1-3x)), with offset zero.” strata_touched:

• D5/S1/Recurrence/Algebraic/CubicOddBisection license: citation-only triage: anchor

OEIS A371364

The entry was submitted on March 19, 2024. Writing the inverse series as tB(t) gives B(1-4tB)²=1-3tB and B(0)=1. The denominator 1-3tB has constant coefficient 1. The Lean module independently constructs B from this equation, proves uniqueness, and then compares it with the odd part of A372018. The published entry does not prove that comparison.

Verified locator

url: https://oeis.org/A371364

The internal page https://oeis.org/A371364/internal was retrieved and read on 2026-09-10. Its NAME field gives the normalized series reversion, its OFFSET is 0,2, and the first five coefficients are 1,5,49,597,8129. There is no DOI. The FORMULA field also records a binomial sum and a D-finite recurrence; neither is used as the definition in the Lean module.