Ultrametric smale's α-theory. - Jazz G. Suchen; Josué Tonelli-Cueto (ACM Commun. Comput. Algebra, 2022)