TY - RPRT TI - GraphTrials: Visual Proofs of Graph Properties AU - Henry Förster AU - Felix Klesen AU - Tim Dwyer AU - Peter Eades AU - Seok-Hee Hong AU - Stephen G. Kobourov AU - Giuseppe Liotta AU - Kazuo Misue AU - Fabrizio Montecchiani AU - Alexander Pastukhov AU - Falk Schreiber PY - 2024 UR - https://arxiv.org/abs/2409.02907 ID - 2409.02907 ER -