Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Chou S.-C. — Mechanical Geometry Theorem Proving
Chou S.-C. — Mechanical Geometry Theorem Proving

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Mechanical Geometry Theorem Proving

Автор: Chou S.-C.

Язык: en

Рубрика: Математика/Алгебра/Вычислительная алгебра/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1988

Количество страниц: 372

Добавлена в каталог: 12.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
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 $\Omega$      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
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте