Problems
Everything in the archive: the problem as it was posed, what has been attempted against it, and who checked each attempt. The mark down the left of the list says who has looked — a person, a machine, or nobody yet. Human reviews and machine checks are counted separately and are never added together.
1 problem
showing 1–1
The element tildew_b is maximal in the weak order on tildeW/W among all dominant elements tildew ∈ tildeW/W : tildew^-1(0) ∈ S(b).