Engineering mathematics: The odd order theorem proof

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2013, Pages 1-2

  Gonthier, Georges ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

coq; group theory; mathematical components; proof engineering; ssreflect.; theorem proving

Indexed keywords

COMPUTER TOOLS; COQ; ENGINEERING MATHEMATICS; LANGUAGE DESIGN; MATHEMATICAL COMPONENTS; PROOF ENGINEERING; SSREFLECT; TOOLS AND TECHNIQUES; TYPE THEORY;

COMPUTER PROGRAMMING LANGUAGES; GROUP THEORY; SOFTWARE ENGINEERING;

THEOREM PROVING;

EID: 84874127449     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2429069.2429071     Document Type: Conference Paper

References (0)