• Title of article

    The computer searches for Pascal conics

  • Author/Authors

    S. C. Chou، نويسنده , , X. S. Gao، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 1995
  • Pages
    9
  • From page
    63
  • To page
    71
  • 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
  • Serial Year
    1995
  • Journal title
    Computers and Mathematics with Applications
  • Record number

    917489