All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 4 Next

Displaying 61 – 80 of 152

Showing per page

Left and right semi-uninorms on a complete lattice

Yong Su, Zhudeng Wang, Keming Tang (2013)

Kybernetika

Uninorms are important generalizations of triangular norms and conorms, with a neutral element lying anywhere in the unit interval, and left (right) semi-uninorms are non-commutative and non-associative extensions of uninorms. In this paper, we firstly introduce the concepts of left and right semi-uninorms on a complete lattice and illustrate these notions by means of some examples. Then, we lay bare the formulas for calculating the upper and lower approximation left (right) semi-uninorms of a binary...

Leibniz Series forπ

Karol Pąk (2016)

Formalized Mathematics

In this article we prove the Leibniz series for π which states that π4=∑n=0∞(−1)n2⋅n+1. π 4 = ∑ n = 0 ∞ - 1 n 2 · n + 1 . The formalization follows K. Knopp [8], [1] and [6]. Leibniz’s Series for Pi is item 26 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.

Lelek fan from a projective Fraïssé limit

Dana Bartošová, Aleksandra Kwiatkowska (2015)

Fundamenta Mathematicae

We show that a natural quotient of the projective Fraïssé limit of a family that consists of finite rooted trees is the Lelek fan. Using this construction, we study properties of the Lelek fan and of its homeomorphism group. We show that the Lelek fan is projectively universal and projectively ultrahomogeneous in the class of smooth fans. We further show that the homeomorphism group of the Lelek fan is totally disconnected, generated by every neighbourhood of the identity, has a dense conjugacy...

Les derniers travaux de Jean Martinet

Jean-Pierre Ramis (1992)

Annales de l'institut Fourier

On montre comment la théorie des classes de Gevrey et de la sommabilité sont des généralisations naturelles de la théorie de Cauchy. On utilise le vocabulaire de l’Analyse Non Standard et on introduit la notion d’ ϵ -fonction (fonction analytique définie “à ϵ près”, pour ϵ > 0 infiniment petit fixé, et ne prenant que des valeurs infiniment petite devant 1 / ϵ . On étend la théorie de Cauchy aux = F D e -fonctions  : c’est la théorie de Cauchy sauvage. On interprète le phénomène de retard à la bifurcation à l’aide...

Les I -types du système ℱ

K. Nour (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Nous démontrons dans ce papier que les types du système ℱ habités uniquement par des λ I -termes (les I -types) sont à quantificateur positif. Nous présentons ensuite des conséquenses de ce résultat et quelques exemples.

Les I-types du système ℱ

K. Nour (2010)

RAIRO - Theoretical Informatics and Applications

We prove in this paper that the types of system ℱ inhabited uniquely by λI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.

Currently displaying 61 – 80 of 152