Robuta

https://arxiv.org/abs/0903.0544v3 [0903.0544v3] A constructive proof of the general Lovasz Local Lemma Abstract page for arXiv paper 0903.0544v3: A constructive proof of the general Lovasz Local Lemma constructive proof the general 0903 https://arxiv.org/abs/2212.09835 [2212.09835] A non-constructive proof of the Four Colour Theorem Abstract page for arXiv paper 2212.09835: A non-constructive proof of the Four Colour Theorem non constructive proof the four 2212 https://www.polyu.edu.hk/sc/events/2023/6/0608_a-constructive-proof-of-nearly-self-similar-blowup-of-2d-boussinesq/ A Constructive Proof of Nearly Self-similar Blowup of 2D Boussinesq and 3D Euler Equations with... https://www.polyu.edu.hk/events/2023/6/0608_a-constructive-proof-of-nearly-self-similar-blowup-of-2d-boussinesq-and-3d-euler-equations/ A Constructive Proof of Nearly Self-similar Blowup of 2D Boussinesq and 3D Euler Equations with...