Calculations needed for the proof of Theorem 1 (Mathematica file Computation Th1.nb and its description Computation Th1.pdf) from Second-order PDEs in four dimensions with half-flat conformal structure (2020)

First Author: S. Berjawi