(P8416)
English
Dowker-Thistlethwaite name
unambiguous systematic identifier scheme for mathematical knots
Data type
Mathematical expression
Statements
(?:0|[1-9][0-9]*)[an]_\{[1-9][0-9]*\}
0 references
Constraints
0_\{1\}|[1-9][0-9]*[an]_\{[1-9][0-9]*\}
0 references