@article{dmtcs:3377,
    title      = {Human and constructive proof of combinatorial identities: an example from Romik},
    author     = {D. Merlini and R. Sprugnoli and M. C. Verri},
    url        = {https://dmtcs.episciences.org/3377},
    doi        = {10.46298/dmtcs.3377},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {DMTCS Proceedings vol. AD, International Conference on Analysis of Algorithms},
    issuetitle = {Proceedings},
    eid        = 26,
    year       = {2005},
    month      = {Jan},
    keywords   = {Combinatorial identities, method of coefficients, Lagrange inversion, Riordan Arrays, WZ-method, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]},
    language   = {English},
}