Search
 
Home| Join Our Mailing List| New Reviews| New Titles
Editor's Choice| Bestsellers| Textbooks| Book Series| Study Guides| E-Catalogues
  MATHEMATICS
  Applied Mathematics
General
Mathematical Finance/
Quantitative Finance

Mathematical Physics/
Theoretical Physics

Numerical & Computational
Mathematics

Probability & Statistics
Pure Mathematics
New Titles
December Bestsellers
Editor's Choice
Nobel Lectures
Textbooks
Recent Reviews
Book Series
Related Journals
  • Reviews in Mathematical Physics (RMP)
  • International Journal of Geometric Methods in Modern Physics (IJGMMP)
  • International Journal of Number Theory (IJNT)
  • Request for related catalogues
     
      PRODUCTS
      Journals
    eBooks
    Journals Archives
    eProceedings
     
      RESOURCES
      Print flyer
  • Full Version
  • Condensed Version
  • Recommend title
    Request for Inspection copy
    For Librarians
    For Authors
    For Booksellers
    For Translation Rights About Us
    Contact Us
    How to Order News
     
    Bookmark and Share

    SELECTED TOPICS IN GEOMETRY WITH CLASSICAL VS. COMPUTER PROVING

    by Pavel Pech (University of South Bohemia, Czech Republic)

    Table of Contents (70k)
    Preface (57k)
    Chapter 1: Introduction (87k)

    This textbook presents various automatic techniques based on Gröbner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects — which cannot be easily done with a ruler and compass.

    Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically — without using computer where possible — so that readers can compare the strengths and weaknesses of both approaches.

     
    Contents:
    • Automatic Theorem Proving
    • Generalization of the Formula of Heron
    • Simson-Wallace Theorem
    • Transversals in a Polygon
    • Petr-Douglas-Neumann's Theorem
    • Geometric Inequalities
    • Regular Polygons
     
    Readership: Undergraduate and graduate students in mathematics.
     
    “The selection of the theorems is very nice, making the book quite interesting even to those with no interest in computer-based proofs … Beside being extremely useful to those who would like to benefit from automatic theorem proving and discovering, the book is also of great interest to anyone interested in geometry, thanks to the beautiful selection of topics it covers.”
    Zentralblatt MATH
     
    252pp    Pub. date: Nov 2007  
    ISBN:   978-981-270-942-4
    981-270-942-8
       US$108 / £72

     


     

    Imperial College Press  |  Global Publishing  |  Asia-Pacific Biotech News  |  Innovation Magazine
    Labcreations Co  |  Meeting Matters  |  National Academies Press

    Copyright © 2012 World Scientific Publishing Co. All rights reserved.
    Updated on 13 February 2012