×

Found 978 Documents (Results 1–100)

Connecting constructive notions of ordinals in homotopy type theory. (English) Zbl 07724243

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 70, 16 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Forcing theory for surface homeomorphisms (after Le Calvez and Tal). (Théorie de forçage des homéomorphismes de surfaces (d’après Le Calvez et Tal).) (English) Zbl 1502.37051

Séminaire Bourbaki. Volume 2019/2021. Exposés 1166–1180. Avec table par noms d’auteurs de 1948/49 à 2019/21. Paris: Société Mathématique de France (SMF). Astérisque 430, 159-181, Exp. No. 1171 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Intuitionistic/constructive accounts of the continuum today. (English) Zbl 1467.03032

Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 476-501 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A remark on the Caristi’s fixed point theorem and the Brouwer fixed point theorem. (English) Zbl 1450.54016

Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 93-99 (2021).
MSC:  54H25 47H10
PDFBibTeX XMLCite
Full Text: DOI

The asymptotic normality for the least squares estimator of parameters in a two dimensional sinusoidal model of observations. (English. Ukrainian original) Zbl 1446.62354

Theory Probab. Math. Stat. 100, 107-131 (2020); translation from Teor. Jmovirn. Mat. Stat. 100, 102-122 (2019).
PDFBibTeX XMLCite
Full Text: DOI

L. E. J. Brouwer: Intuitionism. 2nd edition. (L. E. J. Brouwer: Intuitionismus.) (German) Zbl 1476.03001

Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-61388-7/pbk; 978-3-662-61389-4/ebook). ix, 191 p. (2020).
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

all top 3

Software