Mathematical analysis and pattern formation in diffusive predator-prey system. - Nauman Ahmed; Muhammad Waqas Yasin; Ali Akgül; Dumitru Baleanu; Ovidiu Tintareanu-Mircea (J. Appl. Math. Comput., 2025)