Related papers: Lagrange Inversion Formula by Induction

In a previous paper, we showed that $3\bar{5}241$-avoiding permutations are counted by the unique sequence that starts with a 1 and shifts left under the self-composition transform. The proof uses a complicated bijection. Here we give a…

Some extensions of an inequality from IMO'2001 are proven by means of the Lagrange multiplier criterion.

We announce here that Fermat's Last theorem was solved, but there is an easy proof of it on the basis of elemetary undergraduate mathematics. We shall disclose such an easy proof.

A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable states of a system and imply a desired safety property.…

A derivation of the Bohm model, and some general comments about it, are given. A modification of the model which is formally local and Lorentz-invariant is introduced, and its properties studied for a simple experiment.

We consider the problem of finding a function defined on $(0,\infty)$ from a countable set of values of its Laplace transform. The problem is severely ill-posed. We shall use the expansion of the function in a series of Laguerre polynomials…

For formal multivariate power series $\varphi(x)$ an inversion formula of the form $$ \varphi^{-1}(x)=x +\sum_{m=1}^{\infty}\sum_{k=0}^m (-1)^k(m k)\varphi^{\circ k}(x) is offered$$.

We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and…

In this paper, we give a simple proof of the functional relation for the Lerch type Tornheim double zeta function. By using it, we obtain simple proofs of some explicit evaluation formulas for double $L$-values.

The purpose of this short article is to prove a product formula relating the log Gromov-Witten invariants of $V \times W$ with those of $V$ and $W$ in the case the log structure on $V$ is trivial.

Using the asymmetric fractional calculus of variations, we derive a fractional Lagrangian variational formulation of the convection-diffusion equation in the special case of constant coefficients.

We present a new variant of the Faa di Bruno formula with a simpler summation order.

We deal with Lagrangian systems that are invariant under the action of a symmetry group. The mechanical connection is a principal connection that is associated to Lagrangians which have a kinetic energy function that is defined by a…

Let $f$ be a function on the real line. The Fourier transform inversion theorem is proved under the assumption that $f$ is absolutely continuous such that $f$ and $f'$ are Lebesgue integrable. A function $g$ is defined by…

We study the Born-Infeld equation from a Lagrangian point of view emphasizing the duality symmetry present in such systems. We obtain the Hamiltonian formulation directly from the Lagrangian. We also show that this system admits a…

We give a proof of a Martingale Representation Theorem using the methods of nonstandard analysis.

We obtain another proof of Hermite's integral for the Hurwitz zeta function.

In this note, we use the method of [3] to give a simple proof of famous Witten conjecture. Combining the coefficients derived in our note and this method, we can derive more recursion formulas of Hodge integrals.

We develop further the theory of integrable functions within the theory of relative simplicial motivic measures. We provide a primitive change of variables formula for this theory.

We prove the Aharoni Berger Conjecture