Non-external Proofs of Lagrange Inversion Formula
Dominik Beck, Piotr Ma\'ckowiak
TL;DR
This paper provides two straightforward, self-contained proofs of the Lagrange Inversion Formula for formal power series, avoiding external concepts like Laurent series.
Contribution
It introduces two simple, internal proofs of the Lagrange Inversion Formula that rely solely on formal power series analysis.
Findings
Two simple proofs of the Lagrange Inversion Formula
Proofs do not use concepts beyond formal power series
Enhances understanding of formal power series techniques
Abstract
The goal of the paper is to present two simple proofs of the Lagrange Inversion Formula for formal power series. Both proofs are non-external in the sense that they use concepts that do not go beyond the scope of formal power series analysis, e.g. we do not refer to the notion of formal Laurent series while proving the formula.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.