A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3).

Frédéric Chyzak Assia Mahboubi Thomas Sibut-Pinote Enrico Tassi

Published in: ITP (2014)

Keyphrases

computer algebra
formal proof
theorem prover
inference rules
theorem proving
first order logic
computer algebra systems
artificial intelligence
supervised learning