How Can it Work?

A Homogeneous Environment

• Core infrastructure and standards
  • The QED Problem Library
  • The QED Language
  • QED Systems
  • The QED Solution Library (with QED Ontology)
• Services
  • QDV - QED Derivation Verification
  • AGInM - Automatic Generation of Interesting Mathematics
  • IMV - Interactive Mathematics Viewing
  • SystemOnQED - QED in your Web Browser

QED Compliance

• Elegance is not optional - Richard O'Keefe
  

• QED is not optional - Bob Boyer (or someone like that)

• Not Everyone will Agree

A Focus on Users and Developers

• Many users, many developers, many contributions
• Feedback always welcome