0

My Bag

0.00

Download App

Selected Topics In Geometry With Classical Vs. Computer Proving 14.0%OFF

Selected Topics In Geometry With Classical Vs. Computer Proving

by Pavel Pech

  • ISBN

    :  

    9789812709424

  • Publisher

    :  

    World Scientific Publishing Company

  • Subject

    :  

    Mathematics

  • Binding

    :  

    HARDCOVER

  • Pages

    :  

    252

  • Year

    :  

    2007

9724.0

14.0% OFF

8362.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

Estimated Shipping Time : 5-7 Business Days

View Details

Share it on

  • Description

    This textbook presents various automatic techniques based on GrxF6;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.

Related Items

-

of

  • Selected Papers of Frederick Mosteller (Springer Series in Statistics)

    Stephen E. Fienberg

    Starts At

    14069.0

  • OFFER

    Positivity in Algebraic Geometry I: Classical Setting: Line Bundles and Linear Series (Ergebnisse der Mathematik Und Ihrer Grenzgebiete)

    R.K. Lazarsfeld

    Starts At

    11463.0

    11941.0

    4% OFF

  • OFFER

    Fast Software Encryption: 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)

    Henri Gilbert

    Starts At

    6960.0

    7250.0

    4% OFF

  • OFFER

    Selected topics on Analysis in Metric Spaces (Publications of the Scuola Normale Superiore)

    Luigi Ambrosio

    Starts At

    1224.0

    1407.0

    13% OFF

  • OFFER

    Topics in Mathematics Vector Analysis and Geometry

    Dr. Prakash Kulbhushan

    Starts At

    333.0

    375.0

    11% OFF

  • OFFER

    Selected Statistical Tests

    V. Rajagopalan

    Starts At

    126.0

    130.5

    3% OFF

  • OFFER

    Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers ... Computer Science and General Issues)

    Andrea Corradini

    Starts At

    8926.0

    9298.0

    4% OFF

  • OFFER

    Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicý, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues)

    Jiri Fiala

    Starts At

    10563.0

    11004.0

    4% OFF

  • OFFER

    Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

    Stefano Berardi

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Recent Progress in Robotics: Viable Robotic Service to Human: An Edition of the Selected Papers from the 13th International Conference on Advanced ... Notes in Control and Information Sciences)

    Sukhan Lee

    Starts At

    13920.0

    14500.0

    4% OFF

  • OFFER

    Research in Cryptology: Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)

    Stefan Lucks

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures ... Computer Science and General Issues)

    Anna Soýs

    Starts At

    4557.0

    5627.0

    19% OFF

  • OFFER

    Algorithmic Aspects of Wireless Sensor Networks: Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected ... Networks and Telecommunications)

    Sandor P. Fekete

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Emerging Trends in Visual Computing: LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008, Revised Selected and Invited Papers ... Vision, Pattern Recognition, and Graphics)

    Frank Nielsen

    Starts At

    5449.0

    7676.0

    29% OFF

  • OFFER

    Computational Geometry and Graph Theory: International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers (Lecture ... Vision, Pattern Recognition, and Graphics)

    Hiro Ito

    Starts At

    6960.0

    7250.0

    4% OFF

  • OFFER

    Theory of Quantum Computation, Communication, and Cryptography: Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected ... Computer Science and General Issues)

    Yasuhito Kawano Michele Mosca

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected ... Computer Science and General Issues)

    Michael Hanus

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers (Lecture Notes in ... Computer Science and General Issues)

    David Corne

    Starts At

    9744.0

    10151.0

    4% OFF

  • OFFER

    Numerical Analysis and Its Applications: 4th International Conference, NAA 2008 Lozenetz, Bulgaria, June 16-20, 2008, Revised Selected Papers (Lecture ... Computer Science and General Issues)

    Svetozar Margenov

    Starts At

    11566.0

    12710.0

    9% OFF

  • OFFER

    The Book of Numbers

    Devi Shakuntala

    Starts At

    135.0

    165.0

    18% OFF

  • OFFER

    Maths: Bk. 5

    Shirley Dyall

    Starts At

    55.0

    56.0

    1% OFF

  • OFFER

    Making Decisions

    D. V. Lindley

    Starts At

    6849.0

    9383.0

    27% OFF

  • OFFER

    WritingBetter Requirements

    Ian Alexander

    Starts At

    8252.0

    9596.0

    14% OFF

  • Man Who Knew Infinity

    Robert Kanigel

    Starts At

    599.0

  • OFFER

    An Introduction to Distributed Algorithms

    Valmir C. Barbosa

    Starts At

    521.0

    695.0

    25% OFF

  • OFFER

    Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)

    Carl A. Gunter

    Starts At

    12973.0

    15085.0

    14% OFF

  • OFFER

    The Power of Vedic Maths

    Atul Gupte

    Starts At

    159.0

    199.0

    20% OFF

  • Vedic Mathematics Made Easy

    Dhaval Bathia

    Starts At

    250.0

  • God Created the Integers: The Mathematical Breakthroughs That Changed History

    Stephen W. Hawking

    Starts At

    1299.0

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- Bag Empty

Your Bag is Empty!!

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : null Total Savings        : Grand Total :

Order Summary