MathDB2 problems
Lattice-minimality conjecture. This lattice spans at least
A finite point set in the plane spans four distinct triangles when its triples of distinct points determine four congruence classes, up to rigid plane isometries. Four-triangle opt…