arXiv:1911.07981 [math.AG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords lower bound, 3x3 determinant, border rank, nontrivial matrix multiplication tensor, first hand-checkable algebraic proof Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset