×

Found 2,305 Documents (Results 1–100)

A Coq formalization of Lebesgue induction principle and Tonelli’s theorem. (English) Zbl 07728835

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 39-55 (2023).
PDFBibTeX XMLCite
Full Text: DOI

On the extension of a family of projections to a positive operator-valued measure. (English. Russian original) Zbl 1522.81036

Vestn. St. Petersbg. Univ., Math. 56, No. 1, 1-8 (2023); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 1, 3-13 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Managing the long-term development of the region: available assets and “tight” governance. (English. Russian original) Zbl 1489.91194

Autom. Remote Control 83, No. 2, 273-281 (2022); translation from Avtom. Telemekh. 2022, No. 2, 133-143 (2022).
MSC:  91B82 91B62 91F10
PDFBibTeX XMLCite
Full Text: DOI

Toward an optimal theory of integration for functions taking values in quasi-Banach spaces. (English) Zbl 1493.46062

PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software