Robertson-Seymour theorem en · PROPN
Etymology
Named after mathematicians Neil Robertson and Paul D. Seymour, who proved it in a series of papers from 1983 to 2004.
Meanings
- A theorem stating that the undirected graphs, partially ordered by the graph-minor relationship, form a well-quasi-ordering.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Robertson-Seymour theorem | canonical | lexicographic |