cs.HC
GraphTrials: Visual Proofs of Graph Properties
Henry Förster Felix Klesen Tim Dwyer Peter Eades Seok-Hee Hong Stephen G. Kobourov Giuseppe Liotta Kazuo Misue Fabrizio Montecchiani Alexander Pastukhov Falk Schreiber