tag:blogger.com,1999:blog-5195188167565410449.post4291100236673057171..comments2024-01-16T07:18:01.728+00:00Comments on Haskell for Maths: Three new modules in HaskellForMathsDavidAhttp://www.blogger.com/profile/16359932006803389458noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-5195188167565410449.post-14137303208961287002018-01-09T12:18:36.360+00:002018-01-09T12:18:36.360+00:00There is no projective plane of order 6 by Bruck-R...There is no projective plane of order 6 by Bruck-Ryser_theorem (see https://en.wikipedia.org/wiki/Bruck%E2%80%93Ryser%E2%80%93Chowla)_<br />-- no need for computer search here. It's needed for order 10 - the only non-prime power case not covered by this theorem which has been ruled out.dimpasehttps://www.blogger.com/profile/14596969929730094920noreply@blogger.com