VSL 2014: VIENNA SUMMER OF LOGIC 2014

Computer-checked mathematics: a formal proof of the Odd Order theorem

Author: Assia Mahboubi

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Computer-checked mathematics: a formal proof of the Odd Order theorem
Authors:Assia Mahboubi
Proceedings:CSL-LICS 2014 Full and Final Proceedings
Editors: Dale Miller and Laura Kovacs
Keywords:
Abstract:
Pages:1
Talk:Jul 14 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program