A proof of Terras' conjecture on the radius of convergence of the Ihara zeta function.

Published in: Discret. Math. (2018)

Keyphrases

zeta function
faster convergence
automated theorem proving
asymptotic convergence
convergence rate
theorem prover
stochastic approximation
linear logic
computer vision
relational databases
hough transform
convergence speed
theorem proving
initial conditions
iterative algorithms
circular arcs