Component-based Systems

Pure Deduction Systems

• HPDS & SSCPA & CSSCPA
• TEAMWORK & Techs
• DARES
• E-SETHEO

Distributed Systems

• MONET
• MathWeb-SB

Heterogeneous Systems

• Pipelined deduction systems - EP, GrAnDe, ...
• Deduction management systems - OMEGA, HELM, ...
• Interactive (high order) proof assistants - Isabelle, Coq, LEGO, TPS, ...
• Integration of non-deductive systems - PROSPER, CPS, ...