Husain, Saddam; Khan, Nabiullah; Usman, Talha; Choi, Junesang The \((p,q)\)-sine and \((p,q)\)-cosine polynomials and their associated \((p,q)\)-polynomials. (English) Zbl 07802628 Analysis, München 44, No. 1, 47-65 (2024). MSC: 05A30 11B68 11B73 11B83 33D15 PDFBibTeX XMLCite \textit{S. Husain} et al., Analysis, München 44, No. 1, 47--65 (2024; Zbl 07802628) Full Text: DOI
Kim, Dojin; Park, Sangbeom; Kwon, Jongkyum Some identities of degenerate higher-order Daehee polynomials based on \(\lambda\)-umbral calculus. (English) Zbl 07804277 Electron. Res. Arch. 31, No. 6, 3064-3085 (2023). MSC: 11B68 05A40 05A15 PDFBibTeX XMLCite \textit{D. Kim} et al., Electron. Res. Arch. 31, No. 6, 3064--3085 (2023; Zbl 07804277) Full Text: DOI
Yun, Sang Jo; Park, Jin-Woo Study of degenerate derangement polynomials by \(\lambda\)-umbral calculus. (English) Zbl 07700914 Demonstr. Math. 56, Article ID 20220240, 17 p. (2023). MSC: 05A40 05A19 11B83 33E20 PDFBibTeX XMLCite \textit{S. J. Yun} and \textit{J.-W. Park}, Demonstr. Math. 56, Article ID 20220240, 17 p. (2023; Zbl 07700914) Full Text: DOI
Yang, Dunkun An expansion of \((q, \lambda)\)-derivative operator. (English) Zbl 1511.05022 Ramanujan J. 60, No. 4, 1127-1149 (2023). MSC: 05A30 33D15 11B65 39A13 PDFBibTeX XMLCite \textit{D. Yang}, Ramanujan J. 60, No. 4, 1127--1149 (2023; Zbl 1511.05022) Full Text: DOI
Kim, Taekyun; Kim, Dae San; Kim, Hye Kyung Some identities of degenerate poly-\(q\)-Bernoulli and poly-\(q\)-Euler polynomials arising from \(\lambda\)-\(q\)-Sheffer sequences. (English) Zbl 1516.11030 Adv. Stud. Contemp. Math., Kyungshang 32, No. 3, 283-301 (2022). MSC: 11B68 11B83 05A40 PDFBibTeX XMLCite \textit{T. Kim} et al., Adv. Stud. Contemp. Math., Kyungshang 32, No. 3, 283--301 (2022; Zbl 1516.11030) Full Text: DOI
Park, Jin-Woo; Pyo, Sung-Soo A note on degenerate Bernoulli polynomials arising from umbral calculus. (English) Zbl 1516.11032 Adv. Stud. Contemp. Math., Kyungshang 32, No. 4, 509-525 (2022). MSC: 11B68 11B73 05A40 PDFBibTeX XMLCite \textit{J.-W. Park} and \textit{S.-S. Pyo}, Adv. Stud. Contemp. Math., Kyungshang 32, No. 4, 509--525 (2022; Zbl 1516.11032) Full Text: DOI
Kim, Taekyun; Kim, Dae San; Kim, Hye Kyung \(\lambda\)-\(q\)-Sheffer sequence and its applications. (English) Zbl 1506.05029 Demonstr. Math. 55, 843-865 (2022). Reviewer: Uğur Duran (Iskenderun) MSC: 05A30 05A40 11B68 PDFBibTeX XMLCite \textit{T. Kim} et al., Demonstr. Math. 55, 843--865 (2022; Zbl 1506.05029) Full Text: DOI
Kim, Hye Kyung; Lee, Dae Sik Note on \(\lambda\)-linear function arising from the \(p\)-adic Fermionic integral on \(\mathbb{Z}_p\). (English) Zbl 1504.11126 Adv. Stud. Contemp. Math., Kyungshang 32, No. 2, 147-156 (2022). MSC: 11S80 11F20 11B68 11B83 PDFBibTeX XMLCite \textit{H. K. Kim} and \textit{D. S. Lee}, Adv. Stud. Contemp. Math., Kyungshang 32, No. 2, 147--156 (2022; Zbl 1504.11126)
Pathan, M. A.; Khan, Waseem A. On \(\lambda \)-Changhee-Hermite polynomials. (English) Zbl 1487.11029 Analysis, München 42, No. 2, 57-69 (2022). MSC: 11B83 33C45 05A30 05A40 11B68 11S80 PDFBibTeX XMLCite \textit{M. A. Pathan} and \textit{W. A. Khan}, Analysis, München 42, No. 2, 57--69 (2022; Zbl 1487.11029) Full Text: DOI
Kim, Dae San; Kim, Taekyun; Kwon, Jongkyum; Lee, Si-Hyeon; Park, Seongho On \(\lambda\)-linear functionals arising from \(p\)-adic integrals on \(\mathbb{Z}_p\). (English) Zbl 1494.05015 Adv. Difference Equ. 2021, Paper No. 479, 12 p. (2021). MSC: 05A40 11S80 11B68 PDFBibTeX XMLCite \textit{D. S. Kim} et al., Adv. Difference Equ. 2021, Paper No. 479, 12 p. (2021; Zbl 1494.05015) Full Text: DOI
Park, Jin-Woo; Kim, Byung Moon; Kwon, Jongkyum Some identities of the degenerate Bernoulli polynomials of the second kind arising from \(\lambda\)-Sheffer sequences. (English) Zbl 1512.11032 Proc. Jangjeon Math. Soc. 24, No. 3, 323-342 (2021). MSC: 11B83 33E20 05A30 PDFBibTeX XMLCite \textit{J.-W. Park} et al., Proc. Jangjeon Math. Soc. 24, No. 3, 323--342 (2021; Zbl 1512.11032) Full Text: DOI
Kim, Taekyun; Kim, Dae San; Kwon, Jongkyum; Lee, Hyunseok Representations of degenerate poly-Bernoulli polynomials. (English) Zbl 1504.11041 J. Inequal. Appl. 2021, Paper No. 58, 12 p. (2021). MSC: 11B68 11B83 05A19 05A40 PDFBibTeX XMLCite \textit{T. Kim} et al., J. Inequal. Appl. 2021, Paper No. 58, 12 p. (2021; Zbl 1504.11041) Full Text: DOI arXiv
Kim, Dae San; Kim, Taekyun Degenerate Sheffer sequences and \(\lambda \)-Sheffer sequences. (English) Zbl 1471.11110 J. Math. Anal. Appl. 493, No. 1, Article ID 124521, 21 p. (2021). MSC: 11B83 05A40 PDFBibTeX XMLCite \textit{D. S. Kim} and \textit{T. Kim}, J. Math. Anal. Appl. 493, No. 1, Article ID 124521, 21 p. (2021; Zbl 1471.11110) Full Text: DOI
Joosten, Sebastiaan J. C.; Thiemann, René; Yamada, Akihisa A verified implementation of algebraic numbers in Isabelle/HOL. (English) Zbl 1468.68326 J. Autom. Reasoning 64, No. 3, 363-389 (2020). MSC: 68V20 11R04 11Y05 13P15 14Q30 68N18 PDFBibTeX XMLCite \textit{S. J. C. Joosten} et al., J. Autom. Reasoning 64, No. 3, 363--389 (2020; Zbl 1468.68326) Full Text: DOI
Srivastava, H. M.; Jolly, Nidhi; Bansal, Manish Kumar; Jain, Rashmi A new integral transform associated with the \(\lambda \)-extended Hurwitz-Lerch zeta function. (English) Zbl 1439.11230 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 113, No. 3, 1679-1692 (2019). MSC: 11M35 11B68 33C60 11S80 33E20 44A40 PDFBibTeX XMLCite \textit{H. M. Srivastava} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 113, No. 3, 1679--1692 (2019; Zbl 1439.11230) Full Text: DOI
Araci, Serkan; Acikgoz, Mehmet; Diagana, Toka; Srivastava, H. M. A novel approach for obtaining new identities for the \(\lambda\) extension of \(q\)-Euler polynomials arising from the \(q\)-umbral calculus. (English) Zbl 1412.11033 J. Nonlinear Sci. Appl. 10, No. 4, 1316-1325 (2017). MSC: 11B68 11S80 05A30 05A40 PDFBibTeX XMLCite \textit{S. Araci} et al., J. Nonlinear Sci. Appl. 10, No. 4, 1316--1325 (2017; Zbl 1412.11033) Full Text: DOI
Araci, Serkan.; Duran, Ugur; Acikgoz, Mehmet A study on a class of \(q\)-Euler polynomials under the symmetric group of degree \(n\). (English) Zbl 1348.11017 J. Nonlinear Sci. Appl. 9, No. 8, 5196-5201 (2016). MSC: 11B68 05A19 11S80 05A30 PDFBibTeX XMLCite \textit{Serkan. Araci} et al., J. Nonlinear Sci. Appl. 9, No. 8, 5196--5201 (2016; Zbl 1348.11017) Full Text: DOI Link
Lim, Dongku; Qi, Feng On the Appell type \(\lambda\)-Changhee polynomials. (English) Zbl 1334.05014 J. Nonlinear Sci. Appl. 9, No. 4, 1872-1876 (2016). MSC: 05A30 05A40 11B68 11S80 PDFBibTeX XMLCite \textit{D. Lim} and \textit{F. Qi}, J. Nonlinear Sci. Appl. 9, No. 4, 1872--1876 (2016; Zbl 1334.05014) Full Text: DOI Link
Kim, Dae San; Kim, Taekyun; Dolgy, Dmitry V. On \(q\)-analogs of degenerate Bernoulli polynomials. (English) Zbl 1422.05018 Adv. Difference Equ. 2015, Paper No. 194, 10 p. (2015). MSC: 05A19 05A30 11B68 11B83 PDFBibTeX XMLCite \textit{D. S. Kim} et al., Adv. Difference Equ. 2015, Paper No. 194, 10 p. (2015; Zbl 1422.05018) Full Text: DOI
Kim, Dae San; Kim, Taekyun; Dolgy, Dmitry V. A note on degenerate Bernoulli numbers and polynomials associated with \(p\)-adic invariant integral on \(\mathbb{Z}_p\). (English) Zbl 1390.11049 Appl. Math. Comput. 259, 198-204 (2015). MSC: 11B68 11S80 05A15 11B65 05A40 PDFBibTeX XMLCite \textit{D. S. Kim} et al., Appl. Math. Comput. 259, 198--204 (2015; Zbl 1390.11049) Full Text: DOI
Dolgy, Dmitry V.; Kim, Dae San; Kim, Taekyun; Mansour, Toufik Barnes-type Daehee with \(\lambda\)-parameter and degenerate Euler mixed-type polynomials. (English) Zbl 1332.05007 J. Inequal. Appl. 2015, Paper No. 154, 13 p. (2015). MSC: 05A15 05A40 11B83 PDFBibTeX XMLCite \textit{D. V. Dolgy} et al., J. Inequal. Appl. 2015, Paper No. 154, 13 p. (2015; Zbl 1332.05007) Full Text: DOI
Tarau, Paul Arithmetic and Boolean operations on recursively run-length compressed natural numbers. (English) Zbl 1423.68221 Sci. Ann. Comput. Sci. 24, No. 2, 287-323 (2014). MSC: 68Q25 11Y16 68N18 68P30 PDFBibTeX XMLCite \textit{P. Tarau}, Sci. Ann. Comput. Sci. 24, No. 2, 287--323 (2014; Zbl 1423.68221) Full Text: DOI
Tarau, Paul The arithmetic of recursively run-length compressed natural numbers. (English) Zbl 1423.68220 Ciobanu, Gabriel (ed.) et al., Theoretical aspects of computing – ICTAC 2014. 11th international colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8687, 406-423 (2014). MSC: 68Q25 11Y16 68N18 68P30 PDFBibTeX XMLCite \textit{P. Tarau}, Lect. Notes Comput. Sci. 8687, 406--423 (2014; Zbl 1423.68220) Full Text: DOI
Tarau, Paul Towards a generic view of primality through multiset decompositions of natural numbers. (English) Zbl 1358.11010 Theor. Comput. Sci. 537, 105-124 (2014). MSC: 11-04 11A41 68N18 PDFBibTeX XMLCite \textit{P. Tarau}, Theor. Comput. Sci. 537, 105--124 (2014; Zbl 1358.11010) Full Text: DOI
Jansen, Jan Martin Programming in the \(\lambda \)-calculus: from Church to Scott and back. (English) Zbl 1405.68060 Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 168-180 (2013). MSC: 68N18 11Y16 68Q65 PDFBibTeX XMLCite \textit{J. M. Jansen}, Lect. Notes Comput. Sci. 8106, 168--180 (2013; Zbl 1405.68060) Full Text: DOI
Nykänen, Matti A note on the genuine Sieve of Eratosthenes. (English) Zbl 1248.68172 J. Funct. Program. 21, No. 6, 563-572 (2011). MSC: 68P05 68N18 11A99 68N15 PDFBibTeX XMLCite \textit{M. Nykänen}, J. Funct. Program. 21, No. 6, 563--572 (2011; Zbl 1248.68172) Full Text: DOI
Tarau, Paul Emulating primality with multiset representations of natural numbers. (English) Zbl 1351.11001 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 218-238 (2011). MSC: 11-04 11A41 68N18 PDFBibTeX XMLCite \textit{P. Tarau}, Lect. Notes Comput. Sci. 6916, 218--238 (2011; Zbl 1351.11001) Full Text: DOI
Pomerance, Carl Elementary thoughts on discrete logarithms. (English) Zbl 1188.11070 Buhler, J. P. (ed.) et al., Algorithmic number theory. Lattices, number fields, curves and cryptography. Cambridge: Cambridge University Press (ISBN 978-0-521-80854-5/hbk). Mathematical Sciences Research Institute Publications 44, 385-396 (2008). Reviewer: Juan Tena Ayuso (Valladolid) MSC: 11Y16 11Y05 68W40 94A60 11T71 PDFBibTeX XMLCite \textit{C. Pomerance}, Math. Sci. Res. Inst. Publ. 44, 385--396 (2008; Zbl 1188.11070)
Backhouse, Roland; Ferreira, João F. Recounting the rationals: twice! (English) Zbl 1156.11308 Audebaud, Philippe (ed.) et al., Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70593-2/pbk). Lecture Notes in Computer Science 5133, 79-91 (2008). MSC: 11B75 05C05 11Y16 68N18 PDFBibTeX XMLCite \textit{R. Backhouse} and \textit{J. F. Ferreira}, Lect. Notes Comput. Sci. 5133, 79--91 (2008; Zbl 1156.11308) Full Text: DOI
Ruff, Laura; Jebelean, Tudor Functional-based synthesis of a systolic array for GCD computation. (English) Zbl 1226.68127 Horváth, Zoltán (ed.) et al., Implementation and application of functional languages. 18th international symposium, IFL 2006, Budapest, Hungary, September 4–6, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-74129-9/pbk). Lecture Notes in Computer Science 4449, 37-54 (2007). MSC: 68W30 11A05 68N18 PDFBibTeX XMLCite \textit{L. Ruff} and \textit{T. Jebelean}, Lect. Notes Comput. Sci. 4449, 37--54 (2007; Zbl 1226.68127) Full Text: DOI
Gibbons, Jeremy Unbounded spigot algorithms for the digits of pi. (English) Zbl 1158.11049 Am. Math. Mon. 113, No. 4, 318-328 (2006). Reviewer: Rudolf Wegmann (Garching) MSC: 11Y60 11A63 11Y16 68N18 PDFBibTeX XMLCite \textit{J. Gibbons}, Am. Math. Mon. 113, No. 4, 318--328 (2006; Zbl 1158.11049) Full Text: DOI
Gibbons, Jeremy; Lester, David; Bird, Richard FUNCTIONAL PEARL: Enumerating the rationals. (English) Zbl 1103.68444 J. Funct. Program. 16, No. 3, 281-291 (2006). MSC: 68N18 05C05 11B75 PDFBibTeX XMLCite \textit{J. Gibbons} et al., J. Funct. Program. 16, No. 3, 281--291 (2006; Zbl 1103.68444) Full Text: DOI
Hindry, Marc; Rivoal, Tanguy Golomb’s \(\Lambda\)-calculus and the Bateman-Horn conjecture. (Le \(\Lambda\)-calcul de Golomb et la conjecture de Bateman-Horn.) (French) Zbl 1180.11032 Enseign. Math. (2) 51, No. 3-4, 265-318 (2005). Reviewer: Eira J. Scourfield (Egham) MSC: 11N32 11M45 11M41 PDFBibTeX XMLCite \textit{M. Hindry} and \textit{T. Rivoal}, Enseign. Math. (2) 51, No. 3--4, 265--318 (2005; Zbl 1180.11032)
Meertens, Lambert Calculating the sieve of Eratosthenes. (English) Zbl 1063.68557 J. Funct. Program. 14, No. 6, 759-763 (2004). MSC: 68N18 11A41 11Y16 PDFBibTeX XMLCite \textit{L. Meertens}, J. Funct. Program. 14, No. 6, 759--763 (2004; Zbl 1063.68557) Full Text: DOI
Hofmann, Karl H. An illustration of the power of structure theory. (English) Zbl 0978.22002 Appl. Categ. Struct. 8, No. 1-2, 145-160 (2000). Reviewer: J.D.Lawson (Baton Rouge) MSC: 22A15 22A25 20M10 11B25 11P81 47D03 68Q60 06B35 PDFBibTeX XMLCite \textit{K. H. Hofmann}, Appl. Categ. Struct. 8, No. 1--2, 145--160 (2000; Zbl 0978.22002) Full Text: DOI
Leclerc, François; Paulin-Mohring, Christine Programming with streams in Coq. A case study: the sieve of Eratosthenes. (English) Zbl 1527.68258 Barendregt, Henk (ed.) et al., TYPES ’93. Types for proofs and programs. International workshop, Nijmegen, the Netherlands, May 24–28, 1993. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 806, 191-212 (1994). MSC: 68V15 11A41 11Y11 68N18 68N19 PDFBibTeX XMLCite \textit{F. Leclerc} and \textit{C. Paulin-Mohring}, Lect. Notes Comput. Sci. 806, 191--212 (1994; Zbl 1527.68258) Full Text: DOI
Leivant, Daniel Finitely stratified polymorphism. (English) Zbl 0799.68041 Inf. Comput. 93, No. 1, 93-113 (1991). MSC: 68N15 03B40 11Y99 PDFBibTeX XMLCite \textit{D. Leivant}, Inf. Comput. 93, No. 1, 93--113 (1991; Zbl 0799.68041) Full Text: DOI
Statman, Rick The word problem for Smullyan’s lark combinator is decidable. (English) Zbl 0663.03004 J. Symb. Comput. 7, No. 2, 103-112 (1989). Reviewer: M.W.Bunder MSC: 03B40 11U05 PDFBibTeX XMLCite \textit{R. Statman}, J. Symb. Comput. 7, No. 2, 103--112 (1989; Zbl 0663.03004) Full Text: DOI
Pizer, Adrian Hermitian character and the first problem of R. H. Fox. (English) Zbl 0581.57003 Math. Proc. Camb. Philos. Soc. 98, 447-458 (1985). Reviewer: J.Hillman MSC: 57M25 57M05 20F05 11E16 PDFBibTeX XMLCite \textit{A. Pizer}, Math. Proc. Camb. Philos. Soc. 98, 447--458 (1985; Zbl 0581.57003) Full Text: DOI
Kuzichev, A. S. Formal arithmetic in combinatorily complete systems. II. (English) Zbl 0413.03009 Mosc. Univ. Math. Bull. 33, No. 3, 55-60 (1978). MSC: 03B40 03B10 03C35 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Mosc. Univ. Math. Bull. 33, No. 3, 55--60 (1978; Zbl 0413.03009)
Kuzichev, A. S. Formal arithmetic in combinatorily complete systems. I. (English) Zbl 0413.03008 Mosc. Univ. Math. Bull. 33, No. 2, 9-15 (1978). MSC: 03B40 03B10 03C35 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Mosc. Univ. Math. Bull. 33, No. 2, 9--15 (1978; Zbl 0413.03008)
Kuzichev, A. S. Formal arithmetic in combinatorially complete systems. II. (Russian) Zbl 0395.03013 Vestn. Mosk. Univ., Ser. I 1978, No. 3, 60-66 (1978). MSC: 03B40 03B10 03C35 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Vestn. Mosk. Univ., Ser. I 1978, No. 3, 60--66 (1978; Zbl 0395.03013)
Kuzichev, A. S. Formal arithmetic in combinatorially complete systems. I. (Russian) Zbl 0395.03012 Vestn. Mosk. Univ., Ser. I 1978, No. 2, 13-21 (1978). MSC: 03B40 03B10 03C35 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Vestn. Mosk. Univ., Ser. I 1978, No. 2, 13--21 (1978; Zbl 0395.03012)
Kuzichev, A. S. A theorem on the consistency of formal arithmetic. (English. Russian original) Zbl 0395.03011 Sov. Math., Dokl. 19, 30-33 (1978); translation from Dokl. Akad. Nauk SSSR 238, 269-272 (1978). MSC: 03B40 03B10 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 19, 30--33 (1978; Zbl 0395.03011); translation from Dokl. Akad. Nauk SSSR 238, 269--272 (1978)
Baxter, Lewis D. The undecidability of the third order dyadic unification problem. (English) Zbl 0387.03006 Inf. Control 38, 170-178 (1978). MSC: 03B15 03D35 03B40 03D80 03D25 11D41 11U99 PDFBibTeX XMLCite \textit{L. D. Baxter}, Inf. Control 38, 170--178 (1978; Zbl 0387.03006) Full Text: DOI
Kuzichev, A. S. Formal arithmetic in the \(\mathcal A\)-system of \(\lambda\)-conversion. (English. Russian original) Zbl 0395.03010 Sov. Math., Dokl. 18(1977), 1327-1330 (1978); translation from Dokl. Akad. Nauk SSSR 236, 1072-1075 (1977). MSC: 03B40 03B10 03F05 03F99 03F30 11U99 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 18, 1327--1330 (1977; Zbl 0395.03010); translation from Dokl. Akad. Nauk SSSR 236, 1072--1075 (1977)
Kuzichev, A. S. A system of \(\lambda\)-conversion with logical operators and an equality operator. (English. Russian original) Zbl 0395.03009 Sov. Math., Dokl. 18(1977), 1268-1272 (1978); translation from Dokl. Akad. Nauk SSSR 236, 796-799 (1977). MSC: 03B40 03B10 03C35 03F05 03F99 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 18, 1268--1272 (1977; Zbl 0395.03009); translation from Dokl. Akad. Nauk SSSR 236, 796--799 (1977)