Bazhenov, Nikolay; Fiori-Carones, Marta; Liu, Lu; Melnikov, Alexander Primitive recursive reverse mathematics. (English) Zbl 07748763 Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024). MSC: 03B30 03F35 03D20 03C57 03D78 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024; Zbl 07748763) Full Text: DOI arXiv
Bostan, Alin A short proof of a non-vanishing result by Conca, Krattenthaler and Watanabe. (English) Zbl 07761213 Rend. Semin. Mat. Univ. Padova 150, 177-179 (2023). MSC: 11B37 11B65 11B50 11B83 11R09 11A07 PDF BibTeX XML Cite \textit{A. Bostan}, Rend. Semin. Mat. Univ. Padova 150, 177--179 (2023; Zbl 07761213) Full Text: DOI
Freund, Anton; Rathjen, Michael Well ordering principles for iterated \(\Pi^1_1\)-comprehension. (English) Zbl 07756888 Sel. Math., New Ser. 29, No. 5, Paper No. 76, 83 p. (2023). MSC: 03B30 03D60 03E10 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund} and \textit{M. Rathjen}, Sel. Math., New Ser. 29, No. 5, Paper No. 76, 83 p. (2023; Zbl 07756888) Full Text: DOI arXiv OA License
Dişkaya, Orhan; Menken, Hamza The \(m\)-order linear recursive quaternions. (English) Zbl 07750013 J. Contemp. Appl. Math. 13, No. 2, 19-29 (2023). MSC: 11B39 11R52 05A15 PDF BibTeX XML Cite \textit{O. Dişkaya} and \textit{H. Menken}, J. Contemp. Appl. Math. 13, No. 2, 19--29 (2023; Zbl 07750013) Full Text: DOI
Plisko, Valerii E. The nonarithmeticity of the predicate logic of primitive recursive realizability. (English. Russian original) Zbl 07739850 Izv. Math. 87, No. 2, 389-419 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 2, 196-228 (2023). MSC: 03D20 03F55 03B20 PDF BibTeX XML Cite \textit{V. E. Plisko}, Izv. Math. 87, No. 2, 389--419 (2023; Zbl 07739850); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 2, 196--228 (2023) Full Text: DOI MNR
Aguilera, J. P.; Pakhomov, F. The \(\Pi^1_2\) consequences of a theory. (English) Zbl 07731078 J. Lond. Math. Soc., II. Ser. 107, No. 3, 1045-1073 (2023). MSC: 03F15 03F25 03D20 03D60 03D65 03E45 18A99 PDF BibTeX XML Cite \textit{J. P. Aguilera} and \textit{F. Pakhomov}, J. Lond. Math. Soc., II. Ser. 107, No. 3, 1045--1073 (2023; Zbl 07731078) Full Text: DOI arXiv
Bournez, Olivier; Durand, Arnaud A characterization of functions over the integers computable in polynomial time using discrete ordinary differential equations. (English) Zbl 07727625 Comput. Complexity 32, No. 2, Paper No. 7, 49 p. (2023). MSC: 03D15 03D20 68Q01 68Q15 65Q10 65L99 PDF BibTeX XML Cite \textit{O. Bournez} and \textit{A. Durand}, Comput. Complexity 32, No. 2, Paper No. 7, 49 p. (2023; Zbl 07727625) Full Text: DOI arXiv
Malyshev, F. M. Embedding of provably unsolvable problems into stream ciphers. (Russian. English summary) Zbl 1519.94172 Mat. Vopr. Kriptografii 14, No. 1, 65-83 (2023). MSC: 94A60 81P94 94A55 PDF BibTeX XML Cite \textit{F. M. Malyshev}, Mat. Vopr. Kriptografii 14, No. 1, 65--83 (2023; Zbl 1519.94172) Full Text: DOI MNR
Pang, Gang; Ji, Songsong; Zhang, Jiwei Accurate absorbing boundary conditions for the two-dimensional nonlocal Schrödinger equations. (English) Zbl 07713603 SIAM J. Sci. Comput. 45, No. 4, A1656-A1689 (2023). MSC: 65M12 65R20 65D30 65Z05 PDF BibTeX XML Cite \textit{G. Pang} et al., SIAM J. Sci. Comput. 45, No. 4, A1656--A1689 (2023; Zbl 07713603) Full Text: DOI
Kamiyoshi, Tomohiro; Nagura, Makoto; Otani, Shin-ichi Exponential-type extended Riordan arrays and reciprocity law for generalized Stirling numbers. (English) Zbl 07712348 Linear Algebra Appl. 674, 396-425 (2023). MSC: 11B73 11B68 05A15 PDF BibTeX XML Cite \textit{T. Kamiyoshi} et al., Linear Algebra Appl. 674, 396--425 (2023; Zbl 07712348) Full Text: DOI
Chadjiconstantinidis, S.; Koutras, M. V.; Milienos, F. S. The distribution of extended discrete random sums and its application to waiting time distributions. (English) Zbl 1518.60015 Methodol. Comput. Appl. Probab. 25, No. 2, Paper No. 49, 27 p. (2023). MSC: 60E05 62P05 62P25 62P30 PDF BibTeX XML Cite \textit{S. Chadjiconstantinidis} et al., Methodol. Comput. Appl. Probab. 25, No. 2, Paper No. 49, 27 p. (2023; Zbl 1518.60015) Full Text: DOI
Liang, Huyile; Wang, Yaling; Wang, Yi Analytic aspects of generalized central trinomial coefficients. (English) Zbl 07707941 J. Math. Anal. Appl. 527, No. 1, Part 1, Article ID 127424, 15 p. (2023). MSC: 11B65 05A10 11B83 PDF BibTeX XML Cite \textit{H. Liang} et al., J. Math. Anal. Appl. 527, No. 1, Part 1, Article ID 127424, 15 p. (2023; Zbl 07707941) Full Text: DOI arXiv
Ongay-Valverde, Iván Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms. (English) Zbl 07691810 Arch. Math. Logic 62, No. 5-6, 843-869 (2023). MSC: 03E75 28A05 03D20 03D55 03C62 PDF BibTeX XML Cite \textit{I. Ongay-Valverde}, Arch. Math. Logic 62, No. 5--6, 843--869 (2023; Zbl 07691810) Full Text: DOI arXiv
Freund, Anton Bachmann-Howard derivatives. (English) Zbl 07691799 Arch. Math. Logic 62, No. 5-6, 581-618 (2023). MSC: 03F15 05C05 06A06 18A35 PDF BibTeX XML Cite \textit{A. Freund}, Arch. Math. Logic 62, No. 5--6, 581--618 (2023; Zbl 07691799) Full Text: DOI arXiv
Tennant, Neil Core Gödel. (English) Zbl 07690432 Notre Dame J. Formal Logic 64, No. 1, 15-59 (2023). MSC: 03F30 03F40 03F52 03F99 03B47 PDF BibTeX XML Cite \textit{N. Tennant}, Notre Dame J. Formal Logic 64, No. 1, 15--59 (2023; Zbl 07690432) Full Text: DOI
Stević, Stevo On a class of recursive relations for calculating square roots of numbers. (English) Zbl 1512.39009 J. Appl. Math. Comput. 69, No. 1, 973-987 (2023). MSC: 39A20 41A44 65D20 PDF BibTeX XML Cite \textit{S. Stević}, J. Appl. Math. Comput. 69, No. 1, 973--987 (2023; Zbl 1512.39009) Full Text: DOI
Sun, Shi-Fei; Li, Biao A \(\overline{\partial } \)-dressing method for the mixed Chen-Lee-Liu derivative nonlinear Schrödinger equation. (English) Zbl 1509.35287 J. Nonlinear Math. Phys. 30, No. 1, 201-214 (2023). MSC: 35Q55 35Q51 35C05 37K10 37K40 37K20 PDF BibTeX XML Cite \textit{S.-F. Sun} and \textit{B. Li}, J. Nonlinear Math. Phys. 30, No. 1, 201--214 (2023; Zbl 1509.35287) Full Text: DOI
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
Plonka, Gerlind; Riebe, Yannick; Kolomoitsev, Yurii Spline representation and redundancies of one-dimensional ReLU neural network models. (English) Zbl 1507.41005 Anal. Appl., Singap. 21, No. 1, 127-163 (2023). Reviewer: Martin D. Buhmann (Gießen) MSC: 41A15 65D05 68T07 PDF BibTeX XML Cite \textit{G. Plonka} et al., Anal. Appl., Singap. 21, No. 1, 127--163 (2023; Zbl 1507.41005) Full Text: DOI arXiv
Messaoudi, Abderrahim; Sadok, Hassane RMPIA: a new algorithm for computing the Lagrange matrix interpolation polynomials. (English) Zbl 1506.65065 Numer. Algorithms 92, No. 1, 849-867 (2023). MSC: 65F60 15A16 PDF BibTeX XML Cite \textit{A. Messaoudi} and \textit{H. Sadok}, Numer. Algorithms 92, No. 1, 849--867 (2023; Zbl 1506.65065) Full Text: DOI
Akbar Tabatabai, Amirhossein Mining the surface: witnessing the low complexity theorems of arithmetic. (English) Zbl 07691335 Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 378-394 (2022). MSC: 03B70 PDF BibTeX XML Cite \textit{A. Akbar Tabatabai}, Lect. Notes Comput. Sci. 13468, 378--394 (2022; Zbl 07691335) Full Text: DOI
He, Tian-Xiao; Shannon, Anthony G.; Shiue, Peter J.-S. Some identities of Gaussian binomial coefficients. (English) Zbl 07670585 Ann. Math. Inform. 55, 76-87 (2022). MSC: 05A15 11B83 05A05 05A19 PDF BibTeX XML Cite \textit{T.-X. He} et al., Ann. Math. Inform. 55, 76--87 (2022; Zbl 07670585) Full Text: DOI
Shen, Quanli The first moment of quadratic twists of modular \(L\)-functions. (English) Zbl 1517.11111 Acta Arith. 206, No. 4, 313-337 (2022). Reviewer: Stelian Mihalas (Timişoara) MSC: 11M06 11F67 PDF BibTeX XML Cite \textit{Q. Shen}, Acta Arith. 206, No. 4, 313--337 (2022; Zbl 1517.11111) Full Text: DOI arXiv
Fouché, Willem L. Ramsey actions and Gelfand duality. (English) Zbl 07644695 PU.M.A., Pure Math. Appl. 30, No. 3, 13-27 (2022). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03C15 05D10 03D20 68Q17 06A07 22A05 PDF BibTeX XML Cite \textit{W. L. Fouché}, PU.M.A., Pure Math. Appl. 30, No. 3, 13--27 (2022; Zbl 07644695) Full Text: DOI
He, Tian-Xiao The vertical recursive relation of Riordan arrays and its matrix representation. (English) Zbl 1506.15016 J. Integer Seq. 25, No. 9, Article 22.9.5, 22 p. (2022). MSC: 15A30 05A15 05B20 PDF BibTeX XML Cite \textit{T.-X. He}, J. Integer Seq. 25, No. 9, Article 22.9.5, 22 p. (2022; Zbl 1506.15016) Full Text: arXiv Link
Ramos, Thiago Mendonça Ferreira; Almeida, Ariane Alves; Ayala-Rincón, Mauricio Formalization of the computational theory of a Turing complete functional language model. (English) Zbl 1511.68338 J. Autom. Reasoning 66, No. 4, 1031-1063 (2022). MSC: 68V20 03D10 03D20 68N18 68Q04 PDF BibTeX XML Cite \textit{T. M. F. Ramos} et al., J. Autom. Reasoning 66, No. 4, 1031--1063 (2022; Zbl 1511.68338) Full Text: DOI
Melczer, Stephen; Mezzarobba, Marc Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes. (English) Zbl 1498.05027 Combinatorial Theory 2, No. 2, Paper No. 4, 20 p. (2022). MSC: 05A16 30B40 PDF BibTeX XML Cite \textit{S. Melczer} and \textit{M. Mezzarobba}, Comb. Theory 2, No. 2, Paper No. 4, 20 p. (2022; Zbl 1498.05027) Full Text: DOI arXiv
Zheng, Chaowen; Tang, Zhuochao; Huang, Jingfang; Wu, Yichao An \(O(N)\) algorithm for computing expectation of \(N\)-dimensional truncated multi-variate normal distribution. II: computing moments and sparse grid acceleration. (English) Zbl 07618974 Adv. Comput. Math. 48, No. 6, Paper No. 71, 20 p. (2022). MSC: 03D20 41A30 62H10 65C60 65D30 65T40 PDF BibTeX XML Cite \textit{C. Zheng} et al., Adv. Comput. Math. 48, No. 6, Paper No. 71, 20 p. (2022; Zbl 07618974) Full Text: DOI
Leonardis, A.; D’Atri, G.; Zanardo, E. Goodstein’s generalized theorem: from rooted tree representations to the hydra game. (English) Zbl 07614167 J. Appl. Math. Inform. 40, No. 5-6, 883-896 (2022). MSC: 03D20 05C05 PDF BibTeX XML Cite \textit{A. Leonardis} et al., J. Appl. Math. Inform. 40, No. 5--6, 883--896 (2022; Zbl 07614167) Full Text: DOI
Monin, Benoît; Patey, Ludovic Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001 Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022). Reviewer: Jeffry L. Hirst (Boone) MSC: 03-01 68-01 03Dxx 03B10 03C07 03B30 03F35 03F40 03D80 68Q04 68Q30 PDF BibTeX XML Cite \textit{B. Monin} and \textit{L. Patey}, Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité. Paris: Calvage et Mounet (2022; Zbl 1516.03001)
Plisko, Valery The nonarithmeticity of the predicate logic of strictly primitive recursive realizability. (English) Zbl 07576540 Rev. Symb. Log. 15, No. 3, 693-721 (2022). MSC: 03F50 PDF BibTeX XML Cite \textit{V. Plisko}, Rev. Symb. Log. 15, No. 3, 693--721 (2022; Zbl 07576540) Full Text: DOI
Lóczi, Lajos Guaranteed- and high-precision evaluation of the Lambert \(\mathrm{W}\) function. (English) Zbl 1510.41012 Appl. Math. Comput. 433, Article ID 127406, 22 p. (2022). MSC: 41A58 33B10 33F05 PDF BibTeX XML Cite \textit{L. Lóczi}, Appl. Math. Comput. 433, Article ID 127406, 22 p. (2022; Zbl 1510.41012) Full Text: DOI
El Kaoutit, Laiachi; Saracco, Paolo The Hopf algebroid structure of differentially recursive sequences. (English) Zbl 1508.12005 Quaest. Math. 45, No. 4, 547-593 (2022). Reviewer: Alexander B. Levin (Washington) MSC: 12H05 16S32 16T05 34M15 05A19 03D20 34G10 41A58 PDF BibTeX XML Cite \textit{L. El Kaoutit} and \textit{P. Saracco}, Quaest. Math. 45, No. 4, 547--593 (2022; Zbl 1508.12005) Full Text: DOI arXiv
Stahl, Rachel D. Computability and the game of cops and robbers on graphs. (English) Zbl 1491.05134 Arch. Math. Logic 61, No. 3-4, 373-397 (2022). MSC: 05C57 05C63 91A43 91A24 03D15 03D20 03D25 03D28 03D50 PDF BibTeX XML Cite \textit{R. D. Stahl}, Arch. Math. Logic 61, No. 3--4, 373--397 (2022; Zbl 1491.05134) Full Text: DOI
Flammang, V. The total distance for algebraic integers having all their conjugates in a sector. (English) Zbl 1500.11074 J. Number Theory 239, 445-461 (2022). Reviewer: Artūras Dubickas (Vilnius) MSC: 11R04 11R06 PDF BibTeX XML Cite \textit{V. Flammang}, J. Number Theory 239, 445--461 (2022; Zbl 1500.11074) Full Text: DOI
Sabeti, Rostam Confluent complement: an algorithm for the intersection of face ideals. (English) Zbl 07523444 Japan J. Ind. Appl. Math. 39, No. 2, 693-715 (2022). MSC: 03D20 68W30 68Q25 13P10 PDF BibTeX XML Cite \textit{R. Sabeti}, Japan J. Ind. Appl. Math. 39, No. 2, 693--715 (2022; Zbl 07523444) Full Text: DOI
Khan, Subuhi; Nahid, Tabinda Certain properties of the Laguerre-Sheffer polynomials. (English) Zbl 1483.33006 J. Anal. 30, No. 1, 245-269 (2022). MSC: 33C45 15A24 PDF BibTeX XML Cite \textit{S. Khan} and \textit{T. Nahid}, J. Anal. 30, No. 1, 245--269 (2022; Zbl 1483.33006) Full Text: DOI
Nielsen, Pace P. Definitional schemes for primitive recursive and computable functions. (English) Zbl 1509.03123 Computability 11, No. 1, 1-8 (2022). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D20 PDF BibTeX XML Cite \textit{P. P. Nielsen}, Computability 11, No. 1, 1--8 (2022; Zbl 1509.03123) Full Text: DOI
Belbachir, Hacène; Rami, Fella; Szalay, László A generalization of hyperbolic Pascal triangles. (English) Zbl 1485.11041 J. Comb. Theory, Ser. A 188, Article ID 105574, 13 p. (2022). Reviewer: Takao Komatsu (Hangzhou) MSC: 11B65 05A10 05A19 11B37 11B39 PDF BibTeX XML Cite \textit{H. Belbachir} et al., J. Comb. Theory, Ser. A 188, Article ID 105574, 13 p. (2022; Zbl 1485.11041) Full Text: DOI
Tourlakis, George Computability. (English) Zbl 1507.03002 Cham: Springer (ISBN 978-3-030-83201-8/hbk; 978-3-030-83202-5/ebook). xxvii, 637 p. (2022). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 03-01 03Dxx 03B05 03F40 PDF BibTeX XML Cite \textit{G. Tourlakis}, Computability. Cham: Springer (2022; Zbl 1507.03002) Full Text: DOI
Mirotin, Adol’f Ruvimovich The inversion of series of resolvents of a closed operator and some of its applications. (Russian) Zbl 07656928 Mat. Tr. 24, No. 2, 105-121 (2021). MSC: 47A10 30H99 45A05 PDF BibTeX XML Cite \textit{A. R. Mirotin}, Mat. Tr. 24, No. 2, 105--121 (2021; Zbl 07656928) Full Text: DOI MNR
Bell, Jason P. Support of an algebraic series as the range of a recursive sequence. (English) Zbl 1498.11082 Bostan, Alin (ed.) et al., Transcendence in algebra, combinatorics, geometry and number theory. TRANS19 – transient transcendence in Transylvania, Brașov, Romania, May 13–17, 2019. Revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 373, 437-449 (2021). MSC: 11B85 68Q45 PDF BibTeX XML Cite \textit{J. P. Bell}, Springer Proc. Math. Stat. 373, 437--449 (2021; Zbl 1498.11082) Full Text: DOI
Qi, Feng Determinantal expressions and recursive relations of Delannoy polynomials and generalized Fibonacci polynomials. (English) Zbl 1510.11060 J. Nonlinear Convex Anal. 22, No. 7, 1225-1239 (2021). MSC: 11B39 11B83 05A10 05A15 11C20 PDF BibTeX XML Cite \textit{F. Qi}, J. Nonlinear Convex Anal. 22, No. 7, 1225--1239 (2021; Zbl 1510.11060) Full Text: Link
Dağli, Muhammet Cihat Explicit formulas and recurrence relations for generalized Catalan numbers. (English) Zbl 1493.05015 Turk. J. Math. 45, No. 5, 2171-2179 (2021). MSC: 05A15 05A19 11B37 11B83 PDF BibTeX XML Cite \textit{M. C. Dağli}, Turk. J. Math. 45, No. 5, 2171--2179 (2021; Zbl 1493.05015) Full Text: DOI
Qi, Feng A determinantal expression and a recursive relation of the Delannoy numbers. (English) Zbl 1496.11041 Acta Univ. Sapientiae, Math. 13, No. 2, 442-449 (2021). MSC: 11B83 05A15 05A10 11C20 PDF BibTeX XML Cite \textit{F. Qi}, Acta Univ. Sapientiae, Math. 13, No. 2, 442--449 (2021; Zbl 1496.11041) Full Text: DOI arXiv
Helleseth, Tor; Katz, Daniel J.; Li, Chunlei The resolution of Niho’s last conjecture concerning sequences, codes, and Boolean functions. (English) Zbl 1487.94183 IEEE Trans. Inf. Theory 67, No. 10, 6952-6962 (2021). MSC: 94B40 11T23 94D10 PDF BibTeX XML Cite \textit{T. Helleseth} et al., IEEE Trans. Inf. Theory 67, No. 10, 6952--6962 (2021; Zbl 1487.94183) Full Text: DOI arXiv
Leivant, Daniel Finitism, imperative programs and primitive recursion. (English) Zbl 1509.03122 J. Log. Comput. 31, No. 1, 179-192 (2021). MSC: 03D20 03F30 03A05 PDF BibTeX XML Cite \textit{D. Leivant}, J. Log. Comput. 31, No. 1, 179--192 (2021; Zbl 1509.03122) Full Text: DOI
Sureson, Claude The inverse of Ackermann function is computable in linear time. (English) Zbl 1520.03011 Fundam. Inform. 182, No. 4, 345-361 (2021). MSC: 03D30 03D15 PDF BibTeX XML Cite \textit{C. Sureson}, Fundam. Inform. 182, No. 4, 345--361 (2021; Zbl 1520.03011) Full Text: DOI arXiv
He, Tian-Xiao; Shiue, Peter J.-S. Identities for linear recursive sequences of order 2. (English) Zbl 1512.11022 Electron Res. Arch. 29, No. 5, 3489-3507 (2021). MSC: 11B39 11B83 05A19 05A05 05A15 PDF BibTeX XML Cite \textit{T.-X. He} and \textit{P. J. S. Shiue}, Electron Res. Arch. 29, No. 5, 3489--3507 (2021; Zbl 1512.11022) Full Text: DOI
Saunders, Arnold T. jun. A class of random recursive tree algorithms with deletion. (English) Zbl 1518.05181 Algorithmica 83, No. 11, 3363-3378 (2021). MSC: 05C85 05C05 05A15 60C05 PDF BibTeX XML Cite \textit{A. T. Saunders jun.}, Algorithmica 83, No. 11, 3363--3378 (2021; Zbl 1518.05181) Full Text: DOI arXiv
Maietti, Maria Emilia; Maschio, Samuele A predicative variant of Hyland’s effective topos. (English) Zbl 07415210 J. Symb. Log. 86, No. 2, 433-447 (2021). MSC: 03G30 03D20 03F55 03F30 PDF BibTeX XML Cite \textit{M. E. Maietti} and \textit{S. Maschio}, J. Symb. Log. 86, No. 2, 433--447 (2021; Zbl 07415210) Full Text: DOI arXiv
Hou, Qing-Hu; Liu, Ke Congruences and telescopings of \(P\)-recursive sequences. (English) Zbl 1495.11025 J. Difference Equ. Appl. 27, No. 5, 686-697 (2021). MSC: 11B37 11A07 11B50 05A10 PDF BibTeX XML Cite \textit{Q.-H. Hou} and \textit{K. Liu}, J. Difference Equ. Appl. 27, No. 5, 686--697 (2021; Zbl 1495.11025) Full Text: DOI
Hyvernat, Pierre Representing continuous functions between greatest fixed points of indexed containers. (English) Zbl 07407785 Log. Methods Comput. Sci. 17, No. 3, Paper No. 13, 30 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{P. Hyvernat}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 13, 30 p. (2021; Zbl 07407785) Full Text: arXiv Link
Huang, Jingfang; Cao, Jian; Fang, Fuhui; Genton, Marc G.; Keyes, David E.; Turkiyyah, George An \(O(N)\) algorithm for computing expectation of \(N\)-dimensional truncated multi-variate normal distribution. I: Fundamentals. (English) Zbl 07400547 Adv. Comput. Math. 47, No. 5, Paper No. 65, 34 p. (2021). MSC: 03D20 34B27 62H10 65C60 65D30 65T40 PDF BibTeX XML Cite \textit{J. Huang} et al., Adv. Comput. Math. 47, No. 5, Paper No. 65, 34 p. (2021; Zbl 07400547) Full Text: DOI
Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas Goodstein sequences based on a parametrized Ackermann-Péter function. (English) Zbl 07396324 Bull. Symb. Log. 27, No. 2, 168-186 (2021). MSC: 03F15 03F25 03F30 03F35 03D55 PDF BibTeX XML Cite \textit{T. Arai} et al., Bull. Symb. Log. 27, No. 2, 168--186 (2021; Zbl 07396324) Full Text: DOI
Flammang, Valérie A variant \(S_2\) measure for algebraic integers all of whose conjugates Lie in a sector. (English) Zbl 1506.11139 Rocky Mt. J. Math. 51, No. 4, 1239-1248 (2021). Reviewer: Artūras Dubickas (Vilnius) MSC: 11R06 11Y40 PDF BibTeX XML Cite \textit{V. Flammang}, Rocky Mt. J. Math. 51, No. 4, 1239--1248 (2021; Zbl 1506.11139)
Yang, Jun; Yu, Xinghuo; Zhang, Lu; Li, Shihua A Lyapunov-based approach for recursive continuous higher order nonsingular terminal sliding-mode control. (English) Zbl 1471.93065 IEEE Trans. Autom. Control 66, No. 9, 4424-4431 (2021). MSC: 93B12 93D40 93D30 93C10 PDF BibTeX XML Cite \textit{J. Yang} et al., IEEE Trans. Autom. Control 66, No. 9, 4424--4431 (2021; Zbl 1471.93065) Full Text: DOI
Kalimullin, I. Sh.; Faizrahmanov, M. Kh. Degrees of enumerations of countable Wehner-like families. (English. Russian original) Zbl 07364538 J. Math. Sci., New York 256, No. 1, 51-60 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 59-69 (2018). MSC: 03D20 03D45 PDF BibTeX XML Cite \textit{I. Sh. Kalimullin} and \textit{M. Kh. Faizrahmanov}, J. Math. Sci., New York 256, No. 1, 51--60 (2021; Zbl 07364538); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 59--69 (2018) Full Text: DOI
Hou, Qing-hu; Li, Guojie Log-concavity of \(P\)-recursive sequences. (English) Zbl 1466.05008 J. Symb. Comput. 107, 251-268 (2021). MSC: 05A20 05A10 41A60 41A58 PDF BibTeX XML Cite \textit{Q.-h. Hou} and \textit{G. Li}, J. Symb. Comput. 107, 251--268 (2021; Zbl 1466.05008) Full Text: DOI arXiv
Koepke, P.; Morozov, A. S. Characterizations of ITBM-computability. I. (English. Russian original) Zbl 1515.03188 Algebra Logic 59, No. 6, 423-436 (2021); translation from Algebra Logika 59, No. 6, 627-648 (2020). MSC: 03D30 03D10 PDF BibTeX XML Cite \textit{P. Koepke} and \textit{A. S. Morozov}, Algebra Logic 59, No. 6, 423--436 (2021; Zbl 1515.03188); translation from Algebra Logika 59, No. 6, 627--648 (2020) Full Text: DOI
Wang, Yiting; Kong, Jing Efficient spherical surface integration of Gauss functions in three-dimensional spherical coordinates and the solution for the modified Bessel function of the first kind. (English) Zbl 1472.33014 J. Math. Chem. 59, No. 2, 505-515 (2021). MSC: 33E10 33C10 33F05 PDF BibTeX XML Cite \textit{Y. Wang} and \textit{J. Kong}, J. Math. Chem. 59, No. 2, 505--515 (2021; Zbl 1472.33014) Full Text: DOI
Klüppelberg, Claudia; Krali, Mario Estimating an extreme Bayesian network via scalings. (English) Zbl 1461.62083 J. Multivariate Anal. 181, Article ID 104672, 23 p. (2021). MSC: 62H22 62R01 62G30 62G32 60G70 60F10 65S05 05C90 62P10 62P05 PDF BibTeX XML Cite \textit{C. Klüppelberg} and \textit{M. Krali}, J. Multivariate Anal. 181, Article ID 104672, 23 p. (2021; Zbl 1461.62083) Full Text: DOI arXiv
Georgiev, Ivan; Kristiansen, Lars; Stephan, Frank Computable irrational numbers with representations of surprising complexity. (English) Zbl 1481.03041 Ann. Pure Appl. Logic 172, No. 2, Article ID 102893, 30 p. (2021). Reviewer: Matteo Bianchetti (Notre Dame) MSC: 03D78 03D20 03F60 03D15 PDF BibTeX XML Cite \textit{I. Georgiev} et al., Ann. Pure Appl. Logic 172, No. 2, Article ID 102893, 30 p. (2021; Zbl 1481.03041) Full Text: DOI
Freund, Anton; Rathjen, Michael Derivatives of normal functions in reverse mathematics. (English) Zbl 1473.03036 Ann. Pure Appl. Logic 172, No. 2, Article ID 102890, 50 p. (2021). Reviewer: Andrei Sipoş (Bucureşti) MSC: 03F15 03B30 03F35 03D60 03E10 PDF BibTeX XML Cite \textit{A. Freund} and \textit{M. Rathjen}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102890, 50 p. (2021; Zbl 1473.03036) Full Text: DOI arXiv
Freund, Anton What is effective transfinite recursion in reverse mathematics? (English) Zbl 1521.03020 Math. Log. Q. 66, No. 4, 479-483 (2020). MSC: 03B30 03F35 03D20 PDF BibTeX XML Cite \textit{A. Freund}, Math. Log. Q. 66, No. 4, 479--483 (2020; Zbl 1521.03020) Full Text: DOI arXiv OA License
Sokolov, V. A. Corrigendum to: “On the existence problem of finite bases of identities in the algebras of recursive functions”. (Russian. English summary) Zbl 1517.03036 Model. Anal. Inf. Sist. 27, No. 4, 510-511 (2020). MSC: 03D20 03G25 PDF BibTeX XML Cite \textit{V. A. Sokolov}, Model. Anal. Inf. Sist. 27, No. 4, 510--511 (2020; Zbl 1517.03036) Full Text: DOI MNR
Sokolov, V. A. On the existence problem of finite bases of identities in the algebras of recursive functions. (Russian. English summary) Zbl 1513.03082 Model. Anal. Inf. Sist. 27, No. 3, 304-315 (2020); corrigendum ibid. 27, No. 4, 510-511 (2020). MSC: 03D20 03G25 PDF BibTeX XML Cite \textit{V. A. Sokolov}, Model. Anal. Inf. Sist. 27, No. 3, 304--315 (2020; Zbl 1513.03082) Full Text: DOI MNR
Davis, Martin Seventy years of computer science. (English) Zbl 07614721 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 105-117 (2020). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{M. Davis}, Lect. Notes Comput. Sci. 12180, 105--117 (2020; Zbl 07614721) Full Text: DOI
Abrahão, Felipe S.; Wehmuth, Klaus; Ziviani, Artur On the existence of hidden machines in computational time hierarchies. (English) Zbl 1496.03164 de Barros, J. Acacio (ed.) et al., A true polymath. A tribute to Francisco Antonio Doria. Based on the meeting, Rio de Janeiro, Brazil, December 2018. [s.l.]: College Publications. Acad. Bras. Filos. 2, 113-121 (2020). MSC: 03D15 03D20 68Q15 PDF BibTeX XML Cite \textit{F. S. Abrahão} et al., Acad. Bras. Filos. 2, 113--121 (2020; Zbl 1496.03164) Full Text: arXiv
Qi, Feng; Guo, Bai-Ni Several explicit and recursive formulas for generalized Motzkin numbers. (English) Zbl 1484.05017 AIMS Math. 5, No. 2, 1333-1345 (2020). MSC: 05A15 05A19 05A20 11B83 PDF BibTeX XML Cite \textit{F. Qi} and \textit{B.-N. Guo}, AIMS Math. 5, No. 2, 1333--1345 (2020; Zbl 1484.05017) Full Text: DOI
Matos, Armando B.; Paolini, Luca; Roversi, Luca On the expressivity of total reversible programming languages. (English) Zbl 07368051 Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 128-143 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Lect. Notes Comput. Sci. 12227, 128--143 (2020; Zbl 07368051) Full Text: DOI
Anatriello, Giuseppina; Vincenzi, Giovanni Padovan-like sequences and generalized Pascal’s triangles. (English) Zbl 1474.05017 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 66, No. 1, 25-35 (2020). MSC: 05A19 05A10 03D20 00A67 11Y55 PDF BibTeX XML Cite \textit{G. Anatriello} and \textit{G. Vincenzi}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 66, No. 1, 25--35 (2020; Zbl 1474.05017)
Zhukov, V. V. Asymptotically best synthesis methods for reflexive-recursive circuits. (English. Russian original) Zbl 1460.94093 Comput. Math. Model. 31, No. 3, 369-383 (2020); translation from Prikl. Mat. Inf. 63, 63-81 (2020). MSC: 94C11 PDF BibTeX XML Cite \textit{V. V. Zhukov}, Comput. Math. Model. 31, No. 3, 369--383 (2020; Zbl 1460.94093); translation from Prikl. Mat. Inf. 63, 63--81 (2020) Full Text: DOI
Downey, Rod; Greenberg, Noam; Melnikov, Alexander; Meng Ng, Keng; Turetsky, Daniel Punctual categoricity and universality. (English) Zbl 1485.03174 J. Symb. Log. 85, No. 4, 1427-1466 (2020). MSC: 03D45 03D20 PDF BibTeX XML Cite \textit{R. Downey} et al., J. Symb. Log. 85, No. 4, 1427--1466 (2020; Zbl 1485.03174) Full Text: DOI
Ben Taher, Rajae; Rachidi, Mustapha 2-variable weighted shifts and recursiveness: toral Aluthge transform and subnormality. (English) Zbl 1489.47053 J. Anal. 28, No. 4, 1107-1126 (2020). MSC: 47B37 47B20 30C15 44A60 11B39 PDF BibTeX XML Cite \textit{R. Ben Taher} and \textit{M. Rachidi}, J. Anal. 28, No. 4, 1107--1126 (2020; Zbl 1489.47053) Full Text: DOI
Švejdar, Vítězslav Do we need recursion? (English) Zbl 1505.03085 Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 193-204 (2020). MSC: 03D20 03D75 PDF BibTeX XML Cite \textit{V. Švejdar}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 193--204 (2020; Zbl 1505.03085)
Diener, Hannes; Hendtlass, Matthew Differentiating convex functions constructively. (English) Zbl 1472.03068 J. Log. Anal. 12, Paper No. 8, 11 p. (2020). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 03F60 PDF BibTeX XML Cite \textit{H. Diener} and \textit{M. Hendtlass}, J. Log. Anal. 12, Paper No. 8, 11 p. (2020; Zbl 1472.03068) Full Text: DOI
Balasubramanian, A. R. Complexity of controlled bad sequences over finite sets of \(\mathbb{N}^d\). (English) Zbl 1499.06006 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). 130-140 (2020). MSC: 06A07 03D20 PDF BibTeX XML Cite \textit{A. R. Balasubramanian}, 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). 130--140 (2020; Zbl 1499.06006) Full Text: DOI arXiv
Flammang, Valérie The \(N\)-measure for algebraic integers having all their conjugates in a sector. (English) Zbl 1479.11183 Rocky Mt. J. Math. 50, No. 6, 2035-2045 (2020). Reviewer: Toufik Zaïmi (Riyadh) MSC: 11R06 11C08 11Y40 PDF BibTeX XML Cite \textit{V. Flammang}, Rocky Mt. J. Math. 50, No. 6, 2035--2045 (2020; Zbl 1479.11183) Full Text: DOI Euclid
Marchenkov, S. S. Completeness criterion in class of exponential-polynomial functions. (English. Russian original) Zbl 1477.03075 Mosc. Univ. Comput. Math. Cybern. 44, No. 2, 87-94 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 2, 37-44 (2020). MSC: 03B50 03D20 PDF BibTeX XML Cite \textit{S. S. Marchenkov}, Mosc. Univ. Comput. Math. Cybern. 44, No. 2, 87--94 (2020; Zbl 1477.03075); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 2, 37--44 (2020) Full Text: DOI
Strongin, R. G.; Gergel, V. P.; Barkalov, K. A. Adaptive global optimization based on a block-recursive dimensionality reduction scheme. (English. Russian original) Zbl 1457.90117 Autom. Remote Control 81, No. 8, 1475-1485 (2020); translation from Avtom. Telemekh. 2020, No. 8, 136-148 (2020). MSC: 90C26 PDF BibTeX XML Cite \textit{R. G. Strongin} et al., Autom. Remote Control 81, No. 8, 1475--1485 (2020; Zbl 1457.90117); translation from Avtom. Telemekh. 2020, No. 8, 136--148 (2020) Full Text: DOI
Zimmermann, Karl-Heinz Computability. Models of computation and undecidability. (Berechenbarkeit. Berechnungsmodelle und Unentscheidbarkeit.) (German) Zbl 1452.68002 Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020). MSC: 68-01 03-01 03D03 03D10 03D20 03D35 68N30 68Q04 PDF BibTeX XML Cite \textit{K.-H. Zimmermann}, Berechenbarkeit. Berechnungsmodelle und Unentscheidbarkeit. Wiesbaden: Springer Spektrum (2020; Zbl 1452.68002) Full Text: DOI
Bridges, Douglas S. Constructive continuity of increasing functions. (English) Zbl 07285501 Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 9-19 (2020). MSC: 68T37 03F60 26A15 PDF BibTeX XML Cite \textit{D. S. Bridges}, Stud. Comput. Intell. 835, 9--19 (2020; Zbl 07285501) Full Text: DOI
Broutin, Nicolas; Devroye, Luc; Fraiman, Nicolas Recursive functions on conditional Galton-Watson trees. (English) Zbl 1493.68413 Random Struct. Algorithms 57, No. 2, 304-316 (2020). MSC: 68W40 60J80 PDF BibTeX XML Cite \textit{N. Broutin} et al., Random Struct. Algorithms 57, No. 2, 304--316 (2020; Zbl 1493.68413) Full Text: DOI arXiv
Savitskii, I. V. Arithmetization of register machines with counters. (English. Russian original) Zbl 1477.03160 Mosc. Univ. Comput. Math. Cybern. 44, No. 3, 133-145 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 3, 30-42 (2020). MSC: 03D15 03D20 68Q15 PDF BibTeX XML Cite \textit{I. V. Savitskii}, Mosc. Univ. Comput. Math. Cybern. 44, No. 3, 133--145 (2020; Zbl 1477.03160); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 3, 30--42 (2020) Full Text: DOI
Nemoto, Takako A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). (English) Zbl 1485.03252 Computability 9, No. 3-4, 315-326 (2020). MSC: 03F60 26A27 26A21 PDF BibTeX XML Cite \textit{T. Nemoto}, Computability 9, No. 3--4, 315--326 (2020; Zbl 1485.03252) Full Text: DOI
Wani, Shahid Ahmad; Khan, Subuhi Certain properties and applications of the 2D Sheffer and related polynomials. (English) Zbl 1452.33005 Bol. Soc. Mat. Mex., III. Ser. 26, No. 3, 947-971 (2020). MSC: 33E30 15A30 PDF BibTeX XML Cite \textit{S. A. Wani} and \textit{S. Khan}, Bol. Soc. Mat. Mex., III. Ser. 26, No. 3, 947--971 (2020; Zbl 1452.33005) Full Text: DOI
Zhang, Jiafan; Lv, Xingxing Some new identities on Laguerre polynomials. (Chinese. English summary) Zbl 1463.33026 J. Shandong Univ., Nat. Sci. 55, No. 4, 85-91 (2020). MSC: 33C45 PDF BibTeX XML Cite \textit{J. Zhang} and \textit{X. Lv}, J. Shandong Univ., Nat. Sci. 55, No. 4, 85--91 (2020; Zbl 1463.33026)
Bazhenov, Nikolay; Kalimullin, Iskander; Melnikov, Alexander; Ng, Keng Meng Online presentations of finitely generated structures. (English) Zbl 1464.68443 Theor. Comput. Sci. 844, 195-216 (2020). MSC: 68W27 03D20 03D28 03D45 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Theor. Comput. Sci. 844, 195--216 (2020; Zbl 1464.68443) Full Text: DOI
Flammang, Valérie The S-measure for algebraic integers having all their conjugates in a sector. (English) Zbl 1466.11077 Rocky Mt. J. Math. 50, No. 4, 1313-1321 (2020). Reviewer: Toufik Zaïmi (Riyadh) MSC: 11R06 11C08 11Y40 PDF BibTeX XML Cite \textit{V. Flammang}, Rocky Mt. J. Math. 50, No. 4, 1313--1321 (2020; Zbl 1466.11077) Full Text: DOI Euclid HAL
Georgiev, Ivan Uniform and conditional-computability of some nonelementary real functions. (English) Zbl 1463.03044 C. R. Acad. Bulg. Sci. 73, No. 3, 306-314 (2020). Reviewer: Angela Slavova (Sofia) MSC: 03F60 03D20 03D78 PDF BibTeX XML Cite \textit{I. Georgiev}, C. R. Acad. Bulg. Sci. 73, No. 3, 306--314 (2020; Zbl 1463.03044) Full Text: DOI
Salehi, Saeed On rudimentarity, primitive recursivity and representability. (English) Zbl 1472.03067 Rep. Math. Logic 55, 73-85 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F40 03D20 03F30 PDF BibTeX XML Cite \textit{S. Salehi}, Rep. Math. Logic 55, 73--85 (2020; Zbl 1472.03067) Full Text: DOI arXiv
Mizera, Sebastian Aspects of scattering amplitudes and moduli space localization. (English) Zbl 1457.81067 Springer Theses. Cham: Springer; Waterloo: University of Waterloo (Diss.) (ISBN 978-3-030-53009-9/hbk; 978-3-030-53012-9/pbk; 978-3-030-53010-5/ebook). xvii, 134 p. (2020). MSC: 81T10 81T18 81Uxx 14D21 58D27 37F34 33C20 81T30 03D20 PDF BibTeX XML Cite \textit{S. Mizera}, Aspects of scattering amplitudes and moduli space localization. Cham: Springer; Waterloo: University of Waterloo (Diss.) (2020; Zbl 1457.81067) Full Text: DOI arXiv
Zhukov, Vladimir V.; Lozhkin, Sergey A. Asymptotically best method for synthesis of Boolean recursive circuits. (English. Russian original) Zbl 1465.94150 Discrete Math. Appl. 30, No. 2, 137-146 (2020); translation from Diskretn. Mat. 31, No. 1, 99-110 (2019). MSC: 94C11 94D10 PDF BibTeX XML Cite \textit{V. V. Zhukov} and \textit{S. A. Lozhkin}, Discrete Math. Appl. 30, No. 2, 137--146 (2020; Zbl 1465.94150); translation from Diskretn. Mat. 31, No. 1, 99--110 (2019) Full Text: DOI
Frank, Matthew Interpolating between choices for the approximate intermediate value theorem. (English) Zbl 07226007 Log. Methods Comput. Sci. 16, No. 3, Paper No. 5, 4 p. (2020). MSC: 03B70 68-XX 03F60 03D78 03E25 26A15 26E40 PDF BibTeX XML Cite \textit{M. Frank}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 5, 4 p. (2020; Zbl 07226007) Full Text: arXiv Link Backlinks: MO
Bhaskar, Siddharth; Chandlee, Jane; Jardine, Adam; Oakden, Christopher Boolean monadic recursive schemes as a logical characterization of the subsequential functions. (English) Zbl 1437.68042 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020). MSC: 68N30 03B70 03D05 68Q45 PDF BibTeX XML Cite \textit{S. Bhaskar} et al., Lect. Notes Comput. Sci. 12038, 157--169 (2020; Zbl 1437.68042) Full Text: DOI
Frittaion, Emanuele Completeness of the primitive recursive \(\omega \)-rule. (English) Zbl 1481.03030 Arch. Math. Logic 59, No. 5-6, 715-731 (2020). MSC: 03D20 03D70 03F03 03F30 PDF BibTeX XML Cite \textit{E. Frittaion}, Arch. Math. Logic 59, No. 5--6, 715--731 (2020; Zbl 1481.03030) Full Text: DOI arXiv
He, Tian-Xiao; Shiue, Peter J.-S.; Nie, Zihan; Chen, Minghao Recursive sequences and Girard-Waring identities with applications in sequence transformation. (English) Zbl 1443.05017 Electron Res. Arch. 28, No. 2, 1049-1062 (2020). MSC: 11B39 05A19 05A15 15B36 11B83 PDF BibTeX XML Cite \textit{T.-X. He} et al., Electron Res. Arch. 28, No. 2, 1049--1062 (2020; Zbl 1443.05017) Full Text: DOI
Ahdiaghdam, Samad; Shahmorad, Sedaghat Solving finite part singular integral equations using orthogonal polynomials. (English) Zbl 1463.45016 Bull. Iran. Math. Soc. 46, No. 3, 799-814 (2020). MSC: 45E05 33C50 41A55 03D20 45B05 45L05 PDF BibTeX XML Cite \textit{S. Ahdiaghdam} and \textit{S. Shahmorad}, Bull. Iran. Math. Soc. 46, No. 3, 799--814 (2020; Zbl 1463.45016) Full Text: DOI
Jeřábek, Emil Recursive functions and existentially closed structures. (English) Zbl 1484.03126 J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020). MSC: 03F40 03C45 03F30 03C10 PDF BibTeX XML Cite \textit{E. Jeřábek}, J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020; Zbl 1484.03126) Full Text: DOI arXiv