Mark McCartin-Lim

According to our database, Mark McCartin-Lim authored at least 3 papers between 2012 and 2018.

Collaborative distances:

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

2018

Connect the Dots to Prove It: A Novel Way to Learn Proof Construction.

Mark McCartin-Lim, Beverly P. Woolf, Andrew McGregor

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2016

Complexity Tutor: Developing an Interactive Tutoring System for Computational Complexity (Abstract Only).

Mark McCartin-Lim

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2012

Approximate Principal Direction Trees.

Mark McCartin-Lim, Andrew McGregor, Rui Wang

Proceedings of the 29th International Conference on Machine Learning, 2012