Another better lower bound for n=17 square packing(gus-massa.blogspot.com)23 points by gus_massa 2 months ago | 4 comments
Decomposing factorial of 300K as the product of 300K factors larger than 100K(gus-massa.blogspot.com)90 points by gus_massa 1 year ago | 9 comments