Contente, Michele; Maietti, Maria Emilia The compatibility of the minimalist foundation with homotopy type theory. (English) Zbl 07811876 Theor. Comput. Sci. 991, Article ID 114421, 30 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Contente} and \textit{M. E. Maietti}, Theor. Comput. Sci. 991, Article ID 114421, 30 p. (2024; Zbl 07811876) Full Text: DOI arXiv
Zheng, Haoyang; Huang, Yao; Huang, Ziyang; Hao, Wenrui; Lin, Guang HomPINNs: homotopy physics-informed neural networks for solving the inverse problems of nonlinear differential equations with multiple solutions. (English) Zbl 07811337 J. Comput. Phys. 500, Article ID 112751, 16 p. (2024). MSC: 65Nxx 68Txx 35Qxx PDFBibTeX XMLCite \textit{H. Zheng} et al., J. Comput. Phys. 500, Article ID 112751, 16 p. (2024; Zbl 07811337) Full Text: DOI arXiv
Gaucher, Philippe Regular directed path and Moore flow. (English) Zbl 07806485 Rend. Mat. Appl., VII. Ser. 45, No. 1-2, 111-151 (2024). MSC: 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Rend. Mat. Appl., VII. Ser. 45, No. 1--2, 111--151 (2024; Zbl 07806485) Full Text: arXiv Link
Grandis, Marco The topology of critical processes. I: Processes and models. (English) Zbl 07798113 Cah. Topol. Géom. Différ. Catég. 65, No. 1, 3-34 (2024). Reviewer: Philippe Gaucher (Paris) MSC: 55P99 55U35 68Q85 18F99 74N99 PDFBibTeX XMLCite \textit{M. Grandis}, Cah. Topol. Géom. Différ. Catég. 65, No. 1, 3--34 (2024; Zbl 07798113) Full Text: arXiv Link
Duff, T.; Telen, S.; Walker, E.; Yahl, T. Polyhedral homotopies in Cox coordinates. (English) Zbl 07793928 J. Algebra Appl. 23, No. 4, Article ID 2450073, 35 p. (2024). MSC: 13P15 14M25 68W30 PDFBibTeX XMLCite \textit{T. Duff} et al., J. Algebra Appl. 23, No. 4, Article ID 2450073, 35 p. (2024; Zbl 07793928) Full Text: DOI arXiv
Duff, Timothy; Leykin, Anton; Rodriguez, Jose Israel \(u\)-generation: solving systems of polynomials equation-by-equation. (English) Zbl 07792401 Numer. Algorithms 95, No. 2, 813-838 (2024). Reviewer: Nikolay Kyurkchiev (Plovdiv) MSC: 65H20 65H10 14Q65 68W30 PDFBibTeX XMLCite \textit{T. Duff} et al., Numer. Algorithms 95, No. 2, 813--838 (2024; Zbl 07792401) Full Text: DOI arXiv
Hahn, Marvin Anas; Kohn, Kathlén; Marigliano, Orlando; Pajdla, Tomas Order-One Rolling Shutter Cameras. arXiv:2403.11295 Preprint, arXiv:2403.11295 [cs.CV] (2024). MSC: 14M20 14Q15 14N99 15A69 65H20 68T45 13P10 13P25 BibTeX Cite \textit{M. A. Hahn} et al., ``Order-One Rolling Shutter Cameras'', Preprint, arXiv:2403.11295 [cs.CV] (2024) Full Text: arXiv OA License
Grant, Mark Equivariant topological complexities. arXiv:2402.01540 Preprint, arXiv:2402.01540 [math.AT] (2024). MSC: 55M30 55P91 68T40 55N91 55R91 BibTeX Cite \textit{M. Grant}, ``Equivariant topological complexities'', Preprint, arXiv:2402.01540 [math.AT] (2024) Full Text: arXiv OA License
Annenkov, Danil; Capriotti, Paolo; Kraus, Nicolai; Sattler, Christian Two-level type theory and applications. (English) Zbl 07813366 Math. Struct. Comput. Sci. 33, No. 8, 688-743 (2023); erratum ibid. 34, No. 1, 80 (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{D. Annenkov} et al., Math. Struct. Comput. Sci. 33, No. 8, 688--743 (2023; Zbl 07813366) Full Text: DOI arXiv OA License
Buchholtz, Ulrik; Rijke, Egbert The long exact sequence of homotopy \(n\)-groups. (English) Zbl 07813365 Math. Struct. Comput. Sci. 33, No. 8, 679-687 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{U. Buchholtz} and \textit{E. Rijke}, Math. Struct. Comput. Sci. 33, No. 8, 679--687 (2023; Zbl 07813365) Full Text: DOI arXiv
Taxerås Flaten, Jarl G. Univalent categories of modules. (English) Zbl 07813327 Math. Struct. Comput. Sci. 33, No. 2, 106-133 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{J. G. Taxerås Flaten}, Math. Struct. Comput. Sci. 33, No. 2, 106--133 (2023; Zbl 07813327) Full Text: DOI arXiv OA License
Ipanaque Zapata, Cesar Augusto; González, Jesús Higher topological complexity of a map. (English) Zbl 07808114 Turk. J. Math. 47, No. 6, 1616-1642 (2023). Reviewer: Jean-Paul Doeraene (Villeneuve d’Ascq) MSC: 55M30 55P10 68T40 PDFBibTeX XMLCite \textit{C. A. Ipanaque Zapata} and \textit{J. González}, Turk. J. Math. 47, No. 6, 1616--1642 (2023; Zbl 07808114) Full Text: DOI arXiv
Gaucher, Philippe Comparing cubical and globular directed paths. (English) Zbl 07797042 Fundam. Math. 262, No. 3, 259-286 (2023). MSC: 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Fundam. Math. 262, No. 3, 259--286 (2023; Zbl 07797042) Full Text: DOI arXiv
Chang, Hsien-Chih; Fasy, Brittany Terese; McCoy, Bradley; Millman, David L.; Wenk, Carola From curves to words and back again: geometric computation of minimum-area homotopy. (English) Zbl 07789731 Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 605-619 (2023). MSC: 68P05 68Wxx PDFBibTeX XMLCite \textit{H.-C. Chang} et al., Lect. Notes Comput. Sci. 14079, 605--619 (2023; Zbl 07789731) Full Text: DOI arXiv
Breiding, P.; Lindberg, J.; Ong, W. J. G.; Sommer, L. Real circles tangent to 3 conics. (English) Zbl 07768624 Matematiche 78, No. 1, 149-175 (2023). Reviewer: Hanieh Keneshlou (Leipzig) MSC: 14P05 14N10 14Q30 68T07 PDFBibTeX XMLCite \textit{P. Breiding} et al., Matematiche 78, No. 1, 149--175 (2023; Zbl 07768624) Full Text: DOI arXiv
Filakovský, Marek; Vokřínek, Lukáš Computing homotopy classes for diagrams. (English) Zbl 07748813 Discrete Comput. Geom. 70, No. 3, 866-920 (2023). Reviewer: Luigi Caputi (Torino) MSC: 55P91 55S35 68U05 PDFBibTeX XMLCite \textit{M. Filakovský} and \textit{L. Vokřínek}, Discrete Comput. Geom. 70, No. 3, 866--920 (2023; Zbl 07748813) Full Text: DOI arXiv OA License
Skotnica, Michael; Tancer, Martin NP-hardness of computing PL geometric category in dimension 2. (English) Zbl 07742533 SIAM J. Discrete Math. 37, No. 3, 2016-2029 (2023). Reviewer: Stephan Rosebrock (Karlsruhe) MSC: 55M30 57Q10 68Q17 05E45 PDFBibTeX XMLCite \textit{M. Skotnica} and \textit{M. Tancer}, SIAM J. Discrete Math. 37, No. 3, 2016--2029 (2023; Zbl 07742533) Full Text: DOI arXiv
Ergür, Alperen A.; de Wolff, Timo A polyhedral homotopy algorithm for real zeros. (English) Zbl 1520.14109 Arnold Math. J. 9, No. 3, 305-338 (2023). Reviewer: Vladimir P. Kostov (Nice) MSC: 14P05 14P25 68R05 52B11 65D99 65Y20 PDFBibTeX XMLCite \textit{A. A. Ergür} and \textit{T. de Wolff}, Arnold Math. J. 9, No. 3, 305--338 (2023; Zbl 1520.14109) Full Text: DOI arXiv
de Jong, Tom; Hötzel Escardó, Martín On small types in univalent foundations. (English) Zbl 07731919 Log. Methods Comput. Sci. 19, No. 2, Paper No. 8, 33 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. de Jong} and \textit{M. Hötzel Escardó}, Log. Methods Comput. Sci. 19, No. 2, Paper No. 8, 33 p. (2023; Zbl 07731919) Full Text: DOI arXiv
Lee, Dae-Woong On the digital Hopf images and monoid isomorphisms. (English) Zbl 07722735 Publ. Math. Debr. 103, No. 1-2, 13-39 (2023). Reviewer: Dana Petcu (Timişoara) MSC: 68U05 68R10 52C45 55P45 PDFBibTeX XMLCite \textit{D.-W. Lee}, Publ. Math. Debr. 103, No. 1--2, 13--39 (2023; Zbl 07722735) Full Text: DOI
Bondarko, Mikhail V.; Vostokov, Sergei V. Killing weights from the perspective of \(t\)-structures. (English. Russian original) Zbl 07693571 Proc. Steklov Inst. Math. 320, 51-61 (2023); translation from Tr. Mat. Inst. Steklova 320, 59-70 (2023). MSC: 68-XX 18-XX PDFBibTeX XMLCite \textit{M. V. Bondarko} and \textit{S. V. Vostokov}, Proc. Steklov Inst. Math. 320, 51--61 (2023; Zbl 07693571); translation from Tr. Mat. Inst. Steklova 320, 59--70 (2023) Full Text: DOI arXiv
Basu, Saugata; Karisani, Negin Efficient simplicial replacement of semialgebraic sets. (English) Zbl 1516.14106 Forum Math. Sigma 11, Paper No. e41, 52 p. (2023). Reviewer: David Sevilla (Merida) MSC: 14P10 68W30 14F35 PDFBibTeX XMLCite \textit{S. Basu} and \textit{N. Karisani}, Forum Math. Sigma 11, Paper No. e41, 52 p. (2023; Zbl 1516.14106) Full Text: DOI arXiv
Bürgisser, Peter; Cucker, Felipe; Lairez, Pierre Rigid continuation paths. II: Structured polynomial systems. (English) Zbl 07691682 Forum Math. Pi 11, Paper No. e12, 44 p. (2023). MSC: 68Q25 65H10 65H20 65Y20 PDFBibTeX XMLCite \textit{P. Bürgisser} et al., Forum Math. Pi 11, Paper No. e12, 44 p. (2023; Zbl 07691682) Full Text: DOI arXiv
Burr, M.; Sottile, F.; Walker, E. Numerical homotopies from Khovanskii bases. (English) Zbl 1519.14047 Math. Comput. 92, No. 343, 2333-2353 (2023). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 14M25 68W30 65H10 65H20 PDFBibTeX XMLCite \textit{M. Burr} et al., Math. Comput. 92, No. 343, 2333--2353 (2023; Zbl 1519.14047) Full Text: DOI arXiv
Gaucher, Philippe Comparing the non-unital and unital settings for directed homotopy. (English) Zbl 1511.18004 Cah. Topol. Géom. Différ. Catég. 64, No. 2, 176-197 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18D20 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Cah. Topol. Géom. Différ. Catég. 64, No. 2, 176--197 (2023; Zbl 1511.18004) Full Text: arXiv Link
Lupton, Greg; Oprea, John; Scoville, Nicholas A. The digital Hopf construction. (English) Zbl 1514.55013 Topology Appl. 326, Article ID 108405, 19 p. (2023). Reviewer: Christopher Staecker (Fairfield) MSC: 55Q99 54A99 55R10 68R99 54H30 PDFBibTeX XMLCite \textit{G. Lupton} et al., Topology Appl. 326, Article ID 108405, 19 p. (2023; Zbl 1514.55013) Full Text: DOI arXiv
Skopenkov, Arkadiy Extendability of simplicial maps is undecidable. (English) Zbl 07644326 Discrete Comput. Geom. 69, No. 1, 250-259 (2023). Reviewer: Wolfgang Kühnel (Stuttgart) MSC: 57Q99 68U05 68Q17 68Q25 PDFBibTeX XMLCite \textit{A. Skopenkov}, Discrete Comput. Geom. 69, No. 1, 250--259 (2023; Zbl 07644326) Full Text: DOI arXiv
Evans, Parker; Wenk, Carola Combinatorial properties of self-overlapping curves and interior boundaries. (English) Zbl 1517.57013 Discrete Comput. Geom. 69, No. 1, 91-122 (2023). Reviewer: Emil Saucan (Karmiel) MSC: 57K99 68U05 57K20 PDFBibTeX XMLCite \textit{P. Evans} and \textit{C. Wenk}, Discrete Comput. Geom. 69, No. 1, 91--122 (2023; Zbl 1517.57013) Full Text: DOI arXiv
Raussen, Martin Connectivity of spaces of directed paths in geometric models for concurrent computation. (English) Zbl 07618087 Comput. Geom. 109, Article ID 101942, 17 p. (2023). MSC: 68Q85 55P10 55U10 PDFBibTeX XMLCite \textit{M. Raussen}, Comput. Geom. 109, Article ID 101942, 17 p. (2023; Zbl 07618087) Full Text: DOI arXiv
Zhang, Zhiguo; Wang, Yanying; Zhang, Conglei Strong homotopy induced by adjacency structure. (English) Zbl 1507.55015 Discrete Math. 346, No. 1, Article ID 113130, 11 p. (2023). Reviewer: Sang-Eon Han (Jeonju) MSC: 55P10 05C99 68U05 54H30 PDFBibTeX XMLCite \textit{Z. Zhang} et al., Discrete Math. 346, No. 1, Article ID 113130, 11 p. (2023; Zbl 1507.55015) Full Text: DOI
Bernal, Edgar A.; Hauenstein, Jonathan D.; Mehta, Dhagash; Regan, Margaret H.; Tang, Tingting Machine learning the real discriminant locus. (English) Zbl 1504.14104 J. Symb. Comput. 115, 409-426 (2023). Reviewer: Timothy Duff (Seattle) MSC: 14Q65 68T07 68W30 PDFBibTeX XMLCite \textit{E. A. Bernal} et al., J. Symb. Comput. 115, 409--426 (2023; Zbl 1504.14104) Full Text: DOI arXiv
Borisov, Nikita; Brazelton, Thomas; Espino, Frenly; Hagedorn, Thomas; Han, Zhaobo; Garcia, Jordy Lopez; Louwsma, Joel; Ong, Wern Juin Gabriel; Tawfeek, Andrew R. \(\mathbb{A}^1\)-Brouwer degrees in Macaulay2. arXiv:2312.00106 Preprint, arXiv:2312.00106 [math.AG] (2023). MSC: 14F42 68W30 11E04 55M25 14N10 BibTeX Cite \textit{N. Borisov} et al., ``$\mathbb{A}^1$-Brouwer degrees in Macaulay2'', Preprint, arXiv:2312.00106 [math.AG] (2023) Full Text: arXiv OA License
Lupton, Gregory; Musin, Oleg; Scoville, Nicholas A.; Staecker, P. Christopher; Treviño-Marroquín, Jonathan A Second Homotopy Group for Digital Images. arXiv:2310.08706 Preprint, arXiv:2310.08706 [math.AT] (2023). MSC: 55Q99 68U10 68R99 BibTeX Cite \textit{G. Lupton} et al., ``A Second Homotopy Group for Digital Images'', Preprint, arXiv:2310.08706 [math.AT] (2023) Full Text: arXiv OA License
Daneshpajouh, Hamid Reza; Meunier, Frédéric Box complexes: at the crossroad of graph theory and topology. arXiv:2307.00299 Preprint, arXiv:2307.00299 [math.CO] (2023). MSC: 05C15 55P10 68Q17 BibTeX Cite \textit{H. R. Daneshpajouh} and \textit{F. Meunier}, ``Box complexes: at the crossroad of graph theory and topology'', Preprint, arXiv:2307.00299 [math.CO] (2023) Full Text: arXiv OA License
Gaucher, Philippe Towards a theory of natural directed paths. arXiv:2306.02792 Preprint, arXiv:2306.02792 [math.CT] (2023). MSC: 55U35 68Q85 BibTeX Cite \textit{P. Gaucher}, ``Towards a theory of natural directed paths'', Preprint, arXiv:2306.02792 [math.CT] (2023) Full Text: arXiv OA License
Gaucher, Philippe Homotopy theory of Moore flows (III). arXiv:2303.16174 Preprint, arXiv:2303.16174 [math.CT] (2023). MSC: 18C35 18D20 55U35 68Q85 BibTeX Cite \textit{P. Gaucher}, ``Homotopy theory of Moore flows (III)'', Preprint, arXiv:2303.16174 [math.CT] (2023) Full Text: arXiv OA License
Kraus, Nicolai; von Raumer, Jakob A rewriting coherence theorem with applications in homotopy type theory. (English) Zbl 1509.03052 Math. Struct. Comput. Sci. 32, No. 7, 982-1014 (2022). MSC: 03B38 55U35 68Q42 PDFBibTeX XMLCite \textit{N. Kraus} and \textit{J. von Raumer}, Math. Struct. Comput. Sci. 32, No. 7, 982--1014 (2022; Zbl 1509.03052) Full Text: DOI arXiv
Passat, Nicolas; Ngo, Phuc; Kenmochi, Yukiko; Talbot, Hugues Homotopic affine transformations in the 2D Cartesian grid. (English) Zbl 07645598 J. Math. Imaging Vis. 64, No. 7, 786-806 (2022). MSC: 68-XX 94-XX PDFBibTeX XMLCite \textit{N. Passat} et al., J. Math. Imaging Vis. 64, No. 7, 786--806 (2022; Zbl 07645598) Full Text: DOI
Verschelde, Jan; Viswanathan, Kylash Locating the closest singularity in a polynomial homotopy. (English) Zbl 1507.14084 Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 333-352 (2022). MSC: 14Q65 68W30 PDFBibTeX XMLCite \textit{J. Verschelde} and \textit{K. Viswanathan}, Lect. Notes Comput. Sci. 13366, 333--352 (2022; Zbl 1507.14084) Full Text: DOI arXiv
Lupton, Gregory; Scoville, Nicholas A. Digital fundamental groups and edge groups of clique complexes. (English) Zbl 1508.55009 J. Appl. Comput. Topol. 6, No. 4, 529-558 (2022). Reviewer: Christopher Staecker (Fairfield) MSC: 55Q99 57M05 68U10 PDFBibTeX XMLCite \textit{G. Lupton} and \textit{N. A. Scoville}, J. Appl. Comput. Topol. 6, No. 4, 529--558 (2022; Zbl 1508.55009) Full Text: DOI arXiv
Huang, Yao; Hao, Wenrui; Lin, Guang HomPINNs: homotopy physics-informed neural networks for learning multiple solutions of nonlinear elliptic differential equations. (English) Zbl 1524.65937 Comput. Math. Appl. 121, 62-73 (2022). MSC: 65N99 68T07 35K57 PDFBibTeX XMLCite \textit{Y. Huang} et al., Comput. Math. Appl. 121, 62--73 (2022; Zbl 1524.65937) Full Text: DOI
Paliga, Jakub; Ziemiański, Krzysztof Configuration spaces and directed paths on the final precubical set. (English) Zbl 1493.55011 Fundam. Math. 257, No. 3, 229-263 (2022). Reviewer: Philippe Gaucher (Paris) MSC: 55P35 68Q85 55P15 55R80 PDFBibTeX XMLCite \textit{J. Paliga} and \textit{K. Ziemiański}, Fundam. Math. 257, No. 3, 229--263 (2022; Zbl 1493.55011) Full Text: DOI arXiv
Lupton, Gregory; Oprea, John; Scoville, Nicholas A. Subdivision of maps of digital images. (English) Zbl 1487.55018 Discrete Comput. Geom. 67, No. 3, 698-742 (2022). Reviewer: Dimitrios Georgiou (Patras) MSC: 55P99 54A40 68U10 PDFBibTeX XMLCite \textit{G. Lupton} et al., Discrete Comput. Geom. 67, No. 3, 698--742 (2022; Zbl 1487.55018) Full Text: DOI arXiv
Swan, Andrew W. On the Nielsen-Schreier theorem in homotopy type theory. (English) Zbl 07471707 Log. Methods Comput. Sci. 18, No. 1, Paper No. 18, 15 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. W. Swan}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 18, 15 p. (2022; Zbl 07471707) Full Text: arXiv Link
Aguilar-Guzmán, Jorge; González, Jesús; Hoekstra-Mendoza, Teresa Farley-Sabalka’s Morse-theory model and the higher topological complexity of ordered configuration spaces on trees. (English) Zbl 1492.55009 Discrete Comput. Geom. 67, No. 1, 258-286 (2022). Reviewer: Cesar A. Ipanaque Zapata (São Carlos) MSC: 55R80 55M30 57M15 20F36 57Q10 68T40 57Q70 PDFBibTeX XMLCite \textit{J. Aguilar-Guzmán} et al., Discrete Comput. Geom. 67, No. 1, 258--286 (2022; Zbl 1492.55009) Full Text: DOI arXiv
Lupton, Gregory; Oprea, John; Scoville, Nicholas A. Homotopy theory in digital topology. (English) Zbl 1481.54060 Discrete Comput. Geom. 67, No. 1, 112-165 (2022). Reviewer: Ege Özgür (Izmir) MSC: 54H30 55P99 68U10 55P05 55M25 55M30 PDFBibTeX XMLCite \textit{G. Lupton} et al., Discrete Comput. Geom. 67, No. 1, 112--165 (2022; Zbl 1481.54060) Full Text: DOI arXiv
Macías-Virgós, E.; Mosquera-Lois, D. Homotopic distance between maps. (English) Zbl 1485.55005 Math. Proc. Camb. Philos. Soc. 172, No. 1, 73-93 (2022). Reviewer: Jean-Paul Doeraene (Villeneuve d’Ascq) MSC: 55M30 55M99 55P99 55R10 55P45 68T40 PDFBibTeX XMLCite \textit{E. Macías-Virgós} and \textit{D. Mosquera-Lois}, Math. Proc. Camb. Philos. Soc. 172, No. 1, 73--93 (2022; Zbl 1485.55005) Full Text: DOI arXiv
Chen, Joshua Homotopy type theory in Isabelle. (English) Zbl 07699429 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 12, 8 p. (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{J. Chen}, LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 12, 8 p. (2021; Zbl 07699429) Full Text: DOI arXiv
Bidlingmaier, Martin E.; Faissole, Florian; Spitters, Bas Synthetic topology in homotopy type theory for probabilistic programming. (English) Zbl 1517.68072 Math. Struct. Comput. Sci. 31, No. 10, 1301-1329 (2021). MSC: 68N19 03B38 03F60 06D22 18B25 18C20 18C50 18N45 28E15 55U35 68N30 68V20 PDFBibTeX XMLCite \textit{M. E. Bidlingmaier} et al., Math. Struct. Comput. Sci. 31, No. 10, 1301--1329 (2021; Zbl 1517.68072) Full Text: DOI arXiv
Staecker, P. Christopher Digital homotopy relations and digital homology theories. (English) Zbl 1505.55019 Appl. Gen. Topol. 22, No. 2, 223-250 (2021). Reviewer: Dae-Woong Lee (Jeonju) MSC: 55P10 68R10 54H30 PDFBibTeX XMLCite \textit{P. C. Staecker}, Appl. Gen. Topol. 22, No. 2, 223--250 (2021; Zbl 1505.55019) Full Text: DOI arXiv
Abolpour, Khadijeh; Zahedi, Mohammad Mehdi New directions in \(L^B\)-valued general fuzzy automata: a topological view. (English) Zbl 1499.68165 Filomat 35, No. 1, 251-270 (2021). MSC: 68Q45 06D72 PDFBibTeX XMLCite \textit{K. Abolpour} and \textit{M. M. Zahedi}, Filomat 35, No. 1, 251--270 (2021; Zbl 1499.68165) Full Text: DOI
Gaucher, Philippe Six model categories for directed homotopy. (English) Zbl 1496.18012 Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145-181 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18C35 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145--181 (2021; Zbl 1496.18012) Full Text: DOI arXiv Backlinks: MO MO
Gaucher, Philippe Homotopy theory of Moore flows. II. (English) Zbl 1484.18003 Extr. Math. 36, No. 2, 157-239 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18D20 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Extr. Math. 36, No. 2, 157--239 (2021; Zbl 1484.18003) Full Text: DOI arXiv
Culbertson, Jared; Guralnik, Dan P.; Stiller, Peter F. Edge erasures and chordal graphs. (English) Zbl 1481.05065 Electron. J. Graph Theory Appl. 9, No. 2, 409-418 (2021). MSC: 05C22 05C75 68R10 57Q10 51K05 62H30 PDFBibTeX XMLCite \textit{J. Culbertson} et al., Electron. J. Graph Theory Appl. 9, No. 2, 409--418 (2021; Zbl 1481.05065) Full Text: DOI arXiv
Khan, Imran; Ullah, Hakeem; AlSalman, Hussain; Fiza, Mehreen; Islam, Saeed; Shoaib, Muhammad; Raja, Muhammad Asif Zahoor; Gumaei, Abdu; Ikhlaq, Farkhanda Fractional analysis of MHD boundary layer flow over a stretching sheet in porous medium: a new stochastic method. (English) Zbl 1495.76132 J. Funct. Spaces 2021, Article ID 5844741, 19 p. (2021). MSC: 76W05 76S05 76M35 76M45 26A33 68T05 PDFBibTeX XMLCite \textit{I. Khan} et al., J. Funct. Spaces 2021, Article ID 5844741, 19 p. (2021; Zbl 1495.76132) Full Text: DOI
Passat, Nicolas; Ngo, Phuc; Kenmochi, Yukiko Homotopic digital rigid motion: an optimization approach on cellular complexes. (English) Zbl 1484.68265 Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 189-201 (2021). MSC: 68U03 54H30 55U10 68U10 PDFBibTeX XMLCite \textit{N. Passat} et al., Lect. Notes Comput. Sci. 12708, 189--201 (2021; Zbl 1484.68265) Full Text: DOI HAL
Bertrand, Gilles Completions, perforations and fillings. (English) Zbl 1484.68264 Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 137-151 (2021). MSC: 68U03 54H30 55P10 PDFBibTeX XMLCite \textit{G. Bertrand}, Lect. Notes Comput. Sci. 12708, 137--151 (2021; Zbl 1484.68264) Full Text: DOI
Wu, Zhengtian; Dai, Jinyu A review on deterministic annealing algorithms based on entropy constraints. (Chinese. English summary) Zbl 1488.68085 J. Suzhou Univ. Sci. Technol., Nat. Sci. 38, No. 2, 1-10 (2021). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{Z. Wu} and \textit{J. Dai}, J. Suzhou Univ. Sci. Technol., Nat. Sci. 38, No. 2, 1--10 (2021; Zbl 1488.68085) Full Text: DOI
Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas Cubical Agda: a dependently typed programming language with univalence and higher inductive types. (English) Zbl 1512.68058 J. Funct. Program. 31, Paper No. e8, 47 p. (2021). MSC: 68N18 55U35 PDFBibTeX XMLCite \textit{A. Vezzosi} et al., J. Funct. Program. 31, Paper No. e8, 47 p. (2021; Zbl 1512.68058) Full Text: DOI
Lupton, Gregory; Oprea, John; Scoville, Nicholas A. A fundamental group for digital images. (English) Zbl 1481.55008 J. Appl. Comput. Topol. 5, No. 2, 249-311 (2021). Reviewer: Dae-Woong Lee (Jeonju) MSC: 55Q99 57M05 68U10 68R99 54H30 PDFBibTeX XMLCite \textit{G. Lupton} et al., J. Appl. Comput. Topol. 5, No. 2, 249--311 (2021; Zbl 1481.55008) Full Text: DOI arXiv
Raussen, Martin Strictifying and taming directed paths in higher dimensional automata. (English) Zbl 1474.68204 Math. Struct. Comput. Sci. 31, No. 2, 193-213 (2021). MSC: 68Q85 55U10 68Q70 PDFBibTeX XMLCite \textit{M. Raussen}, Math. Struct. Comput. Sci. 31, No. 2, 193--213 (2021; Zbl 1474.68204) Full Text: DOI arXiv
Cucker, Felipe Smale’s 17th problem: advances and open directions. (English) Zbl 07402068 N. Z. J. Math. 52, 233-257 (2021). MSC: 65H20 65Y20 14-XX 68W30 PDFBibTeX XMLCite \textit{F. Cucker}, N. Z. J. Math. 52, 233--257 (2021; Zbl 07402068) Full Text: DOI
Labahn, George; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan Homotopy techniques for solving sparse column support determinantal polynomial systems. (English) Zbl 1495.13040 J. Complexity 66, Article ID 101557, 20 p. (2021). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13P15 68W30 12D10 65F40 PDFBibTeX XMLCite \textit{G. Labahn} et al., J. Complexity 66, Article ID 101557, 20 p. (2021; Zbl 1495.13040) Full Text: DOI arXiv
Zhang, Zhiguo; Wang, Yanying; Zhang, Conglei Strong homotopy in finite topological adjacency category. (English) Zbl 1507.55014 Topology Appl. 300, Article ID 107739, 13 p. (2021). Reviewer: Sang-Eon Han (Jeonju) MSC: 55P10 68U10 54H30 PDFBibTeX XMLCite \textit{Z. Zhang} et al., Topology Appl. 300, Article ID 107739, 13 p. (2021; Zbl 1507.55014) Full Text: DOI
Raussen, Martin Inessential directed maps and directed homotopy equivalences. (English) Zbl 1473.55005 Proc. R. Soc. Edinb., Sect. A, Math. 151, No. 4, 1383-1406 (2021). Reviewer: Philippe Gaucher (Paris) MSC: 55P10 55P60 55U99 68Q85 PDFBibTeX XMLCite \textit{M. Raussen}, Proc. R. Soc. Edinb., Sect. A, Math. 151, No. 4, 1383--1406 (2021; Zbl 1473.55005) Full Text: DOI arXiv
Sundara Krishnan, G. Sai; Syama, R. Algebraic invariants in abstract cellular complex. (English) Zbl 1471.54019 Result. Math. 76, No. 3, Paper No. 150, 29 p. (2021). Reviewer: Ege Özgür (Izmir) MSC: 54E99 55P10 54H30 68U03 PDFBibTeX XMLCite \textit{G. S. Sundara Krishnan} and \textit{R. Syama}, Result. Math. 76, No. 3, Paper No. 150, 29 p. (2021; Zbl 1471.54019) Full Text: DOI
Gaucher, Philippe Left properness of flows. (English) Zbl 1481.18027 Theory Appl. Categ. 37, 562-612 (2021). Reviewer: Jiří Rosický (Brno) MSC: 18N40 68Q85 55U35 PDFBibTeX XMLCite \textit{P. Gaucher}, Theory Appl. Categ. 37, 562--612 (2021; Zbl 1481.18027) Full Text: arXiv Link Backlinks: MO
Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1497.03032 Inf. Comput. 278, Article ID 104597, 22 p. (2021). Reviewer: Philippe Gaucher (Paris) MSC: 03B42 55U35 18N40 68M14 68Q85 PDFBibTeX XMLCite \textit{É. Goubault} et al., Inf. Comput. 278, Article ID 104597, 22 p. (2021; Zbl 1497.03032) Full Text: DOI arXiv Link
Ellis, Graham; Killeen, Kelvin Cohomology with local coefficients and knotted manifolds. (English) Zbl 1472.57004 J. Symb. Comput. 107, 299-321 (2021). Reviewer: Jonathan Hodgson (Swarthmore) MSC: 57K10 57N65 57Q70 68U05 57M10 PDFBibTeX XMLCite \textit{G. Ellis} and \textit{K. Killeen}, J. Symb. Comput. 107, 299--321 (2021; Zbl 1472.57004) Full Text: DOI arXiv
Torres-Giese, Enrique Bidirectional sequential motion planning. (English) Zbl 1464.55008 Bol. Soc. Mat. Mex., III. Ser. 27, No. 1, Paper No. 9, 16 p. (2021). Reviewer: José Calcines (La Laguna) MSC: 55M30 55S40 55P91 55R91 55S15 68T40 PDFBibTeX XMLCite \textit{E. Torres-Giese}, Bol. Soc. Mat. Mex., III. Ser. 27, No. 1, Paper No. 9, 16 p. (2021; Zbl 1464.55008) Full Text: DOI arXiv
Carranza, Daniel; Chang, Jonathan; Kapulkin, Chris; Sandford, Ryan 2-adjoint equivalences in homotopy type theory. (English) Zbl 1509.03051 Log. Methods Comput. Sci. 17, No. 1, Paper No. 3, 9 p. (2021). MSC: 03B38 55U35 03B35 68V20 PDFBibTeX XMLCite \textit{D. Carranza} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 3, 9 p. (2021; Zbl 1509.03051) Full Text: arXiv Link
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Exact algorithms for semidefinite programs with degenerate feasible set. (English) Zbl 1460.90128 J. Symb. Comput. 104, 942-959 (2021). MSC: 90C22 68W30 90C51 90C05 90C60 13P15 14P10 PDFBibTeX XMLCite \textit{D. Henrion} et al., J. Symb. Comput. 104, 942--959 (2021; Zbl 1460.90128) Full Text: DOI arXiv
Cadavid-Aguilar, Natalia; González, Jesús Effective topological complexity of orientable-surface groups. (English) Zbl 1498.55002 Topology Appl. 290, Article ID 107575, 26 p. (2021). MSC: 55M30 20F10 20J06 55N25 68T40 68Q42 PDFBibTeX XMLCite \textit{N. Cadavid-Aguilar} and \textit{J. González}, Topology Appl. 290, Article ID 107575, 26 p. (2021; Zbl 1498.55002) Full Text: DOI arXiv
Zapata, Cesar A. Ipanaque; González, Jesús Parametrised collision-free optimal motion planning algorithms in Euclidean spaces. arXiv:2103.14074 Preprint, arXiv:2103.14074 [cs.RO] (2021). MSC: 55R80 55M30 55P10 68T40 BibTeX Cite \textit{C. A. I. Zapata} and \textit{J. González}, ``Parametrised collision-free optimal motion planning algorithms in Euclidean spaces'', Preprint, arXiv:2103.14074 [cs.RO] (2021) Full Text: arXiv OA License
Kim, Jisu; Shin, Jaehyeok; Chazal, Frédéric; Rinaldo, Alessandro; Wasserman, Larry Homotopy reconstruction via the Čech complex and the Vietoris-Rips complex. (English) Zbl 07760183 Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 54, 19 p. (2020). MSC: 68U05 PDFBibTeX XMLCite \textit{J. Kim} et al., LIPIcs -- Leibniz Int. Proc. Inform. 164, Article 54, 19 p. (2020; Zbl 07760183) Full Text: DOI arXiv
Evans, Parker; Fasy, Brittany Terese; Wenk, Carola Combinatorial properties of self-overlapping curves and interior boundaries. (English) Zbl 07760170 Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 41, 17 p. (2020). MSC: 68U05 68U03 68-06 PDFBibTeX XMLCite \textit{P. Evans} et al., LIPIcs -- Leibniz Int. Proc. Inform. 164, Article 41, 17 p. (2020; Zbl 07760170) Full Text: DOI
Piceghello, Stefano Coherence for monoidal groupoids in HoTT. (English) Zbl 07756113 Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 8, 20 p. (2020). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{S. Piceghello}, LIPIcs -- Leibniz Int. Proc. Inform. 175, Article 8, 20 p. (2020; Zbl 07756113) Full Text: DOI
Pinyo, Gun; Kraus, Nicolai From cubes to twisted cubes via graph morphisms in type theory. (English) Zbl 07756110 Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 5, 18 p. (2020). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{G. Pinyo} and \textit{N. Kraus}, LIPIcs -- Leibniz Int. Proc. Inform. 175, Article 5, 18 p. (2020; Zbl 07756110) Full Text: DOI arXiv
Cavallo, Evan; Mörtberg, Anders; Swan, Andrew W. Unifying cubical models of univalent type theory. (English) Zbl 07650827 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 14, 17 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{E. Cavallo} et al., LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 14, 17 p. (2020; Zbl 07650827) Full Text: DOI
Telen, Simon; Van Barel, Marc; Verschelde, Jan Robust numerical tracking of one path of a polynomial homotopy on parallel shared memory computers. (English) Zbl 07635852 Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 563-582 (2020). MSC: 68W30 PDFBibTeX XMLCite \textit{S. Telen} et al., Lect. Notes Comput. Sci. 12291, 563--582 (2020; Zbl 07635852) Full Text: DOI arXiv
Ege, Ozgur; Karaca, Ismet Digital co-Hopf spaces. (English) Zbl 1499.55004 Filomat 34, No. 8, 2705-2711 (2020). MSC: 55Q05 54H30 68U03 68R01 PDFBibTeX XMLCite \textit{O. Ege} and \textit{I. Karaca}, Filomat 34, No. 8, 2705--2711 (2020; Zbl 1499.55004) Full Text: DOI
Dubey, Ved Prakash; Kumar, Rajnesh; Kumar, Devendra A hybrid analytical scheme for the numerical computation of time fractional computer virus propagation model and its stability analysis. (English) Zbl 1483.68022 Chaos Solitons Fractals 133, Article ID 109626, 10 p. (2020). MSC: 68M11 92D30 65H20 PDFBibTeX XMLCite \textit{V. P. Dubey} et al., Chaos Solitons Fractals 133, Article ID 109626, 10 p. (2020; Zbl 1483.68022) Full Text: DOI
Han, Sang-Eon Homotopic properties of \(KA\)-digitizations of \(n\)-dimensional Euclidean spaces. (English) Zbl 1488.54194 Hacet. J. Math. Stat. 49, No. 1, 236-253 (2020). MSC: 54H30 55P99 54A10 54C05 55R15 54C08 54F65 68U05 68U10 PDFBibTeX XMLCite \textit{S.-E. Han}, Hacet. J. Math. Stat. 49, No. 1, 236--253 (2020; Zbl 1488.54194) Full Text: DOI
Abdullahi, Muhammad Sirajo; Kumam, Poom; Abubakar, Jamilu; Garba, Isah Abor Coincidence and self-coincidence of maps between digital images. (English) Zbl 1476.54045 Topol. Methods Nonlinear Anal. 56, No. 2, 607-628 (2020). MSC: 54H25 54C56 68R10 68U10 PDFBibTeX XMLCite \textit{M. S. Abdullahi} et al., Topol. Methods Nonlinear Anal. 56, No. 2, 607--628 (2020; Zbl 1476.54045) Full Text: DOI
Ipanaque Zapata, Cesar A.; González, Jesús Multitasking collision-free optimal motion planning algorithms in Euclidean spaces. (English) Zbl 1465.55004 Discrete Math. Algorithms Appl. 12, No. 3, Article ID 2050040, 19 p. (2020). Reviewer: Stephan Mescher (Lepizig) MSC: 55R80 55M30 55P10 68T40 PDFBibTeX XMLCite \textit{C. A. Ipanaque Zapata} and \textit{J. González}, Discrete Math. Algorithms Appl. 12, No. 3, Article ID 2050040, 19 p. (2020; Zbl 1465.55004) Full Text: DOI arXiv
Peters, James F. Ribbon complexes with approximate descriptive proximities. Ribbon & Vortex nerves, Betti numbers and planar divisions. (English) Zbl 1460.54017 Bull. Allahabad Math. Soc. 35, No. 1, 31-53 (2020). Reviewer: Dieter Leseberg (Berlin) MSC: 54E05 55R40 68U05 54H30 55P15 PDFBibTeX XMLCite \textit{J. F. Peters}, Bull. Allahabad Math. Soc. 35, No. 1, 31--53 (2020; Zbl 1460.54017) Full Text: arXiv
Erickson, Jeff; Wang, Yipu Topologically trivial closed walks in directed surface graphs. (English) Zbl 1466.05049 Discrete Comput. Geom. 64, No. 4, 1253-1294 (2020). MSC: 05C10 05C85 05C20 57M15 68U03 68Q17 PDFBibTeX XMLCite \textit{J. Erickson} and \textit{Y. Wang}, Discrete Comput. Geom. 64, No. 4, 1253--1294 (2020; Zbl 1466.05049) Full Text: DOI arXiv Link
Duff, Timothy; Ruddy, Michael Numerical equality tests for rational maps and signatures of curves. (English) Zbl 07300066 Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 154-161 (2020). MSC: 68W30 PDFBibTeX XMLCite \textit{T. Duff} and \textit{M. Ruddy}, in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 154--161 (2020; Zbl 07300066) Full Text: DOI
Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris A higher structure identity principle. (English) Zbl 1498.03027 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 53-66 (2020). MSC: 03B38 55U35 03F50 18N45 68Q60 PDFBibTeX XMLCite \textit{B. Ahrens} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 53--66 (2020; Zbl 1498.03027) Full Text: DOI arXiv
Ipanaque Zapata, Cesar A.; González, Jesús Sequential collision-free optimal motion planning algorithms in punctured Euclidean spaces. (English) Zbl 1454.55017 Bull. Aust. Math. Soc. 102, No. 3, 506-516 (2020). Reviewer: Stephan Mescher (Lepizig) MSC: 55R80 55P10 55M30 68T40 PDFBibTeX XMLCite \textit{C. A. Ipanaque Zapata} and \textit{J. González}, Bull. Aust. Math. Soc. 102, No. 3, 506--516 (2020; Zbl 1454.55017) Full Text: DOI arXiv
Ranganeni, Vinitha; Chintalapudi, Sahit; Salzman, Oren; Likhachev, Maxim Effective footstep planning using homotopy-class guidance. (English) Zbl 1493.68358 Artif. Intell. 286, Article ID 103346, 14 p. (2020). MSC: 68T40 55N31 68T20 PDFBibTeX XMLCite \textit{V. Ranganeni} et al., Artif. Intell. 286, Article ID 103346, 14 p. (2020; Zbl 1493.68358) Full Text: DOI arXiv
Adamaszek, Michał; Adams, Henry; Gasparovic, Ellen; Gommel, Maria; Purvine, Emilie; Sazdanovic, Radmila; Wang, Bei; Wang, Yusu; Ziegelmeier, Lori On homotopy types of Vietoris-Rips complexes of metric gluings. (English) Zbl 1455.55005 J. Appl. Comput. Topol. 4, No. 3, 425-454 (2020). Reviewer: Yuichi Ike (Kawasaki) MSC: 55N31 55U10 68T09 55P15 05E45 PDFBibTeX XMLCite \textit{M. Adamaszek} et al., J. Appl. Comput. Topol. 4, No. 3, 425--454 (2020; Zbl 1455.55005) Full Text: DOI arXiv
İs, Melih; Karaca, İsmet The higher topological complexity in digital images. (English) Zbl 1453.55001 Appl. Gen. Topol. 21, No. 2, 305-325 (2020). Reviewer: Stephan Mescher (Lepizig) MSC: 55M30 68U05 68U10 68T40 62H35 PDFBibTeX XMLCite \textit{M. İs} and \textit{İ. Karaca}, Appl. Gen. Topol. 21, No. 2, 305--325 (2020; Zbl 1453.55001) Full Text: Link
Cinar, Ismet; Ege, Ozgur; Karaca, Ismet The digital smash product. (English) Zbl 1477.55011 Electron. Res. Arch. 28, No. 1, 459-469 (2020). Reviewer: Sang-Eon Han (Jeonju) MSC: 55P99 55P10 54H30 68U03 PDFBibTeX XMLCite \textit{I. Cinar} et al., Electron. Res. Arch. 28, No. 1, 459--469 (2020; Zbl 1477.55011) Full Text: DOI
Belton, Robin; Brooks, Robyn; Ebli, Stefania; Fajstrup, Lisbeth; Fasy, Brittany Terese; Ray, Catherine; Sanderson, Nicole; Vidaurre, Elizabeth Towards directed collapsibility (research). (English) Zbl 1440.55013 Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020). MSC: 55P99 68Q85 68N30 55P10 57Q05 57Q10 PDFBibTeX XMLCite \textit{R. Belton} et al., Assoc. Women Math. Ser. 21, 255--271 (2020; Zbl 1440.55013) Full Text: DOI arXiv
Gaucher, Philippe Flows revisited: the model category structure and its left determinedness. (English. French summary) Zbl 1452.18010 Cah. Topol. Géom. Différ. Catég. 61, No. 2, 208-226 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18C35 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Cah. Topol. Géom. Différ. Catég. 61, No. 2, 208--226 (2020; Zbl 1452.18010) Full Text: arXiv Link
Goubault, Éric; Mimram, Samuel Directed homotopy in non-positively curved spaces. (English) Zbl 1496.68225 Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020). Reviewer: Philippe Gaucher (Paris) MSC: 68Q85 18D15 54E35 55U35 68Q42 68Q55 PDFBibTeX XMLCite \textit{É. Goubault} and \textit{S. Mimram}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020; Zbl 1496.68225) Full Text: arXiv Link
Calk, Cameron; Goubault, Eric; Malbos, Philippe Time-reversal homotopical properties of concurrent systems. (English) Zbl 1440.18009 Homology Homotopy Appl. 22, No. 2, 31-57 (2020). MSC: 18C40 55U99 68Q85 PDFBibTeX XMLCite \textit{C. Calk} et al., Homology Homotopy Appl. 22, No. 2, 31--57 (2020; Zbl 1440.18009) Full Text: DOI arXiv
Forssell, Henrik; Robbestad Gylterud, Håkon; Spivak, David I. Type theoretical databases. (English) Zbl 1474.68100 J. Log. Comput. 30, No. 1, 217-238 (2020). MSC: 68P15 03B38 18N50 55U35 PDFBibTeX XMLCite \textit{H. Forssell} et al., J. Log. Comput. 30, No. 1, 217--238 (2020; Zbl 1474.68100) Full Text: DOI
Lee, Dae-Woong Digital H-spaces and actions in the pointed digital homotopy category. (English) Zbl 1434.68592 Appl. Algebra Eng. Commun. Comput. 31, No. 2, 149-169 (2020). MSC: 68U03 52C45 55P45 PDFBibTeX XMLCite \textit{D.-W. Lee}, Appl. Algebra Eng. Commun. Comput. 31, No. 2, 149--169 (2020; Zbl 1434.68592) Full Text: DOI