Similarities in Irrationality Proofs for π, ln2, ζ(2), and ζ (3).

Dirk Huylebrouck

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

Keyphrases

similarity measure
upper bound
theorem proving
multiscale
theorem prover
medical images
relational databases
mathematical proofs
high similarity
half spaces
natural deduction
data sets
expert systems
three dimensional
website
artificial intelligence
learning algorithm
neural network