On the numerical verification of a counterexample on parameter-dependent Lyapunov functions. - Birgül Aksoy; Taner Büyükköroglu; Vakif Dzhafarov (Appl. Math. Comput., 2025)