Inria / Raweb 2004
Project: LEMME

Software and mathematics

• Members
• Overall Objectives
• Scientific Foundations
  • Type theory and formalization of mathematics
  • Verification of scientific algorithms
  • Programming language semantics
  • Proof environments
• Application Domains
  • Certified scientific algorithms
  • Web, MathML, XML
• Software
  • PCoq
  • Aïoli and Figue
• New Results
  • Tools for proof environments
  • Type theory and formalization of mathematics
  • Programming language semantics
• Contracts and Grants with Industry
  • Mowgli
• Other Grants and Activities
  • International collaborations
  • National initiatives
  • European initiatives
• Dissemination
  • Conference and workshop attendance, travel
  • Leadership within scientific community
  • Miscellaneous
  • Supervision of Ph.D. projects
  • Teaching
• Bibliography
  • Publications of the year