• DocumentCode
    518079
  • Title

    Mechanical algorithm for proving a geometric theorem

  • Author

    Bi, Zhongqin

  • Author_Institution
    Sch. of Comput. & Inf. Eng., Shanghai Univ. of Electr. Power, Shanghai, China
  • Volume
    4
  • fYear
    2010
  • fDate
    16-18 April 2010
  • Abstract
    We present a mechanical algorithm for proving a geometric theorem involving inequality. The main idea is to convert the geometric theorem into a polynomial problem and then use polynomial solver to resolve it. We first eliminate quantifier of prenex formula via software package QEPCAD, and prove the inequality based on the extreme value theory.
  • Keywords
    computational geometry; polynomials; QEPCAD software package; extreme value theory; geometric theorem; mechanical algorithm; polynomial problem; polynomial solver; prenex formula; Bismuth; Computational geometry; Equations; Polynomials; Power engineering and energy; Power engineering computing; Software packages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Engineering and Technology (ICCET), 2010 2nd International Conference on
  • Conference_Location
    Chengdu
  • Print_ISBN
    978-1-4244-6347-3
  • Type

    conf

  • DOI
    10.1109/ICCET.2010.5485587
  • Filename
    5485587
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=518079