Mechanical Geometry Theorem Proving (Google eBook)

Front Cover
Springer Science & Business Media, 1988 - Computers - 362 pages
0 Reviews
Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

IV
3
VI
4
VII
5
VIII
12
X
14
XI
15
XII
19
XIII
23
XXX
49
XXXI
51
XXXII
52
XXXIV
53
XXXV
54
XXXVI
57
XXXVII
58
XXXVIII
75

XV
26
XVI
28
XVII
31
XVIII
32
XIX
34
XXI
35
XXII
39
XXIII
41
XXV
42
XXVI
43
XXVII
45
XXVIII
46
XXIX
47
XXXIX
77
XL
81
XLI
83
XLII
88
XLV
90
XLVI
93
XLVII
95
XLVIII
97
XLIX
100
L
352
LI
358
LII
361
Copyright

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information