The
CALCULEMUS
Project
Research Topics
Integrating Computer Algebra and Proof Search (
some case studies
)
Proof Planning
Computer Algebra
Interactive Theorem Proving
Computer Aided Formalization of Mathematics
Open Mechanized Reasoning Systems