Nedeljko Stefanovic, “Computational Proof of Pascal’s Hexagon Theorem and Some Applications”, RHMCS-V2, pp. 104–115, Oct. 2022.