Àlvarez Montaner, Josep; Sohrabi, Fatemeh Bass numbers of local cohomology of cover ideals of graphs. (English) Zbl 07347276 J. Algebr. Comb. 53, No. 2, 263-297 (2021). MSC: 13D45 13C11 05C38 05C40 PDF BibTeX XML Cite \textit{J. Àlvarez Montaner} and \textit{F. Sohrabi}, J. Algebr. Comb. 53, No. 2, 263--297 (2021; Zbl 07347276) Full Text: DOI
Tohǎneanu, Ştefan O.; Xie, Yu On the Geramita-Harbourne-Migliore conjecture. (English) Zbl 07344658 Trans. Am. Math. Soc. 374, No. 6, 4059-4073 (2021). MSC: 13D02 14N20 52C35 14Q99 PDF BibTeX XML Cite \textit{Ş. O. Tohǎneanu} and \textit{Y. Xie}, Trans. Am. Math. Soc. 374, No. 6, 4059--4073 (2021; Zbl 07344658) Full Text: DOI
Hara, Wahei On the Abuaf-Ueda flop via non-commutative crepant resolutions. (English) Zbl 07342622 SIGMA, Symmetry Integrability Geom. Methods Appl. 17, Paper 044, 22 p. (2021). MSC: 14F05 PDF BibTeX XML Cite \textit{W. Hara}, SIGMA, Symmetry Integrability Geom. Methods Appl. 17, Paper 044, 22 p. (2021; Zbl 07342622) Full Text: DOI
Iwen, Mark A.; Krahmer, Felix; Krause-Solberg, Sara; Maly, Johannes On recovery guarantees for one-bit compressed sensing on manifolds. (English) Zbl 07341298 Discrete Comput. Geom. 65, No. 4, 953-998 (2021). MSC: 94A12 94A14 90C25 PDF BibTeX XML Cite \textit{M. A. Iwen} et al., Discrete Comput. Geom. 65, No. 4, 953--998 (2021; Zbl 07341298) Full Text: DOI
Sun, Yijie; Xi, Guang; Sun, Zhongguo A generic smoothed wall boundary in multi-resolution particle method for fluid-structure interaction problem. (English) Zbl 07340334 Comput. Methods Appl. Mech. Eng. 378, Article ID 113726, 27 p. (2021). MSC: 76 74 PDF BibTeX XML Cite \textit{Y. Sun} et al., Comput. Methods Appl. Mech. Eng. 378, Article ID 113726, 27 p. (2021; Zbl 07340334) Full Text: DOI
Lei, Yiming Metric dimensions of metric spaces over integers. (English) Zbl 07340194 Quaest. Math. 44, No. 2, 187-198 (2021). MSC: 51F 05 PDF BibTeX XML Cite \textit{Y. Lei}, Quaest. Math. 44, No. 2, 187--198 (2021; Zbl 07340194) Full Text: DOI
Kunis, Stefan; Nagel, Dominik On the condition number of Vandermonde matrices with pairs of nearly-colliding nodes. (English) Zbl 07340133 Numer. Algorithms 87, No. 1, 473-496 (2021); corrigendum ibid. 87, No. 1, 497 (2021). MSC: 15A45 15A18 65T40 42A15 PDF BibTeX XML Cite \textit{S. Kunis} and \textit{D. Nagel}, Numer. Algorithms 87, No. 1, 473--496 (2021; Zbl 07340133) Full Text: DOI
Lei, Nuo; Cheng, Juan; Shu, Chi-Wang A high order positivity-preserving conservative WENO remapping method on 2D quadrilateral meshes. (English) Zbl 07337779 Comput. Methods Appl. Mech. Eng. 373, Article ID 113497, 29 p. (2021). MSC: 76 65 PDF BibTeX XML Cite \textit{N. Lei} et al., Comput. Methods Appl. Mech. Eng. 373, Article ID 113497, 29 p. (2021; Zbl 07337779) Full Text: DOI
Elmanto, Elden; Hoyois, Marc; Iwasa, Ryomei; Kelly, Shane Cdh descent, cdarc descent, and Milnor excision. (English) Zbl 07335443 Math. Ann. 379, No. 3-4, 1011-1045 (2021). MSC: 14F42 14A15 19D55 14E15 14F20 PDF BibTeX XML Cite \textit{E. Elmanto} et al., Math. Ann. 379, No. 3--4, 1011--1045 (2021; Zbl 07335443) Full Text: DOI
Martín-Merchán, Lucía; Rojo, Juan Resolution of four-dimensional symplectic orbifolds. (English) Zbl 07334060 Ann. Global Anal. Geom. 59, No. 3, 385-416 (2021). MSC: 57R17 57R18 53C25 53D35 PDF BibTeX XML Cite \textit{L. Martín-Merchán} and \textit{J. Rojo}, Ann. Global Anal. Geom. 59, No. 3, 385--416 (2021; Zbl 07334060) Full Text: DOI
Chávez-Martínez, Enrique; Duarte, Daniel; Giles Flores, Arturo A higher-order tangent map and a conjecture on the higher Nash blowup of curves. (English) Zbl 07333902 Math. Z. 297, No. 3-4, 1767-1791 (2021). MSC: 14B05 14M25 32S45 14E15 14Q10 14Q15 52B20 PDF BibTeX XML Cite \textit{E. Chávez-Martínez} et al., Math. Z. 297, No. 3--4, 1767--1791 (2021; Zbl 07333902) Full Text: DOI
Im, Mee Seong; Scrimshaw, Travis The regularity of almost-commuting partial Grothendieck-Springer resolutions and parabolic analogs of Calogero-Moser varieties. (English) Zbl 07332561 J. Lie Theory 31, No. 1, 127-148 (2021). MSC: 14M10 53D20 17B08 14L30 14L24 20G20 PDF BibTeX XML Cite \textit{M. S. Im} and \textit{T. Scrimshaw}, J. Lie Theory 31, No. 1, 127--148 (2021; Zbl 07332561) Full Text: Link
Rolin, Jean-Philippe; Vlah, Domagoj; Županović, Vesna Oscillatory integrals and fractal dimension. (English) Zbl 07332548 Bull. Sci. Math. 168, Article ID 102972, 31 p. (2021). Reviewer: Vladimir P. Kostov (Nice) MSC: 32S45 42B20 28A75 34C15 PDF BibTeX XML Cite \textit{J.-P. Rolin} et al., Bull. Sci. Math. 168, Article ID 102972, 31 p. (2021; Zbl 07332548) Full Text: DOI
Wang, Guangyu; Xu, Gang; Wu, Qing; Wu, Xundong Two-stage point cloud super resolution with local interpolation and readjustment via outer-product neural network. (English) Zbl 07331548 J. Syst. Sci. Complex. 34, No. 1, 68-82 (2021). MSC: 68 PDF BibTeX XML Cite \textit{G. Wang} et al., J. Syst. Sci. Complex. 34, No. 1, 68--82 (2021; Zbl 07331548) Full Text: DOI
Viu-Sos, Juan A semi-canonical reduction for periods of Kontsevich-Zagier. (English) Zbl 07330399 Int. J. Number Theory 17, No. 1, 147-174 (2021). MSC: 14E15 14P10 11J81 PDF BibTeX XML Cite \textit{J. Viu-Sos}, Int. J. Number Theory 17, No. 1, 147--174 (2021; Zbl 07330399) Full Text: DOI
Morales-Técotl, Hugo A.; Rastgoo, Saeed; Ruelas, Juan C. Effective dynamics of the Schwarzschild black hole interior with inverse triad corrections. (English) Zbl 1457.83038 Ann. Phys. 426, Article ID 168401, 23 p. (2021). MSC: 83C57 83C45 PDF BibTeX XML Cite \textit{H. A. Morales-Técotl} et al., Ann. Phys. 426, Article ID 168401, 23 p. (2021; Zbl 1457.83038) Full Text: DOI
Barlet, Daniel Erratum to: “The sheaf \(\alpha^\bullet_X\)”. (English) Zbl 07328589 J. Singul. 23, 15-18 (2021). MSC: 32C15 32C30 32Sxx 32S45 PDF BibTeX XML Cite \textit{D. Barlet}, J. Singul. 23, 15--18 (2021; Zbl 07328589) Full Text: DOI
García, Hernán; Hernández, Camilo; Junca, Mauricio; Velasco, Mauricio Approximate super-resolution of positive measures in all dimensions. (English) Zbl 07328474 Appl. Comput. Harmon. Anal. 52, 251-278 (2021). MSC: 94A12 90C25 52A22 PDF BibTeX XML Cite \textit{H. García} et al., Appl. Comput. Harmon. Anal. 52, 251--278 (2021; Zbl 07328474) Full Text: DOI
Li, Weilin; Liao, Wenjing Stable super-resolution limit and smallest singular value of restricted Fourier matrices. (English) Zbl 07328411 Appl. Comput. Harmon. Anal. 51, 118-156 (2021). MSC: 42A16 42A10 42A15 94A08 94A15 94A20 15A42 94A12 PDF BibTeX XML Cite \textit{W. Li} and \textit{W. Liao}, Appl. Comput. Harmon. Anal. 51, 118--156 (2021; Zbl 07328411) Full Text: DOI
Eftekhari, Armin; Tanner, Jared; Thompson, Andrew; Toader, Bogdan; Tyagi, Hemant Sparse non-negative super-resolution – simplified and stabilised. (English) Zbl 07328398 Appl. Comput. Harmon. Anal. 50, 216-280 (2021). MSC: 94A12 94A20 60A10 65F15 PDF BibTeX XML Cite \textit{A. Eftekhari} et al., Appl. Comput. Harmon. Anal. 50, 216--280 (2021; Zbl 07328398) Full Text: DOI
Calderbank, David M. J.; Slovák, Jan; Souček, Vladimír Subriemannian metrics and the metrizability of parabolic geometries. (English) Zbl 07328177 J. Geom. Anal. 31, No. 2, 1671-1702 (2021). MSC: 53B15 53C17 14M15 17B10 22E46 53C15 53C30 58A32 58J70 93C10 PDF BibTeX XML Cite \textit{D. M. J. Calderbank} et al., J. Geom. Anal. 31, No. 2, 1671--1702 (2021; Zbl 07328177) Full Text: DOI
Bakker, Benjamin; Lehn, Christian A global Torelli theorem for singular symplectic varieties. (English) Zbl 07328127 J. Eur. Math. Soc. (JEMS) 23, No. 3, 949-994 (2021). MSC: 32G13 53C26 14B07 14J10 32S45 32S15 PDF BibTeX XML Cite \textit{B. Bakker} and \textit{C. Lehn}, J. Eur. Math. Soc. (JEMS) 23, No. 3, 949--994 (2021; Zbl 07328127) Full Text: DOI
Feldman, Moran; Svensson, Ola; Zenklusen, Rico Online contention resolution schemes with applications to Bayesian selection problems. (English) Zbl 07327267 SIAM J. Comput. 50, No. 2, 255-300 (2021). MSC: 68W27 68R05 68W40 PDF BibTeX XML Cite \textit{M. Feldman} et al., SIAM J. Comput. 50, No. 2, 255--300 (2021; Zbl 07327267) Full Text: DOI
Reguera, Ana J. Corrigendum to: “A curve selection lemma in spaces of arcs and the image of the Nash map”. (English) Zbl 07327262 Compos. Math. 157, No. 3, 641-648 (2021). MSC: 14A15 14B05 32S05 32S45 PDF BibTeX XML Cite \textit{A. J. Reguera}, Compos. Math. 157, No. 3, 641--648 (2021; Zbl 07327262) Full Text: DOI
van der Hoeven, Joris; Lecerf, Grégoire On the complexity exponent of polynomial system solving. (English) Zbl 1457.14002 Found. Comput. Math. 21, No. 1, 1-57 (2021). Reviewer: Vladimir P. Kostov (Nice) MSC: 14-04 14Q20 14B05 68W30 PDF BibTeX XML Cite \textit{J. van der Hoeven} and \textit{G. Lecerf}, Found. Comput. Math. 21, No. 1, 1--57 (2021; Zbl 1457.14002) Full Text: DOI
Koutsoukou-Argyraki, Angeliki Formalising mathematics – in praxis; a mathematician’s first experiences with Isabelle/HOL and the why and how of getting started. (English) Zbl 07323056 Jahresber. Dtsch. Math.-Ver. 123, No. 1, 3-26 (2021). MSC: 03B35 68V15 68V20 68V35 PDF BibTeX XML Cite \textit{A. Koutsoukou-Argyraki}, Jahresber. Dtsch. Math.-Ver. 123, No. 1, 3--26 (2021; Zbl 07323056) Full Text: DOI
Beyersdorff, Olaf; Blinkhorn, Joshua A simple proof of QBF hardness. (English) Zbl 07319596 Inf. Process. Lett. 168, Article ID 106093, 6 p. (2021). MSC: 68Q PDF BibTeX XML Cite \textit{O. Beyersdorff} and \textit{J. Blinkhorn}, Inf. Process. Lett. 168, Article ID 106093, 6 p. (2021; Zbl 07319596) Full Text: DOI
Leslie, Spencer An analogue of the Grothendieck-Springer resolution for symmetric spaces. (English) Zbl 07319555 Algebra Number Theory 15, No. 1, 69-107 (2021). MSC: 20G05 17B08 32S45 PDF BibTeX XML Cite \textit{S. Leslie}, Algebra Number Theory 15, No. 1, 69--107 (2021; Zbl 07319555) Full Text: DOI
Yang, Yiling; Fan, Engui Soliton resolution for the short-pulse equation. (English) Zbl 07319446 J. Differ. Equations 280, 644-689 (2021). MSC: 35Q51 35Q15 37K15 35C20 78A60 35L20 35B40 35B35 PDF BibTeX XML Cite \textit{Y. Yang} and \textit{E. Fan}, J. Differ. Equations 280, 644--689 (2021; Zbl 07319446) Full Text: DOI
Fernández, Marisa; Fino, Anna; Kovalev, Alexei; Muñoz, Vicente A compact \(\mathrm G_2\)-calibrated manifold with first Betti number \(b_1 = 1\). (English) Zbl 07319252 Adv. Math. 381, Article ID 107623, 38 p. (2021). MSC: 53C38 53C15 17B30 22E25 PDF BibTeX XML Cite \textit{M. Fernández} et al., Adv. Math. 381, Article ID 107623, 38 p. (2021; Zbl 07319252) Full Text: DOI
Lochab, Ruchika; Kumar, Vivek An improved flux limiter using fuzzy modifiers for hyperbolic conservation laws. (English) Zbl 07318207 Math. Comput. Simul. 181, 16-37 (2021). MSC: 65T 35Q 35L 65M PDF BibTeX XML Cite \textit{R. Lochab} and \textit{V. Kumar}, Math. Comput. Simul. 181, 16--37 (2021; Zbl 07318207) Full Text: DOI
Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume Modular verification of programs with effects and effects handlers. (English) Zbl 07317639 Formal Asp. Comput. 33, No. 1, 127-150 (2021). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{T. Letan} et al., Formal Asp. Comput. 33, No. 1, 127--150 (2021; Zbl 07317639) Full Text: DOI
Isobe, Ryotaro The structure of Ulrich ideals in hypersurfaces. (English) Zbl 1455.13025 J. Pure Appl. Algebra 225, No. 6, Article ID 106626, 21 p. (2021). MSC: 13D02 13H10 13H15 PDF BibTeX XML Cite \textit{R. Isobe}, J. Pure Appl. Algebra 225, No. 6, Article ID 106626, 21 p. (2021; Zbl 1455.13025) Full Text: DOI
Drămnesc, Isabela; Jebelean, Tudor Synthesis of sorting algorithms using multisets in Theorema. (English) Zbl 1455.68245 J. Log. Algebr. Methods Program. 119, Article ID 100635, 26 p. (2021). MSC: 68V15 68P10 PDF BibTeX XML Cite \textit{I. Drămnesc} and \textit{T. Jebelean}, J. Log. Algebr. Methods Program. 119, Article ID 100635, 26 p. (2021; Zbl 1455.68245) Full Text: DOI
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. (English) Zbl 07316066 J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021). MSC: 68W30 68V15 PDF BibTeX XML Cite \textit{E. Ábrahám} et al., J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021; Zbl 07316066) Full Text: DOI
Gul, Faruk; Pesendorfer, Wolfgang Evaluating ambiguous random variables from Choquet to maxmin expected utility. (English) Zbl 07314473 J. Econ. Theory 192, Article ID 105129, 28 p. (2021). MSC: 91B16 PDF BibTeX XML Cite \textit{F. Gul} and \textit{W. Pesendorfer}, J. Econ. Theory 192, Article ID 105129, 28 p. (2021; Zbl 07314473) Full Text: DOI
Mehta, Ranjana; Saha, Joydip; Sengupta, Indranath Moh’s example of algebroid space curves. (English) Zbl 1457.13027 J. Symb. Comput. 104, 168-182 (2021). MSC: 13C40 13P10 14H50 13D02 PDF BibTeX XML Cite \textit{R. Mehta} et al., J. Symb. Comput. 104, 168--182 (2021; Zbl 1457.13027) Full Text: DOI
Joyce, Dominic; Karigiannis, Spiro A new construction of compact torsion-free \(G_2\)-manifolds by gluing families of Eguchi-Hanson spaces. (English) Zbl 07311279 J. Differ. Geom. 117, No. 2, 255-343 (2021). Reviewer: Mohammed El Aïdi (Bogotá) MSC: 53C29 53C27 PDF BibTeX XML Cite \textit{D. Joyce} and \textit{S. Karigiannis}, J. Differ. Geom. 117, No. 2, 255--343 (2021; Zbl 07311279) Full Text: DOI Euclid
Batenkov, Dmitry; Diederichs, Benedikt; Goldman, Gil; Yomdin, Yosef The spectral properties of Vandermonde matrices with clustered nodes. (English) Zbl 1457.15010 Linear Algebra Appl. 609, 37-72 (2021). MSC: 15A18 65T40 65F20 PDF BibTeX XML Cite \textit{D. Batenkov} et al., Linear Algebra Appl. 609, 37--72 (2021; Zbl 1457.15010) Full Text: DOI
Perlman, Michael; Raicu, Claudiu Hodge ideals for the determinant hypersurface. (English) Zbl 1457.14108 Sel. Math., New Ser. 27, No. 1, Paper No. 1, 22 p. (2021). MSC: 14M12 14J17 14E15 13D45 PDF BibTeX XML Cite \textit{M. Perlman} and \textit{C. Raicu}, Sel. Math., New Ser. 27, No. 1, Paper No. 1, 22 p. (2021; Zbl 1457.14108) Full Text: DOI
Myers, John Linear resolutions over Koszul complexes and Koszul homology algebras. (English) Zbl 07305011 J. Algebra 572, 163-194 (2021). MSC: 13D02 16E05 16E45 PDF BibTeX XML Cite \textit{J. Myers}, J. Algebra 572, 163--194 (2021; Zbl 07305011) Full Text: DOI
Bigdeli, Mina; Yazdan Pour, Ali Akbar Multigraded minimal free resolutions of simplicial subclutters. (English) Zbl 1457.13044 J. Comb. Theory, Ser. A 178, Article ID 105339, 29 p. (2021). Reviewer: A. Nikseresht (Shiraz) MSC: 13F55 13D02 05E40 PDF BibTeX XML Cite \textit{M. Bigdeli} and \textit{A. A. Yazdan Pour}, J. Comb. Theory, Ser. A 178, Article ID 105339, 29 p. (2021; Zbl 1457.13044) Full Text: DOI
Minatel, Diego; Ferreira, Vinícius; de Andrade Lopes, Alneu Local-entity resolution for building location-based social networks by using stay points. (English) Zbl 07300904 Theor. Comput. Sci. 851, 62-76 (2021). MSC: 68Q PDF BibTeX XML Cite \textit{D. Minatel} et al., Theor. Comput. Sci. 851, 62--76 (2021; Zbl 07300904) Full Text: DOI
Chung, Kiryong; Yoon, Youngho Intersection cohomology of pure sheaf spaces using Kirwan’s desingularization. (English) Zbl 1456.14015 J. Geom. Phys. 160, Article ID 103992, 15 p. (2021). Reviewer: Edoardo Ballico (Povo) MSC: 14D20 14J60 14C30 14F06 14H10 14E15 14L24 14N35 32S35 PDF BibTeX XML Cite \textit{K. Chung} and \textit{Y. Yoon}, J. Geom. Phys. 160, Article ID 103992, 15 p. (2021; Zbl 1456.14015) Full Text: DOI
Cluckers, Raf; Friedland, Omer; Yomdin, Yosef Doubling coverings via resolution of singularities and preparation. (English) Zbl 1457.14031 Commun. Contemp. Math. 23, No. 2, Article ID 2050018, 23 p. (2021). Reviewer: Fujita Masato (Kure) MSC: 14E15 14P10 03C64 32B20 28D20 58K20 14G05 37C05 PDF BibTeX XML Cite \textit{R. Cluckers} et al., Commun. Contemp. Math. 23, No. 2, Article ID 2050018, 23 p. (2021; Zbl 1457.14031) Full Text: DOI
Bei, Francesco; Piazza, Paolo A note on higher Todd genera of complex manifolds. (English) Zbl 07297940 Rend. Mat. Appl., VII. Ser. 42, No. 1, 49-60 (2021). Reviewer: Joonhyung Kim (Jeonju) MSC: 32L10 19L10 32Q55 57R20 PDF BibTeX XML Cite \textit{F. Bei} and \textit{P. Piazza}, Rend. Mat. Appl., VII. Ser. 42, No. 1, 49--60 (2021; Zbl 07297940) Full Text: Link
McCullough, Jason On the maximal graded shifts of ideals and modules. (English) Zbl 1452.13015 J. Algebra 571, 121-133 (2021). MSC: 13D02 13D05 13C99 PDF BibTeX XML Cite \textit{J. McCullough}, J. Algebra 571, 121--133 (2021; Zbl 1452.13015) Full Text: DOI
Zhou, Bo; Chiang, Yi-Jen; Yap, Chee Soft subdivision motion planning for complex planar robots. (English) Zbl 07290980 Comput. Geom. 92, Article ID 101683, 14 p. (2021). MSC: 68 68T PDF BibTeX XML Cite \textit{B. Zhou} et al., Comput. Geom. 92, Article ID 101683, 14 p. (2021; Zbl 07290980) Full Text: DOI
Hemelsoet, Nicolas; Voorhaar, Rik A computer algorithm for the BGG resolution. (English) Zbl 07286503 J. Algebra 569, 758-783 (2021). MSC: 17-08 17B10 17B56 PDF BibTeX XML Cite \textit{N. Hemelsoet} and \textit{R. Voorhaar}, J. Algebra 569, 758--783 (2021; Zbl 07286503) Full Text: DOI
Mariani, Manuel S.; Palazzi, María J.; Solé-Ribalta, Albert; Borge-Holthoefer, Javier; Tessone, Claudio J. Absence of a resolution limit in in-block nestedness. (English) Zbl 1453.90039 Commun. Nonlinear Sci. Numer. Simul. 94, Article ID 105545, 15 p. (2021). MSC: 90B10 PDF BibTeX XML Cite \textit{M. S. Mariani} et al., Commun. Nonlinear Sci. Numer. Simul. 94, Article ID 105545, 15 p. (2021; Zbl 1453.90039) Full Text: DOI
Ebrahimi, Mehran; Bohun, Sean Single image super-resolution via non-local normalized graph Laplacian regularization: a self-similarity tribute. (English) Zbl 07274911 Commun. Nonlinear Sci. Numer. Simul. 93, Article ID 105508, 13 p. (2021). MSC: 94A08 05C50 68U10 PDF BibTeX XML Cite \textit{M. Ebrahimi} and \textit{S. Bohun}, Commun. Nonlinear Sci. Numer. Simul. 93, Article ID 105508, 13 p. (2021; Zbl 07274911) Full Text: DOI
Aramideh, Nasibeh; Hashemi, Amir; Seiler, Werner M. Computing the resolution regularity of bi-homogeneous ideals. (English) Zbl 07274359 J. Symb. Comput. 103, 141-156 (2021). MSC: 13D02 13P10 68W30 PDF BibTeX XML Cite \textit{N. Aramideh} et al., J. Symb. Comput. 103, 141--156 (2021; Zbl 07274359) Full Text: DOI
Rump, Wolfgang The acyclic closure of an exact category and its triangulation. (English) Zbl 1451.18022 J. Algebra 565, 402-440 (2021). Reviewer: Panyue Zhou (Yueyang) MSC: 18E10 18G80 18G35 18E35 16G50 16H20 PDF BibTeX XML Cite \textit{W. Rump}, J. Algebra 565, 402--440 (2021; Zbl 1451.18022) Full Text: DOI
Schober, Bernd Idealistic exponents: tangent cone, ridge, characteristic polyhedra. (English) Zbl 1456.14007 J. Algebra 565, 353-401 (2021). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 14B05 14E15 PDF BibTeX XML Cite \textit{B. Schober}, J. Algebra 565, 353--401 (2021; Zbl 1456.14007) Full Text: DOI
Dochtermann, Anton Exposed circuits, linear quotients, and chordal clutters. (English) Zbl 1448.05236 J. Comb. Theory, Ser. A 177, Article ID 105327, 22 p. (2021). MSC: 05E45 05E40 PDF BibTeX XML Cite \textit{A. Dochtermann}, J. Comb. Theory, Ser. A 177, Article ID 105327, 22 p. (2021; Zbl 1448.05236) Full Text: DOI
Jackson, Marcel; Stokes, Tim Override and update. (English) Zbl 1454.08004 J. Pure Appl. Algebra 225, No. 3, Article ID 106532, 17 p. (2021). MSC: 08A70 03B35 20M20 03B70 68V15 PDF BibTeX XML Cite \textit{M. Jackson} and \textit{T. Stokes}, J. Pure Appl. Algebra 225, No. 3, Article ID 106532, 17 p. (2021; Zbl 1454.08004) Full Text: DOI
Ghys, Étienne; Simon, Christopher-Lloyd On the topology of a real analytic curve in the neighborhood of a singular point. (English) Zbl 07346991 Crovisier, Sylvain (ed.) et al., Some aspects of the theory of dynamical systems: a tribute to Jean-Christophe Yoccoz. Volume I. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-916-6/pbk). Astérisque 415, 1-33 (2020). MSC: 37Axx 37Bxx 37Cxx 37Dxx 37Exx 37Jxx PDF BibTeX XML Cite \textit{É. Ghys} and \textit{C.-L. Simon}, Astérisque 415, 1--33 (2020; Zbl 07346991) Full Text: DOI
Yang, Xiao; Zhou, Lihua; Du, Guowang; Wang, Lizhen; Huang, Yaqun Multi-resolution spatial event prediction via emotional features in social media. (English) Zbl 07346384 J. Nonlinear Convex Anal. 21, No. 7, Spec. Iss., 1555-1566 (2020). MSC: 97R30 65Y04 PDF BibTeX XML Cite \textit{X. Yang} et al., J. Nonlinear Convex Anal. 21, No. 7, 1555--1566 (2020; Zbl 07346384) Full Text: Link
Hafezi, Rasool; Keshavarz, Mohammad Hossein A functorial approach to categorical resolutions. (English) Zbl 07343943 Sci. China, Math. 63, No. 10, 2005-2016 (2020). MSC: 18E30 16E35 16G10 14E15 PDF BibTeX XML Cite \textit{R. Hafezi} and \textit{M. H. Keshavarz}, Sci. China, Math. 63, No. 10, 2005--2016 (2020; Zbl 07343943) Full Text: DOI
Zhu, Xiaowen; Hou, Yu; Liu, Yuhai; Wu, Kejan Application of deep learning method in high resolution processing of significant wave height. (Chinese. English summary) Zbl 07339461 Period. Ocean Univ. China 50, No. 11, 22-29 (2020). MSC: 68T07 86-11 86A05 PDF BibTeX XML Cite \textit{X. Zhu} et al., Period. Ocean Univ. China 50, No. 11, 22--29 (2020; Zbl 07339461) Full Text: DOI
Zeng, Yuedi; Lin, Lifang \(\mathcal{C}\)-resolutions and \(\mathcal{C}\)-dimensions. (Chinese. English summary) Zbl 07339371 Math. Pract. Theory 50, No. 18, 167-173 (2020). MSC: 16E05 16E10 PDF BibTeX XML Cite \textit{Y. Zeng} and \textit{L. Lin}, Math. Pract. Theory 50, No. 18, 167--173 (2020; Zbl 07339371)
Bian, Jiaqi; Yao, Zhijun; Hu, Xuelong; Chen, Shuhan Low-resolution face recognition based on local ternary pattern and local principal component analysis. (Chinese. English summary) Zbl 07339219 J. Yangzhou Univ., Nat. Sci. Ed. 23, No. 2, 47-51 (2020). MSC: 68T10 PDF BibTeX XML Cite \textit{J. Bian} et al., J. Yangzhou Univ., Nat. Sci. Ed. 23, No. 2, 47--51 (2020; Zbl 07339219) Full Text: DOI
Liu, Yu’nan; Zhang, Shanshan; Wang, Chunpeng; Li, Guangyu; Yang, Jian Image restoration based on cascading dense network in contourlet transform domain. (Chinese. English summary) Zbl 07339124 J. Softw. 31, No. 12, 3968-3980 (2020). MSC: 68U10 68T07 PDF BibTeX XML Cite \textit{Y. Liu} et al., J. Softw. 31, No. 12, 3968--3980 (2020; Zbl 07339124) Full Text: DOI
Xiao, Hong; Zhang, Yaoyao; Yuan, Ye Facial gender and age recognition based on improved high-resolution network. (Chinese. English summary) Zbl 07338845 J. Jilin Univ., Sci. 58, No. 6, 1391-1398 (2020). MSC: 68T10 PDF BibTeX XML Cite \textit{H. Xiao} et al., J. Jilin Univ., Sci. 58, No. 6, 1391--1398 (2020; Zbl 07338845) Full Text: DOI
Wu, Congzhong; Wei, Xueqi; Zhan, Shu Image super-resolution reconstruction based on deep multilevel residual networks. (Chinese. English summary) Zbl 07338771 J. Hefei Univ. Technol., Nat. Sci. 43, No. 10, 1330-1336 (2020). MSC: 68U10 68T07 PDF BibTeX XML Cite \textit{C. Wu} et al., J. Hefei Univ. Technol., Nat. Sci. 43, No. 10, 1330--1336 (2020; Zbl 07338771) Full Text: DOI
Zou, Changzhong; Huang, Xusheng Hyperspectral image super-resolution method based on deep residual convolutional neural network. (Chinese. English summary) Zbl 07338730 J. Fuzhou Univ., Nat. Sci. 48, No. 5, 545-550 (2020). MSC: 68U10 68T07 PDF BibTeX XML Cite \textit{C. Zou} and \textit{X. Huang}, J. Fuzhou Univ., Nat. Sci. 48, No. 5, 545--550 (2020; Zbl 07338730) Full Text: DOI
Sun, Dong; Li, Meng; Gao, Qingwei; Lu, Yixiang; Zhu, De A fast interpolation algorithm based on local direction regularization for image resolution. (Chinese. English summary) Zbl 07338647 J. Anhui Univ., Nat. Sci. 44, No. 6, 28-35 (2020). MSC: 65D05 68U10 PDF BibTeX XML Cite \textit{D. Sun} et al., J. Anhui Univ., Nat. Sci. 44, No. 6, 28--35 (2020; Zbl 07338647) Full Text: DOI
Zhang, Jing; Yu, Jinghu Parameter resolution of estimation methods for linear regression models. (Chinese. English summary) Zbl 07338382 Acta Math. Sci., Ser. A, Chin. Ed. 40, No. 5, 1381-1392 (2020). MSC: 62F10 62J05 PDF BibTeX XML Cite \textit{J. Zhang} and \textit{J. Yu}, Acta Math. Sci., Ser. A, Chin. Ed. 40, No. 5, 1381--1392 (2020; Zbl 07338382)
Petrukhin, Yaroslav; Shangin, Vasily Correspondence analysis and automated proof-searching for first degree entailment. (English) Zbl 07335116 Eur. J. Math. 6, No. 4, 1452-1495 (2020). MSC: 03B35 68T15 03B50 PDF BibTeX XML Cite \textit{Y. Petrukhin} and \textit{V. Shangin}, Eur. J. Math. 6, No. 4, 1452--1495 (2020; Zbl 07335116) Full Text: DOI
Shukla, Ankit; Slivovsky, Friedrich; Szeider, Stefan Short Q-resolution proofs with homomorphisms. (English) Zbl 07331036 Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 412-428 (2020). MSC: 68Q25 68R07 68T20 PDF BibTeX XML Cite \textit{A. Shukla} et al., Lect. Notes Comput. Sci. 12178, 412--428 (2020; Zbl 07331036) Full Text: DOI
Filmus, Yuval; Mahajan, Meena; Sood, Gaurav; Vinyals, Marc MaxSAT resolution and subcube sums. (English) Zbl 07331028 Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 295-311 (2020). MSC: 68Q25 68R07 68T20 PDF BibTeX XML Cite \textit{Y. Filmus} et al., Lect. Notes Comput. Sci. 12178, 295--311 (2020; Zbl 07331028) Full Text: DOI
Cobo, Helena; Soto, M. J.; Tornero, José M. Combinatorics and their evolution in resolution of embedded algebroid surfaces. (English) Zbl 07323115 Asian J. Math. 24, No. 5, 725-758 (2020). MSC: 14H20 32S25 PDF BibTeX XML Cite \textit{H. Cobo} et al., Asian J. Math. 24, No. 5, 725--758 (2020; Zbl 07323115) Full Text: DOI
Špenko, Špela; Van den Bergh, Michel Non-commutative crepant resolutions for some toric singularities. I. (English) Zbl 1457.14003 Int. Math. Res. Not. 2020, No. 21, 8120-8138 (2020). MSC: 14A22 14E15 14B05 14M25 PDF BibTeX XML Cite \textit{Š. Špenko} and \textit{M. Van den Bergh}, Int. Math. Res. Not. 2020, No. 21, 8120--8138 (2020; Zbl 1457.14003) Full Text: DOI
Galindo, Carlos; Moyano-Fernández, Julio José; Monserrat, Francisco; Nickel, Matthias Newton-Okounkov bodies of exceptional curve valuations. (English) Zbl 07318513 Rev. Mat. Iberoam. 36, No. 7, 2147-2182 (2020). MSC: 14C20 14E15 13A18 PDF BibTeX XML Cite \textit{C. Galindo} et al., Rev. Mat. Iberoam. 36, No. 7, 2147--2182 (2020; Zbl 07318513) Full Text: DOI
Grant, Joseph; Iyama, Osamu Higher preprojective algebras, Koszul algebras, and superpotentials. (English) Zbl 07317306 Compos. Math. 156, No. 12, 2588-2627 (2020). Reviewer: Mee Seong Im (West Point) MSC: 16G70 18G80 14A22 16G20 PDF BibTeX XML Cite \textit{J. Grant} and \textit{O. Iyama}, Compos. Math. 156, No. 12, 2588--2627 (2020; Zbl 07317306) Full Text: DOI
Todd, Philip A system for automated deduction in engineering mechanics. (English) Zbl 07315544 Math. Comput. Sci. 14, No. 4, 775-790 (2020). MSC: 70-04 68T15 PDF BibTeX XML Cite \textit{P. Todd}, Math. Comput. Sci. 14, No. 4, 775--790 (2020; Zbl 07315544) Full Text: DOI
Wang, Dongming; Huang, Bo; Chen, Xiaoyu On \(n\)-sectors of the angles of an arbitrary triangle. (English) Zbl 07315543 Math. Comput. Sci. 14, No. 4, 757-773 (2020). MSC: 68U05 68T15 PDF BibTeX XML Cite \textit{D. Wang} et al., Math. Comput. Sci. 14, No. 4, 757--773 (2020; Zbl 07315543) Full Text: DOI
Todd, Philip A symbolic dynamic geometry system using the analytical geometry method. (English) Zbl 07315541 Math. Comput. Sci. 14, No. 4, 693-726 (2020). MSC: 68T15 51-04 PDF BibTeX XML Cite \textit{P. Todd}, Math. Comput. Sci. 14, No. 4, 693--726 (2020; Zbl 07315541) Full Text: DOI
Quaresma, Pedro Automated deduction and knowledge management in geometry. (English) Zbl 07315540 Math. Comput. Sci. 14, No. 4, 673-692 (2020). MSC: 68T15 68P20 PDF BibTeX XML Cite \textit{P. Quaresma}, Math. Comput. Sci. 14, No. 4, 673--692 (2020; Zbl 07315540) Full Text: DOI
Barthe, Gilles; Betarte, Gustavo; Campo, Juan Diego; Luna, Carlos; Pichardie, David System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory. (English) Zbl 07311962 J. Autom. Reasoning 64, No. 8, 1685-1729 (2020). MSC: 68M25 68V15 94A60 PDF BibTeX XML Cite \textit{G. Barthe} et al., J. Autom. Reasoning 64, No. 8, 1685--1729 (2020; Zbl 07311962) Full Text: DOI
Hustadt, Ullrich; Ozaki, Ana; Dixon, Clare Theorem proving for pointwise metric temporal logic over the naturals via translations. (English) Zbl 07311959 J. Autom. Reasoning 64, No. 8, 1553-1610 (2020). MSC: 03B35 03B44 03B70 68T40 68V15 90B20 90B35 PDF BibTeX XML Cite \textit{U. Hustadt} et al., J. Autom. Reasoning 64, No. 8, 1553--1610 (2020; Zbl 07311959) Full Text: DOI
Amosov, G. G.; Mokeev, A. S. On errors generated by unitary dynamics of bipartite quantum systems. (English) Zbl 1457.81020 Lobachevskii J. Math. 41, No. 12, 2310-2315 (2020). MSC: 81P47 46G10 30H20 46L07 81P73 51F25 PDF BibTeX XML Cite \textit{G. G. Amosov} and \textit{A. S. Mokeev}, Lobachevskii J. Math. 41, No. 12, 2310--2315 (2020; Zbl 1457.81020) Full Text: DOI
Buzzard, Kevin Proving theorems with computers. (English) Zbl 1454.68161 Notices Am. Math. Soc. 67, No. 11, 1791-1799 (2020). MSC: 68V05 68V15 68V20 PDF BibTeX XML Cite \textit{K. Buzzard}, Notices Am. Math. Soc. 67, No. 11, 1791--1799 (2020; Zbl 1454.68161) Full Text: DOI
Bhasha, A. Valli; Reddy, B. D. Venkatramana Contribution of enhanced DWT and non-negative structured sparse representation for image super resolution: a performance analysis. (English) Zbl 07308336 Int. J. Wavelets Multiresolut. Inf. Process. 18, No. 6, Article ID 2050049, 30 p. (2020). MSC: 62H35 62M45 62M15 PDF BibTeX XML Cite \textit{A. V. Bhasha} and \textit{B. D. V. Reddy}, Int. J. Wavelets Multiresolut. Inf. Process. 18, No. 6, Article ID 2050049, 30 p. (2020; Zbl 07308336) Full Text: DOI
Tancredi, Andrea; Steorts, Rebecca; Liseo, Brunero A unified framework for de-duplication and population size estimation (with discussion). (English) Zbl 07307943 Bayesian Anal. 15, No. 2, 633-682 (2020). MSC: 62H30 62G30 62P25 PDF BibTeX XML Cite \textit{A. Tancredi} et al., Bayesian Anal. 15, No. 2, 633--682 (2020; Zbl 07307943) Full Text: DOI Euclid
Park, HeeSook The Künneth isomorphism in bounded cohomology preserving the norms. (English) Zbl 07303795 Bull. Korean Math. Soc. 57, No. 4, 873-890 (2020). MSC: 55T99 18G40 PDF BibTeX XML Cite \textit{H. Park}, Bull. Korean Math. Soc. 57, No. 4, 873--890 (2020; Zbl 07303795) Full Text: DOI
Yang, Song; Yang, Xiangdong Bott-Chern blow-up formulae and the bimeromorphic invariance of the \(\partial \bar{\partial} \)-lemma for threefolds. (English) Zbl 07301844 Trans. Am. Math. Soc. 373, No. 12, 8885-8909 (2020). MSC: 32Q55 32C35 32S45 PDF BibTeX XML Cite \textit{S. Yang} and \textit{X. Yang}, Trans. Am. Math. Soc. 373, No. 12, 8885--8909 (2020; Zbl 07301844) Full Text: DOI
Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena Hardness characterisations and size-width lower bounds for QBF resolution. (English) Zbl 07299470 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) (ISBN 978-1-4503-7104-9). 209-223 (2020). MSC: 03F20 PDF BibTeX XML Cite \textit{O. Beyersdorff} 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). 209--223 (2020; Zbl 07299470) Full Text: DOI
Urban, Josef; Jakubův, Jan First neural conjecturing datasets and experiments. (English) Zbl 1455.68261 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 315-323 (2020). MSC: 68V20 68T07 68V15 PDF BibTeX XML Cite \textit{J. Urban} and \textit{J. Jakubův}, Lect. Notes Comput. Sci. 12236, 315--323 (2020; Zbl 1455.68261) Full Text: DOI
Piotrowski, Bartosz; Urban, Josef Guiding inferences in connection tableau by recurrent neural networks. (English) Zbl 1455.68252 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 309-314 (2020). MSC: 68V15 68T07 PDF BibTeX XML Cite \textit{B. Piotrowski} and \textit{J. Urban}, Lect. Notes Comput. Sci. 12236, 309--314 (2020; Zbl 1455.68252) Full Text: DOI
Naumowicz, Adam Dataset description: formalization of elementary number theory in Mizar. (English) Zbl 1455.68259 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 303-308 (2020). MSC: 68V20 68V15 97F60 97U70 PDF BibTeX XML Cite \textit{A. Naumowicz}, Lect. Notes Comput. Sci. 12236, 303--308 (2020; Zbl 1455.68259) Full Text: DOI
Nagashima, Yutaka Simple dataset for proof method recommendation in Isabelle/HOL. (English) Zbl 1455.68250 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 297-302 (2020). MSC: 68V15 68T05 PDF BibTeX XML Cite \textit{Y. Nagashima}, Lect. Notes Comput. Sci. 12236, 297--302 (2020; Zbl 1455.68250) Full Text: DOI
De Lon, Adrian; Koepke, Peter; Lorenzen, Anton Interpreting mathematical texts in Naproche-SAD. (English) Zbl 1455.68244 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 284-289 (2020). MSC: 68V15 68V25 PDF BibTeX XML Cite \textit{A. De Lon} et al., Lect. Notes Comput. Sci. 12236, 284--289 (2020; Zbl 1455.68244) Full Text: DOI
Gauthier, Thibault Tree neural networks in HOL4. (English) Zbl 1455.68247 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 278-283 (2020). MSC: 68V15 68T07 PDF BibTeX XML Cite \textit{T. Gauthier}, Lect. Notes Comput. Sci. 12236, 278--283 (2020; Zbl 1455.68247) Full Text: DOI
Blaauwbroek, Lasse; Urban, Josef; Geuvers, Herman The Tactician. A seamless, interactive tactic learner and prover for Coq. (English) Zbl 1455.68242 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 271-277 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{L. Blaauwbroek} et al., Lect. Notes Comput. Sci. 12236, 271--277 (2020; Zbl 1455.68242) Full Text: DOI
Schmitz, Leonard; Levandovskyy, Viktor Formally verifying proofs for algebraic identities of matrices. (English) Zbl 1455.68253 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 222-236 (2020). MSC: 68V15 15A24 68W30 PDF BibTeX XML Cite \textit{L. Schmitz} and \textit{V. Levandovskyy}, Lect. Notes Comput. Sci. 12236, 222--236 (2020; Zbl 1455.68253) Full Text: DOI
Hajdú, Márton; Hozzová, Petra; Kovács, Laura; Schoisswohl, Johannes; Voronkov, Andrei Induction with generalization in superposition reasoning. (English) Zbl 1455.68248 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 123-137 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Hajdú} et al., Lect. Notes Comput. Sci. 12236, 123--137 (2020; Zbl 1455.68248) Full Text: DOI
Elderhalli, Yassmeen; Hasan, Osman; Tahar, Sofiène A framework for formal dynamic dependability analysis using HOL theorem proving. (English) Zbl 1455.68246 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 105-122 (2020). MSC: 68V15 68M15 PDF BibTeX XML Cite \textit{Y. Elderhalli} et al., Lect. Notes Comput. Sci. 12236, 105--122 (2020; Zbl 1455.68246) Full Text: DOI
Carneiro, Mario Metamath Zero: designing a theorem prover prover. (English) Zbl 1455.68243 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 71-88 (2020). MSC: 68V15 68Q60 PDF BibTeX XML Cite \textit{M. Carneiro}, Lect. Notes Comput. Sci. 12236, 71--88 (2020; Zbl 1455.68243) Full Text: DOI
Chen, Weimin On a class of symplectic 4-orbifolds with vanishing canonical class. (English) Zbl 07298116 J. Gökova Geom. Topol. GGT 14, 55-90 (2020). Reviewer: Roman Golovko (Praha) MSC: 57R18 57R17 57S17 57K40 PDF BibTeX XML Cite \textit{W. Chen}, J. Gökova Geom. Topol. GGT 14, 55--90 (2020; Zbl 07298116) Full Text: Link