TY - RPRT TI - Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model AU - Jacek Cyranka AU - Thomas Wanner PY - 2017 DO - 10.1137/17m111938x UR - https://arxiv.org/abs/1703.01022 ID - 1703.01022 ER -