GraphTrials: Visual Proofs of Graph Properties | IEEE Journals & Magazine | IEEE Xplore