Related papers: An explicit formula for a strong connection
We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ``principal'' type for a given…
Principal comodule algebras can be thought of as objects representing principal bundles in non-commutative geometry. A crucial component of a principal comodule algebra is a strong connection map. For some applications it suffices to prove…
We give an explicit formula for the HOMFLY polynomial of a rational link (in particular, a knot) in terms of a special continued fraction for the rational number that defines the given link.
In this paper we introduce the notion of exact links, which constitute a broad class of high dimensional links.
In this paper, we give the existence and uniqueness of the strong solution of one dimensional linear parabolic equation with mixed boundary conditions. The boundary conditions can be any kind of mixed Dirichlet, Neumann and Robin boundary…
The Chern-Galois theory is developed for corings or coalgebras over non-commutative rings. As the first step the notion of an entwined extension as an extension of algebras within a bijective entwining structure over a non-commutative ring…
We explicitly describe an expansion of $e^{A+B}$ as an infinite sum of the products of $B$ multiplied by the exponential function of $A$. This is the explicit description of the Zassenhaus formula. We also express the…
We find an explicit formula for the gamma vector in terms of the input polynomial in a way that extends it to arbitrary polynomials. More specifically, we find explicit linear combination in terms of coefficients of the input polynomial…
A method is proposed for defining an arbitrary number of differential calculi over a given noncommutative associative algebra. As an example the generalized quantum plane is studied. It is found that there is a strong correlation, but not a…
In this paper, we propose a new method of strong-coupling expansion
We give an explicit formula for the Hankel transform of a regular sequence in terms of the coefficients of the associated orthogonal polynomials and the sequence itself. We apply this formula to some sequences of combinatorial interest,…
We prove a closed formula for the derivative, of any order, of a implicit function, in terms of some binomial building blocks, and explain the combinatorics behind the coefficients appearing in the formula.
This paper gives new explicit formulas for sums of powers of integers and their reciprocals.
A family of formal power series, such that its coefficients satisfy a recursion formula, is characterized in terms of the summability, in the sense of J. P. Ramis, of its elements along certain well chosen directions. We describe a set of…
Prompted by an example related to the tensor algebra, we introduce and investigate a stronger version of the notion of separable functor that we call heavily separable. We test this notion on several functors traditionally connected to the…
We provide direct elementary proofs of several explicit expressions for Bernoulli numbers and Bernoulli polynomials. As a byproduct of our method of proof, we provide natural definitions for generalized Bernoulli numbers and polynomials of…
We describe a simple method that produces automatically closed forms for the coefficients of continued fractions expansions of a large number of special functions. The function is specified by a non-linear differential equation and initial…
A system of 'telegrapher's' equations for a number of long lines joined into a network is studied. Explicit formulas for Fourier transforms of current and voltage are derived. These formulas are very suitable for computer application as…
This note generalizes factorization for formulas with multiplicities and conjectures that the connection method along with this feature is computationally as powerful as resolution, also seen from a complexity point of view.
We establish new pair correlation results for certain generic homogenous diagonal forms evaluated on the integers. Methods are analytic leading to explicit quantitative statements.