The following pages link to (Q4722840):
Displaying 6 items.
- A formalization of the Knuth-Bendix(-Huet) critical pair theorem (Q616850) (← links)
- A generalization of Borsuk's pasting theorem and its application (Q1601652) (← links)
- The ham sandwich theorem revisited (Q1802729) (← links)
- Verallgemeinerung der Sätze von Borsuk-Ulam und Lusternik-Schnirelmann-Borsuk auf nichtantipodische Punktepaare (Q2541596) (← links)
- On the Bihomogeneity Problem of Knaster (Q3488862) (← links)
- (Q5043127) (← links)