The computer searches for Pascal conics

S.C. Chou, X.S. Gao
1995 Computers and Mathematics with Applications  
An approach to discovering new theorems in geometry using numerical examples is discussed. Four classes of theorems related to Pascal conics have been discovered by this approach. Two of them are new.
doi:10.1016/0898-1221(94)00216-8 fatcat:mbnk57l6grdkdlnv3slwco7cxu