Raggi, Daniel, Stockdill, Aaron, Jamnik, Mateja, Garcia Garcia, Grecia, Sutherland, Holly E A and Cheng, Peter C-H (2019) Inspection and selection of representations. 12th Conference on Intelligent Computer Mathematics, CICM 2019, Prague, Czech Republic, July 8-12, 2019. Published in: CICM 2019 Intelligent Computer Mathematics, 12th International Conference. 11617 227-242. Springer ISSN 0302-9743