Fermat's Last Theorem for Rational Exponents.

Curtis D. Bennett Andrew M. W. Glass Gábor J. Székely

Published in: Am. Math. Mon. (2004)

Keyphrases

von neumann
decision making
information retrieval
digital topology
data mining
incentive compatible
interactive theorem proving