-completions of convergence vector spaces
Müller, Bernd
Similarity:
Müller, Bernd
Similarity:
Poppe, H.
Similarity:
Roland Coghetto (2015)
Formalized Mathematics
Similarity:
We are inspired by the work of Henri Cartan [16], Bourbaki [10] (TG. I Filtres) and Claude Wagschal [34]. We define the base of filter, image filter, convergent filter bases, limit filter and the filter base of tails (fr: filtre des sections).
Liu, Teng-Sun (1964)
Portugaliae mathematica
Similarity:
Frederic Mynard (2007)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: