| Document Type
|
:
|
BL
|
| Record Number
|
:
|
743958
|
| Doc. No
|
:
|
b563907
|
| Main Entry
|
:
|
von Christoph Walther ; herausgegeben von Wolfgang Bibel.
|
| Title & Author
|
:
|
Automatisierung von Terminierungsbeweisen\ von Christoph Walther ; herausgegeben von Wolfgang Bibel.
|
| Publication Statement
|
:
|
Wiesbaden : Vieweg+Teubner Verlag, 1991
|
| Series Statement
|
:
|
Artificial Intelligence / Künstliche Intelligenz.
|
| ISBN
|
:
|
3322854043
|
|
|
:
|
: 3528047712
|
|
|
:
|
: 9783322854049
|
|
|
:
|
Bibliography: p. [124]-125.
|
| Contents
|
:
|
pt. I. Introductory results. Arithmetical functions -- Some sum functions -- Characters -- Pólya's theorem -- Dirichlet series -- Schinzel's hypothesis -- The large sieve -- The upper-bound sieve -- Franel's theorem -- pt. II. The prime-number theorem. A modular relation -- The functional equations -- Hadamard's product formula --Zeros of [xi](s) -- Zeros of [xi](s, [chi]) -- The exceptional zero -- The prime-number theorem -- The prime-number theorem for an arithmetic progression -- pt. III. The necessary tools. A survey of sieves -- The hybrid sieve -- An approximate functional equation (I) -- An approximate functional equation (II) -- Fourth powers of L-functions -- pt. IV. Zeros and prime numbers. Ingham's theorem -- Bombierie's theorem -- I.M. Vinogradov's estimate -- I.M. Vinogradov's three-primes theorem -- Halász's method -- Gaps between prime numbers.
|
| Subject
|
:
|
Numbers, Prime.
|
| Dewey Classification
|
:
|
512/.73
|
| LC Classification
|
:
|
QA246.H88
|