Effective Results in Number Theory - Later Work

Later Work

Later results, particularly of Alan Baker, changed the position. Weaker theorems, qualitatively speaking, but with explicit constants, can actually be applied, in conjunction with machine computation, to prove that lists of solutions (suspected to be complete) are actually the entire solution set.

Read more about this topic:  Effective Results In Number Theory

Famous quotes containing the word work:

    “We work to eat to get the strength to work to eat to get the strength to work to eat to get the strength to work to eat to get the strength to work.”
    —John Dos Passos (1896–1970)

    “Policy is the people you work with.”
    —William Gaskill (b. 1930)