ZarankiewiczDB,

an online database of Zarankiewicz numbers. home; recent; tables; submit; theorems & references

z(30,31) = 180

By the convex optimisation bound with 6 columns of weight 5 and 25 columns of weight 6.

upper bound = 180, submitted on April 22nd, 2016 (link)

By deleting one row from the finite projective plane of order 5.

lower bound = 180, submitted on April 22nd, 2016 (link)

Submit a result or comment?