Moraga, Joaquín; Park, Jinhyung; Song, Lei Regularity of structure sheaves of varieties with isolated singularities. (English) Zbl 07375208 Commun. Contemp. Math. 23, No. 5, Article ID 2050039, 25 p. (2021). MSC: 14N05 14E15 14J17 PDF BibTeX Cite \textit{J. Moraga} et al., Commun. Contemp. Math. 23, No. 5, Article ID 2050039, 25 p. (2021; Zbl 07375208) Full Text: DOI
Park, Jung Pil; Shin, Yong-Su A graded minimal free resolution of the \(m\)-th order symbolic power of a star configuration in \(\mathbb{P}^n\). (English) Zbl 07374714 J. Korean Math. Soc. 58, No. 2, 283-308 (2021). MSC: 13A15 14M05 PDF BibTeX Cite \textit{J. P. Park} and \textit{Y.-S. Shin}, J. Korean Math. Soc. 58, No. 2, 283--308 (2021; Zbl 07374714) Full Text: DOI
Sieg, Wilfried; Walsh, Patrick Natural formalization: deriving the Cantor-Bernstein theorem in ZF. (English) Zbl 07374087 Rev. Symb. Log. 14, No. 1, 250-284 (2021). MSC: 03F07 03B35 68T15 PDF BibTeX Cite \textit{W. Sieg} and \textit{P. Walsh}, Rev. Symb. Log. 14, No. 1, 250--284 (2021; Zbl 07374087) Full Text: DOI
Beil, Charlie Noetherian criteria for dimer algebras. (English) Zbl 07373698 J. Algebra 585, 294-315 (2021). MSC: 16P40 16G20 14A22 PDF BibTeX Cite \textit{C. Beil}, J. Algebra 585, 294--315 (2021; Zbl 07373698) Full Text: DOI
Loulergue, Frédéric (ed.); Wotawa, Franz (ed.) Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21–22, 2021. Proceedings. (English) Zbl 07372863 Lecture Notes in Computer Science 12740. Cham: Springer (ISBN 978-3-030-79378-4/pbk; 978-3-030-79379-1/ebook). xiii, 105 p. (2021). MSC: 68-06 68Q60 68V15 00B25 PDF BibTeX Cite \textit{F. Loulergue} (ed.) and \textit{F. Wotawa} (ed.), Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21--22, 2021. Proceedings. Cham: Springer (2021; Zbl 07372863) Full Text: DOI
Platzer, André (ed.); Sutcliffe, Geoff (ed.) Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. (English) Zbl 07372780 Lecture Notes in Computer Science 12699. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-030-79875-8/pbk; 978-3-030-79876-5/ebook). xiv, 648 p. (2021). MSC: 68-06 03-06 03B35 68V15 00B25 PDF BibTeX Cite \textit{A. Platzer} (ed.) and \textit{G. Sutcliffe} (ed.), Automated deduction -- CADE 28. 28th international conference on automated deduction, virtual event, July 12--15, 2021. Proceedings. Cham: Springer (2021; Zbl 07372780) Full Text: DOI
Galindo, Carlos; Monserrat, Francisco; Moreno-Ávila, Carlos Jesús Discrete equivalence of non-positive at infinity plane valuations. (English) Zbl 07372242 Result. Math. 76, No. 3, Paper No. 146, 16 p. (2021). MSC: 14C20 14E15 13A18 PDF BibTeX Cite \textit{C. Galindo} et al., Result. Math. 76, No. 3, Paper No. 146, 16 p. (2021; Zbl 07372242) Full Text: DOI
Rowe, David E. On resolving singularities of plane curves via a theorem attributed to Alfred Clebsch. (English) Zbl 07371931 Hist. Math. 55, 23-38 (2021). MSC: 14-03 01A55 01A60 PDF BibTeX Cite \textit{D. E. Rowe}, Hist. Math. 55, 23--38 (2021; Zbl 07371931) Full Text: DOI
Eshraghi, Hossein; Hajizamani, Ali The homotopy category of cotorsion flat modules. (English) Zbl 07371685 Appl. Categ. Struct. 29, No. 2, 213-233 (2021). MSC: 18G80 55U35 18G35 18G20 16E05 PDF BibTeX Cite \textit{H. Eshraghi} and \textit{A. Hajizamani}, Appl. Categ. Struct. 29, No. 2, 213--233 (2021; Zbl 07371685) Full Text: DOI
Khan, Suliman; Zaman, Sakhi; -Islam, Siraj-ul Approximation of Cauchy-type singular integrals with high frequency Fourier kernel. (English) Zbl 07371664 Eng. Anal. Bound. Elem. 130, 209-219 (2021). MSC: 65-XX 42-XX PDF BibTeX Cite \textit{S. Khan} et al., Eng. Anal. Bound. Elem. 130, 209--219 (2021; Zbl 07371664) Full Text: DOI
Hu, Jiangsheng; Zhang, Dondong; Zhou, Panyue Proper resolutions and Gorensteinness in extriangulated categories. (English) Zbl 07371544 Front. Math. China 16, No. 1, 95-117 (2021). MSC: 18G80 18E10 18G25 18G10 PDF BibTeX Cite \textit{J. Hu} et al., Front. Math. China 16, No. 1, 95--117 (2021; Zbl 07371544) Full Text: DOI
Cohen, Liron (ed.); Kaliszyk, Cezary (ed.) 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. (English) Zbl 07370959 LIPIcs – Leibniz International Proceedings in Informatics 193. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-188-7). vii, 32 articles, not consecutively paged, electronic only, open access (2021). MSC: 68-06 68V15 00B25 PDF BibTeX Cite \textit{L. Cohen} (ed.) and \textit{C. Kaliszyk} (ed.), 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 (2021; Zbl 07370959) Full Text: DOI Link
Česnavičius, Kęstutis Macaulayfication of Noetherian schemes. (English) Zbl 07369855 Duke Math. J. 170, No. 7, 1419-1455 (2021). MSC: 14E15 13H10 14B05 14J17 14M05 PDF BibTeX Cite \textit{K. Česnavičius}, Duke Math. J. 170, No. 7, 1419--1455 (2021; Zbl 07369855) Full Text: DOI
Edidin, Dan; Rydh, David Canonical reduction of stabilizers for Artin stacks with good moduli spaces. (English) Zbl 07369842 Duke Math. J. 170, No. 5, 827-880 (2021). MSC: 14D23 14E15 14L24 PDF BibTeX Cite \textit{D. Edidin} and \textit{D. Rydh}, Duke Math. J. 170, No. 5, 827--880 (2021; Zbl 07369842) Full Text: DOI
Kim, Sung-Yeon; Zaitsev, Dmitri Triangular resolutions and effectiveness for holomorphic subelliptic multipliers. (English) Zbl 07369651 Adv. Math. 387, Article ID 107803, 36 p. (2021). MSC: 32T25 32T27 32W05 32S05 32S10 32S45 32B10 32V15 32V35 32V40 PDF BibTeX Cite \textit{S.-Y. Kim} and \textit{D. Zaitsev}, Adv. Math. 387, Article ID 107803, 36 p. (2021; Zbl 07369651) Full Text: DOI
Graf, Patrick A note on Flenner’s extension theorem. (English) Zbl 07368929 Manuscr. Math. 165, No. 3-4, 597-603 (2021). MSC: 32S45 14J17 14E15 14F10 32S05 32J25 13A35 14B05 PDF BibTeX Cite \textit{P. Graf}, Manuscr. Math. 165, No. 3--4, 597--603 (2021; Zbl 07368929) Full Text: DOI
Bizoń, Piotr; Dunajski, Maciej; Kahl, Michał; Kowalczyk, Michał Sine-Gordon on a wormhole. (English) Zbl 07368129 Nonlinearity 34, No. 8, 5520-5537 (2021). MSC: 35C08 35L71 PDF BibTeX Cite \textit{P. Bizoń} et al., Nonlinearity 34, No. 8, 5520--5537 (2021; Zbl 07368129) Full Text: DOI
Engel, Philip; Friedman, Robert Smoothings and rational double point adjacencies for cusp singularities. (English) Zbl 07367823 J. Differ. Geom. 118, No. 1, 23-100 (2021). MSC: 14B05 14E15 PDF BibTeX Cite \textit{P. Engel} and \textit{R. Friedman}, J. Differ. Geom. 118, No. 1, 23--100 (2021; Zbl 07367823) Full Text: DOI
Alberich-Carramiñana, Maria; Boix, Alberto F. F.; Fernández, Julio; Guàrdia, Jordi; Nart, Enric; Roé, Joaquim Of limit key polynomials. (English) Zbl 07367806 Ill. J. Math. 65, No. 1, 201-229 (2021). MSC: 13A18 12J20 13J10 14E15 PDF BibTeX Cite \textit{M. Alberich-Carramiñana} et al., Ill. J. Math. 65, No. 1, 201--229 (2021; Zbl 07367806) Full Text: DOI
Garcia, E.; Liandrat, J. Enforcing convergence of derivatives for \(L^\infty\) approximation of a regular curve. (English) Zbl 07367124 Comput. Aided Geom. Des. 87, Article ID 101982, 19 p. (2021). MSC: 65Dxx PDF BibTeX Cite \textit{E. Garcia} and \textit{J. Liandrat}, Comput. Aided Geom. Des. 87, Article ID 101982, 19 p. (2021; Zbl 07367124) Full Text: DOI
Colarte-Gómez, Liena; Mezzetti, Emilia; Miró-Roig, Rosa M. On the arithmetic Cohen-Macaulayness of varieties parameterized by Togliatti systems. (English) Zbl 07367006 Ann. Mat. Pura Appl. (4) 200, No. 4, 1757-1780 (2021). MSC: 14M05 14L30 13A50 13C14 PDF BibTeX Cite \textit{L. Colarte-Gómez} et al., Ann. Mat. Pura Appl. (4) 200, No. 4, 1757--1780 (2021; Zbl 07367006) Full Text: DOI
Li, Shizhen; Qian, Jun; Yu, Ying; Yang, Jian A saliency detection algorithm via convex hull calculation and color features. (Chinese. English summary) Zbl 07366684 J. Yunnan Univ., Nat. Sci. 43, No. 2, 254-262 (2021). MSC: 68U10 68T45 PDF BibTeX Cite \textit{S. Li} et al., J. Yunnan Univ., Nat. Sci. 43, No. 2, 254--262 (2021; Zbl 07366684) Full Text: DOI
Qu, Yanyun; Chen, Rong; Li, Cuihua; Wang, Hanzi Survey of single image super-resolution reconstruction with deep learning. (Chinese. English summary) Zbl 07366652 J. Xiamen Univ., Nat. Sci. 60, No. 3, 555-570 (2021). MSC: 68U10 68T07 PDF BibTeX Cite \textit{Y. Qu} et al., J. Xiamen Univ., Nat. Sci. 60, No. 3, 555--570 (2021; Zbl 07366652) Full Text: DOI
Bellamy, Gwyn; Schedler, Travis Symplectic resolutions of quiver varieties. (English) Zbl 07364077 Sel. Math., New Ser. 27, No. 3, Paper No. 36, 50 p. (2021). MSC: 16G20 17B63 14D25 58F05 16S80 PDF BibTeX Cite \textit{G. Bellamy} and \textit{T. Schedler}, Sel. Math., New Ser. 27, No. 3, Paper No. 36, 50 p. (2021; Zbl 07364077) Full Text: DOI
Hamdi, Ghassen; Omri, Mohamed Nazih; Benferhat, Salem; Bouraoui, Zied; Papini, Odile Query answering DL-lite knowledge bases from hidden datasets. (English) Zbl 07363390 Ann. Math. Artif. Intell. 89, No. 3-4, 271-299 (2021). MSC: 68T27 68T30 68P15 68T35 68T15 PDF BibTeX Cite \textit{G. Hamdi} et al., Ann. Math. Artif. Intell. 89, No. 3--4, 271--299 (2021; Zbl 07363390) Full Text: DOI
Bocklandt, Raf; Craw, Alastair; Quintero Vélez, Alexander Correction to: “Geometric Reid’s recipe for dimer models”. (English) Zbl 07363360 Math. Ann. 380, No. 1-2, 911-913 (2021). MSC: 14E16 14F05 14E15 14L15 14L24 16E35 16G20 PDF BibTeX Cite \textit{R. Bocklandt} et al., Math. Ann. 380, No. 1--2, 911--913 (2021; Zbl 07363360) Full Text: DOI
Cornejo, M. Eugenia; Lobo, David; Medina, Jesús On the solvability of bipolar max-product fuzzy relation equations with the standard negation. (English) Zbl 07363027 Fuzzy Sets Syst. 410, 1-18 (2021). MSC: 03E72 PDF BibTeX Cite \textit{M. E. Cornejo} et al., Fuzzy Sets Syst. 410, 1--18 (2021; Zbl 07363027) Full Text: DOI
Wu, Nannan; Kilgour, D. Marc; Hipel, Keith W.; Xu, Yejun Matrix representation of stability definitions for the graph model for conflict resolution with reciprocal preference relations. (English) Zbl 07363019 Fuzzy Sets Syst. 409, 32-54 (2021). MSC: 91B06 91B08 91B86 PDF BibTeX Cite \textit{N. Wu} et al., Fuzzy Sets Syst. 409, 32--54 (2021; Zbl 07363019) Full Text: DOI
Kumar, Ramnivas; Singh, Sachin K. Crack detection near the ends of a beam using wavelet transform and high resolution beam deflection measurement. (English) Zbl 07362911 Eur. J. Mech., A, Solids 88, Article ID 104259, 16 p. (2021). MSC: 74-XX PDF BibTeX Cite \textit{R. Kumar} and \textit{S. K. Singh}, Eur. J. Mech., A, Solids 88, Article ID 104259, 16 p. (2021; Zbl 07362911) Full Text: DOI
Ma, Wenhua; Zhao, Zhongshu; Ni, Guoxi A multi-resolution method for two-phase fluids with complex equations of state by binomial solvers in three space dimensions. (English) Zbl 07361700 Appl. Numer. Math. 167, 92-107 (2021). MSC: 76M12 76T06 76N15 PDF BibTeX Cite \textit{W. Ma} et al., Appl. Numer. Math. 167, 92--107 (2021; Zbl 07361700) Full Text: DOI
Torán, Jacobo; Wörz, Florian Reversible pebble games and the relation between tree-like and general resolution space. (English) Zbl 07360377 Comput. Complexity 30, No. 1, Paper No. 7, 37 p. (2021). MSC: 03F20 68Q17 PDF BibTeX Cite \textit{J. Torán} and \textit{F. Wörz}, Comput. Complexity 30, No. 1, Paper No. 7, 37 p. (2021; Zbl 07360377) Full Text: DOI
Evans, J. D. P. Syzygy modules for dihedral groups. (English) Zbl 07358298 Commun. Algebra 49, No. 6, 2606-2622 (2021). MSC: 16E05 20C10 19A13 PDF BibTeX Cite \textit{J. D. P. Evans}, Commun. Algebra 49, No. 6, 2606--2622 (2021; Zbl 07358298) Full Text: DOI
Cướng, Đoàn Trung; Kwak, Sijong Componentwise linearity of projective varieties with almost maximal degree. (English) Zbl 07357203 J. Pure Appl. Algebra 225, No. 9, Article ID 106672, 16 p. (2021). Reviewer: Juan C. Migliore (Notre Dame) MSC: 13D02 14N05 PDF BibTeX Cite \textit{Đ. T. Cướng} and \textit{S. Kwak}, J. Pure Appl. Algebra 225, No. 9, Article ID 106672, 16 p. (2021; Zbl 07357203) Full Text: DOI
Moraes de Oliveira, Nathália; Nart, Enric Computation of residual polynomial operators of inductive valuations. (English) Zbl 07357200 J. Pure Appl. Algebra 225, No. 9, Article ID 106668, 31 p. (2021). MSC: 13A18 12J20 14E15 PDF BibTeX Cite \textit{N. Moraes de Oliveira} and \textit{E. Nart}, J. Pure Appl. Algebra 225, No. 9, Article ID 106668, 31 p. (2021; Zbl 07357200) Full Text: DOI
Nematbakhsh, Amin Linear strands of edge ideals of multipartite uniform clutters. (English) Zbl 07357175 J. Pure Appl. Algebra 225, No. 10, Article ID 106690, 21 p. (2021). MSC: 13D02 05E40 13F55 13D45 13C40 14M05 PDF BibTeX Cite \textit{A. Nematbakhsh}, J. Pure Appl. Algebra 225, No. 10, Article ID 106690, 21 p. (2021; Zbl 07357175) Full Text: DOI
Bravo, A.; Encinas, S. Finite morphisms and Nash multiplicity sequences. (English) Zbl 07357151 J. Pure Appl. Algebra 225, No. 11, Article ID 106728, 18 p. (2021). MSC: 14E15 14E18 PDF BibTeX Cite \textit{A. Bravo} and \textit{S. Encinas}, J. Pure Appl. Algebra 225, No. 11, Article ID 106728, 18 p. (2021; Zbl 07357151) Full Text: DOI
Hóu, Zhé; Sanan, David; Tiu, Alwen; Liu, Yang; Hoa, Koh Chuen; Dong, Jin Song An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model. (English) Zbl 07356982 J. Autom. Reasoning 65, No. 4, 569-598 (2021). MSC: 68V15 PDF BibTeX Cite \textit{Z. Hóu} et al., J. Autom. Reasoning 65, No. 4, 569--598 (2021; Zbl 07356982) Full Text: DOI
Butler, D.; Lochbihler, A.; Aspinall, D.; Gascón, A. Formalising \(\varSigma\)-protocols and commitment schemes using crypthol. (English) Zbl 07356981 J. Autom. Reasoning 65, No. 4, 521-567 (2021). MSC: 68V15 PDF BibTeX Cite \textit{D. Butler} et al., J. Autom. Reasoning 65, No. 4, 521--567 (2021; Zbl 07356981) Full Text: DOI
Cortier, Véronique; Delaune, Stéphanie; Sundararajan, Vaishnavi A decidable class of security protocols for both reachability and equivalence properties. (English) Zbl 07356980 J. Autom. Reasoning 65, No. 4, 479-520 (2021). MSC: 68V15 PDF BibTeX Cite \textit{V. Cortier} et al., J. Autom. Reasoning 65, No. 4, 479--520 (2021; Zbl 07356980) Full Text: DOI
Cristiá, Maximiliano; Rossi, Gianfranco Automated proof of Bell-LaPadula security properties. (English) Zbl 07356979 J. Autom. Reasoning 65, No. 4, 463-478 (2021). MSC: 68V15 PDF BibTeX Cite \textit{M. Cristiá} and \textit{G. Rossi}, J. Autom. Reasoning 65, No. 4, 463--478 (2021; Zbl 07356979) Full Text: DOI
Ghilardi, Silvio; Pagani, Elena Higher-order quantifier elimination, counter simulations and fault-tolerant systems. (English) Zbl 07356977 J. Autom. Reasoning 65, No. 3, 425-460 (2021). MSC: 68V15 PDF BibTeX Cite \textit{S. Ghilardi} and \textit{E. Pagani}, J. Autom. Reasoning 65, No. 3, 425--460 (2021; Zbl 07356977) Full Text: DOI
Voigt, Marco Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates. (English) Zbl 07356976 J. Autom. Reasoning 65, No. 3, 357-423 (2021). MSC: 68V15 PDF BibTeX Cite \textit{M. Voigt}, J. Autom. Reasoning 65, No. 3, 357--423 (2021; Zbl 07356976) Full Text: DOI
Popescu, Andrei; Lammich, Peter; Hou, Ping CoCon: a conference management system with formally verified document confidentiality. (English) Zbl 07356975 J. Autom. Reasoning 65, No. 2, 321-356 (2021). MSC: 68V15 PDF BibTeX Cite \textit{A. Popescu} et al., J. Autom. Reasoning 65, No. 2, 321--356 (2021; Zbl 07356975) Full Text: DOI
Färber, Michael; Kaliszyk, Cezary; Urban, Josef Machine learning guidance for connection tableaux. (English) Zbl 07356974 J. Autom. Reasoning 65, No. 2, 287-320 (2021). MSC: 68V15 PDF BibTeX Cite \textit{M. Färber} et al., J. Autom. Reasoning 65, No. 2, 287--320 (2021; Zbl 07356974) Full Text: DOI
Gauthier, Thibault; Kaliszyk, Cezary; Urban, Josef; Kumar, Ramana; Norrish, Michael TacticToe: learning to prove with tactics. (English) Zbl 07356973 J. Autom. Reasoning 65, No. 2, 257-286 (2021). MSC: 68V15 PDF BibTeX Cite \textit{T. Gauthier} et al., J. Autom. Reasoning 65, No. 2, 257--286 (2021; Zbl 07356973) Full Text: DOI
Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration. (English) Zbl 07356971 J. Autom. Reasoning 65, No. 2, 157-203 (2021). MSC: 68V15 PDF BibTeX Cite \textit{D. Cattaruzza} et al., J. Autom. Reasoning 65, No. 2, 157--203 (2021; Zbl 07356971) Full Text: DOI
Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena Building strategies into QBF proofs. (English) Zbl 07356969 J. Autom. Reasoning 65, No. 1, 125-154 (2021). MSC: 68V15 PDF BibTeX Cite \textit{O. Beyersdorff} et al., J. Autom. Reasoning 65, No. 1, 125--154 (2021; Zbl 07356969) Full Text: DOI
Ambal, Guillaume; Lenglet, Sergueï; Schmitt, Alan \(\mathrm{HO}\pi\) in Coq. (English) Zbl 07356968 J. Autom. Reasoning 65, No. 1, 75-124 (2021). MSC: 68V15 PDF BibTeX Cite \textit{G. Ambal} et al., J. Autom. Reasoning 65, No. 1, 75--124 (2021; Zbl 07356968) Full Text: DOI
Simić, Danijela; Marić, Filip; Boutry, Pierre Formalization of the Poincaré disc model of hyperbolic geometry. (English) Zbl 07356967 J. Autom. Reasoning 65, No. 1, 31-73 (2021). MSC: 68V15 PDF BibTeX Cite \textit{D. Simić} et al., J. Autom. Reasoning 65, No. 1, 31--73 (2021; Zbl 07356967) Full Text: DOI
Guan, Yong; Zhang, Jingzhi; Wang, Guohui; Li, Ximeng; Shi, Zhiping; Li, Yongdong Formalization of Euler-Lagrange equation set based on variational calculus in HOL light. (English) Zbl 07356966 J. Autom. Reasoning 65, No. 1, 1-29 (2021). MSC: 68V15 PDF BibTeX Cite \textit{Y. Guan} et al., J. Autom. Reasoning 65, No. 1, 1--29 (2021; Zbl 07356966) Full Text: DOI
Estrada, Sergio; Slávik, Alexander Quillen equivalent models for the derived category of flats and the resolution property. (English) Zbl 07356498 J. Aust. Math. Soc. 110, No. 3, 302-320 (2021). MSC: 14F05 18E10 18E30 18G55 PDF BibTeX Cite \textit{S. Estrada} and \textit{A. Slávik}, J. Aust. Math. Soc. 110, No. 3, 302--320 (2021; Zbl 07356498) Full Text: DOI
Fedorov, Yuri; Jovanović, Božidar Continuous and discrete Neumann systems on Stiefel varieties as matrix generalizations of the Jacobi-Mumford systems. (English) Zbl 07356249 Discrete Contin. Dyn. Syst. 41, No. 6, 2559-2599 (2021). MSC: 14H70 37J35 70H06 70H33 14E15 17B80 70H45 PDF BibTeX Cite \textit{Y. Fedorov} and \textit{B. Jovanović}, Discrete Contin. Dyn. Syst. 41, No. 6, 2559--2599 (2021; Zbl 07356249) Full Text: DOI
Frühbis-Krüger, Anne; Ristau, Lukas; Schober, Bernd Embedded desingularization for arithmetic surfaces – toward a parallel implementation. (English) Zbl 07356046 Math. Comput. 90, No. 330, 1957-1997 (2021). MSC: 14E15 14B05 14J17 13P99 PDF BibTeX Cite \textit{A. Frühbis-Krüger} et al., Math. Comput. 90, No. 330, 1957--1997 (2021; Zbl 07356046) Full Text: DOI
Zheng, Junling; Gao, Hanpeng The extension dimension of triangular matrix algebras. (English) Zbl 1462.16010 Linear Algebra Appl. 624, 44-52 (2021). MSC: 16E10 16S50 16D20 18G20 18E10 PDF BibTeX Cite \textit{J. Zheng} and \textit{H. Gao}, Linear Algebra Appl. 624, 44--52 (2021; Zbl 1462.16010) Full Text: DOI
Part, Fedor; Tzameret, Iddo Resolution with counting: dag-like lower bounds and different moduli. (English) Zbl 07355181 Comput. Complexity 30, No. 1, Paper No. 2, 71 p. (2021). MSC: 03F20 68Q17 13P15 PDF BibTeX Cite \textit{F. Part} and \textit{I. Tzameret}, Comput. Complexity 30, No. 1, Paper No. 2, 71 p. (2021; Zbl 07355181) Full Text: DOI
Zhu, Jun; Shu, Chi-Wang; Qiu, Jianxian High-order Runge-Kutta discontinuous Galerkin methods with multi-resolution WENO limiters for solving steady-state problems. (English) Zbl 07354401 Appl. Numer. Math. 165, 482-499 (2021). MSC: 65Mxx 35Lxx PDF BibTeX Cite \textit{J. Zhu} et al., Appl. Numer. Math. 165, 482--499 (2021; Zbl 07354401) Full Text: DOI
Arioli, Gianni; Gazzola, Filippo; Koch, Hans Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions. (English) Zbl 07353344 J. Math. Fluid Mech. 23, No. 3, Paper No. 49, 20 p. (2021). MSC: 35Q30 76D05 35B32 35A02 68V15 PDF BibTeX Cite \textit{G. Arioli} et al., J. Math. Fluid Mech. 23, No. 3, Paper No. 49, 20 p. (2021; Zbl 07353344) Full Text: DOI
Wu, Guoliang; Wang, Yanjie; Li, Shi Single depth map super-resolution via a deep feedback network. (English) Zbl 07351784 Int. J. Wavelets Multiresolut. Inf. Process. 19, No. 2, Article ID 2050072, 17 p. (2021). Reviewer: Jaak Henno (Tallinn) MSC: 94A08 PDF BibTeX Cite \textit{G. Wu} et al., Int. J. Wavelets Multiresolut. Inf. Process. 19, No. 2, Article ID 2050072, 17 p. (2021; Zbl 07351784) Full Text: DOI
Yang, Jian-Qing; Zhao, Bing-Xin Numerical investigation of double-diffusive convection in rectangular cavities with different aspect ratio. I: High-accuracy numerical method. (English) Zbl 07351739 Comput. Math. Appl. 94, 155-169 (2021). MSC: 76-XX 65-XX PDF BibTeX Cite \textit{J.-Q. Yang} and \textit{B.-X. Zhao}, Comput. Math. Appl. 94, 155--169 (2021; Zbl 07351739) Full Text: DOI
Ramacher, Pablo Addendum to “The equivariant spectral function of an invariant elliptic operator. \(L^p\)-bounds, caustics, and concentration of eigenfunctions”. (English. French summary) Zbl 07351619 J. Math. Pures Appl. (9) 150, 241-257 (2021). MSC: 14E15 35P20 57S15 57S17 58J40 58J50 58K55 PDF BibTeX Cite \textit{P. Ramacher}, J. Math. Pures Appl. (9) 150, 241--257 (2021; Zbl 07351619) Full Text: DOI
Buss, Sam; Thapen, Neil DRAT and propagation redundancy proofs without new variables. (English) Zbl 07350778 Log. Methods Comput. Sci. 17, No. 2, Paper No. 12, 31 p. (2021). MSC: 03B70 68-XX PDF BibTeX Cite \textit{S. Buss} and \textit{N. Thapen}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 12, 31 p. (2021; Zbl 07350778) Full Text: Link arXiv
Hassan, Mohamed Ossama; Saucier, Antoine; Yacout, Soumaya; Soumis, François A mixed integer linear programming model for multi-sector planning using speed and heading changes. (English) Zbl 07350563 Comput. Oper. Res. 128, Article ID 105174, 19 p. (2021). MSC: 90Bxx PDF BibTeX Cite \textit{M. O. Hassan} et al., Comput. Oper. Res. 128, Article ID 105174, 19 p. (2021; Zbl 07350563) Full Text: DOI
Fehér, László M.; Rimányi, Richárd; Weber, Andrzej Motivic Chern classes and K-theoretic stable envelopes. (English) Zbl 07348173 Proc. Lond. Math. Soc. (3) 122, No. 1, 153-189 (2021). MSC: 14E15 19D55 57R20 14H70 PDF BibTeX Cite \textit{L. M. Fehér} et al., Proc. Lond. Math. Soc. (3) 122, No. 1, 153--189 (2021; Zbl 07348173) Full Text: DOI
Ansaldi, Katie; Lin, Kuei-Nuan; Shen, Yi-Huang Generalized Newton complementary duals of monomial ideals. (English) Zbl 1462.13011 J. Algebra Appl. 20, No. 2, Article ID 2150021, 26 p. (2021). Reviewer: Jorge Neves (Coimbra) MSC: 13D02 05E40 PDF BibTeX Cite \textit{K. Ansaldi} et al., J. Algebra Appl. 20, No. 2, Article ID 2150021, 26 p. (2021; Zbl 1462.13011) Full Text: DOI
Àlvarez Montaner, Josep; Sohrabi, Fatemeh Bass numbers of local cohomology of cover ideals of graphs. (English) Zbl 1461.13017 J. Algebr. Comb. 53, No. 2, 263-297 (2021). Reviewer: Eduardo Saenz-de-Cabezon (Logroño) MSC: 13D45 13C11 05C38 05C40 PDF BibTeX Cite \textit{J. Àlvarez Montaner} and \textit{F. Sohrabi}, J. Algebr. Comb. 53, No. 2, 263--297 (2021; Zbl 1461.13017) Full Text: DOI
Tohǎneanu, Ştefan O.; Xie, Yu On the Geramita-Harbourne-Migliore conjecture. (English) Zbl 1462.13012 Trans. Am. Math. Soc. 374, No. 6, 4059-4073 (2021). Reviewer: Juan C. Migliore (Notre Dame) MSC: 13D02 14N20 52C35 13A15 PDF BibTeX Cite \textit{Ş. O. Tohǎneanu} and \textit{Y. Xie}, Trans. Am. Math. Soc. 374, No. 6, 4059--4073 (2021; Zbl 1462.13012) 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 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 1462.94013 Discrete Comput. Geom. 65, No. 4, 953-998 (2021). MSC: 94A12 94A14 90C25 PDF BibTeX Cite \textit{M. A. Iwen} et al., Discrete Comput. Geom. 65, No. 4, 953--998 (2021; Zbl 1462.94013) 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-XX 74-XX PDF BibTeX 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 1462.51006 Quaest. Math. 44, No. 2, 187-198 (2021). MSC: 51F99 PDF BibTeX Cite \textit{Y. Lei}, Quaest. Math. 44, No. 2, 187--198 (2021; Zbl 1462.51006) 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 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-XX 65-XX PDF BibTeX 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 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 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 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 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 1462.32035 Bull. Sci. Math. 168, Article ID 102972, 31 p. (2021). Reviewer: Vladimir P. Kostov (Nice) MSC: 32S45 42B20 28A75 34C15 PDF BibTeX Cite \textit{J.-P. Rolin} et al., Bull. Sci. Math. 168, Article ID 102972, 31 p. (2021; Zbl 1462.32035) 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-XX PDF BibTeX 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 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 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 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 1460.94020 Appl. Comput. Harmon. Anal. 52, 251-278 (2021). MSC: 94A12 90C25 52A22 PDF BibTeX Cite \textit{H. García} et al., Appl. Comput. Harmon. Anal. 52, 251--278 (2021; Zbl 1460.94020) Full Text: DOI
Li, Weilin; Liao, Wenjing Stable super-resolution limit and smallest singular value of restricted Fourier matrices. (English) Zbl 1460.42004 Appl. Comput. Harmon. Anal. 51, 118-156 (2021). MSC: 42A16 42A10 42A15 94A08 94A15 94A20 15A42 94A12 PDF BibTeX Cite \textit{W. Li} and \textit{W. Liao}, Appl. Comput. Harmon. Anal. 51, 118--156 (2021; Zbl 1460.42004) Full Text: DOI
Eftekhari, Armin; Tanner, Jared; Thompson, Andrew; Toader, Bogdan; Tyagi, Hemant Sparse non-negative super-resolution – simplified and stabilised. (English) Zbl 1460.94019 Appl. Comput. Harmon. Anal. 50, 216-280 (2021). MSC: 94A12 94A20 60A10 65F15 PDF BibTeX Cite \textit{A. Eftekhari} et al., Appl. Comput. Harmon. Anal. 50, 216--280 (2021; Zbl 1460.94019) 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 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 1460.32014 J. Eur. Math. Soc. (JEMS) 23, No. 3, 949-994 (2021). MSC: 32G13 53C26 14B07 14J10 32S45 32S15 PDF BibTeX Cite \textit{B. Bakker} and \textit{C. Lehn}, J. Eur. Math. Soc. (JEMS) 23, No. 3, 949--994 (2021; Zbl 1460.32014) 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 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 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 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 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: 68Qxx PDF BibTeX 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 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 1459.35328 J. Differ. Equations 280, 644-689 (2021). MSC: 35Q51 35Q15 37K15 35C20 78A60 35L20 35B40 35B35 PDF BibTeX Cite \textit{Y. Yang} and \textit{E. Fan}, J. Differ. Equations 280, 644--689 (2021; Zbl 1459.35328) 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). Reviewer: Gabriela Paola Ovando (Rosario) MSC: 53C38 53C15 17B30 22E25 PDF BibTeX 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: 65Txx 35Qxx 35Lxx 65Mxx PDF BibTeX 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 1458.68119 Formal Asp. Comput. 33, No. 1, 127-150 (2021). MSC: 68Q60 68V15 PDF BibTeX Cite \textit{T. Letan} et al., Formal Asp. Comput. 33, No. 1, 127--150 (2021; Zbl 1458.68119) 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 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 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 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 1458.91085 J. Econ. Theory 192, Article ID 105129, 28 p. (2021). MSC: 91B16 PDF BibTeX Cite \textit{F. Gul} and \textit{W. Pesendorfer}, J. Econ. Theory 192, Article ID 105129, 28 p. (2021; Zbl 1458.91085) Full Text: DOI