This page collects the pictures of that page and their origin.
Extracted from the presentation and paper of Rui Hu and Stephen Watt at MathUI 2013.
Extracted from the presentation and paper of Éric Andrès, Bastiaan Heeren and Johan Jeuring at MathUI 2013.
Extracted from the presentation and paper of Jean-François Nicaud and Christophe Vuidez at MathUI 2013.
Extracted from the presentation and paper of Andrea Kohlhase at MathUI 2013.
Extracted from the presentation and paper of Jan Wilken-Dörrle and Michael Kohlhase at MathUI 2013.