×

Found 843 Documents (Results 1–100)

100
MathJax

A modular first formalisation of combinatorial design theory. (English) Zbl 07511922

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 3-18 (2021).
MSC:  68V20 05Bxx 06D22
PDF BibTeX XML Cite
Full Text: DOI

Notes on point-free topology. (English) Zbl 07482855

Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 173-223 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference