Results 111 to 120 of about 228,694 (166)
Identity Document Presentation Attack Detection in Visible Light with Illumination-Controlled Scanner. [PDF]
J ImagingTolstenko L +4 more
europepmc +1 more source
PCB Coil Pairs for Small Magnetic Volumes. [PDF]
Nanomaterials (Basel)Selden HR, Lai RY, Riskowski RA.
europepmc +1 more source
Thermomechanically Coupled Modeling and Process-Parameter Analysis of Laser-Field-Assisted Hybrid Milling of GH4096 Superalloy. [PDF]
Micromachines (Basel)Yan H +10 more
europepmc +1 more source
On Transformations of Formal Power Series
Information and Computation, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manfred Droste, Guo-Qiang Zhang
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Annals of Mathematics and Artificial Intelligence, 1996
Power series are familiar to people working in theoretical computer science, since they are accustomed to considering such series with arbitrary exponents and coefficients, and they know what the series notation means: the distributivity of the multiplication over the infinite sum. Here, we will be interested in the ring structure the set of all series
Lee A. Rubel, James E. Colliander
openaire +3 more sources
Power series are familiar to people working in theoretical computer science, since they are accustomed to considering such series with arbitrary exponents and coefficients, and they know what the series notation means: the distributivity of the multiplication over the infinite sum. Here, we will be interested in the ring structure the set of all series
Lee A. Rubel, James E. Colliander
openaire +3 more sources
Semirings of Formal Power Series
Southeast Asian Bulletin of Mathematics, 2000Let \((S,+,\cdot)\) be an additively commutative semiring with absorbing zero 0 and identity \(1\not=0\). An element \(a\in S\) is called semi-invertible if there are \(s,t\in S\) such that \(1+ra=sa\) and \(1+ar=as\). The set \(U\) of all semi-invertible elements of \(S\) is a subsemigroup of \((S,\cdot)\), \(M=S\setminus U\) is the union of all ...
Adhikari, M. R., Sen, M. K.
openaire +2 more sources
2016
We begin here the subject of formal power series, objects of the form \(\displaystyle \sum _{n=0}^{\infty }a_nX^n\) (\(a_n\in \mathbb R\) or \(\mathbb C)\) which can be thought as a generalization of polynomials. We focus here on their algebraic properties and basic applications to combinatorics.
Mariconda C., Tonolo A.
openaire +2 more sources
We begin here the subject of formal power series, objects of the form \(\displaystyle \sum _{n=0}^{\infty }a_nX^n\) (\(a_n\in \mathbb R\) or \(\mathbb C)\) which can be thought as a generalization of polynomials. We focus here on their algebraic properties and basic applications to combinatorics.
Mariconda C., Tonolo A.
openaire +2 more sources
Journal of Automated Reasoning, 2010
This paper presents a formalization of the topological ring of formal power series in \texttt{Isabelle/HOL}. The following constructions are formalized: division, the formal derivative, various basic manipulations on formal power series (shifting, differentiating, general convolutions and powers), as well as radicals, composition and reverses.
openaire +1 more source
This paper presents a formalization of the topological ring of formal power series in \texttt{Isabelle/HOL}. The following constructions are formalized: division, the formal derivative, various basic manipulations on formal power series (shifting, differentiating, general convolutions and powers), as well as radicals, composition and reverses.
openaire +1 more source