Theory and Proof [Memoirs] | IEEE Journals & Magazine | IEEE Xplore