A Short Proof of the Transcendence of Thue-Morse Continued Fractions.

Boris Adamczewski Yann Bugeaud

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

Keyphrases

database
theorem prover
computer vision
information systems
np hard
theorem proving
geometry theorem proving