Technical Content and Cross Links

    The project is multi-faceted. One way to understand it is to see its projections onto other areas of computer science and mathematics. The standard projections are onto these topics:

  • Applications
  • Artificial Intelligence (AI)
  • Automated Deduction (AD)
  • Constructive Mathematics
  • Digital Formal Mathematics Libraries
  • Education
  • Formal Methods
  • Formalized Mathematics (AutoMath)
  • Human Computer Interface and the Medium for Mathematics
  • Logic
  • Philosophy of Mathematics
  • Problem Solving Environments (PSE)
  • Programming Languages
  • Programming Logics
  • Proof Technology
  • Logical Programming Environments
  • Software Engineering
  • Systems
  • Theory
  • Type Theory, Set Theory and Domain Theory