Christensen, J. Daniel; Scoccola, Luis The Hurewicz theorem in homotopy type theory. (English) Zbl 07723339 Algebr. Geom. Topol. 23, No. 5, 2107-2140 (2023). Reviewer: Ödül Tetik (Vienna) MSC: 55Q99 03B38 18N60 55N99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Došen, Kosta; Petrić, Zoran Weak Cat-operads. (English) Zbl 1351.18010 Log. Methods Comput. Sci. 11, No. 1, Paper No. 10, 23 p. (2015). MSC: 18D50 03G30 08A55 18A15 18D05 18D20 52B10 55P48 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
de la Harpe, Pierre Topology, group theory and decision problems.. (Topologie, théorie des groupes et problèmes de décision.) (French) Zbl 1272.20001 Gaz. Math., Soc. Math. Fr. 125, 41-75 (2010). MSC: 20-03 20F10 20F05 20F65 01A60 03B25 57-03 57M25 57M35 × Cite Format Result Cite Review PDF
McCune, William Single axioms: With and without computers. (English) Zbl 0979.03035 Gao, Xiao-Shan (ed.) et al., Computer mathematics. Proceedings of the 4th Asian symposium (ASCM 2000), Chiang Mai, Thailand, December 17-21, 2000. Singapore: World Scientific. Lect. Notes Ser. Comput. 8, 83-89 (2000). Reviewer: Manfred Armbrust (Köln) MSC: 03C05 03B35 68T15 08B05 06B99 20A05 × Cite Format Result Cite Review PDF