Inventory rows TK
The cards of the rows of the inventory whose ids start with TK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
μ-recursive function TK0R173WKE
| URI | m2://inv/TK0R173WKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q284164, μ-recursive function (unknown). Also EoM Recursive_function, MathWorld RecursiveFunction, nLab recursive function
History
- 2026-10-26: add by m2/dev
The Isoperimetric Theorem TK3A32GMVM
| URI | m2://inv/TK3A32GMVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 43, The Isoperimetric Theorem (statement)
History
- 2026-10-26: add by m2/dev
functional relation TK5PHAK8JQ
| URI | m2://inv/TK5PHAK8JQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110854274, functional relation (unknown). Also nLab functional relation
History
- 2026-10-26: add by m2/dev
Mikio Sato TK67YPE6RZ
| URI | m2://inv/TK67YPE6RZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q556143, Mikio Sato (unknown). Also nLab Mikio Sato
History
- 2026-10-26: add by m2/dev
inscribed square problem TK6V6D6PDW
| URI | m2://inv/TK6V6D6PDW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2264221, inscribed square problem (problem). Also MathWorld SquareInscribing
History
- 2026-10-26: add by m2/dev
Mertens' theorems TKGVZGBN9G
| URI | m2://inv/TKGVZGBN9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1196729, Mertens's theorems (statement). Also Wikidata Q1196729
- thousand_plus: thousand_plus Q1196729, Mertens's theorems (statement). Also Wikidata Q1196729, Wikipedia Mertens's theorems
- wikidata: Wikidata Q1196729, Mertens' theorems (unknown). Also MathWorld MertensTheorem
History
- 2026-10-26: add by m2/dev
non-measurable set TKHNVTFNS9
| URI | m2://inv/TKHNVTFNS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1055379, non-measurable set (definition). Also EoM Non-measurable_set, ProofWiki Definition:Non-Measurable_Set
History
- 2026-10-26: add by m2/dev
Derangements Formula TKN9X6CSAY
| URI | m2://inv/TKN9X6CSAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 88, Derangements Formula (statement). Also Mathlib card_derangements_eq_numDerangements, Mathlib numDerangements_sum
History
- 2026-10-26: add by m2/dev
root system TKQ4ETCN02
| URI | m2://inv/TKQ4ETCN02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q534131, root system (unknown). Also Mathlib RootPairing.IsRootSystem, MathWorld RootSystem
History
- 2026-10-26: add by m2/dev
Lev Landau TKRRB964MQ
| URI | m2://inv/TKRRB964MQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133267, Lev Landau (unknown). Also nLab Lev Landau
History
- 2026-10-26: add by m2/dev
pentahedron TKV3EJHMJM
| URI | m2://inv/TKV3EJHMJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282099, pentahedron (unknown). Also MathWorld Pentahedron
History
- 2026-10-26: add by m2/dev
exponent TKVF0JZFCT
| URI | m2://inv/TKVF0JZFCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2233915, exponent (unknown). Also MathWorld Exponent
History
- 2026-10-26: add by m2/dev
reciprocal Fibonacci constant TKVYFCAV42
| URI | m2://inv/TKVYFCAV42 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3772671, reciprocal Fibonacci constant (object). Also MathWorld ReciprocalFibonacciConstant, OEIS A079586, OEIS A079587
History
- 2026-10-26: add by m2/dev
Gorō Nishida TKXZVF1MSF
| URI | m2://inv/TKXZVF1MSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11629213, Gorō Nishida (unknown). Also nLab Goro Nishida
History
- 2026-10-26: add by m2/dev
reduced homology TKYJ07ATHH
| URI | m2://inv/TKYJ07ATHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7306331, reduced homology (unknown). Also nLab reduced homology
History
- 2026-10-26: add by m2/dev