Home  - Theorems_And_Conjectures - Geometry Theorem

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

1-20 of 100    1  | 2  | 3  | 4  | 5  | Next 20

Geometry Theorem:     more books (102)

Comparison Theorems in Riemannian Geometry (AMS Chelsea Publishing) by Jeff Cheeger and David G. Ebin, 2008-08-04 18 Theorems of Geometry: for High School Students by William Smith, 2010-06-25 Geometry: Theorems and Constructions by Allan Berele, Jerry Goldman, 2000-10-16 Fermat's Last Theorem for Amateurs by Paulo Ribenboim, 1999-02-11 A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations) by Jacques Fleuriot, 2001-06-27 Mechanical Geometry Theorem Proving (Mathematics and Its Applications) by Shang-Ching Chou, 2001-11-30 The L²-Moduli Space and a Vanishing Theorem for Donaldson Polynomial Invariants (Monographs in Geometry and Topology, Vol II) by John Willard Morgan, Tomasz Mrowka, et all 1994-06 Stability Theorems in Geometry and Analysis (Mathematics and Its Applications) by Yu.G. Reshetnyak, 2010-11-02 Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) by Went Sun Wu, Xiao Fan Jin, et all 1994-05 Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics) by Shang-Ching Chou, Xian-Shan Gao, et all 1994-04 Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory (Graduate Texts in Mathematics) by Harold M. Edwards, 2000-01-14 An Introduction to the Geometry of Numbers (Classics in Mathematics) by J.W.S. Cassels, 1997-02-25 Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications) by Wu Wen-tsun, 2001-04-30 Principles and Problems of Plane Geometry with Coordinate Geometry (Includes 850 Solved in Detail Problems) [Schaum's Outline Series] by Barnett Rich, 1963

lists with details

1. Hyperbolic Geometry Theorems Of Girolamo Saccheri, SJ
   Theorems of Girolamo Saccheri, SJ (1667 1733) and his hyperbolic geometry. A Sample of Saccheri s Contribution to the evolution of Non-Euclidean geometry.  
   http://www.faculty.fairfield.edu/jmac/sj/sacflaw/sacther.htm
   
   Extractions: The Origins of Non-Euclidean Geometry The two branches of non-Euclidean geometry are associated with Nicolai Lobachevsky and Bernhard Riemann By use of similar triangles and congruent parts of similar triangles on the Saccheri quadrilateral, ABDC with AC = BD and A = B = p /2, he establishes his first 32 theorems. Most are too complicated to be treated in a short paper, but here some examples are merely stated, some are illustrated and some are proven. For those proofs which are brief enough to show here, the main steps are indicated and the reader is invited to fill in the missing details of the argument. A century after Saccheri, the geometers, Lobachevsky, Bolyai and Gauss would realize that, by substituting the acute case or the obtuse case for Euclid's postulate Number V, they could create two consistent geometries. In doing so they built on the progress made by Saccheri who had already proven so many of the needed theorems. They were able to create what we recognize today as the "elliptical" and "hyperbolic" non-Euclidean geometries. Most of Saccheri's first 32 theorems can be found in today's non-Euclidean textbooks. Saccheri's theorems are prefaced by " Sac.

2. A Combination Of Nonstandard Analysis And Geometry Theorem Proving, With Applica
   The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia s reasoning is resolutely geometric in nature but being mechanised using only the existing geometry theorem proving (GTP) techniques  
   http://citeseer.nj.nec.com/fleuriot98combination.html
   
   Extractions: Abstract: The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolutely geometric in nature but contains "infinitesimal" elements and the presence of motion that take it beyond the traditional boundaries of Euclidean Geometry. These present difficulties that prevent Newton's proofs from being mechanised using only the existing geometry theorem proving (GTP) techniques. Using concepts from... (Update)

3. 2. GEO - A Collection Of Mechanized Geometry Theorem Proofs
   next up previous Next 5. The Current State Up 4. Two Examples Previous 1. INTPS a 2. GEO - a collection of mechanized geometry theorem proofs.  
   http://www.mathematik.uni-kl.de/~zca/Reports_on_ca/27/paper_html/node11.html
   
   Extractions: Next: 5. The Current State Up: 4. Two Examples Previous: 1. INTPS - a As a second application of our general framework we collected examples from mechanized geometry theorem proving scattered over several papers mainly of W.-T. Wu, D. Wang, and S.-C. Chou, but also from other sources. The corresponding GEO table contains about 250 records of examples, most of them considered in Chou's elaborated book [ The examples collected so far are related to the coordinate method as driving engine as described in [ ]. The automated proofs may be classified as constructive (yielding rational expressions to be checked for zero equivalence) or equational (yielding a system of polynomials as premise and one or several polynomials as conclusion). To distinguish between the different problem classes we defined a mandatory tag prooftype that must be one of several alternations defined in the Syntax attribute in the corresponding meta sd-file. Extending/modifying this entry modifies the set of valid proof types. Hence the table is open also for new or refined approaches. According to the general theory, see, e.g., [

4. Mechanical Geometry Theorem Proving
   Feedback Report a problem Satisfaction survey. Mechanical geometry theorem proving. Purchase this Book Purchase this Book. Source, Mathematics  
   http://portal.acm.org/citation.cfm?id=39060&dl=ACM&coll=portal&CFID=11111111&CFT

5. Geometry Theorem List
   Geometry 1112H Theorem List - Updated 5.25.99. Theorem 1 If two angles are right angles, then they are congruent. Theorem 2 If two angles are straight angles, then they are equal.  
   http://members.aol.com/Joel604/geolist.html
   
   Extractions: Geometry 11-12H Theorem List - Updated 5.25.99 Theorem 1: If two angles are right angles, then they are congruent. Theorem 2: If two angles are straight angles, then they are equal. Theorem 3: Theorem of Contrapositives: If a conditional statement is true, then the contrapositive is also true. Theorem 4: If angles are supplementary (2 angles whose sum is 180 ) to the same angle, then they are congruent. Theorem 5: If angles are supplementary to congruent angles, then they are congruent. Theorem 6: If angles are complementary (2 angles whose sum is 90 ) to the same angle, then they are congruent. Theorem 7: If angles are complementary to congruent angles, then they are congruent. Theorem 8: If a segment is added to 2 congruent segments, the sums are congruent (Addition Property). Theorem 9: If an angle is added to two congruent angles, the sums are congruent (Addition Property). Theorem 10: If congruent segments are added to congruent segments, the sums are congruent. Theorem 11: If congruent angles are added to congruent segments, the sums are congruent (Addition Property). Theorem 12: If a segment (or angle) is subtracted from congruent segments (or angles), the differences are congruent (Subtraction Property).

6. Realization Of A Geometry-theorem Proving Machine
   M. Hadzikadic , F. Lichtenberger , DYY Yun, An application of knowledgebase technology in education a geometry theorem prover, Proceedings of the fifth ACM  
   http://portal.acm.org/citation.cfm?id=216418&dl=ACM&coll=portal&CFID=11111111&CF

7. Geometry Theorem
   a topic from mathhistory-list geometry theorem. post a message on this topic post a message on a new topic 6 May 1996 geometry theorem  
   http://mathforum.org/epigone/math-history-list/plilgrendski

8. Dynamic Geometry Theorem Prover By Jacques Gressier
   Dynamic geometry theorem prover by Jacques Gressier. reply to this message. post a message on a new topic. Back to geometryannouncements Subject Dynamic geometry theorem prover Author Jacques  
   http://mathforum.com/epigone/geometry-announcements/permpayzhing
   
   Extractions: Subject: Dynamic geometry theorem prover Author: jacques.gressier@hol.fr Organization: Epigone Date: 21 Jun 1997 11:45:58 -0400 You will find a theorem prover which is the core of a french dynamic geometry software (Windows demo version) at http://wwwperso.hol.fr/~jgressie/index.htm . Much more powerful than SketchPad or Cabri, it can solve any Euclidian geometry problem construction AND proof. ( 75% of the software has been written in Prolog). The teacher can define any new geometry construction exercise. There's also a compiler that can read natural language description of a geometry problem and then generate all possible solutions. The student can try and find the proof. He will be corrected in real time (while defining the figure AND building the proof) and helped to the solution whatever he does. The compiler is not available in the demo version but you can generate construction exercises. We are looking for people who could help us and translate the whole software into other languages. To read articles about experiments in classrooms with this software you can directly go to : http://www.ac-strasbourg.fr/Partenariat/Cari-info/Articles/Anciens/HYPO2COL.htm

9. Geometry Theorem By 9441749
   geometry theorem by 9441749. reply to this message post a message on a new topic Back to messages on this topic Back to mathhistory-list next  
   http://mathforum.org/epigone/math-history-list/plilgrendski/Pine.PMDF.3.91.96050

10. GEOTHER - Geometry Theorem Prover
    GEOTHER (geometry theorem provER), a module of Epsilon, is an environment implemented by Dongming Wang in Maple with drawing routines and interface written  
    http://www-calfor.lip6.fr/~wang/GEOTHER/
    
    Extractions: Version 1.0 GEOTHER (GEOmetry THeorem provER), a module of Epsilon , is an environment implemented by Dongming Wang in Maple with drawing routines and interface written previously in C and now in Java for manipulating and proving geometric theorems. In GEOTHER a theorem is specified by means of predicates of the form Theorem(H,C,X) asserting that H implies C , where H and C are lists or sets of predicates that correspond to the geometric hypotheses and the conclusion of the theorem, and the optional X is a list of variables used for internal computation. The information contained in the specification may be all that is needed in order to manipulate and prove the theorem. From the specification, GEOTHER can automatically assign coordinates to each point in some optimal manner; translate the predicate representation of the theorem into an English or Chinese statement, into a first-order logical formula, or into algebraic expressions; draw one or several diagrams for the theorem - the drawn diagrams may be animated and modified with a mouse click and dragging, and saved as PostScript files; prove the theorem using any of the five algebraic provers;

11. GEOTHER - Geometry Theorem Prover
    GEOTHER (geometry theorem provER) is an environment implemented by Dongming Wang in Maple with drawing routines and interface written previously in C and now  
    http://www-calfor.lip6.fr/~wang/epsilon/GEOTHER/
    
    Extractions: Version 1.0 GEOTHER (GEOmetry THeorem provER) is an environment implemented by Dongming Wang in Maple with drawing routines and interface written previously in C and now in Java for manipulating and proving geometric theorems. In GEOTHER a theorem is specified by means of predicates of the form Theorem(H,C,X) asserting that H implies C , where H and C are lists or sets of predicates that correspond to the geometric hypotheses and the conclusion of the theorem, and the optional X is a list of variables used for internal computation. The information contained in the specification may be all that is needed in order to manipulate and prove the theorem. From the specification, GEOTHER can automatically assign coordinates to each point in some optimal manner; translate the predicate representation of the theorem into an English or Chinese statement, into a first-order logical formula, or into algebraic expressions; draw one or several diagrams for the theorem - the drawn diagrams may be animated and modified with a mouse click and dragging, and saved as PostScript files; prove the theorem using any of the five algebraic provers;

12. Mechanical Geometry Theorem Proving|KLUWER Academic Publishers
    Books » Mechanical geometry theorem Proving. Mechanical geometry theorem Proving. Add to cart. by ShangChing Chou Materials Technology  
    http://www.wkap.nl/prod/b/1-4020-0330-7

13. New(?) Geometry Theorem
    new(?) geometry theorem. post a message on this topic. post a message on a new topic. 3 Sep 1999 new(?) geometry theorem, by F. Alexander Norman. 3 Sep 1999. Re new(?) geometry theorem, by Antreas  
    http://mathforum.com/epigone/geometry-college/bendskangdwex

14. Mathematics Mechanization|KLUWER Academic Publishers
    Mathematics Mechanization Mechanical geometry theoremProving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving. Add to cart.  
    http://www.wkap.nl/prod/b/0-7923-5835-X
    
    Extractions: The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such arbitrary polynomial systems may be found. This part also goes back to classical Chinese mathematics as well as treating modern works in this field. Finally, Part III contains applications and examples.

15. GRAMY
    GRAMY A geometry theorem Prover Capable of Construction. Noboru Matsuda and Kurt VanLehn. Some geometry theorems require construction as a part of the proof.  
    http://www.pitt.edu/~mazda/Doc/JAR04/
    
    Extractions: University of Pittsburgh Journal of Automated Reasoning, 32(1), 3-33 (2004) Abstract Keywords : Automated geometry theorem proving, construction, search control, constraint satisfaction problem, intelligent tutoring system (PDF, 281KB) GRAMY project web cite: Advanced Geometry Intelligent Tutoring System affiliated with CIRCLE

16. Enumerative Real Algebraic Geometry: Theorem 4.4
    4.ii.c. Proof of Theorem 4.4. Theorem 4.6 (So9, Theorem 4.2) Let L be a real real (nk)-plane, none of whose Plücker coordinates vanishes.  
    http://www.math.umass.edu/~sottile/pages/ERAG/S4/2.3.html

17. Abstract: Implementation Of A Geometry Theorem Proving Package In SCRATCHPAD II
    http://webbler.fhs-hagenberg.ac.at/webbler.exe?database=standort.mdb&getpagename

18. Abstract: A Geometry Theorem Proving Package In SCRATCHPAD II
    Translate this page A geometry theorem Proving Package in SCRATCHPAD II. Johann Heinzelreiter, Herwig Mayr, K. Kusche, B. Kutzler Proc. Berichte aus  
    http://webbler.fhs-hagenberg.ac.at/webbler.exe?database=standort.mdb&getpagename

19. Foundations Of Geometry: Theorem 2
    Theorem 2. If BX. In other words, we re going to hypothesize that Theorem 2 is false and show that leads to a contradiction. II.  
    http://www.doublebit.com/archives/math/sstp1979/foundations/theorem2.htm
    
    Extractions: If A, B, and C are three non-collinear points and X is a point of AC, then X is the only point on both AC and BX. I. Given non-collinear points A, B, and C, with a point, X, on AC, assume that there is also a point, Y, on both AC and BX. [In other words, we're going to hypothesize that Theorem 2 is false and show that leads to a contradiction]. II. By Axiom III , points X and Y are contained in only one line, contradicting the hypothesis that the points X and Y are contained in both AC and BX. III. Since the hypothesis is false, Theorem 2 must be true.

20. Foundations Of Geometry: Theorem 1
    Theorem 1. If A and C are two points, there is a point P such that A, C, and P are noncollinear. Jeff s 1979 Notes. I. Given points  
    http://www.doublebit.com/archives/math/sstp1979/foundations/theorem1.htm
    
    Extractions: If A and C are two points, there is a point P such that A, C, and P are non-collinear. I. Given points A and C, there exists a third point, P [ Axiom II II. Since there is only one line which contains both A and C [ Axiom III ], and since the third point, P, cannot also be contained in this line (otherwise contradicting Axiom II), no line contains A, C, and P. III. By Definition 3 , points A, C, and P are non-collinear. Apparently, Axiom II can be broadly interpreted to "manufacture" a non-collinear point with respect to any given line, which would seem to make this a pretty trivial theorem.

1-20 of 100    1  | 2  | 3  | 4  | 5  | Next 20