Geometry.Net - the online learning center
Home  - Theorems_And_Conjectures - Geometry Theorem
e99.com Bookstore
  
Images 
Newsgroups
81-93 of 93    Back | 1  | 2  | 3  | 4  | 5 

         Geometry Theorem:     more books (102)
  1. Manifolds With Cusps of Rank One: Spectral Theory and Lp2S-Index Theorem (Lecture Notes in Mathematics) by Werner Muller, 1987-07
  2. Geometry growing;: Early and later proofs of famous theorems by William Richard Ransom, 1961
  3. The Riemann-Roch Theorem: 100 Years of Algebra and Geometry by Jeremy J. Gray, 2001-05
  4. Automated techniques for proving geometry theorems: Research project by Hsin-Chao Liao, 1994
  5. Exercises in plane geometry including the theorems and problems in construction found in the New York state syllabus,: Two hundred fifty carefully selected ... complete, recent regents examination papers, by Frederick Leighton, 1925
  6. Tangent Lines to Circles: Euclidean Geometry, Theorem, Compass and Straightedge Constructions, Tangent, Perpendicular, Radius, Orthogonality, Secant Line, Transformation (geometry), Scaling (geometry)
  7. A model-driven geometry theorem prover (Artificial intelligence memo) by Shimon Ullman, 1975
  8. Modern plane geometry;: Being the proofs of the theorems in the Syllabus of modern geometry issued by the Association for the improvement of geometrical ... the sanction of the council of the A.I.G.T by G Richardson, 1894
  9. A Combination of Geometry Theorem Proving and Nons by Jacques Fleuriot, 2001
  10. Plane geometry theorem proving using forward chaining (AI memo) by Arthur J Nevins, 1974
  11. Proving geometry theorems using Wu's method: A collection of geometry theorems proved mechanically (Technical report) by Shang-Ching Chou, 1986
  12. Modern plane geometry: Being the proofs of the theorems in the syllabus of modern plane geometry / issued by the Association for the Improvement of Geometrical ... A.I.G.T. ; by G. Richardson and A.S. Ramsey by George Richardson, 1904
  13. The fundamental theorem of q-clan geometry (UCD/CCM report) by S. E Payne, 1994
  14. Elementary geometry theorem proving (AI memo) by Ira P Goldstein, 1973

lists with details

81-93 of 93    Back | 1  | 2  | 3  | 4  | 5