Related papers: D-finite Numbers
Finite trigonometric sums appear in various branches of Physics, Mathematics and their applications. For p; q to coprime positive integers and r we consider the finite trigonometric sums involving the product of three trigonometric…
Starting from pseudometrics and preorders on sets of integers, we extend the focus to sets of finite sequences of integers, in particular sequences of consecutive integers. We outline existing concepts for deriving centred pseudometrics and…
Two-term recurrence relations are supplied for indefinite integrals of functions that involve factors of the types ${P_2}^n$, ${P_3}^n$, ${P_4}^n$, ${P_1}^m {Q_1}^n$, $E_1 {P_1}^n$, ${P_1}^m {Q_2}^n$, $E_1 {P_2}^n$, ${P_2}^m {Q_2}^n$,…
We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon…
Over 300 sequences and many unsolved problems and conjectures related to them are presented herein. These notions, definitions, unsolved problems, questions, theorems corollaries, formulae, conjectures, examples, mathematical criteria, etc.…
We study the number $O_d$ of finite $O$-sequences of a given multiplicity $d$, with particular attention to the computation of $O_d$. We show that the sequence $(O_d)_d$ is sub-Fibonacci, and that if the sequence $(O_d / O_{d-1})_d$…
If $D$ is the definite quaternion algebra over $\qu$ of discriminant $p$, we compute, for any prime $p>3$, the number of infinite dimensional cusp forms on $D^*$ which are trivial at infinity, tamely ramified at $p$, and have given…
We consider a family of integer sequences generated by nonlinear recurrences of the second order, which have the curious property that the terms of the sequence, and integer multiples of the ratios of successive terms (which are also…
Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…
We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials. The first section of the paper is…
In this paper, we introduce the degenerate central factorial polynomials and numbers of the second kind which are degenerate versions of the central factorial polynomials and numbers of the second kind. We derive some properties and…
In this paper, we define a subclass of sense-preserving harmonic functions associated with a class of analytic functions satisfying a differential inequality. We then establish a close relation between both subclasses. Further, we obtain…
A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive inductive-recursive definitions, is a generalisation of Dybjer…
The definite integrals $ \int_{-1}^1(1-x^2)^{(\nu-1)/2}[P_\nu(x)]^3\D x$, $ \int_{-1}^1(1-x^2)^{(\nu-1)/2}[P_\nu(x)]^2P_{\nu}(-x)\D x$, $\int_{-1}^1x(1-x^2)^{(\nu-1)/2}[P_{\nu+1}(x)]^3\D x $ and…
A p-local finite group consists of a finite p-group S, together with a pair of categories which encode ``conjugacy'' relations among subgroups of S, and which are modelled on the fusion in a Sylow p-subgroup of a finite group. It contains…
Finding integer solutions to norm form equations is a classical Diophantine problem. Using the units of the associated coefficient ring, we can produce sequences of solutions to these equations. It is known that these solutions can be…
In this note, we derive a finite summation formula and an infinite summation formula involving Harmonic numbers of order up to some order by means of several definite integrals
The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of…
We introduce the notion of residual finiteness for categories. In analogy with the group-theoretic setting, we prove that free categories and finitely generated subcategories of finite-dimensional vector spaces are residually finite.…
We define unbounded twisted complexes and bicomplexes generalising the notion of a (bounded) twisted complex over a DG category [BK90]. These need to be considered relative to another DG category $B$ admitting countable direct sums and…