Displaying 741 – 760 of 867

Showing per page

Convergent Filter Bases

Roland Coghetto (2015)

Formalized Mathematics

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).

Currently displaying 741 – 760 of 867