Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs.

Sergio Gutirrez Santos, Darren Pearce, Eirini Geraniou, Manolis Mavrikis

Browse the full DIAGRAMS paper archive.