Nedeljko Stefanovic (2022) “Computational Proof of Pascal’s Hexagon Theorem and Some Applications”, Research Highlights in Mathematics and Computer Science Vol. 2, pp. 104–115. doi: 10.9734/bpi/rhmcs/v2/3665C.