Discrete pendulum equation. - Kanato Hisano; Nozomu Matsuura (Math. Comput. Simul., 2023)