• Improvement Sugestions and Complaints

    In Coimbra University, your opinion matters.

    So we've created the Integrated Improvement: an open channel for filing complaints or suggestions for improvement, thus enabling us to serve better.

    To express your opinion about the specific web page UC.PT, click here.

    Thank you.
    Universidade de Coimbra

loading...

ThEdu

THedu

ThEdu

Theorem Proving Components for Educational Software

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).