GPU-accelerated Exhaustive Verification of the Collatz Conjecture.

Takumi Honda Yasuaki Ito Koji Nakano

Published in: Int. J. Netw. Comput. (2017)

Keyphrases

gpu accelerated
finite element
real time
sequence alignment
formal verification
face verification
signature verification
learning algorithm
model checking