
Download App
>> | LShop | >> | Book | >> | Mathematics & Scienc... | >> | Mathematics | >> | Selected Topics In G... |
ISBN
:
9789812709424
Publisher
:
World Scientific Publishing Company
Subject
:
Mathematics
Binding
:
HARDCOVER
Pages
:
252
Year
:
2007
₹
9724.0
₹
8362.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View DetailsEstimated Shipping Time : 5-7 Business Days
View DetailsDescription
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
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
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
Selected topics on Analysis in Metric Spaces (Publications of the Scuola Normale Superiore)
Luigi Ambrosio
Starts At
1224.0
1407.0
13% OFF
Topics in Mathematics Vector Analysis and Geometry
Dr. Prakash Kulbhushan
Starts At
333.0
375.0
11% OFF
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
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
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
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
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
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
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
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
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
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
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
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
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
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