Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Chou S.-C. — Mechanical Geometry Theorem Proving Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Mechanical Geometry Theorem Proving Автор: Chou S.-C. Язык: Рубрика: Математика/Алгебра/Вычислительная алгебра/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1988 Количество страниц: 372 Добавлена в каталог: 12.03.2005 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель Affine geometry      5 34 35 39 Algebraic extension      29 33 65 Algebraic over      23 24 Algebraic proof      39 ' Algebraic set      24 25 32 33 51 Algebraically closed      26 31 33 40 42 51 52 55 77 82 Algebraically dependent on      26 48 49 51 54 Altitude      74 82 101 133 137 140 174 178 180 187 188 221 229 231 232 234 239 247 256 259 349 Ambiguity      10 47 60 angle      3 40 60 64 66 Angle congruence      99 Anticomplementary triangle      236 438 480 Apollonian circle      452 453 456 457 458 461 492 Archimedean axiom      41 Area      22 41 55 58 120 141 170 171 254 326 329 Artin      34 Ascending chain      26 27 30 32 52 57 62 89 Ascending chain in weak sense      26 54 Ascending chain in Wu's sense      26 Associated field      35 36 42 51 52 Axiom of Congruence      39 Axiom of infinity      36 43 Axiom of Parallels      36 Axiom of Perpendicularitry      39 Axiomatic Geometry      35 Axioms of incidence      35 B-reducible      76 bisector      40 60 111 116 127 135 136 137 138 139 143 152 153 161 203 219 220 222 228 229 232 238 241 251 259 300 322 460 Bolyai — Lobachevskian geometry      41 Brahmagupta      282 Brianchon      19 Brocard circle      492 493 Brocard diameter      433 454 455 Brocard point      484 485 486 487 488 489 490 491' Buchberger      75 Buchberger's algorithm      76 Butterfly      36 Butterfly Theorem      9 79 Cartesian product      34 35 Centroid      50 51 142 146 150 151 195 256 328 406 501 Ceva      334 335 Cevian      343 344 345 355 356 396 Characteristic 0      37 43 Characteristic set      27 47 48 84 95 circle      70 71 72 75 92 97 108 112 129 132 Circumcenter      30 31 130 189 190 192 193 248 257 501 circumcircle      102 107 126 131 139 160 175 180 181 184 195 209 223 232 237 250 290 295 298 299 301 349 385 393 407 415 417 418 419 424 425 426 428 429 443 499 Circumdiameter      137 138 140 221 252 352 class      26 Classification of models      37 39 Collins      3 Compatible ordering      75 76 Complementary triangle      149 242 Complete method of Wu      10 34 52 66 Complete solution of a system of polynomial equations      33 Component      25 47 54 69 Components general for u      47 49 54 70 Congruence of angle      40 conic      6 7 8 9 10 11 12 Consistency of proof      4 Construction sequence      19 60 Cross ratio      76 77 Cyclic orthodiagonal quadrilateral      282 283 284 285 286 287 Cyclic quadrilateral      96 265 266 267 268 269 270 271 272 273 274 275 276 277 278 331 Davis      5 Dependent variable      16 19 46 52 Desargues      60 346 Desargues' axiom      37 DIMENSION      25 31 49 51 Dimensionaltry Restriction      47 52 83 Direct group      483 Directed quadrilateral      99 Directed segment      98 Directed triangle      99 Dual      18 19 20 21 62 Elementary geometry      3 41 Elementary use of Wu's method      11 80 Equilateral triangle      35 43 44 45 87 89 104 119 Euclidean geometry      12 18 34 35 48 55 99 Euler line      191 194 199 200 201 202 215 245 382; Euler point      196 197 241 Euler triangle      196 205 206 Euler's formula      162 Extended characteristic set      31 54 Extension      23 24 25 29 32 78 Factorization      24 88 Factorization over algebraic extension      30 Feuerbach      204 Feuerbach's theorem      59 Field      23 Field associated with      34 35 37 Field of rational function      23 Field of real number      24 Final remainder      6 11 13 73 First Lemoine point      444 445 446 447 448 449 450 451 First order logic      35 41 First order theory      35 Formal proof      39 Formulation F1      43 81 Formulation F2      45 81 Formulation F3      47 51 77 88 Gauss line      15 Gauss point      16 Gauss-conic      17 Gelernter      3 General component      47 57 58 63 65 68 General Component Decomposition      53 57 General position      5 6 47 General validity      15 19 48 88 Generalization of Thebault — Taylor's theorem      69 Generally false      21 44 45 46 48 50 51 57 Generally true      5 15 19 20 39 44 46 47 51 53 54 57 77 78 Generally valid      47 Generic point      30 31 55 57 58 85 Generic statement      51 Generic zero      25 Geometric configuration      46 53 56 63 85 Geometry statements of constructive type      15 Gergonne point      336 347 481 Goedel completeness theorem      39 Groebner basis      76 78 81 85 Groebner basis method      75 95 Harmonic      67 358 359 361 362 363 364 Heuristic rule      20 Hexagon      28 47 48 53 hilbert      5 35 38 Hilbert basis theorem      23 75 Hilbert field      39 Hilbert geometry      41 Hilbert mechanization theorem      5 38 Hilbert's Nullstellensatz      23 26 33 49 78 Ideal      23 Identification number      96 incidence      35 incircle      38 64 78 128 154 172 202 252 254 319 347 380 383 Independent variable      5 46 Indirect group      483 484 Initial      26 49 54 Inverse points      367 368 369 370 371 372 Irreducibility      12 15 25 54 56 58 60 Irreducible      25 29 Irreducible algebraic set      25 Irreducible Ascending Chain      28 55 83 Irreducible statement      54 55 Isodynamic point      453 454 455 Isogonal conjugate line      462 463 464 465 466 467 468 469 470 471 472 Isogonal conjugate point      473 474 475 476 477 478 479 480 482 486 499 507 508 510 Isosceles      88 Isotomic      54 174 178 324 326 340 Isotropic line      18 44 Kirkman      14 Leading coefficient      6 26 54 Leading degree      26 Leading monomial      76 Leading term      76 / Leading variable      26 52 Lemoine axis      325 433 440 459 493 Lemoine point      430 431 432 434 435 436 437 438 439 441 442 501 503 511 512 Linear case      12 56 Maxt      13 59 61 69 72 89 95 Median      145 223 224 253 259 327 333 338 351 386 436 Menelaus      23 24 320 321 Metric geometry      18 39 42 51 96 Minkowskiari geometry      18 44 Miquel point      308 309 310 Model      35 37 55 Model level      37 39 Monomial      75 Morley      39 40 63 Morley's trisector theorem      24 64 88 Nagel point      337 341 342 353 509 Napoleon      43 44 45 Nehring      27 Nine-point circle      32 43 59 196 197 198 199 200 203 207 208 210 211 214 216 238 239 242 243 244 246 269 278 294 306 391 392 400 449 451 495 Non-archimedean      41 Nondegenerate component      47 49 50 51 Nondegenerate condition      5 6 12 19 34 38 43 45 49 82 96 Normal form      76 Not generally true      48 Ogilvy      65 66 Ordered geometry      97 Ordered metric geometry      41 43 Oriented angle      40 Orthic triangle      176 181 182 183 185 186 190 194 233 236 246 323 405 439 503 orthocenter      30 31 173 179 184 189 192 193 195 203 209 230 237 250 255 257 312 319 381 384 394 498 Orthocentric group      212 213 214 215 217 218 Orthodiagonal quadrilateral      279 280 281 Orthogonal circles      373 374 375 376 377 378 398 Orthopole      494 495 496 497 498 500 504 505 506 Pappus      1 Pappus line      1 2 Pappus' Axiom      36 37 Pappus' configuration      38 39 Pappus' theorem      5 38 Paradox      4 Parallelogram      3 22 34 36 45 46 48 56 57 69 78 82 84 85 118 258 350 357 360 366 PARAMETER      5 16 19 38 46 52 Pascal      6 7 Pascal's theorem      8 20 88 Paterson      71 74 Pedal triangle      367 435 441 489 490 Perpendicular bisector      17 Perspective      59 polar      379 394 399 457 Pole      63 407 Polynomial ring      23 Possibly new theorem      2 3 4 5 10 11 12 17 40 54 Power      390 391 392 Pratt — Kasapi      81 Pratt — Wu      80 Prime ideal      23 Projective geometry      41 Proof method for Formulation F1      82 Prover      4 11 13 15 18 21 45 47 61 72 81 89 95 Pseudo division      12 Pseudo remainder      6 13 Ptolemy      79 Pure point of intersection theorem      38 Purely lexicographic ordering      75 78 81 87 Quadrangle      41 42 Quadrangular      68 Quadrilateral      65 66 83 122 147 260 261 262 263 264 Quotient field      25 Quotient ring      23 Radical      23 26 33 49 77 Radical axis      33 98 397 398 399 400 401 402 403 404 450 451 493 Radical center      397 478 482 Radical ideal      23 Real closed field      40 Real generic point      55 56 Reduced Groebner basis      77 83 Reduced with respect to      26 Reducibility      10 58 Reducible      10 25 29 30 51 53 59 63 67 88 Reduction      76 Remainder formula      6 13 28 30 32 55 85 renaming      28 53 Riemannian geometry      41 Rift      23 right triangle      93 98 100 172 Ring      23 Ritt's Decomposition Algorithm      32 53 Ritt's principle      14 31 52 58 Roedial triangle      300 327 403 S-polynomial      76 Secant      73 94 390 Segment arithmetic      37 38 Seldenberg      3 Semicircle      123 Separation principle      89 Simplified characteristic set      61 62 65 67 89 95 Simson      288 Simson line      35 288 292 293 295 296 297 300 302 303 304 305 306 307 310 311 313 314 316 317 318 428 429 496 497 Sinmon's theorem      7 17 20 44 56 79 82 Steiner      2 13 Structure       37 39 Subsidiary condition      6 45 50 78 Successive pseudo division      6 12 13 Successive quadratic extension      24 Symmedian      417 418 419 420 421 422 423 424 425 426 427 428 429 456 457 458 459 Symmedian point      430 symmetric      235 249 253 301 Tangent      37 64 95 106 113 114 115 117 124 125 325 Tangential triangle      144 183 194 201 480 Tarski      3 Taylor      66 Thebault      66 Thebault's conjecture      24 61 88 Theory of geometry      35 Theory of metric geometry      39 55 Three circles      240 289 290 291 315 408 409 Total degree ordering      75 Traditional proof      3 Transcendental      23 25 30 58 Transcendental over      23 29 Transversal      25 330 384 trapezoid      49 103 404 triangle      86 110 121 134 148 177 332 348 354 502 Triangular form      6 9 11 21 26 56 58 61 72 Triangulate      6 Triangulation      12 Triangulation algorithm      14 Trilinear polar      411 412 413 414 415 416 512 Trilinear pole      434 Trisector      39 40 64 Tritangent      154 155 156 157 158 159 163 164 165 166 167 168 169 170 171 225 226 227 241 247 248 249 251 329 365 387 388 389 393 403 413 481 Two circles      90 91 99 105 109 369 372 395 410 u-polynomial      49 50 51 54 77 81 Unit ideal      25 26 78 82 Universal quantifier      42 Unordered geometry      97 99 Unordered metric geometry      40 43 Unsoundness      45 Wu      3 39 66 Wu's method      5 12 34 54 57 95 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2025 | | О проекте