RSS
Contact
Publications
Press
Photos-videos
Homepage
About the Joint Centre
Overview
Highlights
Timeline
Research Areas & Projects
Research Areas
Computer Vision and Medical Imaging
Formal Methods for Mathematics, Distributed Systems and Security
Machine Learning & Big Data
Social Information Networks and Privacy
More
Projects
colonne 1
4D Cardiac MR Images
A-Brain
Adaptative Combinatorial Search for E-science
Interactive Network Visualization
Mathematical Components
ReActivity
Privacy-Friendly Services and Apps
Structured Large Scale Machine Learning
colonne 2
Dynamic Dictionary of Mathematical Functions
Information Flows in Online Social Networks
Scientific Image and Video Mining
Secure Distributed Computations and their Proofs
Tools for Proofs
White-Box Search-Based Software Engineering
Z-CloudFlow: Data Workflows in the Cloud
More
Researchers
News & Events
News
Events
Conferences & Workshops
Open Positions
Overview
Microsoft Research Inria Joint Centre
26 March 2014
ACM Turing Award goes to Leslie Lamport
Home
>
2012
>
September
Monthly Archives:
September, 2012
Categories
News
Events
Conferences & Workshops
September 2012
M
T
W
T
F
S
S
« May
Dec »
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Archives
October 2015
December 2014
October 2014
July 2014
April 2014
March 2014
October 2013
September 2013
July 2013
June 2013
April 2013
December 2012
Projects
Video Understanding
Medilearn
Interactive Network Visualization
Privacy-Friendly Services and Apps
Z-CloudFlow: Data Workflows in the Cloud
White-Box Search-Based Software Engineering
Structured Large Scale Machine Learning
Information Flows in Online Social Networks
4D Cardiac MR Images
A-Brain
Scientific Image and Video Mining
Adaptative Combinatorial Search for E-science
ReActivity
Dynamic Dictionary of Mathematical Functions
Secure Distributed Computations and their Proofs
Tools for Proofs
Mathematical Components
Share:
A
A
20 September 2012 -
Mathematical Components
Feit thomson proved in coq
Feit-Thompson theorem has been totally checked in Coq Thursday 20 September 2012, 18:16. We received following mail from Georges Gonthier (see below).It concludes the proof in Coq of the Feit-Thompson theorem. This theorem, also named the Odd Order Theorem, is the first main result in the classification of finite groups.This work was achieved by the.. ...
More
20 September 2012 -
Mathematical Components
The formalization of the Odd Order theorem has been completed September 20th 2012
“This is really the End”. After a six year effort, members of the Mathematical Components team have completed an axiom-free formalization of the proof of the Odd Order theorem (due to Walter Feit and John Griggs Thompson), using the Coq proof assistant. Read the announcement on the Microsoft Research website. Read the announcement on the Inria Microsoft Research Joint Centre website... ...
More
5 September 2012 -
Mathematical Components
Ssreflect 1.4 has been released
The ssreflect developers are pleased to announce the new release of ssreflect 1.4 for Coq 8.4 and Coq 8.3pl4. More on Mathematical Components web page ...
More
Page 1 of 1
1