Convergence verification of the Collatz problem.

Published in: J. Supercomput. (2021)

Keyphrases

convergence rate
model checking
convergence speed
formal methods
faster convergence
neural network
data structure
verification method
signature verification
convergence theorem
database
asymptotic convergence
convergence property
face verification
expert systems
bayesian networks
information retrieval
real time