Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:theorem
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Brouwer_fixed-point_theorem
|
| gptkbp:applies_to |
finite simplices
|
| gptkbp:has_programs |
gptkb:battle
mathematical proofs fixed-point theory computational geometry |
| https://www.w3.org/2000/01/rdf-schema#label |
Sperner's lemma
|
| gptkbp:named_after |
gptkb:Emil_Sperner
|
| gptkbp:related_to |
Borsuk-Ulam theorem
|
| gptkbp:state |
the existence of a certain type of colored sub-simplex
|
| gptkbp:used_in |
combinatorial topology
|