Algebraic.net
Home  - Theorems_And_Conjectures - Geometry Theorem
  
Images 
Newsgroups
61-80 of 92    Back | 1  | 2  | 3  | 4  | 5  | Next 20

         Geometry Theorem:
  1. Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving (Mathematics and Its Applications (Kluwer), 489) by Wen-Tsun Wu, January, 2001
  2. Pythagoras Gets the Right Angle: A Math Adventure by Julie Ellis, Laura Jacques, January, 2004
  3. Mathematics Mechanization and Applications by Xiao-Shan Gao, Dongming Wang, 15 January, 2000
  4. Famous Problems and Other Monographs: Famous Problems of Elementary Geometry/from Determinant to Tensor/Introduction to Combinatory Analysis/Three Lectures on Fermat's Last Theorem by F. Klein, June, 1962
  5. Definitions, Solved and Unsolved Problems, Conjectures, and Theorems in Number Theory and Geometry by Florentin Smarandache, 01 October, 2000
  6. Mechanical Geometry Theorem Proving by Shang-Ching Chou, January, 2002
  7. Problems and Theorems in Analysis Two: Theory of Functions, Zeros, Polynomials Determinants, Number Theory and Geometry by G.S. Zego, George Polya, et all June, 1990
  8. Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Artificial Intelligence) by Jurgen Richter-Gebert, Dongming Wang, October, 2001
  9. Riemann-Roch Algebra (Comprehensive Studies in Mathematics, Vol 277) by William Fulton, Serge Lang, September, 1985
  10. Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996: Selected Papers (Lecture Notes in Artificial Intelligence) by International Workshop on Automated Deduction in Geometry, D. Wang, June, 1998

61-80 of 92    Back | 1  | 2  | 3  | 4  | 5  | Next 20

contact: support@algebraic.net