This interest group intends to gather the research communities for computer
Theorem proving (TP), Automated Theorem Proving (ATP), Interactive
Theorem Proving (ITP), as well as Computer Algebra Systems (CAS)
and Dynamic Geometry Systems (DGS). The goal of this union is to combine
and focus systems of these areas to enhance existing educational
software as well as studying the design of the next generation of
mechanised mathematics assistants (MMA).