Sean McCarren

According to our database, Sean McCarren authored at least 2 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Waterproof: Educational Software for Learning How to Write Mathematical Proofs.

Jelle Wemmenhove, Dick Arends, Thijs Beurskens, Maitreyee Bhaid, Sean McCarren, Jan Moraal, Diego Rivera Garrido, David Tuin, Malcolm Vassallo, Pieter Wils, Jim Portegies

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

2019

Combining Interactive Hierarchy Visualizations in a Web-based Application.

Michael Burch, Willem Aerts, Daan Bon, Sean McCarren, Laurent Rothuizen, Olivier Smet, Daan Wöltgens

Proceedings of the 14th International Joint Conference on Computer Vision, 2019