Computer assisted proofs in Statistical Mechanics
From Scholarpedia
This article has not yet been published; it may contain inaccuracies, unapproved changes, or be unfinished.
Prof. Peter Wittwer accepted the invitation on 1 April 2009 (self-imposed deadline: 1 April 2010).