Algebraic.net

Home  - Theorems_And_Conjectures - Geometry Theorem

Books Popular Music Classical Music DVD VHS Toys Baby Computers Video Games Electronics Camera & Photo Software Tools & Hardware Office Products Magazines Outdoor Living Kitchen Travel Cell Phones & Service

Images

Newsgroups

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

Geometry Theorem:

The Stokes System in an Infinite Cone (Mathematical Research, Vol. 78) by Paul Deuring, November, 1994 Geometric Aspects of Partial Differential Equations: Proceedings of a Mininsymposium on Spectral Invariants, Heat Equation Approach, September 18-19, 1998, Roskilde, Denmark (Contemporary Mathematics (American Mathematical Society), V. 242.) by Bernhelm Booss-Bavnbek, Krzysztof Wojciechowski, et all August, 1999 Topics in Transcendental Algebraic Geometry by Phillip A. Griffiths, May, 1984 Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence) by W. McCune, R. Padmanabhan, 15 January, 1996 Seminar on Fermat's Las Theorem: 1993-1994 The Fields Institute for Research in Mathematical Sciences Toronto, Ontario, Canada (Conference Proceedings / Canadian Mathematical Society, V. 17) by Vijaya Kumar Murty, Fields Institute for Research in Mathematical Sciences, September, 1995 Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics, Vol 6) by Shang-Ching Chou, Xian-Shan Gao, et all April, 1994 Manifolds With Cusps of Rank One: Spectral Theory and Lp2S-Index Theorem (Lecture Notes in Mathematics, Vol 1244) by Werner Muller, W. Mueller, et all July, 1987 Limit Theorems for the Riemann Zeta-Function (Mathematics and Its Applications, Vol 352) by Antanas Laurincikas, January, 1996 Lectures on the Mean-Value & Omega Theorems for the Riemann Zeta-Function: Tata Institute Lectures on Mathematics & Physics by K. Ramachandra, February, 1996 Stability Theorems in Geometry and Analysis (Mathematics and Its Applications, Vol 304) by Yu. G. Reshetnyak, Iurii Grigor'evich Reshetniak, December, 1994

81. The Geometry Of Separation Processes: The Horse-Carrot Theorem For Steady Flow S
    I38.48 The geometry of Separation Processes The HorseCarrot Theoremfor Steady Flow Systems. Peter Salamon (SDSU), James Nulton (SDCC).  
    http://www.aps.org/BAPSMAR98/abs/S1875048.html

82. The Geometry Of Separation Processes: The Horse-Carrot Theorem For Steady Flow S
    I38.53 The geometry of Separation Processes The HorseCarrot Theoremfor Steady Flow Systems. Peter Salamon (SDSU), James Nulton (SDCC).  
    http://www.aps.org/BAPSMAR98/abs/S1885053.html

83. ThinkQuest Library Of Entries
    geometry Postulate, theorem, and Corollary. Part 9. Corollary 4, Theopposite angles of an inscribed quadrilateral are supplementary.  
    http://library.advanced.org/16284/reference_gc_9.htm

84. 13.ai
    Automated geometrytheorem Proving. Phil Liao. In this project, we compareand contrast five automated geometry-theorem-proving techniques.  
    http://www.eecs.berkeley.edu/Research/Areas/Summaries/1995/95.13.ai.html

85. Geometry Site Map
    Part B Cutting Up. Part C The Midline theorem. The Midline Cut Some GeometryFacts Proving the Midline theorem. Homework. Notes Part B Notes Part C Notes.  
    http://www.learner.org/channel/courses/learningmath/geometry/sitemap.html

86. Perseus Update In Progress
    Equating the sides of a right triangle has had a dramatic effect on the study ofgeometry even up to the present. However, the Pythagorean theorem did lead to  
    http://www.perseus.tufts.edu/GreekScience/Students/Mike/geometry.html

87. ThinkQuest Library Of Entries
    geometry Postulate, theorem, and Corollary. Part 6. theorem 7.10, A parallelogramwith a diagonal that bisects opposite angles is a rhombus.  
    http://library.thinkquest.org/16284/reference_gc_6.htm

88. Luigi Bianchi
    A mathematician who developed many theorems regarding Riemannian geometry  
    http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Bianchi.html

89. Biography Of Pappus Of Alexandria
    Wrote treatise, the Mathematical Collection, as a guide to Greek geometry, discusses theorems and constructions of more than thirty different mathematicians of antiquity.  
    http://www.lib.virginia.edu/science/parshall/pappus.html

90. Pascal's Theorem -- From MathWorld
    Coxeter, H. S. M. and Greitzer, S. L. Pascal's theorem. §3.8 in GeometryRevisited. Washington, DC Math. Assoc. Amer., pp. 7476, 1967.  
    http://mathworld.wolfram.com/PascalsTheorem.html

91. Publications Of Xiao-Shan Gao
    SC Chou, XS Gao, and JZ Zhang, A Deductive Database Approach To Automated GeometryTheorem Proving and Discovering, {\it J. Automated Reasoning}, 25(3), 219246  
    http://www.mmrc.iss.ac.cn/~xgao/publ.html

92. Records Of Type
    Records of Type GEO. Solutions of problems from mechanized geometrytheorem proving. The GEO table contains solutions of problems  
    http://www.symbolicdata.org/SD_HTML/Data/GEO/?fr

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

contact: support@algebraic.net