Indrzejczak, Andrzej Russellian definite description theory – a proof theoretic approach. (English) Zbl 07689503 Rev. Symb. Log. 16, No. 2, 624-649 (2023). MSC: 03F03 03F05 03A05 03B10 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Rev. Symb. Log. 16, No. 2, 624--649 (2023; Zbl 07689503) Full Text: DOI OpenURL
Dong, Ruiwen; Goodbrake, Christian; Harrington, Heather A.; Pogudin, Gleb Differential elimination for dynamical models via projections with applications to structural identifiability. (English) Zbl 07682686 SIAM J. Appl. Algebra Geom. 7, No. 1, 194-235 (2023). MSC: 12H05 13P25 93B30 93B25 34A55 PDF BibTeX XML Cite \textit{R. Dong} et al., SIAM J. Appl. Algebra Geom. 7, No. 1, 194--235 (2023; Zbl 07682686) Full Text: DOI arXiv OpenURL
Khani, Mohsen; Zarei, Afshin The additive structure of integers with the lower Wythoff sequence. (English) Zbl 07680021 Arch. Math. Logic 62, No. 1-2, 225-237 (2023). MSC: 03C10 03C57 03C98 11B39 PDF BibTeX XML Cite \textit{M. Khani} and \textit{A. Zarei}, Arch. Math. Logic 62, No. 1--2, 225--237 (2023; Zbl 07680021) Full Text: DOI arXiv OpenURL
Kamsma, Mark Bilinear spaces over a fixed field are simple unstable. (English) Zbl 07680010 Ann. Pure Appl. Logic 174, No. 6, Article ID 103268, 22 p. (2023). MSC: 03C45 03C10 03C35 03C07 PDF BibTeX XML Cite \textit{M. Kamsma}, Ann. Pure Appl. Logic 174, No. 6, Article ID 103268, 22 p. (2023; Zbl 07680010) Full Text: DOI arXiv OpenURL
Heng, Pei; Sun, Yi Algorithms for convex hull finding in undirected graphical models. (English) Zbl 07677262 Appl. Math. Comput. 445, Article ID 127852, 11 p. (2023). MSC: 05Cxx 62Hxx 68Txx PDF BibTeX XML Cite \textit{P. Heng} and \textit{Y. Sun}, Appl. Math. Comput. 445, Article ID 127852, 11 p. (2023; Zbl 07677262) Full Text: DOI OpenURL
Chavarria, Nicolas; Pillay, Anand On pp-elimination and stability in a continuous setting. (English) Zbl 07662886 Ann. Pure Appl. Logic 174, No. 5, Article ID 103258, 14 p. (2023). MSC: 03C10 03C45 03C65 03C66 PDF BibTeX XML Cite \textit{N. Chavarria} and \textit{A. Pillay}, Ann. Pure Appl. Logic 174, No. 5, Article ID 103258, 14 p. (2023; Zbl 07662886) Full Text: DOI arXiv OpenURL
Castaldo, Luca; Stern, Johannes KF, PKF, and Reinhardt’s program. (English) Zbl 07658881 Rev. Symb. Log. 16, No. 1, 33-58 (2023). MSC: 03B50 03F03 03F05 PDF BibTeX XML Cite \textit{L. Castaldo} and \textit{J. Stern}, Rev. Symb. Log. 16, No. 1, 33--58 (2023; Zbl 07658881) Full Text: DOI arXiv OpenURL
Metcalfe, George; Reggio, Luca Model completions for universal classes of algebras: necessary and sufficient conditions. (English) Zbl 07657286 J. Symb. Log. 88, No. 1, 381-417 (2023). MSC: 03C05 03C10 03C40 03C64 03B47 06D35 06F20 PDF BibTeX XML Cite \textit{G. Metcalfe} and \textit{L. Reggio}, J. Symb. Log. 88, No. 1, 381--417 (2023; Zbl 07657286) Full Text: DOI arXiv OpenURL
Kentaro, Sato; Walker, Jan Finitist axiomatic truth. (English) Zbl 07657274 J. Symb. Log. 88, No. 1, 22-73 (2023). MSC: 03F25 03F30 03A05 03D20 03D70 03F05 03F35 PDF BibTeX XML Cite \textit{S. Kentaro} and \textit{J. Walker}, J. Symb. Log. 88, No. 1, 22--73 (2023; Zbl 07657274) Full Text: DOI OpenURL
Borowiecki, Piotr; Dereniowski, Dariusz; Osula, Dorota The complexity of bicriteria tree-depth. (English) Zbl 07648689 Theor. Comput. Sci. 947, Article ID 113682, 18 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Borowiecki} et al., Theor. Comput. Sci. 947, Article ID 113682, 18 p. (2023; Zbl 07648689) Full Text: DOI OpenURL
Cubides Kovacsics, Pablo; Point, Françoise Topological fields with a generic derivation. (English) Zbl 07637217 Ann. Pure Appl. Logic 174, No. 3, Article ID 103211, 38 p. (2023). Reviewer: Luc Bélair (Montréal) MSC: 12L12 12J25 12H05 13N15 03C60 PDF BibTeX XML Cite \textit{P. Cubides Kovacsics} and \textit{F. Point}, Ann. Pure Appl. Logic 174, No. 3, Article ID 103211, 38 p. (2023; Zbl 07637217) Full Text: DOI arXiv OpenURL
Ealy, Clifton F.; Maříková, Jana Quantifier elimination for o-minimal structures expanded by a valuational cut. (English) Zbl 07628768 Ann. Pure Appl. Logic 174, No. 2, Article ID 103206, 22 p. (2023). Reviewer: Fujita Masato (Kure) MSC: 03C64 03C10 12J25 12J10 12J15 12L12 PDF BibTeX XML Cite \textit{C. F. Ealy} and \textit{J. Maříková}, Ann. Pure Appl. Logic 174, No. 2, Article ID 103206, 22 p. (2023; Zbl 07628768) Full Text: DOI arXiv OpenURL
Martí-Farré, Jaume; Mora, Mercè; Puertas, María Luz; Ruiz, José Luis Elimination properties for minimal dominating sets of graphs. (English) Zbl 1504.05221 Discuss. Math., Graph Theory 43, No. 1, 137-149 (2023). MSC: 05C69 05C65 05C35 PDF BibTeX XML Cite \textit{J. Martí-Farré} et al., Discuss. Math., Graph Theory 43, No. 1, 137--149 (2023; Zbl 1504.05221) Full Text: DOI OpenURL
Hong, Jizhan Quantifier elimination on some pseudo-algebraically closed valued fields. (English) Zbl 1503.03038 Ann. Pure Appl. Logic 174, No. 1, Article ID 103170, 23 p. (2023). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C60 03C10 12J10 12L12 12F05 12F10 12F20 PDF BibTeX XML Cite \textit{J. Hong}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103170, 23 p. (2023; Zbl 1503.03038) Full Text: DOI arXiv OpenURL
Dekker, David; Jansen, Bart M. P. Kernelization for feedback vertex set via elimination distance to a forest. (English) Zbl 07682408 Bekos, Michael A. (ed.) et al., Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13453, 158-172 (2022). MSC: 68R10 PDF BibTeX XML Cite \textit{D. Dekker} and \textit{B. M. P. Jansen}, Lect. Notes Comput. Sci. 13453, 158--172 (2022; Zbl 07682408) Full Text: DOI arXiv OpenURL
Podlovics, Péter; Hruska, Csaba; Pénzes, Andor A modern look at GRIN, an optimizing functional language back end. (English) Zbl 07670576 Acta Cybern. 25, No. 4, 847-876 (2022). MSC: 68N15 PDF BibTeX XML Cite \textit{P. Podlovics} et al., Acta Cybern. 25, No. 4, 847--876 (2022; Zbl 07670576) Full Text: DOI OpenURL
Orlandelli, Eugenio; Tesi, Matteo Labelled sequent calculi for logics of strict implication. (English) Zbl 07668118 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 625-641 (2022). MSC: 03F03 03B45 PDF BibTeX XML Cite \textit{E. Orlandelli} and \textit{M. Tesi}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 625--641 (2022; Zbl 07668118) OpenURL
Goré, Rajeev; Shillito, Ian Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 07668109 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 429-449 (2022). MSC: 03F45 03B35 03F05 PDF BibTeX XML Cite \textit{R. Goré} and \textit{I. Shillito}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 429--449 (2022; Zbl 07668109) OpenURL
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz An analytic propositional proof system on graphs. (English) Zbl 07639905 Log. Methods Comput. Sci. 18, No. 4, Paper No. 1, 80 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Acclavio} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 1, 80 p. (2022; Zbl 07639905) Full Text: DOI arXiv OpenURL
Rathjen, Michael Well-ordering principles in proof theory and reverse mathematics. (English) Zbl 07632450 Ferreira, Fernando (ed.) et al., Axiomatic thinking II. Cham: Springer. 89-127 (2022). MSC: 03-03 03A05 PDF BibTeX XML Cite \textit{M. Rathjen}, in: Axiomatic thinking II. Cham: Springer. 89--127 (2022; Zbl 07632450) Full Text: DOI arXiv OpenURL
Jäger, Gerhard Simplified cut elimination for Kripke-Platek set theory. (English) Zbl 07632448 Ferreira, Fernando (ed.) et al., Axiomatic thinking II. Cham: Springer. 9-34 (2022). MSC: 03-03 03A05 PDF BibTeX XML Cite \textit{G. Jäger}, in: Axiomatic thinking II. Cham: Springer. 9--34 (2022; Zbl 07632448) Full Text: DOI OpenURL
Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos Syntactic completeness of proper display calculi. (English) Zbl 1505.03121 ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022). MSC: 03F03 03F05 03B45 PDF BibTeX XML Cite \textit{J. Chen} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022; Zbl 1505.03121) Full Text: DOI arXiv OpenURL
Strang, Gilbert; Drucker, Daniel Three matrix factorizations from the steps of elimination. (English) Zbl 1502.15010 Anal. Appl., Singap. 20, No. 6, 1147-1157 (2022). MSC: 15A23 15A09 PDF BibTeX XML Cite \textit{G. Strang} and \textit{D. Drucker}, Anal. Appl., Singap. 20, No. 6, 1147--1157 (2022; Zbl 1502.15010) Full Text: DOI OpenURL
Frittaion, Emanuele A note on fragments of uniform reflection in second order arithmetic. (English) Zbl 07606775 Bull. Symb. Log. 28, No. 3, 451-465 (2022). MSC: 03F03 03F05 03F30 03F35 03B30 PDF BibTeX XML Cite \textit{E. Frittaion}, Bull. Symb. Log. 28, No. 3, 451--465 (2022; Zbl 07606775) Full Text: DOI arXiv OpenURL
Amin, Rohul; Shah, Kamal; Mlaiki, Nabil; Yüzbaşı, Şuayip; Abdeljawad, Thabet; Hussain, Arshad Existence and numerical analysis using Haar wavelet for fourth-order multi-term fractional differential equations. (English) Zbl 07601622 Comput. Appl. Math. 41, No. 7, Paper No. 329, 15 p. (2022). MSC: 65M70 65T60 65F05 26A33 35R11 65M12 65M15 PDF BibTeX XML Cite \textit{R. Amin} et al., Comput. Appl. Math. 41, No. 7, Paper No. 329, 15 p. (2022; Zbl 07601622) Full Text: DOI OpenURL
Meßmer, Manuel; Teschemacher, Tobias; Leidinger, Lukas F.; Wüchner, Roland; Bletzinger, Kai-Uwe Efficient CAD-integrated isogeometric analysis of trimmed solids. (English) Zbl 1507.74540 Comput. Methods Appl. Mech. Eng. 400, Article ID 115584, 50 p. (2022). MSC: 74S22 78-10 PDF BibTeX XML Cite \textit{M. Meßmer} et al., Comput. Methods Appl. Mech. Eng. 400, Article ID 115584, 50 p. (2022; Zbl 1507.74540) Full Text: DOI OpenURL
Eagle, Christopher J.; Getz, Alan Model-theoretic properties of dynamics on the Cantor set. (English) Zbl 07598584 Notre Dame J. Formal Logic 63, No. 3, 357-371 (2022). MSC: 03C10 03C66 03C98 37B05 46J10 54C35 PDF BibTeX XML Cite \textit{C. J. Eagle} and \textit{A. Getz}, Notre Dame J. Formal Logic 63, No. 3, 357--371 (2022; Zbl 07598584) Full Text: DOI arXiv OpenURL
Salehi, Saeed Axiomatic (and non-axiomatic) mathematics. (English) Zbl 07598553 Rocky Mt. J. Math. 52, No. 4, 1157-1176 (2022). MSC: 03B25 03C10 03D35 03F40 11U05 12L05 PDF BibTeX XML Cite \textit{S. Salehi}, Rocky Mt. J. Math. 52, No. 4, 1157--1176 (2022; Zbl 07598553) Full Text: DOI arXiv Link OpenURL
Perea, Andrés Common belief in rationality in games with unawareness. (English) Zbl 1505.91103 Math. Soc. Sci. 119, 11-30 (2022). Reviewer: Fernando Tohmé (Bahia Blanca) MSC: 91A26 PDF BibTeX XML Cite \textit{A. Perea}, Math. Soc. Sci. 119, 11--30 (2022; Zbl 1505.91103) Full Text: DOI OpenURL
Bertolami, Orfeu; M. Sá, Paulo Multi-field cold and warm inflation and the de Sitter swampland conjectures. (English) Zbl 1507.83065 J. Cosmol. Astropart. Phys. 2022, No. 9, Paper No. 1, 13 p. (2022). MSC: 83E05 03F05 81T30 PDF BibTeX XML Cite \textit{O. Bertolami} and \textit{P. M. Sá}, J. Cosmol. Astropart. Phys. 2022, No. 9, Paper No. 1, 13 p. (2022; Zbl 1507.83065) Full Text: DOI arXiv OpenURL
Kannari, Phanindra Reddy; Chowdary, Noorullah Shariff; Laxmikanth Biradar, Rajkumar An anomaly-based intrusion detection system using recursive feature elimination technique for improved attack detection. (English) Zbl 07579635 Theor. Comput. Sci. 931, 56-64 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. R. Kannari} et al., Theor. Comput. Sci. 931, 56--64 (2022; Zbl 07579635) Full Text: DOI OpenURL
Russo, Jorge G. Phantoms and strange attractors in cosmology. (English) Zbl 1506.83046 J. Cosmol. Astropart. Phys. 2022, No. 7, Paper No. 15, 11 p. (2022). MSC: 83E30 03F05 83C75 83E05 37D45 PDF BibTeX XML Cite \textit{J. G. Russo}, J. Cosmol. Astropart. Phys. 2022, No. 7, Paper No. 15, 11 p. (2022; Zbl 1506.83046) Full Text: DOI arXiv OpenURL
Agrawal, Akanksha; Ramanujan, M. S. Distance from triviality 2.0: hybrid parameterizations. (English) Zbl 1497.68360 Bazgan, Cristina (ed.) et al., Combinatorial algorithms. 33rd international workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13270, 3-20 (2022). MSC: 68R10 68Q27 PDF BibTeX XML Cite \textit{A. Agrawal} and \textit{M. S. Ramanujan}, Lect. Notes Comput. Sci. 13270, 3--20 (2022; Zbl 1497.68360) Full Text: DOI OpenURL
Sheng, Xingping; Xin, Dawei Methods of Gauss-Jordan elimination to compute core inverse \(A^{\text{\textcircled{\#}}}\) and dual core inverse \(A_{\text{\textcircled{\#}}}\). (English) Zbl 1496.15002 Linear Multilinear Algebra 70, No. 12, 2354-2366 (2022). Reviewer: K. C. Sivakumar (Chennai) MSC: 15A09 PDF BibTeX XML Cite \textit{X. Sheng} and \textit{D. Xin}, Linear Multilinear Algebra 70, No. 12, 2354--2366 (2022; Zbl 1496.15002) Full Text: DOI OpenURL
Carnicer, J. M.; Khiar, Y.; Peña, J. M. Inverse central ordering for the Newton interpolation formula. (English) Zbl 1496.65013 Numer. Algorithms 90, No. 4, 1691-1713 (2022). MSC: 65D05 41A05 41A10 PDF BibTeX XML Cite \textit{J. M. Carnicer} et al., Numer. Algorithms 90, No. 4, 1691--1713 (2022; Zbl 1496.65013) Full Text: DOI OpenURL
Hu, Sheng-Long Certifying the global optimality of quartic minimization over the sphere. (English) Zbl 07562514 J. Oper. Res. Soc. China 10, No. 2, 241-287 (2022). MSC: 13P15 15A18 15A69 49N15 65H04 90C26 90C46 PDF BibTeX XML Cite \textit{S.-L. Hu}, J. Oper. Res. Soc. China 10, No. 2, 241--287 (2022; Zbl 07562514) Full Text: DOI OpenURL
Sipoş, Andrei On extracting variable Herbrand disjunctions. (English) Zbl 07562026 Stud. Log. 110, No. 4, 1115-1134 (2022). MSC: 03F10 03F05 03F30 PDF BibTeX XML Cite \textit{A. Sipoş}, Stud. Log. 110, No. 4, 1115--1134 (2022; Zbl 07562026) Full Text: DOI arXiv OpenURL
Elbaz, Esther Grothendieck ring of the pairing function without cycles. (English) Zbl 07556129 Notre Dame J. Formal Logic 63, No. 2, 165-184 (2022). MSC: 03C07 03C10 03C98 08C10 PDF BibTeX XML Cite \textit{E. Elbaz}, Notre Dame J. Formal Logic 63, No. 2, 165--184 (2022; Zbl 07556129) Full Text: DOI arXiv OpenURL
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Revisiting closed asymptotic couples. (English) Zbl 07556006 Proc. Edinb. Math. Soc., II. Ser. 65, No. 2, 530-555 (2022). MSC: 03C10 03C64 06F20 34E05 12H05 12J25 PDF BibTeX XML Cite \textit{M. Aschenbrenner} et al., Proc. Edinb. Math. Soc., II. Ser. 65, No. 2, 530--555 (2022; Zbl 07556006) Full Text: DOI arXiv OpenURL
Sudoplatov, Sergey Vladimirovich Special relations for formulae, their equivalence relations and theories. (English) Zbl 07544345 Sib. Èlektron. Mat. Izv. 19, No. 1, 259-272 (2022). MSC: 03C07 03C10 03C68 PDF BibTeX XML Cite \textit{S. V. Sudoplatov}, Sib. Èlektron. Mat. Izv. 19, No. 1, 259--272 (2022; Zbl 07544345) Full Text: DOI OpenURL
Aschenbrenner, Matthias; Chernikov, Artem; Gehret, Allen; Ziegler, Martin Distality in valued fields and related structures. (English) Zbl 1498.03073 Trans. Am. Math. Soc. 375, No. 7, 4641-4710 (2022). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 03C45 03C60 12L12 12J10 03C64 03C10 06F20 PDF BibTeX XML Cite \textit{M. Aschenbrenner} et al., Trans. Am. Math. Soc. 375, No. 7, 4641--4710 (2022; Zbl 1498.03073) Full Text: DOI arXiv OpenURL
Komara, Ján Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \). (English) Zbl 1506.03120 Arch. Math. Logic 61, No. 3-4, 503-534 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F20 03F03 PDF BibTeX XML Cite \textit{J. Komara}, Arch. Math. Logic 61, No. 3--4, 503--534 (2022; Zbl 1506.03120) Full Text: DOI arXiv OpenURL
Cluckers, Raf; Halupczok, Immanuel; Rideau-Kikuchi, Silvain Hensel minimality I. (English) Zbl 07536457 Forum Math. Pi 10, Paper No. e11, 68 p. (2022). MSC: 03C99 03C65 12J20 11D88 03C98 14E18 41A58 PDF BibTeX XML Cite \textit{R. Cluckers} et al., Forum Math. Pi 10, Paper No. e11, 68 p. (2022; Zbl 07536457) Full Text: DOI arXiv OpenURL
Zach, Richard Corrections to: “Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)”. (English) Zbl 1487.03025 J. Philos. Log. 51, No. 3, 691 (2022). MSC: 03B05 03B22 03F03 03F05 PDF BibTeX XML Cite \textit{R. Zach}, J. Philos. Log. 51, No. 3, 691 (2022; Zbl 1487.03025) Full Text: DOI OpenURL
Hayashi, Daichi On cut-elimination arguments for axiomatic theories of truth. (English) Zbl 07535458 Stud. Log. 110, No. 3, 785-818 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Hayashi}, Stud. Log. 110, No. 3, 785--818 (2022; Zbl 07535458) Full Text: DOI OpenURL
Aguilera, J. P.; Baaz, M.; Bydžovský, J. The number of axioms. (English) Zbl 07501980 Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022). MSC: 03F03 03F20 03B10 03F07 PDF BibTeX XML Cite \textit{J. P. Aguilera} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022; Zbl 07501980) Full Text: DOI OpenURL
Kürbis, Nils Normalisation and subformula property for a system of classical logic with Tarski’s rule. (English) Zbl 07495456 Arch. Math. Logic 61, No. 1-2, 105-129 (2022). MSC: 03B05 03B10 03B20 03F05 PDF BibTeX XML Cite \textit{N. Kürbis}, Arch. Math. Logic 61, No. 1--2, 105--129 (2022; Zbl 07495456) Full Text: DOI OpenURL
Moconja, Slavko; Tanović, Predrag Does weak quasi-o-minimality behave better than weak o-minimality? (English) Zbl 1504.03021 Arch. Math. Logic 61, No. 1-2, 81-103 (2022). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C10 03C40 PDF BibTeX XML Cite \textit{S. Moconja} and \textit{P. Tanović}, Arch. Math. Logic 61, No. 1--2, 81--103 (2022; Zbl 1504.03021) Full Text: DOI arXiv OpenURL
Pastuszak, Grzegorz; Skowyrski, Adam; Jamiołkowski, Andrzej On maps which preserve semipositivity and quantifier elimination theory for real numbers. (English) Zbl 1485.15043 Commun. Contemp. Math. 24, No. 2, Article ID 2050092, 26 p. (2022). MSC: 15B57 15A04 81S22 03C10 PDF BibTeX XML Cite \textit{G. Pastuszak} et al., Commun. Contemp. Math. 24, No. 2, Article ID 2050092, 26 p. (2022; Zbl 1485.15043) Full Text: DOI arXiv OpenURL
Su, Juan; Lu, Min; Huang, Jicai Bifurcations in a dynamical model of the innate immune system response to initial pulmonary infection. (English) Zbl 1492.34062 Qual. Theory Dyn. Syst. 21, No. 2, Paper No. 41, 27 p. (2022). MSC: 34C60 92C50 34C05 34C23 34C37 34D20 PDF BibTeX XML Cite \textit{J. Su} et al., Qual. Theory Dyn. Syst. 21, No. 2, Paper No. 41, 27 p. (2022; Zbl 1492.34062) Full Text: DOI OpenURL
Mai, Tina; Mortari, Daniele Theory of functional connections applied to quadratic and nonlinear programming under equality constraints. (English) Zbl 1490.65118 J. Comput. Appl. Math. 406, Article ID 113912, 22 p. (2022). MSC: 65K05 90C20 90C25 PDF BibTeX XML Cite \textit{T. Mai} and \textit{D. Mortari}, J. Comput. Appl. Math. 406, Article ID 113912, 22 p. (2022; Zbl 1490.65118) Full Text: DOI arXiv OpenURL
Derakhshan, Jamshid; Macintyre, Angus Model theory of adeles. I. (English) Zbl 07458668 Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022). MSC: 03C10 03C60 11R56 11U09 11R42 11U05 PDF BibTeX XML Cite \textit{J. Derakhshan} and \textit{A. Macintyre}, Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022; Zbl 07458668) Full Text: DOI arXiv OpenURL
Günaydın, Ayhan; Özsahakyan, Melissa Expansions of the group of integers by Beatty sequences. (English) Zbl 1497.03053 Ann. Pure Appl. Logic 173, No. 3, Article ID 103062, 22 p. (2022). Reviewer: Gerard Leloup (Le Mans) MSC: 03C64 03C60 03C10 03C35 11B85 PDF BibTeX XML Cite \textit{A. Günaydın} and \textit{M. Özsahakyan}, Ann. Pure Appl. Logic 173, No. 3, Article ID 103062, 22 p. (2022; Zbl 1497.03053) Full Text: DOI arXiv OpenURL
Beisegel, Jesse; Chudnovsky, Maria; Gurvich, Vladimir; Milanič, Martin; Servatius, Mary Avoidable vertices and edges in graphs: existence, characterization, and applications. (English) Zbl 1480.05039 Discrete Appl. Math. 309, 285-300 (2022). MSC: 05C12 05C38 68R10 68P05 PDF BibTeX XML Cite \textit{J. Beisegel} et al., Discrete Appl. Math. 309, 285--300 (2022; Zbl 1480.05039) Full Text: DOI OpenURL
Meir, Nadav Infinite lexicographic products. (English) Zbl 1486.03056 Ann. Pure Appl. Logic 173, No. 1, Article ID 102991, 23 p. (2022). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 03C10 03C50 03C75 05C55 05D10 PDF BibTeX XML Cite \textit{N. Meir}, Ann. Pure Appl. Logic 173, No. 1, Article ID 102991, 23 p. (2022; Zbl 1486.03056) Full Text: DOI arXiv OpenURL
Pastuszak, Grzegorz; Skowyrski, Adam; Jamiołkowski, Andrzej Quantifier elimination theory and maps which preserve semipositivity. (English) Zbl 07658396 Quantum Inf. Process. 20, No. 3, Paper No. 123, 14 p. (2021). MSC: 81R15 03C10 47N50 PDF BibTeX XML Cite \textit{G. Pastuszak} et al., Quantum Inf. Process. 20, No. 3, Paper No. 123, 14 p. (2021; Zbl 07658396) Full Text: DOI arXiv OpenURL
Roy, Marie-Françoise Quantifier elimination versus Hilbert’s seventeenth problem. (Élimination des quantificateurs versus dix-septième problème de Hilbert.) (French) Zbl 1494.03006 Haffner, Emmylou (ed.) et al., L’épistémologie du dedans. Mélanges en l’honneur de Hourya Benis-Sinaceur. Paris: Classiques Garnier. Rencontres 479, 191-211 (2021). MSC: 03-03 12-03 14-03 14Pxx 01A60 12Jxx 03C64 03C10 PDF BibTeX XML Cite \textit{M.-F. Roy}, Rencontres 479, 191--211 (2021; Zbl 1494.03006) OpenURL
Ji, Jun; Wei, Yimin The core-EP, weighted core-EP inverse of matrices and constrained systems of linear equations. (English) Zbl 07578923 Commun. Math. Res. 37, No. 1, 86-112 (2021). MSC: 15A06 15A09 PDF BibTeX XML Cite \textit{J. Ji} and \textit{Y. Wei}, Commun. Math. Res. 37, No. 1, 86--112 (2021; Zbl 07578923) Full Text: DOI OpenURL
Swat, Sylwester; Kasprzak, Marta A heuristic approach to the treedepth decomposition problem for large graphs. (English) Zbl 07538575 Kowalik, Łukasz (ed.) et al., Graph-theoretic concepts in computer science. 47th international workshop, WG 2021, Warsaw, Poland, June 23–25, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12911, 169-181 (2021). MSC: 68R10 PDF BibTeX XML Cite \textit{S. Swat} and \textit{M. Kasprzak}, Lect. Notes Comput. Sci. 12911, 169--181 (2021; Zbl 07538575) Full Text: DOI OpenURL
Jansen, Bart M. P.; de Kroon, Jari J. H. FPT algorithms to compute the elimination distance to bipartite graphs and more. (English) Zbl 07538568 Kowalik, Łukasz (ed.) et al., Graph-theoretic concepts in computer science. 47th international workshop, WG 2021, Warsaw, Poland, June 23–25, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12911, 80-93 (2021). MSC: 68R10 PDF BibTeX XML Cite \textit{B. M. P. Jansen} and \textit{J. J. H. de Kroon}, Lect. Notes Comput. Sci. 12911, 80--93 (2021; Zbl 07538568) Full Text: DOI arXiv OpenURL
Diner, Öznur Yaşar; Giannopoulou, Archontia C.; Stamoulis, Giannos; Thilikos, Dimitrios M. Block elimination distance. (English) Zbl 07538565 Kowalik, Łukasz (ed.) et al., Graph-theoretic concepts in computer science. 47th international workshop, WG 2021, Warsaw, Poland, June 23–25, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12911, 28-38 (2021). MSC: 68R10 PDF BibTeX XML Cite \textit{Ö. Y. Diner} et al., Lect. Notes Comput. Sci. 12911, 28--38 (2021; Zbl 07538565) Full Text: DOI arXiv OpenURL
D’Abrera, Caitlin; Dawson, Jeremy; Goré, Rajeev A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{C. D'Abrera} et al., Lect. Notes Comput. Sci. 12842, 281--298 (2021; Zbl 07532522) Full Text: DOI OpenURL
Kürbis, Nils Proof-theory and semantics for a theory of definite descriptions. (English) Zbl 07532511 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 95-111 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{N. Kürbis}, Lect. Notes Comput. Sci. 12842, 95--111 (2021; Zbl 07532511) Full Text: DOI arXiv OpenURL
Borowiecki, Piotr; Dereniowski, Dariusz; Osula, Dorota The complexity of bicriteria tree-depth. (English) Zbl 07530227 Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 100-113 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Borowiecki} et al., Lect. Notes Comput. Sci. 12867, 100--113 (2021; Zbl 07530227) Full Text: DOI arXiv OpenURL
Ahmad, Israr; Amin, Rohul; Abdeljawad, Thabet; Shah, Kamal A numerical method for fractional pantograph delay integro-differential equations on Haar wavelet. (English) Zbl 1485.65073 Int. J. Appl. Comput. Math. 7, No. 2, Paper No. 28, 13 p. (2021). MSC: 65L03 65L60 65T60 34K37 PDF BibTeX XML Cite \textit{I. Ahmad} et al., Int. J. Appl. Comput. Math. 7, No. 2, Paper No. 28, 13 p. (2021; Zbl 1485.65073) Full Text: DOI OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction. (English. Russian original) Zbl 1491.03012 Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372-380 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608-619 (2021). MSC: 03B25 03C10 03C60 11U05 PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372--380 (2021; Zbl 1491.03012); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608--619 (2021) Full Text: DOI OpenURL
Dudenhefner, Andrej; Urzyczyn, Paweł Kripke semantics for intersection formulas. (English) Zbl 1505.03034 ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021). MSC: 03B40 03F03 03F05 PDF BibTeX XML Cite \textit{A. Dudenhefner} and \textit{P. Urzyczyn}, ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021; Zbl 1505.03034) Full Text: DOI OpenURL
Lyon, Tim On the correspondence between nested calculi and semantic systems for intuitionistic logics. (English) Zbl 07471467 J. Log. Comput. 31, No. 1, 213-265 (2021). MSC: 03B20 03F03 03F05 PDF BibTeX XML Cite \textit{T. Lyon}, J. Log. Comput. 31, No. 1, 213--265 (2021; Zbl 07471467) Full Text: DOI arXiv OpenURL
Baaz, Matthias; Lolic, Anela Towards a proof theory for Henkin quantifiers. (English) Zbl 07471460 J. Log. Comput. 31, No. 1, 40-66 (2021). MSC: 03C80 03F03 03F05 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{A. Lolic}, J. Log. Comput. 31, No. 1, 40--66 (2021; Zbl 07471460) Full Text: DOI OpenURL
Brauer, Ethan; Tennant, Neil Transmission of verification. (English) Zbl 1485.03229 Rev. Symb. Log. 14, No. 4, 866-881 (2021). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{E. Brauer} and \textit{N. Tennant}, Rev. Symb. Log. 14, No. 4, 866--881 (2021; Zbl 1485.03229) Full Text: DOI OpenURL
Middeke, Johannes; Jeffrey, David J.; Koutschan, Christoph Common factors in fraction-free matrix decompositions. (English) Zbl 07465792 Math. Comput. Sci. 15, No. 4, 589-608 (2021). MSC: 15A23 11C20 68W30 PDF BibTeX XML Cite \textit{J. Middeke} et al., Math. Comput. Sci. 15, No. 4, 589--608 (2021; Zbl 07465792) Full Text: DOI arXiv OpenURL
Zach, Richard Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. (English) Zbl 1485.03233 Rev. Symb. Log. 14, No. 3, 645-686 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03F03 PDF BibTeX XML Cite \textit{R. Zach}, Rev. Symb. Log. 14, No. 3, 645--686 (2021; Zbl 1485.03233) Full Text: DOI arXiv OpenURL
Poveshchenko, Yu. A.; Popov, S. B.; Golovchenko, E. N. Development of a method for calculating flows in a multi-circuit pipeline networks. (Russian. English summary) Zbl 1484.76051 Mat. Model. 33, No. 12, 103-122 (2021). MSC: 76M20 76N15 65Y05 PDF BibTeX XML Cite \textit{Yu. A. Poveshchenko} et al., Mat. Model. 33, No. 12, 103--122 (2021; Zbl 1484.76051) Full Text: DOI MNR OpenURL
Bhardwaj, Neer; Tran, Chieu-Minh The additive groups of \(\mathbb{Z}\) and \(\mathbb{Q}\) with predicates for being square-free. (English) Zbl 07457781 J. Symb. Log. 86, No. 4, 1324-1349 (2021). MSC: 03C65 03B25 03C10 03C64 PDF BibTeX XML Cite \textit{N. Bhardwaj} and \textit{C.-M. Tran}, J. Symb. Log. 86, No. 4, 1324--1349 (2021; Zbl 07457781) Full Text: DOI arXiv OpenURL
Beddock, Arthur; Jouini, Elyès Live fast, die young: equilibrium and survival in large economies. (English) Zbl 1484.91444 Econ. Theory 71, No. 3, 961-996 (2021). MSC: 91G15 91B50 PDF BibTeX XML Cite \textit{A. Beddock} and \textit{E. Jouini}, Econ. Theory 71, No. 3, 961--996 (2021; Zbl 1484.91444) Full Text: DOI OpenURL
Ansel, Quentin A model of spinfoam coupled with an environment. (English) Zbl 1482.83041 Gen. Relativ. Gravitation 53, No. 4, Paper No. 39, 24 p. (2021). MSC: 83C45 83C60 81S22 81T20 80A10 83C65 81R60 PDF BibTeX XML Cite \textit{Q. Ansel}, Gen. Relativ. Gravitation 53, No. 4, Paper No. 39, 24 p. (2021; Zbl 1482.83041) Full Text: DOI arXiv OpenURL
Huang, Chunyan A note on the scattering for 3D quantum Zakharov system with non-radial data in \(L^2\). (English) Zbl 1503.81058 Wood, David R. (ed.) et al., 2019–20 MATRIX annals. Cham: Springer. MATRIX Book Ser. 4, 551-564 (2021). MSC: 81U05 03F05 46C05 PDF BibTeX XML Cite \textit{C. Huang}, MATRIX Book Ser. 4, 551--564 (2021; Zbl 1503.81058) Full Text: DOI OpenURL
Rahmani, Mehran; Rahman, Mohammad Habibur New hybrid control of autonomous underwater vehicles. (English) Zbl 1478.93099 Int. J. Control 94, No. 11, 3038-3045 (2021). MSC: 93B12 93C85 93B35 93D05 PDF BibTeX XML Cite \textit{M. Rahmani} and \textit{M. H. Rahman}, Int. J. Control 94, No. 11, 3038--3045 (2021; Zbl 1478.93099) Full Text: DOI OpenURL
Sato, Masayuki; Peaucelle, Dimitri Causal gain-scheduled output feedback controllers using parameter-dependent Lyapunov functions. (English) Zbl 1478.93211 Automatica 129, Article ID 109569, 9 p. (2021). MSC: 93B52 93D30 93C05 PDF BibTeX XML Cite \textit{M. Sato} and \textit{D. Peaucelle}, Automatica 129, Article ID 109569, 9 p. (2021; Zbl 1478.93211) Full Text: DOI OpenURL
Limei, Guo; Yingbin, Zhu; Duan, Huang A fingerprint minutiae extraction method in quantum thinned binary image. (English) Zbl 07420886 Int. J. Theor. Phys. 60, No. 5, 1883-1894 (2021). MSC: 68Qxx 81Pxx 68Uxx PDF BibTeX XML Cite \textit{G. Limei} et al., Int. J. Theor. Phys. 60, No. 5, 1883--1894 (2021; Zbl 07420886) Full Text: DOI OpenURL
d’Elbée, Christian Generic expansions by a reduct. (English) Zbl 07419666 J. Math. Log. 21, No. 3, Article ID 2150016, 44 p. (2021). MSC: 03C65 03C10 03C45 PDF BibTeX XML Cite \textit{C. d'Elbée}, J. Math. Log. 21, No. 3, Article ID 2150016, 44 p. (2021; Zbl 07419666) Full Text: DOI arXiv OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma. (English. Russian original) Zbl 1491.03011 Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264-272 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455-466 (2021). MSC: 03B25 03C10 03C60 11U05 PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264--272 (2021; Zbl 1491.03011); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455--466 (2021) Full Text: DOI OpenURL
Takemura, Ryo Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. (English) Zbl 1487.03063 Arch. Math. Logic 60, No. 7-8, 783-813 (2021). Reviewer: Reinhard Kahle (Tübingen) MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{R. Takemura}, Arch. Math. Logic 60, No. 7--8, 783--813 (2021; Zbl 1487.03063) Full Text: DOI OpenURL
Dittmann, Philip; Leijnse, Dion A class of fields with a restricted model completeness property. (English) Zbl 1496.12003 J. Symb. Log. 86, No. 2, 701-708 (2021). Reviewer: Luc Bélair (Montréal) MSC: 12L12 03C10 12E05 PDF BibTeX XML Cite \textit{P. Dittmann} and \textit{D. Leijnse}, J. Symb. Log. 86, No. 2, 701--708 (2021; Zbl 1496.12003) Full Text: DOI arXiv OpenURL
D’Elbée, Christian Forking, imaginaries, and other features of ACFG. (English) Zbl 07415220 J. Symb. Log. 86, No. 2, 669-700 (2021). MSC: 03C10 03C30 03C45 03C65 PDF BibTeX XML Cite \textit{C. D'Elbée}, J. Symb. Log. 86, No. 2, 669--700 (2021; Zbl 07415220) Full Text: DOI arXiv OpenURL
Ciabattoni, Agata; Lang, Timo; Ramanayake, Revantha Bounded-analytic sequent calculi and embeddings for hypersequent logics. (English) Zbl 07415219 J. Symb. Log. 86, No. 2, 635-668 (2021). MSC: 03F03 03F07 03F52 PDF BibTeX XML Cite \textit{A. Ciabattoni} et al., J. Symb. Log. 86, No. 2, 635--668 (2021; Zbl 07415219) Full Text: DOI OpenURL
Meir, Nadav Pseudo-finite sets, pseudo-o-minimality. (English) Zbl 1485.03136 J. Symb. Log. 86, No. 2, 577-599 (2021). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C10 03C15 03C35 PDF BibTeX XML Cite \textit{N. Meir}, J. Symb. Log. 86, No. 2, 577--599 (2021; Zbl 1485.03136) Full Text: DOI arXiv OpenURL
Mundici, Daniele Bratteli diagrams via the De Concini-Procesi theorem. (English) Zbl 1486.46066 Commun. Contemp. Math. 23, No. 7, Article ID 2050073, 58 p. (2021). MSC: 46L35 06D35 06F20 08A50 11Y16 19A49 20F10 20M05 46L80 47L40 68Q25 PDF BibTeX XML Cite \textit{D. Mundici}, Commun. Contemp. Math. 23, No. 7, Article ID 2050073, 58 p. (2021; Zbl 1486.46066) Full Text: DOI OpenURL
Haase, Christoph; Różycki, Jakub On the expressiveness of Büchi arithmetic. (English) Zbl 07410431 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 310-323 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{C. Haase} and \textit{J. Różycki}, Lect. Notes Comput. Sci. 12650, 310--323 (2021; Zbl 07410431) Full Text: DOI arXiv OpenURL
Fornasiero, Antongiulio; Kaplan, Elliot Generic derivations on o-minimal structures. (English) Zbl 07410401 J. Math. Log. 21, No. 2, Article ID 2150007, 45 p. (2021). MSC: 03C64 03C10 12H05 PDF BibTeX XML Cite \textit{A. Fornasiero} and \textit{E. Kaplan}, J. Math. Log. 21, No. 2, Article ID 2150007, 45 p. (2021; Zbl 07410401) Full Text: DOI arXiv OpenURL
Mallahi-Karai, Keivan; Diederich, Adele Decision with multiple alternatives: geometric models in higher dimensions – the disk model. (English) Zbl 1471.91111 J. Math. Psychol. 100, Article ID 102493, 10 p. (2021). MSC: 91B06 PDF BibTeX XML Cite \textit{K. Mallahi-Karai} and \textit{A. Diederich}, J. Math. Psychol. 100, Article ID 102493, 10 p. (2021; Zbl 1471.91111) Full Text: DOI OpenURL
Guerrini, Stefano; Masini, Andrea Proof nets for classical logic. (English) Zbl 07391978 Notre Dame J. Formal Logic 62, No. 2, 303-343 (2021). MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{S. Guerrini} and \textit{A. Masini}, Notre Dame J. Formal Logic 62, No. 2, 303--343 (2021; Zbl 07391978) Full Text: DOI OpenURL
Panda, B. S.; Chaudhary, Juhi Dominating induced matching in some subclasses of bipartite graphs. (English) Zbl 07391551 Theor. Comput. Sci. 885, 104-115 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{B. S. Panda} and \textit{J. Chaudhary}, Theor. Comput. Sci. 885, 104--115 (2021; Zbl 07391551) Full Text: DOI OpenURL
Sawa, Ryoji A stochastic stability analysis with observation errors in normal form games. (English) Zbl 1470.91034 Games Econ. Behav. 129, 570-589 (2021). MSC: 91A15 91A05 93E15 PDF BibTeX XML Cite \textit{R. Sawa}, Games Econ. Behav. 129, 570--589 (2021; Zbl 1470.91034) Full Text: DOI OpenURL
Kaminski, Michael; Francez, Nissim Calculi for many-valued logics. (English) Zbl 07380929 Log. Univers. 15, No. 2, 193-226 (2021). MSC: 03B50 03F03 03F05 PDF BibTeX XML Cite \textit{M. Kaminski} and \textit{N. Francez}, Log. Univers. 15, No. 2, 193--226 (2021; Zbl 07380929) Full Text: DOI OpenURL
Dudakov, Sergey; Karlov, Boris On decidability of theories of regular languages. (English) Zbl 07377738 Theory Comput. Syst. 65, No. 3, 462-478 (2021). MSC: 68Rxx 68Qxx 11-XX 11Bxx PDF BibTeX XML Cite \textit{S. Dudakov} and \textit{B. Karlov}, Theory Comput. Syst. 65, No. 3, 462--478 (2021; Zbl 07377738) Full Text: DOI OpenURL
Marrakchi, Sirine; Jemni, Mohamed Parallel Gaussian elimination of symmetric positive definite band matrices for shared-memory multicore architectures. (English) Zbl 07375282 RAIRO, Oper. Res. 55, Suppl., S905-S927 (2021). MSC: 65F05 65F50 65Y05 68W10 90B35 05C50 PDF BibTeX XML Cite \textit{S. Marrakchi} and \textit{M. Jemni}, RAIRO, Oper. Res. 55, S905--S927 (2021; Zbl 07375282) Full Text: DOI OpenURL
Kepley, Shane; Mischaikow, Konstantin; Zhang, Lun Computing linear extensions for polynomial posets subject to algebraic constraints. (English) Zbl 07374246 SIAM J. Appl. Algebra Geom. 5, No. 2, 388-416 (2021). MSC: 14Q30 37N25 03C10 06A07 06B99 PDF BibTeX XML Cite \textit{S. Kepley} et al., SIAM J. Appl. Algebra Geom. 5, No. 2, 388--416 (2021; Zbl 07374246) Full Text: DOI arXiv OpenURL
Chubb, Jennifer; Miller, Russell; Solomon, Reed Model completeness and relative decidability. (English) Zbl 07373426 Arch. Math. Logic 60, No. 6, 721-735 (2021). MSC: 03C57 03D45 03C10 PDF BibTeX XML Cite \textit{J. Chubb} et al., Arch. Math. Logic 60, No. 6, 721--735 (2021; Zbl 07373426) Full Text: DOI arXiv OpenURL
Mottet, Antoine; Pinsker, Michael Cores over Ramsey structures. (English) Zbl 07370823 J. Symb. Log. 86, No. 1, 352-361 (2021). MSC: 03C10 05C55 PDF BibTeX XML Cite \textit{A. Mottet} and \textit{M. Pinsker}, J. Symb. Log. 86, No. 1, 352--361 (2021; Zbl 07370823) Full Text: DOI arXiv OpenURL