activity
20122024
most citedIntegrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

8 citations · 35 across the 21 of their papers we have counts for

collaborators
Showing cs.HCShow all

1 paper · 1 filter

cs.HC2017

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers

Serge Autexier, Pedro Quaresma

The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof ass…