Login / Signup
Beating the 2 Delta Bound for Approximately Counting Colourings: A Computer-Assisted Proof of Rapid Mixing.
Russ Bubley
Martin E. Dyer
Catherine S. Greenhill
Published in:
SODA (1998)
Keyphrases
</>
computer assisted
computer aided
upper bound
intraoperative
worst case
foreign language
lower bound
theorem prover
error bounds
image analysis
theorem proving
blind source separation
complete axiomatization