• DocumentCode
    2584167
  • Title

    Algorithm for proving radical inequalities

  • Author

    Shan, Meijing

  • Author_Institution
    Dept. of Inf. Sci. & Technol., East China Univ. of Political Sci. & Law, Shanghai, China
  • fYear
    2010
  • fDate
    7-10 May 2010
  • Firstpage
    68
  • Lastpage
    70
  • Abstract
    In this paper, we present an algorithm to prove radical inequalities. The main idea of this algorithm is to utilize a numeric method as a filter. If it succeeds, then the algorithm will be more efficient. Otherwise, it falls back to the symbolic methods. We illustrate the efficiency of this algorithm by automatically proving a radical inequality.
  • Keywords
    geometry; geometric theorems; numeric method; radical inequalities; symbolic method; Filters; Information science; Mathematics; Testing; Geometric Theorem; Numeric Method; Radical Inequalities; Symbolic Method;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electronic Computer Technology (ICECT), 2010 International Conference on
  • Conference_Location
    Kuala Lumpur
  • Print_ISBN
    978-1-4244-7404-2
  • Electronic_ISBN
    978-1-4244-7406-6
  • Type

    conf

  • DOI
    10.1109/ICECTECH.2010.5479988
  • Filename
    5479988
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2584167