Results 11 to 20 of about 1,740,938 (274)

Weighted Logics for Nested Words and Algebraic Formal Power Series [PDF]

Logical Methods in Computer Science, 2010
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show
Christian Mathissen
doaj   +3 more sources

Formal power series

, 1993
In this article we will describe the \Maple\ implementation of an algorithm presented in~\cite{Koe92}--\cite{Koeortho} which computes an {\em exact\/} formal power series (FPS) of a given function. This procedure will enable the user to reproduce most of
Gruntz, Dominik, Koepf, Wolfram
core   +5 more sources

An Invitation to Formal Power Series

Jahresbericht der Deutschen Mathematiker-Vereinigung, 2022
AbstractThis is an account on the theory of formal power series developed entirely without any analytic machinery. Combining ideas from various authors we are able to prove Newton’s binomial theorem, Jacobi’s triple product, the Rogers–Ramanujan identities and many other prominent results. We apply these methods to derive several combinatorial theorems
openaire   +4 more sources

Approximation of functions of several variables by multidimensional $S$-fractions with independent variables

Karpatsʹkì Matematičnì Publìkacìï, 2021
The paper deals with the problem of approximation of functions of several variables by branched continued fractions. We study the correspondence between formal multiple power series and the so-called "multidimensional $S$-fraction with independent ...
R.I. Dmytryshyn, S.V. Sharyn
doaj   +1 more source

Cramer's rule for implicit linear differential equations over a non-Archimedean ring

Visnik Harkivsʹkogo Nacionalʹnogo Universitetu im. V.N. Karazina. Cepiâ Matematika, Prikladna Matematika i Mehanika, 2022
We consider a linear nonhomogeneous $m$-th order differential equation in a ring of formal power series with coefficients from some field of characteristic zero.
A. Goncharuk
doaj   +1 more source

On the R-automorphisms of formal power series on several indeterminates and with coefficients over the ring R

Selecciones Matemáticas, 2022
In this paper, we show a way to characterize the R-automorphisms of formal power series on several indeterminates and with coefficients over a commutative ring with identity, R.
Soledad Ramírez C., Anderson Cárdenas F.   +1 more
doaj   +1 more source

On quotients of formal power series [PDF]

Information and Computation, 2022
48 pages, 3 figures, 30 ...
Li, Yongming, Wang, Qian, Li, Sanjiang
openaire   +3 more sources

INVESTIGATION OF STURM-LIOUVILLE PROBLEM SOLVABILITY IN THE PROCESS OF ASYMPTOTIC SERIES CREATION [PDF]

Научно-технический вестник информационных технологий, механики и оптики, 2015
Subject of Research. Creation of asymptotic expansions for solutions of partial differential equations with small parameter reduces, usually, to consequent solving of the Sturm-Liouville problems chain.
A. I. Popov
doaj   +1 more source

New combinatorial computational methods arising from pseudo-singletons [PDF]

Discrete Mathematics & Theoretical Computer Science, 2008
Since singletons are the connected sets, the species $X$ of singletons can be considered as the combinatorial logarithm of the species $E(X)$ of finite sets.
Gilbert Labelle
doaj   +1 more source

On the Cumulants of the First Passage Time of the Inhomogeneous Geometric Brownian Motion

Mathematics, 2021
We consider the problem of the first passage time T of an inhomogeneous geometric Brownian motion through a constant threshold, for which only limited results are available in the literature.
Elvira Di Nardo, Giuseppe D’Onofrio
doaj   +1 more source