×

Found 717 Documents (Results 1–100)

Formalized Haar measure. (English) Zbl 07699435

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 18, 17 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dynamic behavior of a class of delayed Lotka-Volterra recurrent neural networks on time scales. (English. Russian original) Zbl 1486.34161

Russ. Math. 65, No. 11, 59-75 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 11, 67-85 (2021).
PDFBibTeX XMLCite
Full Text: DOI

On family of complex straight lines sufficient for existence of holomorphic continuation of continuous functions on boundary of domain. (Russian. English summary) Zbl 1474.32002

Ufim. Mat. Zh. 12, No. 3, 45-50 (2020); translation in Ufa Math. J. 12, No. 3, 44-49 (2020).
MSC:  32A10 32A26 32D15
PDFBibTeX XMLCite
Full Text: DOI MNR

Nonparametric additive regression. (English) Zbl 1451.62040

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 2995-3018 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software