Milivojević, Aleksandar On the characterization of rational homotopy types and Chern classes of closed almost complex manifolds. (English) Zbl 1496.32040 Complex Manifolds 9, 138-169 (2022). MSC: 32Q60 55P62 57N65 57R65 PDFBibTeX XMLCite \textit{A. Milivojević}, Complex Manifolds 9, 138--169 (2022; Zbl 1496.32040) Full Text: DOI
Frohmader, Andrew; Heaton, Alexander Epsilon local rigidity and numerical algebraic geometry. (English) Zbl 1485.70001 J. Algebra Appl. 21, No. 1, Article ID 2250009, 21 p. (2022). MSC: 70B15 65D17 14Q99 PDFBibTeX XMLCite \textit{A. Frohmader} and \textit{A. Heaton}, J. Algebra Appl. 21, No. 1, Article ID 2250009, 21 p. (2022; Zbl 1485.70001) Full Text: DOI arXiv
Bentzen, Bruno Naive cubical type theory. (English) Zbl 07630474 Math. Struct. Comput. Sci. 31, No. 10, 1205-1231 (2021). MSC: 03B38 PDFBibTeX XMLCite \textit{B. Bentzen}, Math. Struct. Comput. Sci. 31, No. 10, 1205--1231 (2021; Zbl 07630474) Full Text: DOI arXiv
Mörtberg, Anders Cubical methods in homotopy type theory and univalent foundations. (English) Zbl 07630472 Math. Struct. Comput. Sci. 31, No. 10, 1147-1184 (2021). MSC: 03B38 PDFBibTeX XMLCite \textit{A. Mörtberg}, Math. Struct. Comput. Sci. 31, No. 10, 1147--1184 (2021; Zbl 07630472) Full Text: DOI
Navarro Garmendia, Alberto Vladimir Voevodsky, Fields Medal 2002. (Vladimir Voevodsky, Medalla Fields 2002.) (Spanish) Zbl 1485.01060 Gac. R. Soc. Mat. Esp. 24, No. 3, 623-643 (2021). MSC: 01A70 14C15 14F42 PDFBibTeX XMLCite \textit{A. Navarro Garmendia}, Gac. R. Soc. Mat. Esp. 24, No. 3, 623--643 (2021; Zbl 1485.01060) Full Text: Link Backlinks: MO
Siejakowski, Rafał Infinitesimal gluing equations and the adjoint hyperbolic Reidemeister torsion. (English) Zbl 1497.57028 Tôhoku Math. J. (2) 73, No. 4, 597-626 (2021). Reviewer: Yoshikazu Yamaguchi (Tokyo) MSC: 57K32 57Q10 57M50 PDFBibTeX XMLCite \textit{R. Siejakowski}, Tôhoku Math. J. (2) 73, No. 4, 597--626 (2021; Zbl 1497.57028) Full Text: DOI arXiv
Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. Syntax and models of Cartesian cubical type theory. (English) Zbl 07460116 Math. Struct. Comput. Sci. 31, No. 4, 424-468 (2021). MSC: 03B38 55U35 18N45 PDFBibTeX XMLCite \textit{C. Angiuli} et al., Math. Struct. Comput. Sci. 31, No. 4, 424--468 (2021; Zbl 07460116) Full Text: DOI
Boulier, Simon; Tabareau, Nicolas Model structure on the universe of all types in interval type theory. (English) Zbl 07460115 Math. Struct. Comput. Sci. 31, No. 4, 392-423 (2021). MSC: 03B38 55U35 18N45 PDFBibTeX XMLCite \textit{S. Boulier} and \textit{N. Tabareau}, Math. Struct. Comput. Sci. 31, No. 4, 392--423 (2021; Zbl 07460115) Full Text: DOI
Booij, Auke B. Extensional constructive real analysis via locators. (English) Zbl 07408496 Math. Struct. Comput. Sci. 31, No. 1, 64-88 (2021). MSC: 03B38 03F60 PDFBibTeX XMLCite \textit{A. B. Booij}, Math. Struct. Comput. Sci. 31, No. 1, 64--88 (2021; Zbl 07408496) Full Text: DOI arXiv
Hötzel Escardó, Martín The Cantor-Schröder-Bernstein theorem for \(\infty\)-groupoids. (English) Zbl 07402358 J. Homotopy Relat. Struct. 16, No. 3, 363-366 (2021). MSC: 03-XX 55U40 03B15 03F55 03B38 PDFBibTeX XMLCite \textit{M. Hötzel Escardó}, J. Homotopy Relat. Struct. 16, No. 3, 363--366 (2021; Zbl 07402358) Full Text: DOI arXiv
Borodzik, Maciej; Politarczyk, Wojciech; Silvero, Marithania Khovanov homotopy type, periodic links and localizations. (English) Zbl 1506.57006 Math. Ann. 380, No. 3-4, 1233-1309 (2021). Reviewer: Dirk Schütz (Durham) MSC: 57K18 55P42 55N91 55P91 PDFBibTeX XMLCite \textit{M. Borodzik} et al., Math. Ann. 380, No. 3--4, 1233--1309 (2021; Zbl 1506.57006) Full Text: DOI arXiv
Church, Kevin E. M. Analysis of pandemic closing-reopening cycles using rigorous homotopy continuation: a case study with Montreal COVID-19 data. (English) Zbl 1469.92106 SIAM J. Appl. Dyn. Syst. 20, No. 2, 745-783 (2021). MSC: 92D30 55P99 34A36 34K13 PDFBibTeX XMLCite \textit{K. E. M. Church}, SIAM J. Appl. Dyn. Syst. 20, No. 2, 745--783 (2021; Zbl 1469.92106) Full Text: DOI
Burton, Simon; Sati, Hisham; Schreiber, Urs Lift of fractional D-brane charge to equivariant Cohomotopy theory. (English) Zbl 1457.81086 J. Geom. Phys. 161, Article ID 104034, 21 p. (2021). MSC: 81T32 81T13 19L47 55N32 14F42 19A22 20N02 13D03 PDFBibTeX XMLCite \textit{S. Burton} et al., J. Geom. Phys. 161, Article ID 104034, 21 p. (2021; Zbl 1457.81086) Full Text: DOI arXiv
Tsementzis, Dimitris A meaning explanation for HoTT. (English) Zbl 1475.03055 Synthese 197, No. 2, 651-680 (2020). MSC: 03A05 03B38 55U35 PDFBibTeX XMLCite \textit{D. Tsementzis}, Synthese 197, No. 2, 651--680 (2020; Zbl 1475.03055) Full Text: DOI Link
Knudson, Kevin P. Book review of: N. Scoville, Discrete Morse theory. (English) Zbl 1443.00004 Am. Math. Mon. 127, No. 8, 763-768 (2020). MSC: 00A17 58-01 58E05 55-01 55U05 55U10 57Q05 57Q10 PDFBibTeX XMLCite \textit{K. P. Knudson}, Am. Math. Mon. 127, No. 8, 763--768 (2020; Zbl 1443.00004) Full Text: DOI
Sati, Hisham; Schreiber, Urs Equivariant cohomotopy implies orientifold tadpole cancellation. (English) Zbl 1450.81055 J. Geom. Phys. 156, Article ID 103775, 39 p. (2020). Reviewer: Farhang Loran (Isfahan) MSC: 81T30 55Q91 57R18 81T32 81T70 PDFBibTeX XMLCite \textit{H. Sati} and \textit{U. Schreiber}, J. Geom. Phys. 156, Article ID 103775, 39 p. (2020; Zbl 1450.81055) Full Text: DOI arXiv
Buchholtz, Ulrik; Hou, Kuen-Bang Cellular cohomology in homotopy type theory. (English) Zbl 1528.55013 Log. Methods Comput. Sci. 16, No. 2, Paper No. 7, 21 p. (2020). MSC: 55U35 03B38 55N20 PDFBibTeX XMLCite \textit{U. Buchholtz} and \textit{K.-B. Hou}, Log. Methods Comput. Sci. 16, No. 2, Paper No. 7, 21 p. (2020; Zbl 1528.55013) Full Text: arXiv Link
Moss, Sean Another approach to the Kan-Quillen model structure. (English) Zbl 1437.55025 J. Homotopy Relat. Struct. 15, No. 1, 143-165 (2020). Reviewer: Marek Golasiński (Olsztyn) MSC: 55U10 18N40 18N50 55U35 PDFBibTeX XMLCite \textit{S. Moss}, J. Homotopy Relat. Struct. 15, No. 1, 143--165 (2020; Zbl 1437.55025) Full Text: DOI arXiv
Frego, Marco; Bertolazzi, Enrico Point-clothoid distance and projection computation. (English) Zbl 07124609 SIAM J. Sci. Comput. 41, No. 5, A3326-A3353 (2019). Reviewer: Vladimir P. Kostov (Nice) MSC: 65D17 65H05 65H20 65S05 PDFBibTeX XMLCite \textit{M. Frego} and \textit{E. Bertolazzi}, SIAM J. Sci. Comput. 41, No. 5, A3326--A3353 (2019; Zbl 07124609) Full Text: DOI
Ladyman, James; Presnell, Stuart Universes and univalence in homotopy type theory. (English) Zbl 07124569 Rev. Symb. Log. 12, No. 3, 426-455 (2019). MSC: 03A05 03B38 18N40 55U35 00A30 PDFBibTeX XMLCite \textit{J. Ladyman} and \textit{S. Presnell}, Rev. Symb. Log. 12, No. 3, 426--455 (2019; Zbl 07124569) Full Text: DOI
Huerta, John; Sati, Hisham; Schreiber, Urs Real ADE-equivariant (co)homotopy and super M-branes. (English) Zbl 1431.83170 Commun. Math. Phys. 371, No. 2, 425-524 (2019). MSC: 83E30 81T30 81T60 83C75 53Z05 55P91 PDFBibTeX XMLCite \textit{J. Huerta} et al., Commun. Math. Phys. 371, No. 2, 425--524 (2019; Zbl 1431.83170) Full Text: DOI arXiv
Braunack-Mayer, Vincent; Sati, Hisham; Schreiber, Urs Gauge enhancement of super M-branes via parametrized stable homotopy theory. (English) Zbl 1427.81098 Commun. Math. Phys. 371, No. 1, 197-265 (2019). Reviewer: Farhang Loran (Isfahan) MSC: 81T30 81T13 14F40 PDFBibTeX XMLCite \textit{V. Braunack-Mayer} et al., Commun. Math. Phys. 371, No. 1, 197--265 (2019; Zbl 1427.81098) Full Text: DOI arXiv
Kapulkin, Krzysztof; Szumiło, Karol Internal languages of finitely complete \((\infty , 1)\)-categories. (English) Zbl 1462.18007 Sel. Math., New Ser. 25, No. 2, Paper No. 33, 46 p. (2019). Reviewer: Julie Bergner (Riverside) MSC: 18N60 55U35 03B38 PDFBibTeX XMLCite \textit{K. Kapulkin} and \textit{K. Szumiło}, Sel. Math., New Ser. 25, No. 2, Paper No. 33, 46 p. (2019; Zbl 1462.18007) Full Text: DOI arXiv
Orton, Ian; Pitts, Andrew M. Models of type theory based on Moore paths. (English) Zbl 1509.03055 Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019). MSC: 03B38 03G30 18B25 55U35 PDFBibTeX XMLCite \textit{I. Orton} and \textit{A. M. Pitts}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019; Zbl 1509.03055) Full Text: DOI arXiv
Angiuli, Carlo; Hou, (Favonia) Kuen-Bang; Harper, Robert Cartesian cubical computational type theory: constructive reasoning with paths and equalities. (English) Zbl 07533331 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 6, 17 p. (2018). MSC: 03B70 PDFBibTeX XMLCite \textit{C. Angiuli} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 6, 17 p. (2018; Zbl 07533331) Full Text: DOI
Licata, Daniel R.; Orton, Ian; Pitts, Andrew M.; Spitters, Bas Internal universes in models of homotopy type theory. (English) Zbl 1462.03010 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 22, 17 p. (2018). MSC: 03B38 55U35 PDFBibTeX XMLCite \textit{D. R. Licata} et al., LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 22, 17 p. (2018; Zbl 1462.03010) Full Text: DOI arXiv
Grayson, Daniel R. An introduction to univalent foundations for mathematicians. (English) Zbl 1461.03012 Bull. Am. Math. Soc., New Ser. 55, No. 4, 427-450 (2018). MSC: 03B38 03B35 03G30 18A15 55U35 PDFBibTeX XMLCite \textit{D. R. Grayson}, Bull. Am. Math. Soc., New Ser. 55, No. 4, 427--450 (2018; Zbl 1461.03012) Full Text: DOI arXiv
Balakrishnan, Jennifer S.; Dan-Cohen, Ishai; Kim, Minhyong; Wewers, Stefan A non-abelian conjecture of Tate-Shafarevich type for hyperbolic curves. (English) Zbl 1460.11038 Math. Ann. 372, No. 1-2, 369-428 (2018). Reviewer: David McKinnon (Waterloo) MSC: 11D45 14H52 11G50 14F35 PDFBibTeX XMLCite \textit{J. S. Balakrishnan} et al., Math. Ann. 372, No. 1--2, 369--428 (2018; Zbl 1460.11038) Full Text: DOI arXiv
Ahrens, Benedikt; Lumsdaine, Peter Lefanu; Voevodsky, Vladimir Categorical structures for type theory in univalent foundations. (English) Zbl 1496.03053 Log. Methods Comput. Sci. 14, No. 3, Paper No. 18, 18 p. (2018). MSC: 03B38 03F50 18C50 03B70 55U40 68V15 PDFBibTeX XMLCite \textit{B. Ahrens} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 18, 18 p. (2018; Zbl 1496.03053) Full Text: DOI arXiv
Shulman, Michael Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. (English) Zbl 1390.03014 Math. Struct. Comput. Sci. 28, No. 6, 856-941 (2018). Reviewer: Ittay Weiss (Portsmouth) MSC: 03B15 03G30 55U40 55M20 03B60 PDFBibTeX XMLCite \textit{M. Shulman}, Math. Struct. Comput. Sci. 28, No. 6, 856--941 (2018; Zbl 1390.03014) Full Text: DOI arXiv Backlinks: MO
Angiuli, Carlo; Harper, Robert Meaning explanations at higher dimension. (English) Zbl 1436.03102 Indag. Math., New Ser. 29, No. 1, 135-149 (2018). MSC: 03B38 55U35 PDFBibTeX XMLCite \textit{C. Angiuli} and \textit{R. Harper}, Indag. Math., New Ser. 29, No. 1, 135--149 (2018; Zbl 1436.03102) Full Text: DOI
Kraus, Nicolai; Escardó, Martín; Coquand, Thierry; Altenkirch, Thorsten Notions of anonymous existence in Martin-Löf type theory. (English) Zbl 1377.03005 Log. Methods Comput. Sci. 13, No. 1, Paper No. 15, 36 p. (2017). Reviewer: Anthony Bordg (Praha) MSC: 03B15 03G30 03B70 68N18 PDFBibTeX XMLCite \textit{N. Kraus} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 15, 36 p. (2017; Zbl 1377.03005) Full Text: DOI arXiv
Sojakova, Kristina The equivalence of the torus and the product of two circles in homotopy type theory. (English) Zbl 1367.03018 ACM Trans. Comput. Log. 17, No. 4, Article No. 29, 19 p. (2016). MSC: 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{K. Sojakova}, ACM Trans. Comput. Log. 17, No. 4, Article No. 29, 19 p. (2016; Zbl 1367.03018) Full Text: DOI arXiv
Shulman, Michael Idempotents in intensional type theory. (English) Zbl 1445.03011 Log. Methods Comput. Sci. 12, No. 3, Paper No. 9, 24 p. (2016). MSC: 03B38 03G30 18N60 55U40 PDFBibTeX XMLCite \textit{M. Shulman}, Log. Methods Comput. Sci. 12, No. 3, Paper No. 9, 24 p. (2016; Zbl 1445.03011) Full Text: DOI arXiv Backlinks: MO
Marco-Buzunariz, Miguel Ángel; Rodríguez, Marcos SIROCCO: a library for certified polynomial root continuation. (English) Zbl 1437.14010 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 191-197 (2016). MSC: 14-04 14Q05 14Q65 65G30 PDFBibTeX XMLCite \textit{M. Á. Marco-Buzunariz} and \textit{M. Rodríguez}, Lect. Notes Comput. Sci. 9725, 191--197 (2016; Zbl 1437.14010) Full Text: DOI
Kraus, Nicolai; Sattler, Christian Higher homotopies in a hierarchy of univalent universes. (English) Zbl 1354.03100 ACM Trans. Comput. Log. 16, No. 2, Article No. 18, 12 p. (2015). MSC: 03G30 03B15 03B35 03B40 55U40 68T15 PDFBibTeX XMLCite \textit{N. Kraus} and \textit{C. Sattler}, ACM Trans. Comput. Log. 16, No. 2, Article No. 18, 12 p. (2015; Zbl 1354.03100) Full Text: DOI arXiv