Apéry Limits: Experiments and Proofs.

Marc Chamberland Armin Straub

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

Keyphrases

theorem prover
formal proofs
theorem proving
formal proof
search algorithm
special case
mathematical proofs
database
databases
data mining
genetic algorithm
database systems
reinforcement learning
pattern recognition
computer programs