Pascal's theorem in real projective plane
From MaRDI portal
Publication:2407506
DOI10.1515/forma-2017-0011zbMath1377.51003OpenAlexW2758751785MaRDI QIDQ2407506
Publication date: 6 October 2017
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/forma-2017-0011
Finite affine and projective planes (geometric aspects) (51E15) Mechanization of proofs and logical operations (03B35) Projective analytic geometry (51N15)
Related Items (2)
Uses Software
Cites Work
This page was built for publication: Pascal's theorem in real projective plane