Chaudhary, Renu; Diethelm, Kai; Hashemishahraki, Safoura On the separation of solutions to fractional differential equations of order \(\alpha \in (1,2)\). (English) Zbl 07885876 Appl. Numer. Math. 203, 84-96 (2024). MSC: 34A08 34A12 PDFBibTeX XMLCite \textit{R. Chaudhary} et al., Appl. Numer. Math. 203, 84--96 (2024; Zbl 07885876) Full Text: DOI arXiv
Beghin, Luisa; Cristofaro, Lorenzo; Gajda, Janusz Non-Gaussian measures in infinite dimensional spaces: the Gamma-Grey noise. (English) Zbl 07834182 Potential Anal. 60, No. 4, 1571-1593 (2024). MSC: 60G20 60G22 33B20 60H40 PDFBibTeX XMLCite \textit{L. Beghin} et al., Potential Anal. 60, No. 4, 1571--1593 (2024; Zbl 07834182) Full Text: DOI arXiv OA License
Guidotti, Nicolas L.; Acebrón, Juan A.; Monteiro, José A stochastic method for solving time-fractional differential equations. (English) Zbl 07824632 Comput. Math. Appl. 159, 240-253 (2024). MSC: 65-XX 60-XX PDFBibTeX XMLCite \textit{N. L. Guidotti} et al., Comput. Math. Appl. 159, 240--253 (2024; Zbl 07824632) Full Text: DOI arXiv
Cruz-López, Carlos-Antonio; Espinosa-Paredes, Gilberto Analytical solution of the fractional neutron point kinetic equations using the Mittag-Leffler function. (English) Zbl 07803317 Comput. Phys. Commun. 296, Article ID 109028, 19 p. (2024). MSC: 82-XX 65-XX PDFBibTeX XMLCite \textit{C.-A. Cruz-López} and \textit{G. Espinosa-Paredes}, Comput. Phys. Commun. 296, Article ID 109028, 19 p. (2024; Zbl 07803317) Full Text: DOI
Trofimowicz, Damian; Stefański, Tomasz P.; Gulgowski, Jacek; Talaśka, Tomasz Modelling and simulations in time-fractional electrodynamics based on control engineering methods. (English) Zbl 07801786 Commun. Nonlinear Sci. Numer. Simul. 129, Article ID 107720, 20 p. (2024). MSC: 78M20 78A25 78A40 35A20 93C20 49M41 33E12 65F15 35Q61 26A33 35R11 PDFBibTeX XMLCite \textit{D. Trofimowicz} et al., Commun. Nonlinear Sci. Numer. Simul. 129, Article ID 107720, 20 p. (2024; Zbl 07801786) Full Text: DOI
Ansari, Md Samshad Hussain; Malik, Muslim; Baleanu, Dumitru Controllability of Prabhakar fractional dynamical systems. (English) Zbl 1532.37078 Qual. Theory Dyn. Syst. 23, No. 2, Paper No. 63, 28 p. (2024). MSC: 37N35 33E12 93B05 93C05 93C10 PDFBibTeX XMLCite \textit{M. S. H. Ansari} et al., Qual. Theory Dyn. Syst. 23, No. 2, Paper No. 63, 28 p. (2024; Zbl 1532.37078) Full Text: DOI
Ye, Yinlin; Fan, Hongtao; Li, Yajing; Huang, Ao; He, Weiheng An artificial neural network approach for a class of time-fractional diffusion and diffusion-wave equations. (English) Zbl 1532.65096 Netw. Heterog. Media 18, No. 3, 1083-1104 (2023). MSC: 65M99 68T07 92B20 65M15 41A58 33E12 26A33 35R11 PDFBibTeX XMLCite \textit{Y. Ye} et al., Netw. Heterog. Media 18, No. 3, 1083--1104 (2023; Zbl 1532.65096) Full Text: DOI
Dudenhefner, Andrej Constructive many-one reduction from the halting problem to semi-unification (extended version). (English) Zbl 07788994 Log. Methods Comput. Sci. 19, No. 4, Paper No. 22, 27 p. (2023). MSC: 03D10 03D35 03F50 PDFBibTeX XMLCite \textit{A. Dudenhefner}, Log. Methods Comput. Sci. 19, No. 4, Paper No. 22, 27 p. (2023; Zbl 07788994) Full Text: DOI arXiv OA License
de Vilhena, Paulo Emílio; Pottier, François A type system for effect handlers and dynamic labels. (English) Zbl 07770317 Wies, Thomas (ed.), Programming languages and systems. 32nd European symposium on programming, ESOP 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13990, 225-252 (2023). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{P. E. de Vilhena} and \textit{F. Pottier}, Lect. Notes Comput. Sci. 13990, 225--252 (2023; Zbl 07770317) Full Text: DOI OA License
Paneva-Konovska, Jordanka; Deif, Sarah A. On some relations in the class of multi-index Mittag-Leffler functions. (English) Zbl 1534.33021 Integral Transforms Spec. Funct. 34, No. 12, 965-982 (2023). Reviewer: Roberto Garra (Roma) MSC: 33E12 30A10 30D15 30E15 41A60 40A30 PDFBibTeX XMLCite \textit{J. Paneva-Konovska} and \textit{S. A. Deif}, Integral Transforms Spec. Funct. 34, No. 12, 965--982 (2023; Zbl 1534.33021) Full Text: DOI
Ma, Fugui; Zhao, Lijing; Deng, Weihua; Wang, Yejuan Analyses of the contour integral method for time fractional normal-subdiffusion transport equation. (English) Zbl 1526.35293 J. Sci. Comput. 97, No. 2, Paper No. 45, 40 p. (2023). MSC: 35R11 35B65 35Q49 65D30 65M15 PDFBibTeX XMLCite \textit{F. Ma} et al., J. Sci. Comput. 97, No. 2, Paper No. 45, 40 p. (2023; Zbl 1526.35293) Full Text: DOI arXiv
Dattoli, Giuseppe; Khan, Subuhi; Haneef, Mehnaz; Licciardi, Silvia On umbral properties of a family of hyperbolic-like functions appearing in magnetic transport problem. (English) Zbl 07749697 Rep. Math. Phys. 92, No. 1, 37-48 (2023). MSC: 33C10 33C45 33F10 PDFBibTeX XMLCite \textit{G. Dattoli} et al., Rep. Math. Phys. 92, No. 1, 37--48 (2023; Zbl 07749697) Full Text: DOI
Jornet, Marc On the random fractional Bateman equations. (English) Zbl 07736221 Appl. Math. Comput. 457, Article ID 128197, 14 p. (2023). MSC: 34A08 34F05 60H10 60H35 PDFBibTeX XMLCite \textit{M. Jornet}, Appl. Math. Comput. 457, Article ID 128197, 14 p. (2023; Zbl 07736221) Full Text: DOI OA License
Brucker, Achim D.; Stell, Amy Verifying feedforward neural networks for classification in Isabelle/HOL. (English) Zbl 1529.68154 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 427-444 (2023). MSC: 68Q60 68T07 68V20 PDFBibTeX XMLCite \textit{A. D. Brucker} and \textit{A. Stell}, Lect. Notes Comput. Sci. 14000, 427--444 (2023; Zbl 1529.68154) Full Text: DOI
Górska, K.; Pietrzak, T.; Sandev, T.; Tomovski, Ž. Volterra-Prabhakar function of distributed order and some applications. (English) Zbl 07715664 J. Comput. Appl. Math. 433, Article ID 115306, 21 p. (2023). MSC: 35Q84 35R60 26A24 33C45 PDFBibTeX XMLCite \textit{K. Górska} et al., J. Comput. Appl. Math. 433, Article ID 115306, 21 p. (2023; Zbl 07715664) Full Text: DOI arXiv OA License
Górska, K.; Horzela, A.; Penson, K. A. The Havriliak-Negami and Jurlewicz-Weron-Stanislavsky relaxation models revisited: memory functions based study. (English) Zbl 07713596 J. Phys. A, Math. Theor. 56, No. 31, Article ID 313001, 43 p. (2023). MSC: 82-XX 81-XX PDFBibTeX XMLCite \textit{K. Górska} et al., J. Phys. A, Math. Theor. 56, No. 31, Article ID 313001, 43 p. (2023; Zbl 07713596) Full Text: DOI arXiv OA License
Bakalis, Evangelos; Zerbetto, Francesco Hydrodynamic fluctuations in the presence of one parameter Mittag-Leffler friction. (English) Zbl 07690891 Physica A 620, Article ID 128780, 17 p. (2023). MSC: 82-XX PDFBibTeX XMLCite \textit{E. Bakalis} and \textit{F. Zerbetto}, Physica A 620, Article ID 128780, 17 p. (2023; Zbl 07690891) Full Text: DOI OA License
Pu, Tianyi; Fasondini, Marco The numerical solution of fractional integral equations via orthogonal polynomials in fractional powers. (English) Zbl 1505.62519 Adv. Comput. Math. 49, No. 1, Paper No. 7, 40 p. (2023). MSC: 65R20 26A33 33E12 45A05 PDFBibTeX XMLCite \textit{T. Pu} and \textit{M. Fasondini}, Adv. Comput. Math. 49, No. 1, Paper No. 7, 40 p. (2023; Zbl 1505.62519) Full Text: DOI arXiv OA License
Eshaghi, Shiva; Tavazoei, Mohammad Saleh Finiteness conditions for performance indices in generalized fractional-order systems defined based on the regularized Prabhakar derivative. (English) Zbl 1505.93246 Commun. Nonlinear Sci. Numer. Simul. 117, Article ID 106979, 17 p. (2023). MSC: 93D99 33E12 26A33 PDFBibTeX XMLCite \textit{S. Eshaghi} and \textit{M. S. Tavazoei}, Commun. Nonlinear Sci. Numer. Simul. 117, Article ID 106979, 17 p. (2023; Zbl 1505.93246) Full Text: DOI
Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia; Pfenning, Frank Polarized subtyping. (English) Zbl 1528.68082 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 431-461 (2022). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{Z. Lakhani} et al., Lect. Notes Comput. Sci. 13240, 431--461 (2022; Zbl 1528.68082) Full Text: DOI arXiv OA License
Bokhari, Ahmed; Baleanu, Dumitru; Belgacem, Rachid Regularized Prabhakar derivative for partial differential equations. (English) Zbl 1538.35421 Comput. Methods Differ. Equ. 10, No. 3, 726-737 (2022). MSC: 35R11 26A33 65R10 33E12 35A22 PDFBibTeX XMLCite \textit{A. Bokhari} et al., Comput. Methods Differ. Equ. 10, No. 3, 726--737 (2022; Zbl 1538.35421) Full Text: DOI
Noël, L.; Schmidt, M.; Doble, K.; Evans, J. A.; Maute, K. XIGA: an eXtended IsoGeometric analysis approach for multi-material problems. (English) Zbl 1509.74052 Comput. Mech. 70, No. 6, 1281-1308 (2022). MSC: 74S22 74B99 74F05 PDFBibTeX XMLCite \textit{L. Noël} et al., Comput. Mech. 70, No. 6, 1281--1308 (2022; Zbl 1509.74052) Full Text: DOI arXiv OA License
Shivanian, Elyas Error estimate and stability analysis on the study of a high-order nonlinear fractional differential equation with Caputo-derivative and integral boundary condition. (English) Zbl 1513.34036 Comput. Appl. Math. 41, No. 8, Paper No. 395, 20 p. (2022). MSC: 34A08 34B15 34B10 47N20 65L10 PDFBibTeX XMLCite \textit{E. Shivanian}, Comput. Appl. Math. 41, No. 8, Paper No. 395, 20 p. (2022; Zbl 1513.34036) Full Text: DOI
Garra, R.; Consiglio, A.; Mainardi, F. A note on a modified fractional Maxwell model. (English) Zbl 1507.74065 Chaos Solitons Fractals 163, Article ID 112544, 5 p. (2022). MSC: 74B05 74D05 74L10 76A10 26A33 35R11 33E12 PDFBibTeX XMLCite \textit{R. Garra} et al., Chaos Solitons Fractals 163, Article ID 112544, 5 p. (2022; Zbl 1507.74065) Full Text: DOI arXiv
Liang, Yingjie; Yu, Yue; Magin, Richard L. Computation of the inverse Mittag-Leffler function and its application to modeling ultraslow dynamics. (English) Zbl 1503.33017 Fract. Calc. Appl. Anal. 25, No. 2, 439-452 (2022). MSC: 33E12 26A33 33F05 65D20 PDFBibTeX XMLCite \textit{Y. Liang} et al., Fract. Calc. Appl. Anal. 25, No. 2, 439--452 (2022; Zbl 1503.33017) Full Text: DOI
Biolek, Dalibor; Garrappa, Roberto; Biolková, Viera Impulse response of commensurate fractional-order systems: multiple complex poles. (English) Zbl 1503.34139 Fract. Calc. Appl. Anal. 25, No. 5, 1837-1851 (2022). MSC: 34K37 33E12 44A10 26A33 PDFBibTeX XMLCite \textit{D. Biolek} et al., Fract. Calc. Appl. Anal. 25, No. 5, 1837--1851 (2022; Zbl 1503.34139) Full Text: DOI OA License
Awad, Emad; Metzler, Ralf Closed-form multi-dimensional solutions and asymptotic behaviours for subdiffusive processes with crossovers. II: Accelerating case. (English) Zbl 1506.35259 J. Phys. A, Math. Theor. 55, No. 20, Article ID 205003, 29 p. (2022). MSC: 35R11 60K50 PDFBibTeX XMLCite \textit{E. Awad} and \textit{R. Metzler}, J. Phys. A, Math. Theor. 55, No. 20, Article ID 205003, 29 p. (2022; Zbl 1506.35259) Full Text: DOI OA License
Rani, Noosheza; Fernandez, Arran Mikusiński’s operational calculus for Prabhakar fractional calculus. (English) Zbl 1516.26003 Integral Transforms Spec. Funct. 33, No. 12, 945-965 (2022). MSC: 26A33 33E12 34A08 44A40 PDFBibTeX XMLCite \textit{N. Rani} and \textit{A. Fernandez}, Integral Transforms Spec. Funct. 33, No. 12, 945--965 (2022; Zbl 1516.26003) Full Text: DOI
Cong, Youyou; Ishio, Chiaki; Honda, Kaho; Asai, Kenichi A functional abstraction of typed invocation contexts. (English) Zbl 07596582 Log. Methods Comput. Sci. 18, No. 3, Paper No. 34, 31 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{Y. Cong} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 34, 31 p. (2022; Zbl 07596582) Full Text: DOI arXiv OA License
Nguyen Minh Dien; Tran Quoc Viet On mild solutions of the p-Laplacian fractional Langevin equations with anti-periodic type boundary conditions. (English) Zbl 1524.34143 Int. J. Comput. Math. 99, No. 9, 1823-1848 (2022). MSC: 34G20 34A08 26A33 34B15 47N20 34B08 PDFBibTeX XMLCite \textit{Nguyen Minh Dien} and \textit{Tran Quoc Viet}, Int. J. Comput. Math. 99, No. 9, 1823--1848 (2022; Zbl 1524.34143) Full Text: DOI
Hirata, Michikazu; Minamide, Yasuhiko; Sato, Tetsuya Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 57-74 (2022). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Hirata} et al., Lect. Notes Comput. Sci. 13215, 57--74 (2022; Zbl 07570114) Full Text: DOI
Wei, Yufen; Guo, Ying; Li, Yu A new numerical method for solving semilinear fractional differential equation. (English) Zbl 1495.65103 J. Appl. Math. Comput. 68, No. 2, 1289-1311 (2022). MSC: 65L05 34A08 65L60 PDFBibTeX XMLCite \textit{Y. Wei} et al., J. Appl. Math. Comput. 68, No. 2, 1289--1311 (2022; Zbl 1495.65103) Full Text: DOI
Moufid, Ilyes; Matignon, Denis; Roncen, Rémi; Piot, Estelle Energy analysis and discretization of the time-domain equivalent fluid model for wave propagation in rigid porous media. (English) Zbl 07517171 J. Comput. Phys. 451, Article ID 110888, 31 p. (2022). MSC: 65Mxx 76Sxx 35Lxx PDFBibTeX XMLCite \textit{I. Moufid} et al., J. Comput. Phys. 451, Article ID 110888, 31 p. (2022; Zbl 07517171) Full Text: DOI
Rani, Noosheza; Fernandez, Arran Solving Prabhakar differential equations using Mikusiński’s operational calculus. (English) Zbl 1499.34078 Comput. Appl. Math. 41, No. 3, Paper No. 107, 15 p. (2022). MSC: 34A08 44A40 33E12 34A25 PDFBibTeX XMLCite \textit{N. Rani} and \textit{A. Fernandez}, Comput. Appl. Math. 41, No. 3, Paper No. 107, 15 p. (2022; Zbl 1499.34078) Full Text: DOI
Marasi, H. R.; Derakhshan, M. H. Haar wavelet collocation method for variable order fractional integro-differential equations with stability analysis. (English) Zbl 1524.65971 Comput. Appl. Math. 41, No. 3, Paper No. 106, 19 p. (2022). MSC: 65R20 34K37 45J05 65L60 65T60 PDFBibTeX XMLCite \textit{H. R. Marasi} and \textit{M. H. Derakhshan}, Comput. Appl. Math. 41, No. 3, Paper No. 106, 19 p. (2022; Zbl 1524.65971) Full Text: DOI
Oliveira, D. S. Properties of \(\psi\)-Mittag-Leffler fractional integrals. (English) Zbl 1496.33012 Rend. Circ. Mat. Palermo (2) 71, No. 1, 233-246 (2022). MSC: 33E12 26A33 34A08 PDFBibTeX XMLCite \textit{D. S. Oliveira}, Rend. Circ. Mat. Palermo (2) 71, No. 1, 233--246 (2022; Zbl 1496.33012) Full Text: DOI
Almeida, Ricardo; Morgado, M. Luísa Optimality conditions involving the Mittag-Leffler tempered fractional derivative. (English) Zbl 1497.49009 Discrete Contin. Dyn. Syst., Ser. S 15, No. 3, 519-534 (2022). Reviewer: Alain Brillard (Riedisheim) MSC: 49J21 26A33 49K05 49M05 PDFBibTeX XMLCite \textit{R. Almeida} and \textit{M. L. Morgado}, Discrete Contin. Dyn. Syst., Ser. S 15, No. 3, 519--534 (2022; Zbl 1497.49009) Full Text: DOI
Bokhari, Ahmed; Belgacem, Rachid; Kumar, Sunil; Baleanu, Dumitru; Djilali, Salih Projectile motion using three parameter Mittag-Leffler function calculus. (English) Zbl 07487702 Math. Comput. Simul. 195, 22-30 (2022). MSC: 70B10 26A33 33E12 44A10 PDFBibTeX XMLCite \textit{A. Bokhari} et al., Math. Comput. Simul. 195, 22--30 (2022; Zbl 07487702) Full Text: DOI
Awad, Emad; Sandev, Trifce; Metzler, Ralf; Chechkin, Aleksei Closed-form multi-dimensional solutions and asymptotic behaviors for subdiffusive processes with crossovers. I: Retarding case. (English) Zbl 1506.35260 Chaos Solitons Fractals 152, Article ID 111357, 18 p. (2021). MSC: 35R11 60K50 PDFBibTeX XMLCite \textit{E. Awad} et al., Chaos Solitons Fractals 152, Article ID 111357, 18 p. (2021; Zbl 1506.35260) Full Text: DOI
Motara, Yusuf Moosa High-level modelling for typed functional programming. (English) Zbl 1490.68075 Zsók, Viktória (ed.) et al., Trends in functional programming. 22nd international symposium, TFP 2021, virtual event, February 17–19, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12834, 69-94 (2021). MSC: 68N18 PDFBibTeX XMLCite \textit{Y. M. Motara}, Lect. Notes Comput. Sci. 12834, 69--94 (2021; Zbl 1490.68075) Full Text: DOI OA License
Gabr, A.; Abdel Kader, A. H.; Abdel Latif, M. S. The effect of the parameters of the generalized fractional derivatives on the behavior of linear electrical circuits. (English) Zbl 1492.34053 Int. J. Appl. Comput. Math. 7, No. 6, Paper No. 247, 14 p. (2021). MSC: 34C60 94C60 34A08 34A30 44A10 34D05 PDFBibTeX XMLCite \textit{A. Gabr} et al., Int. J. Appl. Comput. Math. 7, No. 6, Paper No. 247, 14 p. (2021; Zbl 1492.34053) Full Text: DOI
Bentkamp, Alexander; Blanchette, Jasmin; Tourret, Sophie; Vukmirović, Petar; Waldmann, Uwe Superposition with lambdas. (English) Zbl 07433023 J. Autom. Reasoning 65, No. 7, 893-940 (2021). MSC: 03B35 03B16 03B40 68V15 PDFBibTeX XMLCite \textit{A. Bentkamp} et al., J. Autom. Reasoning 65, No. 7, 893--940 (2021; Zbl 07433023) Full Text: DOI OA License
Gajda, Janusz; Beghin, Luisa Prabhakar Lévy processes. (English) Zbl 1495.60036 Stat. Probab. Lett. 178, Article ID 109162, 9 p. (2021). MSC: 60G51 26A33 33E12 60G52 PDFBibTeX XMLCite \textit{J. Gajda} and \textit{L. Beghin}, Stat. Probab. Lett. 178, Article ID 109162, 9 p. (2021; Zbl 1495.60036) Full Text: DOI Link
Higham, Nicholas J.; Liu, Xiaobo A multiprecision derivative-free Schur-Parlett algorithm for computing matrix functions. (English) Zbl 1476.65067 SIAM J. Matrix Anal. Appl. 42, No. 3, 1401-1422 (2021). MSC: 65F60 PDFBibTeX XMLCite \textit{N. J. Higham} and \textit{X. Liu}, SIAM J. Matrix Anal. Appl. 42, No. 3, 1401--1422 (2021; Zbl 1476.65067) Full Text: DOI
Garrappa, Roberto; Giusti, Andrea; Mainardi, Francesco Variable-order fractional calculus: a change of perspective. (English) Zbl 1471.26002 Commun. Nonlinear Sci. Numer. Simul. 102, Article ID 105904, 16 p. (2021). MSC: 26A33 31A10 44A10 PDFBibTeX XMLCite \textit{R. Garrappa} et al., Commun. Nonlinear Sci. Numer. Simul. 102, Article ID 105904, 16 p. (2021; Zbl 1471.26002) Full Text: DOI arXiv
Yang, Yubo; Wang, Li-Lian; Zeng, Fanhai Analysis of a backward Euler-type scheme for Maxwell’s equations in a Havriliak-Negami dispersive medium. (English) Zbl 1481.65199 ESAIM, Math. Model. Numer. Anal. 55, No. 2, 479-506 (2021). MSC: 65M70 65M06 65N35 65N30 65E05 65N12 41A10 41A25 41A30 41A58 35B35 33E12 78A25 78A60 26A33 35R11 35Q60 PDFBibTeX XMLCite \textit{Y. Yang} et al., ESAIM, Math. Model. Numer. Anal. 55, No. 2, 479--506 (2021; Zbl 1481.65199) Full Text: DOI arXiv
Van Thang, Nguyen; Van Duc, Nguyen; Minh, Luong Duy Nhat; Thành, Nguyen Trung Identifying an unknown source term in a time-space fractional parabolic equation. (English) Zbl 1475.65112 Appl. Numer. Math. 166, 313-332 (2021). MSC: 65M32 65M15 65M12 65T50 35B45 26A33 35R11 35R30 PDFBibTeX XMLCite \textit{N. Van Thang} et al., Appl. Numer. Math. 166, 313--332 (2021; Zbl 1475.65112) Full Text: DOI
Abbaszadeh, D.; Tavassoli Kajani, M.; Momeni, M.; Zahraei, M.; Maleki, M. Solving fractional Fredholm integro-differential equations using Legendre wavelets. (English) Zbl 1465.65165 Appl. Numer. Math. 166, 168-185 (2021). MSC: 65R20 45J05 65L60 65L20 PDFBibTeX XMLCite \textit{D. Abbaszadeh} et al., Appl. Numer. Math. 166, 168--185 (2021; Zbl 1465.65165) Full Text: DOI
Duan, Beiping; Zhang, Zhimin A rational approximation scheme for computing Mittag-Leffler function with discrete elliptic operator as input. (English) Zbl 1469.65037 J. Sci. Comput. 87, No. 3, Paper No. 75, 20 p. (2021). MSC: 65D05 65Y05 41A20 PDFBibTeX XMLCite \textit{B. Duan} and \textit{Z. Zhang}, J. Sci. Comput. 87, No. 3, Paper No. 75, 20 p. (2021; Zbl 1469.65037) Full Text: DOI
Sarumi, Ibrahim O.; Furati, Khaled M.; Khaliq, Abdul Q. M.; Mustapha, Kassem Generalized exponential time differencing schemes for stiff fractional systems with nonsmooth source term. (English) Zbl 1469.65115 J. Sci. Comput. 86, No. 2, Paper No. 23, 22 p. (2021). MSC: 65L04 34A08 92C45 PDFBibTeX XMLCite \textit{I. O. Sarumi} et al., J. Sci. Comput. 86, No. 2, Paper No. 23, 22 p. (2021; Zbl 1469.65115) Full Text: DOI
Miyajima, Shinya Computing enclosures for the matrix Mittag-Leffler function. (English) Zbl 1470.65080 J. Sci. Comput. 87, No. 2, Paper No. 62, 22 p. (2021). MSC: 65F60 15A16 65G20 26A33 33E12 33F05 PDFBibTeX XMLCite \textit{S. Miyajima}, J. Sci. Comput. 87, No. 2, Paper No. 62, 22 p. (2021; Zbl 1470.65080) Full Text: DOI
McLean, William Numerical evaluation of Mittag-Leffler functions. (English) Zbl 1467.65020 Calcolo 58, No. 1, Paper No. 7, 25 p. (2021). MSC: 65D30 33F05 33E12 65D32 PDFBibTeX XMLCite \textit{W. McLean}, Calcolo 58, No. 1, Paper No. 7, 25 p. (2021; Zbl 1467.65020) Full Text: DOI arXiv
Derakhshan, MohammadHossein New numerical algorithm to solve variable-order fractional integrodifferential equations in the sense of Hilfer-Prabhakar derivative. (English) Zbl 1474.65384 Abstr. Appl. Anal. 2021, Article ID 8817794, 10 p. (2021). MSC: 65M70 45J05 34K37 35R11 PDFBibTeX XMLCite \textit{M. Derakhshan}, Abstr. Appl. Anal. 2021, Article ID 8817794, 10 p. (2021; Zbl 1474.65384) Full Text: DOI OA License
Carrer, J. A. M.; Solheid, B. S.; Trevelyan, J.; Seaid, M. A boundary element method formulation based on the Caputo derivative for the solution of the anomalous diffusion problem. (English) Zbl 1464.80021 Eng. Anal. Bound. Elem. 122, 132-144 (2021). MSC: 80M15 65M38 PDFBibTeX XMLCite \textit{J. A. M. Carrer} et al., Eng. Anal. Bound. Elem. 122, 132--144 (2021; Zbl 1464.80021) Full Text: DOI Link
Christensen, Michael; McMahan, Joseph; Nichols, Lawton; Roesch, Jared; Sherwood, Timothy; Hardekopf, Ben Safe functional systems through integrity types and verified assembly. (English) Zbl 1477.68030 Theor. Comput. Sci. 851, 39-61 (2021). MSC: 68M07 68N18 68Q60 PDFBibTeX XMLCite \textit{M. Christensen} et al., Theor. Comput. Sci. 851, 39--61 (2021; Zbl 1477.68030) Full Text: DOI OA License
Passmore, Grant; Cruanes, Simon; Ignatovich, Denis; Aitken, Dave; Bray, Matt; Kagan, Elijah; Kanishev, Kostya; Maclean, Ewen; Mometto, Nicola The Imandra automated reasoning system (system description). (English) Zbl 07614691 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 464-471 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{G. Passmore} et al., Lect. Notes Comput. Sci. 12167, 464--471 (2020; Zbl 07614691) Full Text: DOI arXiv
Thorand, Fabian; Hage, Jurriaan Higher-ranked annotation polymorphic dependency analysis. (English) Zbl 1508.68042 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 656-683 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{F. Thorand} and \textit{J. Hage}, Lect. Notes Comput. Sci. 12075, 656--683 (2020; Zbl 1508.68042) Full Text: DOI OA License
Ângelo, Pedro; Florido, Mário Type inference for rank 2 gradual intersection types. (English) Zbl 1503.68035 Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 84-120 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Ângelo} and \textit{M. Florido}, Lect. Notes Comput. Sci. 12053, 84--120 (2020; Zbl 1503.68035) Full Text: DOI
Barabesi, Lucio The computation of the probability density and distribution functions for some families of random variables by means of the wynn-\( \rho\) accelerated post-Widder formula. (English) Zbl 07552653 Commun. Stat., Simulation Comput. 49, No. 5, 1333-1351 (2020). MSC: 62-XX PDFBibTeX XMLCite \textit{L. Barabesi}, Commun. Stat., Simulation Comput. 49, No. 5, 1333--1351 (2020; Zbl 07552653) Full Text: DOI
Agahi, Hamzeh; Alipour, Mohsen Tsallis-Mittag-Leffler distribution and its applications in gas prices. (English) Zbl 07527071 Physica A 541, Article ID 123675, 8 p. (2020). MSC: 82-XX PDFBibTeX XMLCite \textit{H. Agahi} and \textit{M. Alipour}, Physica A 541, Article ID 123675, 8 p. (2020; Zbl 07527071) Full Text: DOI
Mohammed, Pshtiwan Othman; Abdeljawad, Thabet Integral inequalities for a fractional operator of a function with respect to another function with nonsingular kernel. (English) Zbl 1485.26020 Adv. Difference Equ. 2020, Paper No. 363, 19 p. (2020). MSC: 26D07 26D10 26D15 26A33 33E12 PDFBibTeX XMLCite \textit{P. O. Mohammed} and \textit{T. Abdeljawad}, Adv. Difference Equ. 2020, Paper No. 363, 19 p. (2020; Zbl 1485.26020) Full Text: DOI OA License
Tarasov, Vasily E. Fractional nonlinear dynamics of learning with memory. (English) Zbl 1459.34046 Nonlinear Dyn. 100, No. 2, 1231-1242 (2020); corrigendum ibid. 103, No. 2, 2163-2167 (2021). MSC: 34A08 26A33 39A70 47B39 65Q10 PDFBibTeX XMLCite \textit{V. E. Tarasov}, Nonlinear Dyn. 100, No. 2, 1231--1242 (2020; Zbl 1459.34046) Full Text: DOI
Michelitsch, Thomas M.; Riascos, Alejandro P. Generalized fractional Poisson process and related stochastic dynamics. (English) Zbl 1474.60202 Fract. Calc. Appl. Anal. 23, No. 3, 656-693 (2020). MSC: 60K05 60G22 PDFBibTeX XMLCite \textit{T. M. Michelitsch} and \textit{A. P. Riascos}, Fract. Calc. Appl. Anal. 23, No. 3, 656--693 (2020; Zbl 1474.60202) Full Text: DOI arXiv
Garrappa, Roberto; Kaslik, Eva On initial conditions for fractional delay differential equations. (English) Zbl 1480.34103 Commun. Nonlinear Sci. Numer. Simul. 90, Article ID 105359, 16 p. (2020). Reviewer: Linfang Liu (Xi’an) MSC: 34K37 44A10 65C20 PDFBibTeX XMLCite \textit{R. Garrappa} and \textit{E. Kaslik}, Commun. Nonlinear Sci. Numer. Simul. 90, Article ID 105359, 16 p. (2020; Zbl 1480.34103) Full Text: DOI arXiv
Giusti, Andrea General fractional calculus and Prabhakar’s theory. (English) Zbl 1451.26009 Commun. Nonlinear Sci. Numer. Simul. 83, Article ID 105114, 7 p. (2020). MSC: 26A33 33E12 PDFBibTeX XMLCite \textit{A. Giusti}, Commun. Nonlinear Sci. Numer. Simul. 83, Article ID 105114, 7 p. (2020; Zbl 1451.26009) Full Text: DOI arXiv
Eshaghi, Shiva; Ghaziani, Reza Khoshsiar; Ansari, Alireza Stability and dynamics of neutral and integro-differential regularized Prabhakar fractional differential systems. (English) Zbl 1476.34019 Comput. Appl. Math. 39, No. 4, Paper No. 250, 21 p. (2020). MSC: 34A08 34D20 45J05 PDFBibTeX XMLCite \textit{S. Eshaghi} et al., Comput. Appl. Math. 39, No. 4, Paper No. 250, 21 p. (2020; Zbl 1476.34019) Full Text: DOI
Suthar, D. L.; Purohit, S. D.; Araci, Serkan Solution of fractional kinetic equations associated with the \((p, q)\)-Mathieu-type series. (English) Zbl 1459.34045 Discrete Dyn. Nat. Soc. 2020, Article ID 8645161, 7 p. (2020). MSC: 34A08 34A25 PDFBibTeX XMLCite \textit{D. L. Suthar} et al., Discrete Dyn. Nat. Soc. 2020, Article ID 8645161, 7 p. (2020; Zbl 1459.34045) Full Text: DOI OA License
Karachalias, Georgios; Pretnar, Matija; Saleh, Amr Hany; Vanderhallen, Stien; Schrijvers, Tom Explicit effect subtyping. (English) Zbl 1482.68081 J. Funct. Program. 30, Paper No. e15, 57 p. (2020). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{G. Karachalias} et al., J. Funct. Program. 30, Paper No. e15, 57 p. (2020; Zbl 1482.68081) Full Text: DOI
Barendregt, Henk P. Gems of Corrado Böhm. (English) Zbl 1534.68041 Log. Methods Comput. Sci. 16, No. 3, Paper No. 15, 28 p. (2020). MSC: 68N18 03B40 68-03 68N20 PDFBibTeX XMLCite \textit{H. P. Barendregt}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 15, 28 p. (2020; Zbl 1534.68041) Full Text: arXiv Link
Li, Yu; Cao, Yang; Fan, Yan Generalized Mittag-Leffler quadrature methods for fractional differential equations. (English) Zbl 1463.65205 Comput. Appl. Math. 39, No. 3, Paper No. 215, 16 p. (2020). MSC: 65L05 34A08 65L20 PDFBibTeX XMLCite \textit{Y. Li} et al., Comput. Appl. Math. 39, No. 3, Paper No. 215, 16 p. (2020; Zbl 1463.65205) Full Text: DOI
Tarasov, Vasily E. Cagan model of inflation with power-law memory effects. (English) Zbl 1474.34332 Comput. Appl. Math. 39, No. 3, Paper No. 207, 17 p. (2020). MSC: 34C60 34A08 91B42 PDFBibTeX XMLCite \textit{V. E. Tarasov}, Comput. Appl. Math. 39, No. 3, Paper No. 207, 17 p. (2020; Zbl 1474.34332) Full Text: DOI
Fernandez, Arran; Kürt, Cemaliye; Özarslan, Mehmet Ali A naturally emerging bivariate Mittag-Leffler function and associated fractional-calculus operators. (English) Zbl 1462.33009 Comput. Appl. Math. 39, No. 3, Paper No. 200, 27 p. (2020). MSC: 33E12 26A33 PDFBibTeX XMLCite \textit{A. Fernandez} et al., Comput. Appl. Math. 39, No. 3, Paper No. 200, 27 p. (2020; Zbl 1462.33009) Full Text: DOI arXiv
Fehn, Niklas; Munch, Peter; Wall, Wolfgang A.; Kronbichler, Martin Hybrid multigrid methods for high-order discontinuous Galerkin discretizations. (English) Zbl 1440.65135 J. Comput. Phys. 415, Article ID 109538, 29 p. (2020). MSC: 65M60 65M55 35J05 PDFBibTeX XMLCite \textit{N. Fehn} et al., J. Comput. Phys. 415, Article ID 109538, 29 p. (2020; Zbl 1440.65135) Full Text: DOI arXiv
Ahmad, Waqar; Hasan, Osman; Tahar, Sofiène Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation. (English) Zbl 1451.68057 Formal Asp. Comput. 32, No. 1, 71-111 (2020). MSC: 68M15 68M10 68V15 PDFBibTeX XMLCite \textit{W. Ahmad} et al., Formal Asp. Comput. 32, No. 1, 71--111 (2020; Zbl 1451.68057) Full Text: DOI
Lam, P. H.; So, H. C.; Chan, C. F. Exponential sum approximation for Mittag-Leffler function and its application to fractional Zener wave equation. (English) Zbl 1436.65023 J. Comput. Phys. 410, Article ID 109389, 23 p. (2020). MSC: 65D32 74S40 74S05 65M12 PDFBibTeX XMLCite \textit{P. H. Lam} et al., J. Comput. Phys. 410, Article ID 109389, 23 p. (2020; Zbl 1436.65023) Full Text: DOI
Baricz, Árpád; Prajapati, Anuja Radii of starlikeness and convexity of generalized Mittag-Leffler functions. (English) Zbl 1439.30023 Math. Commun. 25, No. 1, 117-135 (2020). MSC: 30C45 30C15 33E12 PDFBibTeX XMLCite \textit{Á. Baricz} and \textit{A. Prajapati}, Math. Commun. 25, No. 1, 117--135 (2020; Zbl 1439.30023) Full Text: arXiv Link
Bry, François In praise of impredicativity: a contribution to the formalization of meta-programming. (English) Zbl 1434.68102 Theory Pract. Log. Program. 20, No. 1, 99-146 (2020). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{F. Bry}, Theory Pract. Log. Program. 20, No. 1, 99--146 (2020; Zbl 1434.68102) Full Text: DOI arXiv
Giusti, Andrea; Colombaro, Ivano; Garra, Roberto; Garrappa, Roberto; Polito, Federico; Popolizio, Marina; Mainardi, Francesco A practical guide to Prabhakar fractional calculus. (English) Zbl 1437.33019 Fract. Calc. Appl. Anal. 23, No. 1, 9-54 (2020). MSC: 33E12 26A33 65R10 34K37 60G22 PDFBibTeX XMLCite \textit{A. Giusti} et al., Fract. Calc. Appl. Anal. 23, No. 1, 9--54 (2020; Zbl 1437.33019) Full Text: DOI arXiv
Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza CryptHOL: game-based proofs in higher-order logic. (English) Zbl 1455.94121 J. Cryptology 33, No. 2, 494-566 (2020). MSC: 94A60 94A62 68V15 91A99 PDFBibTeX XMLCite \textit{D. A. Basin} et al., J. Cryptology 33, No. 2, 494--566 (2020; Zbl 1455.94121) Full Text: DOI
Macías-Díaz, J. E. A fully explicit variational integrator for multidimensional systems of coupled nonlinear fractional hyperbolic equations. (English) Zbl 1437.65106 Appl. Numer. Math. 154, 149-171 (2020). MSC: 65M06 35R09 26A33 35R11 65M12 PDFBibTeX XMLCite \textit{J. E. Macías-Díaz}, Appl. Numer. Math. 154, 149--171 (2020; Zbl 1437.65106) Full Text: DOI
Kapetina, M. N.; Pisano, A.; Rapaić, M. R.; Usai, E. Adaptive unit-vector law with time-varying gain for finite-time parameter estimation in LTI systems. (English) Zbl 1441.93301 Appl. Numer. Math. 155, 16-28 (2020). MSC: 93E10 93C40 93C05 PDFBibTeX XMLCite \textit{M. N. Kapetina} et al., Appl. Numer. Math. 155, 16--28 (2020; Zbl 1441.93301) Full Text: DOI
Kaufmann, Matt; Moore, J Strother Limited second-order functionality in a first-order setting. (English) Zbl 1468.68291 J. Autom. Reasoning 64, No. 3, 391-422 (2020). MSC: 68V15 03B35 68N15 68N18 PDFBibTeX XMLCite \textit{M. Kaufmann} and \textit{J S. Moore}, J. Autom. Reasoning 64, No. 3, 391--422 (2020; Zbl 1468.68291) Full Text: DOI
Sarumi, Ibrahim O.; Furati, Khaled M.; Khaliq, Abdul Q. M. Highly accurate global Padé approximations of generalized Mittag-Leffler function and its inverse. (English) Zbl 1440.65100 J. Sci. Comput. 82, No. 2, Paper No. 46, 27 p. (2020). MSC: 65M06 33E12 41A21 35C20 26A33 35R11 74F10 74K20 35Q74 PDFBibTeX XMLCite \textit{I. O. Sarumi} et al., J. Sci. Comput. 82, No. 2, Paper No. 46, 27 p. (2020; Zbl 1440.65100) Full Text: DOI arXiv
Bertaccini, D.; Durastante, F. Computing functions of very large matrices with small TT/QTT ranks by quadrature formulas. (English) Zbl 1493.65082 J. Comput. Appl. Math. 370, Article ID 112663, 15 p. (2020). MSC: 65F99 65D30 15A23 15A69 PDFBibTeX XMLCite \textit{D. Bertaccini} and \textit{F. Durastante}, J. Comput. Appl. Math. 370, Article ID 112663, 15 p. (2020; Zbl 1493.65082) Full Text: DOI
Kawata, Akira; Igarashi, Atsushi A dependently typed multi-stage calculus. (English) Zbl 07834963 Lin, Anthony Widjaja (ed.), Programming languages and systems. 17th Asian symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11893, 53-72 (2019). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{A. Kawata} and \textit{A. Igarashi}, Lect. Notes Comput. Sci. 11893, 53--72 (2019; Zbl 07834963) Full Text: DOI arXiv
Zhang, Kangqun Existence results for a generalization of the time-fractional diffusion equation with variable coefficients. (English) Zbl 1524.35733 Bound. Value Probl. 2019, Paper No. 10, 11 p. (2019). MSC: 35R11 PDFBibTeX XMLCite \textit{K. Zhang}, Bound. Value Probl. 2019, Paper No. 10, 11 p. (2019; Zbl 1524.35733) Full Text: DOI OA License
Barbosa, João; Florido, Mário; Santos Costa, Vítor A three-valued semantics for typed logic programming. (English) Zbl 07453101 Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36-51 (2019). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{J. Barbosa} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36--51 (2019; Zbl 07453101) Full Text: arXiv Link
Agahi, Hamzeh; Alipour, Mohsen Mittag-Leffler-Gaussian distribution: theory and application to real data. (English) Zbl 07316576 Math. Comput. Simul. 156, 227-235 (2019). MSC: 60E05 62E15 PDFBibTeX XMLCite \textit{H. Agahi} and \textit{M. Alipour}, Math. Comput. Simul. 156, 227--235 (2019; Zbl 07316576) Full Text: DOI
Frunzo, Luigi; Garra, Roberto; Giusti, Andrea; Luongo, Vincenzo Modeling biological systems with an improved fractional Gompertz law. (English) Zbl 1464.92009 Commun. Nonlinear Sci. Numer. Simul. 74, 260-267 (2019). MSC: 92B05 PDFBibTeX XMLCite \textit{L. Frunzo} et al., Commun. Nonlinear Sci. Numer. Simul. 74, 260--267 (2019; Zbl 1464.92009) Full Text: DOI arXiv
Fernandez, Arran; Baleanu, Dumitru; Srivastava, H. M. Series representations for fractional-calculus operators involving generalised Mittag-Leffler functions. (English) Zbl 1508.26006 Commun. Nonlinear Sci. Numer. Simul. 67, 517-527 (2019); corrigendum ibid. 82, Article ID 104963, 1 p. (2020). MSC: 26A33 33E12 44A10 PDFBibTeX XMLCite \textit{A. Fernandez} et al., Commun. Nonlinear Sci. Numer. Simul. 67, 517--527 (2019; Zbl 1508.26006) Full Text: DOI arXiv
Hinze, Matthias; Schmidt, André; Leine, Remco I. Numerical solution of fractional-order ordinary differential equations using the reformulated infinite state representation. (English) Zbl 1437.65059 Fract. Calc. Appl. Anal. 22, No. 5, 1321-1350 (2019). MSC: 65L03 34A08 26A33 PDFBibTeX XMLCite \textit{M. Hinze} et al., Fract. Calc. Appl. Anal. 22, No. 5, 1321--1350 (2019; Zbl 1437.65059) Full Text: DOI
Górska, Katarzyna; Horzela, Andrzej; Garrappa, Roberto Some results on the complete monotonicity of Mittag-Leffler functions of le Roy type. (English) Zbl 1478.33010 Fract. Calc. Appl. Anal. 22, No. 5, 1284-1306 (2019). Reviewer: Roberto Garra (Roma) MSC: 33E12 26A33 26A48 32A17 PDFBibTeX XMLCite \textit{K. Górska} et al., Fract. Calc. Appl. Anal. 22, No. 5, 1284--1306 (2019; Zbl 1478.33010) Full Text: DOI arXiv
Moore, J Strother Milestones from the Pure Lisp Theorem Prover to ACL2. (English) Zbl 1427.68348 Formal Asp. Comput. 31, No. 6, 699-732 (2019). MSC: 68V15 68-03 PDFBibTeX XMLCite \textit{J S. Moore}, Formal Asp. Comput. 31, No. 6, 699--732 (2019; Zbl 1427.68348) Full Text: DOI
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo From distributed coordination to field calculus and aggregate computing. (English) Zbl 1435.68049 J. Log. Algebr. Methods Program. 109, Article ID 100486, 29 p. (2019). MSC: 68M14 68N18 PDFBibTeX XMLCite \textit{M. Viroli} et al., J. Log. Algebr. Methods Program. 109, Article ID 100486, 29 p. (2019; Zbl 1435.68049) Full Text: DOI Link
Schrijvers, Tom; Oliveira, Bruno C. d. S.; Wadler, Philip; Marntirosian, Koar COCHIS: stable and coherent implicits. (English) Zbl 1493.68094 J. Funct. Program. 29, Paper No. e3, 82 p. (2019). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{T. Schrijvers} et al., J. Funct. Program. 29, Paper No. e3, 82 p. (2019; Zbl 1493.68094) Full Text: DOI
García-Pérez, Álvaro; Nogueira, Pablo The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus. (English) Zbl 1493.68085 J. Funct. Program. 29, Paper No. e7, 38 p. (2019). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{Á. García-Pérez} and \textit{P. Nogueira}, J. Funct. Program. 29, Paper No. e7, 38 p. (2019; Zbl 1493.68085) Full Text: DOI
Górska, K.; Horzela, A.; Pogány, T. K. A note on the article “Anomalous relaxation model based on the fractional derivative with a Prabhakar-like kernel”. (English) Zbl 1436.45007 Z. Angew. Math. Phys. 70, No. 5, Paper No. 141, 6 p. (2019). MSC: 45J05 26A33 PDFBibTeX XMLCite \textit{K. Górska} et al., Z. Angew. Math. Phys. 70, No. 5, Paper No. 141, 6 p. (2019; Zbl 1436.45007) Full Text: DOI arXiv OA License
Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong Formalization of geometric algebra in HOL Light. (English) Zbl 1468.68329 J. Autom. Reasoning 63, No. 3, 787-808 (2019). MSC: 68V20 15A66 PDFBibTeX XMLCite \textit{L.-M. Li} et al., J. Autom. Reasoning 63, No. 3, 787--808 (2019; Zbl 1468.68329) Full Text: DOI
Baffet, Daniel A Gauss-Jacobi kernel compression scheme for fractional differential equations. (English) Zbl 1455.65229 J. Sci. Comput. 79, No. 1, 227-248 (2019). Reviewer: Narahari Parhi (Bhubaneswar) MSC: 65R20 34A08 45D05 41A55 PDFBibTeX XMLCite \textit{D. Baffet}, J. Sci. Comput. 79, No. 1, 227--248 (2019; Zbl 1455.65229) Full Text: DOI arXiv
Jia, Jia; Wang, Zhen; Huang, Xia; Wei, Yunliang Some remarks on estimate of Mittag-Leffler function. (English) Zbl 1414.33023 J. Funct. Spaces 2019, Article ID 6091602, 9 p. (2019). MSC: 33E12 PDFBibTeX XMLCite \textit{J. Jia} et al., J. Funct. Spaces 2019, Article ID 6091602, 9 p. (2019; Zbl 1414.33023) Full Text: DOI OA License