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