Title of article :
The computer searches for Pascal conics
Author/Authors :
S. C. Chou، نويسنده , , X. S. Gao، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1995
Abstract :
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.
Keywords :
Geometry theorem proving , Pseudo-division , Wuיs method , Pascal line , Conic , Pascal conic , Numerical examples , Pascalיs theorem
Journal title :
Computers and Mathematics with Applications
Journal title :
Computers and Mathematics with Applications
