https://unimath.github.io/agda-unimath/real-numbers.multiplication-uniformly-continuous-real-maps-proper-closed-intervals-real-numbers.html
Multiplication of uniformly continuous real maps on proper closed intervals in the real numbers -...
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
in the numbersuniformly continuousmultiplicationrealmaps
https://www.impan.pl/en/publishing-house/journals-and-series/bulletin-polish-acad-sci-math/all/58/1/85451/uniformly-continuous-set-valued-composition-operators-in-the-spaces-of-functions-of-bounded-variation-in-the-sense-of-riesz
Uniformly Continuous Set-Valued Composition Operators in the Spaces of Functions of Bounded...
We show that any uniformly continuous and convex compact valued Nemytski\u\i composition operator acting in the spaces of functions of bounded $\varphi...
uniformly continuousthe spacessetvaluedcomposition
https://arxiv.org/abs/1710.10510
[1710.10510] On uniformly continuous maps between function spaces
Abstract page for arXiv paper 1710.10510: On uniformly continuous maps between function spaces
uniformly continuousfunction spacesmaps
https://portal.mardi4nfdi.de/wiki/Publication:1705845
On metric spaces where continuous real valued functions are uniformly continuous and related...
metricspacescontinuousrealvalued