Related papers: Generalized Taylor formulae, computations in real …
In this paper, we present and prove a new truncated $\mathcal{V}$-fractional Taylor's formula using the truncated $\mathcal{V}$-fractional variation of constants formula. In this sense, we present the truncated $\mathcal{V}$-fractional…
We present an algorithm for computing the integral closure of a reduced ring that is finitely generated over a finite field.
We generalize Killing equations to a test particle system which is subjected to external force. We relax the conservation condition by virtue of reparametrization invariance of a particle orbit. As a result, we obtain generalized Killing…
We introduce a generalized $k$-FL sequence and special kind of pairs of real numbers that are related to it, and give an application on the integral solutions of a certain equation using those pairs. Also, we associate skew circulant and…
We study unitary multigraded non-associative algebras R generated by an ordered set X over a field K of characteristic 0 such that the mappings d_k: x_l->delta_{kl}, x_k,x_l in X, can be extended to derivations of R. The class of these…
New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following…
The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved. Here, we develop a notion of goal types to capture key properties of…
Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into…
We apply the construction of the universal lower-bounded generalized twisted modules by the author to construct universal lower-bounded and grading-restricted generalized twisted modules for affine vertex (operator) algebras. We prove that…
Using geometric quantization procedure, the quantization of algebra of observables for physical system with Ricci-flat phase space is obtained. In the classical case the appointed physical system is reduced to harmonic oscillator when the…
We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category…
We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied…
Let k be an algebraically closed field of odd characteristic. We describe derivations of a large class of quantizations of affine normal Poisson varieties over k.
The recently introduced framework of Graded Quantitative Rewriting is an innovative extension of traditional rewriting systems, in which rules are annotated with degrees drawn from a quantale. This framework provides a robust foundation for…
We present methods and explicit formulas for describing simple weight modules over twisted generalized Weyl algebras. When a certain commutative subalgebra is finitely generated over an algebraically closed field we obtain a classification…
Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula,…
We determine the class of finite T_0-spaces allowing for a universal coefficient theorem computing equivariant KK-theory by filtrated K-theory.
The classical Ruckert-Lefschetz scheme of analysis of implicit functions (defined by finite systems of n analytical equations with n unknowns) is studied from the point of view of calculations with finite number coefficients in Taylor…
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…
The paper deals with affine 2-dimensional Toda field theories related to simple Lie algebras of the classical series ${\bf D}_r$. We demonstrate that the complexification procedure followed by a restriction to a specified real Hamiltonian…