A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi. A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). In Gerwin Klein, Ruben Gamboa, editors, Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Volume 8558 of Lecture Notes in Computer Science, pages 160-176, Springer, 2014. [doi]

This author has not been identified. Look up 'Frédéric Chyzak' in GoogleThis author has not been identified. Look up 'Assia Mahboubi' in GoogleThis author has not been identified. Look up 'Thomas Sibut-Pinote' in GoogleThis author has not been identified. Look up 'Enrico Tassi' in Google

runs on WebDSL