Computer-assisted proofs of existence of periodic motions in fluids Posted on 2021/12/07 by Carl Robitaille