tejstead

2 ms·

1. 1.▲
   Show HN: The Heilbronn Problem – packing points to avoid small triangles(math.tejstead.com)

   1 points by tejstead 9d ago|0 comments
2. 2.▲
   by tejstead 15d ago

   I think this is why Terence Tao created https://palomar-registry.org (I have no affiliation with them besides also having sent in a result there)
3. 3.▲
   by tejstead 15d ago

   > I am at a loss about what to do with these results. I would recommend publishing them to Palomar ( https://palomar-registry.org/ ) - I have no affiliation, this is an online registry of Lean-verified proofs created by Te