International audienceMany theorems in analysis are based on the notion of limit. Accordingly, a formalization of convergence in a proof assistant such as Coq must be particularly neat to build a user-friendly library of analysis. This paper presents a new formalization of convergence which can be applied as easily for sequences, real functions, complex functions, vector functions, and so on
We introduce two generalizations to convergence approach spaces of classical results characterizing ...
This paper presents convergence acceleration, a method for computing efficiently the limit of numeri...
AbstractWe investigate and unify notions of convergence in preorders and metric spaces. The basic st...
International audienceMany theorems in analysis are based on the notion of limit. Accordingly, a for...
This paper is on general methods of convergence and summability. We first present the general method...
The textbook is an alternative to a classical introductory book in point-set topology. The approach,...
We give a number of formal proofs of theorems from the field of computable analysis. Many of our res...
In this article, we introduce new notions of convergence of directed families of points and converge...
We introduce various notions of convergence of Riemannian manifolds and metric spaces. We then surv...
AbstractAn “axiomatic” construction, obtained by means of Kan extensions of suitable patterns of fun...
A convergence function is a correspondence between the filters on a given set S and the subsets of S...
summary:Mappings preserving Cauchy sequences and certain types of convergences connected with these ...
We give a number of formal proofs of theorems from the field of computable analysis. Many of our res...
The aim of this material is to introduce the student to two notions of convergence for sequences of ...
TEZ10524Tez (Yüksek Lisans) -- Çukurova Üniversitesi, Adana, 2017.Kaynakça (s. 57-58) var.vi, 59 s. ...
We introduce two generalizations to convergence approach spaces of classical results characterizing ...
This paper presents convergence acceleration, a method for computing efficiently the limit of numeri...
AbstractWe investigate and unify notions of convergence in preorders and metric spaces. The basic st...
International audienceMany theorems in analysis are based on the notion of limit. Accordingly, a for...
This paper is on general methods of convergence and summability. We first present the general method...
The textbook is an alternative to a classical introductory book in point-set topology. The approach,...
We give a number of formal proofs of theorems from the field of computable analysis. Many of our res...
In this article, we introduce new notions of convergence of directed families of points and converge...
We introduce various notions of convergence of Riemannian manifolds and metric spaces. We then surv...
AbstractAn “axiomatic” construction, obtained by means of Kan extensions of suitable patterns of fun...
A convergence function is a correspondence between the filters on a given set S and the subsets of S...
summary:Mappings preserving Cauchy sequences and certain types of convergences connected with these ...
We give a number of formal proofs of theorems from the field of computable analysis. Many of our res...
The aim of this material is to introduce the student to two notions of convergence for sequences of ...
TEZ10524Tez (Yüksek Lisans) -- Çukurova Üniversitesi, Adana, 2017.Kaynakça (s. 57-58) var.vi, 59 s. ...
We introduce two generalizations to convergence approach spaces of classical results characterizing ...
This paper presents convergence acceleration, a method for computing efficiently the limit of numeri...
AbstractWe investigate and unify notions of convergence in preorders and metric spaces. The basic st...
Add to ORKG