Project-Team Typical
Members
Overall Objectives
Presentation
Highlights of the Year
Research Program
Logical formalisms
Libraries of formalized mathematics
Proof search and automated decision procedures
Software and Platforms
Coq
Coqfinitgroup
Ssreflect
New Results
Feit-Thompson
Formal Semantics of Type Theory
Study of Type Theories
Formal and computable algebra
Certifiable real optimization
Binder representation in Coq
SMT and Coq
Automated decision procedures
Bilateral Contracts and Grants with Industry
Common Research Agreements in the MSR–Inria Joint Centre
Partnerships and Cooperations
Regional Initiatives
National Initiatives
European Initiatives
Dissemination
Teaching - Supervision - Juries
Bibliography
Major publications
Publications of the year
Inria
|
Raweb 2012
|
Presentation of the Project-Team TYPICAL
|
TYPICAL Web Site
PDF
e-Pub
Previous |
Home
Bibliography
Major publications by the team in recent years
Publications of the year
Doctoral Dissertations and Habilitation Theses
Articles in International Peer-Reviewed Journals
International Conferences with Proceedings
National Conferences with Proceedings
Scientific Books (or Scientific Book chapters)
Internal Reports
Other Publications
Previous |
Home