Shuting Cai, Yoshitaka Watanabe. Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem. J. Computational Applied Mathematics, 395:113603, 2021. [doi]
@article{CaiW21-0, title = {Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem}, author = {Shuting Cai and Yoshitaka Watanabe}, year = {2021}, doi = {10.1016/j.cam.2021.113603}, url = {https://doi.org/10.1016/j.cam.2021.113603}, researchr = {https://researchr.org/publication/CaiW21-0}, cites = {0}, citedby = {0}, journal = {J. Computational Applied Mathematics}, volume = {395}, pages = {113603}, }