Inventory rows 8D
The cards of the rows of the inventory whose ids start with 8D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8D00X2A8VK 8D00X2A8VK
| URI | m2://inv/8D00X2A8VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09990#UJ1K (statement). In CMG6TE1RDP/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Claire McKay Bowen 8D043EFR0N
| URI | m2://inv/8D043EFR0N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2MP0, Claire McKay Bowen (topic)
History
- 2026-11-02: add by m2/dev
compact object 8D077Z2Z7Y
| URI | m2://inv/8D077Z2Z7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65090869, compact object (unknown). Also nLab compact object
- wikipedia: Wikipedia Compact object (mathematics), Compact object (definition). Also Wikidata Q65090869
History
- 2026-10-26: add by m2/dev
8D0H9AR6TA 8D0H9AR6TA
| URI | m2://inv/8D0H9AR6TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.18564#C69J (statement). In MC8ZBZ14PM/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Example 8D0J9F25G6
| URI | m2://inv/8D0J9F25G6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph dynamical system#HJ15, Example (example)
History
- 2026-11-02: add by m2/dev
8D0KQAV2F0 8D0KQAV2F0
| URI | m2://inv/8D0KQAV2F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#ZH4N (statement). In 1QPAA94Q76/e1, proposition 30
History
- 2026-10-28: add by m2/v0.4.2
8D0MGPCCGK 8D0MGPCCGK
| URI | m2://inv/8D0MGPCCGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#3YW1 (definition). In FDYZFDHZH9/e1, definition 2.14
History
- 2026-10-31: add by m2/v0.5.6
8D0MZ7M4T7 8D0MZ7M4T7
| URI | m2://inv/8D0MZ7M4T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0910.5574#B2JA (statement). In 2TJRBRKYAY/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.3.5
8D0PF9GYSM 8D0PF9GYSM
| URI | m2://inv/8D0PF9GYSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#426F (statement). In GAG532VMPF/e1, lemma 4.3.5
History
- 2026-10-27: add by m2/v0.3.5
Coherent configuration 8D0SKG5VVQ
| URI | m2://inv/8D0SKG5VVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association scheme#PH1Z, Coherent configuration (unknown)
History
- 2026-11-02: add by m2/dev
8D0ZN2RT28 8D0ZN2RT28
| URI | m2://inv/8D0ZN2RT28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20740#QH27 (statement)
History
- 2026-11-02: add by m2/v0.6.18
The Black Swan: The Impact of the Highly Improbable 8D11FBDYW6
| URI | m2://inv/8D11FBDYW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Black Swan: The Impact of the Highly Improbable, The Black Swan: The Impact of the Highly Improbable (definition). Also Wikidata Q2397469
History
- 2026-11-02: add by m2/dev
Robin Hood hashing 8D1F5SHBSE
| URI | m2://inv/8D1F5SHBSE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash table#IF27, Robin Hood hashing (unknown)
History
- 2026-11-02: add by m2/dev
8D1JK1142X 8D1JK1142X
| URI | m2://inv/8D1JK1142X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#3FGQ (statement). In M4ZVJWM8YA/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
8D1PVF910J 8D1PVF910J
| URI | m2://inv/8D1PVF910J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30279#QL65 (statement). In DPWKG7FD0H/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
8D2CBJ0FRB 8D2CBJ0FRB
| URI | m2://inv/8D2CBJ0FRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#S01Q (statement). In F8RC6AENB0/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.3.5
List of geometers 8D2GPAE8P7
| URI | m2://inv/8D2GPAE8P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#WKVR, List of geometers (topic)
- wikipedia: Wikipedia Lists of mathematicians#DPO2, List of geometers (topic)
History
- 2026-11-02: add by m2/dev
Fitting lemma 8D2HHM9HMB
| URI | m2://inv/8D2HHM9HMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#UHW4, Fitting lemma (statement)
- wikipedia: Wikipedia List of lemmas#XEC4, Fitting lemma (statement)
History
- 2026-11-02: add by m2/dev
8D2M577JYX 8D2M577JYX
| URI | m2://inv/8D2M577JYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14985#ZR4R (statement). In DGXJW3SCBR/e1, lemma 35
History
- 2026-10-28: add by m2/v0.4.2
8D2PJHZ3ZJ 8D2PJHZ3ZJ
| URI | m2://inv/8D2PJHZ3ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#9DIH (statement). In KVXDWX9B11/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
Area of a word representing the identity 8D310DF0ZJ
| URI | m2://inv/8D310DF0ZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Kampen diagram#B4W3, Area of a word representing the identity (statement)
History
- 2026-11-02: add by m2/dev
${[a,b]}$-difference labelling 8D31WRH74S
| URI | m2://inv/8D31WRH74S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#LVQI, ${[a,b]}$-difference labelling (definition). In 459W0NBS5Q/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
8D35G7YA8S 8D35G7YA8S
| URI | m2://inv/8D35G7YA8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#8WT5 (definition). In M4JGP708F4/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
DSatur 8D3AC3H9H9
| URI | m2://inv/8D3AC3H9H9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DSatur, DSatur (definition). Also Wikidata Q65117050
History
- 2026-11-02: add by m2/dev
Sunshine Press Productions 8D3F9XRFE3
| URI | m2://inv/8D3F9XRFE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WikiLeaks#8QCL, Sunshine Press Productions (unknown)
History
- 2026-11-02: add by m2/dev
Properties 8D3GJB8ZWN
| URI | m2://inv/8D3GJB8ZWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix unit#W3IH, Properties (statement)
History
- 2026-11-02: add by m2/dev
8D3K5V395C 8D3K5V395C
| URI | m2://inv/8D3K5V395C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#example-4 (example). In RZP28ERRZV, example, section 99.2
History
- 2026-11-01: add by m2/v0.6.13
cardinality 8D3KTFBXQ4
| URI | m2://inv/8D3KTFBXQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LYYB, cardinality (definition)
History
- 2026-11-02: add by m2/dev
8D3M0H6WRZ 8D3M0H6WRZ
| URI | m2://inv/8D3M0H6WRZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#F3YG (definition). In 4SPYEGKZ8J/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Polynomial representation of batched queries 8D3N5HKHBZ
| URI | m2://inv/8D3N5HKHBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#0LLE, Polynomial representation of batched queries (statement). In X5BYGZZHPF/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.2
8D3TWGXSXB 8D3TWGXSXB
| URI | m2://inv/8D3TWGXSXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#2N9A (statement). In NRF7379N9J/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
description 8D41H4T4C2
| URI | m2://inv/8D41H4T4C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#MN38, description (definition)
History
- 2026-11-02: add by m2/dev
8D43ZYNKY0 8D43ZYNKY0
| URI | m2://inv/8D43ZYNKY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09897#HDFT (statement). In NYA085FW0M/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Beveridge, Frieze, McDiarmid 8D4BNEH539
| URI | m2://inv/8D4BNEH539 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#HLCW, Beveridge, Frieze, McDiarmid (statement)
History
- 2026-11-01: add by m2/v0.6.15
1025 (number) 8D4EKT1F4K
| URI | m2://inv/8D4EKT1F4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#L67B, 1025 (number) (unknown)
History
- 2026-11-02: add by m2/dev
8D4HC4885C 8D4HC4885C
| URI | m2://inv/8D4HC4885C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.07697#SAEM (definition). In 57P5P33HS3/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
8D4NKJM0E8 8D4NKJM0E8
| URI | m2://inv/8D4NKJM0E8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
8D4TXQ9G37 8D4TXQ9G37
| URI | m2://inv/8D4TXQ9G37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
8D4Y8CYSAQ 8D4Y8CYSAQ
| URI | m2://inv/8D4Y8CYSAQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#7HMX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Localization of a topological space 8D5A4D3PE2
| URI | m2://inv/8D5A4D3PE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization of a topological space, Localization of a topological space (definition). Also Wikidata Q6664613
History
- 2026-11-02: add by m2/dev
8D5EE84DBW 8D5EE84DBW
| URI | m2://inv/8D5EE84DBW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#UCLQ (example). In 7VXBVQ5SAC/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.10
Yves André 8D5G9QJHAP
| URI | m2://inv/8D5G9QJHAP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DFEG, Yves André (topic)
History
- 2026-11-02: add by m2/dev
Casorati–Weierstrass theorem 8D5P9Q9AHV
| URI | m2://inv/8D5P9Q9AHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Casorati–Weierstrass theorem 02HHNPC8ED |
Mentions
- mathlib_1000: mathlib_1000 Q2226962, Weierstrass–Casorati theorem (statement). Also Wikidata Q2226962
- thousand_plus: thousand_plus Q2226962, Weierstrass–Casorati theorem (statement). Also Wikidata Q2226962, Wikipedia Weierstrass–Casorati theorem
- wikipedia: Wikipedia Casorati–Weierstrass theorem, Casorati–Weierstrass theorem (statement). Also Wikidata Q2226962
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8D5QGMYXXR 8D5QGMYXXR
| URI | m2://inv/8D5QGMYXXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26948#JFAL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two channels 8D5W4G86JA
| URI | m2://inv/8D5W4G86JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06653#YD9F, Two channels (statement). In 9D2N76AJAT/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
8D5Y149BWZ 8D5Y149BWZ
| URI | m2://inv/8D5Y149BWZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#WAUM (example). In DGE917KQSQ/e1, example 6.1
History
- 2026-10-27: add by m2/v0.4.2
8D62C2CJ1F 8D62C2CJ1F
| URI | m2://inv/8D62C2CJ1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#SQM3 (statement). In 5CKPXBWSCX/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
8D62Q6TBNN 8D62Q6TBNN
| URI | m2://inv/8D62Q6TBNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-46 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
Ernst Kolman 8D62WWZQBM
| URI | m2://inv/8D62WWZQBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2XQB, Ernst Kolman (unknown)
History
- 2026-11-02: add by m2/dev
8D6DNAQGXV 8D6DNAQGXV
| URI | m2://inv/8D6DNAQGXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#U5MR (statement). In BDN507RN7J/e1, corollary 4.5.6
History
- 2026-10-30: add by m2/v0.4.12
Nicholas J. Higham 8D6HDYVWV4
| URI | m2://inv/8D6HDYVWV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0MOV, Nicholas J. Higham (unknown)
History
- 2026-11-02: add by m2/dev
Samuel Earnshaw 8D6RY32NH3
| URI | m2://inv/8D6RY32NH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Earnshaw, Samuel Earnshaw (topic). Also Wikidata Q1386175
History
- 2026-11-02: add by m2/dev
convex function 8D6V5RJ01K
| URI | m2://inv/8D6V5RJ01K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Convex function 07Q7CNM5WF |
Mentions
- wikidata: Wikidata Q319913, convex function (unknown). Also MathWorld ConvexFunction, nLab convex function
- wikipedia: Wikipedia Convex function, Convex function (definition). Also Wikidata Q319913
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8D6W3DX6RP 8D6W3DX6RP
| URI | m2://inv/8D6W3DX6RP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#H4SY (definition). In 6M5WR7KB80/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.3
8D701ZCX2V 8D701ZCX2V
| URI | m2://inv/8D701ZCX2V |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#9K37 (problem). In SHCQDPCF2J/e1, problem 2.7
History
- 2026-10-29: add by m2/v0.4.12
Anonym.OS 8D73HWQ87E
| URI | m2://inv/8D73HWQ87E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anonym.OS, Anonym.OS (definition). Also Wikidata Q2852310
History
- 2026-11-02: add by m2/dev
Monotonic Law for Addition 8D7500WXQB
| URI | m2://inv/8D7500WXQB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_prop-integers.ptx#theorem-4, Monotonic Law for Addition (statement). In QKM9DD2H56, theorem, section B.15
History
- 2026-11-01: add by m2/v0.6.13
8D7ENTVJNE 8D7ENTVJNE
| URI | m2://inv/8D7ENTVJNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#27OR (statement). In F8RC6AENB0/e1, proposition 3.11
History
- 2026-10-27: add by m2/v0.3.5
Barbara Branden 8D7F6Q2JTR
| URI | m2://inv/8D7F6Q2JTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#H0BB, Barbara Branden (unknown)
History
- 2026-11-02: add by m2/dev
Coding theorem converse 8D7H8HJZF1
| URI | m2://inv/8D7H8HJZF1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive white Gaussian noise#AI32, Coding theorem converse (statement)
History
- 2026-11-02: add by m2/dev
8D7J7MEV26 8D7J7MEV26
| URI | m2://inv/8D7J7MEV26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09483#FNIV (statement). In N1MQ8F9JN6/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
8D7RCKA7XW 8D7RCKA7XW
| URI | m2://inv/8D7RCKA7XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12852#RBL5 (statement). In 1NRV3J17T7/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Hans Georg Feichtinger 8D874HKPR5
| URI | m2://inv/8D874HKPR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Georg Feichtinger, Hans Georg Feichtinger (topic). Also Wikidata Q89345
History
- 2026-11-02: add by m2/dev
8D885WYJFR 8D885WYJFR
| URI | m2://inv/8D885WYJFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20899#R8TH (statement). In BSMDFADA39/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
Filtered Random Dynamical System 8D88R33164
| URI | m2://inv/8D88R33164 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#F1D6, Filtered Random Dynamical System (definition). In PGV1116XX4/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Fort space 8D88ZFKTS9
| URI | m2://inv/8D88ZFKTS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fort space, Fort space (definition). Also Wikidata Q5472501
History
- 2026-11-02: add by m2/dev
8D894ZNF6X 8D894ZNF6X
| URI | m2://inv/8D894ZNF6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#20V4 (statement). In D6XA7JXZF3/e1, theorem 3.13
History
- 2026-10-27: add by m2/v0.3.5
Cesàro summation 8D8B3KS32N
| URI | m2://inv/8D8B3KS32N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#YKC8, Cesàro summation (definition)
History
- 2026-11-02: add by m2/dev
Definition 8D8C2KP110
| URI | m2://inv/8D8C2KP110 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Salam–Chihara polynomials#LEW9, Definition (definition)
History
- 2026-11-02: add by m2/dev
8D8EEQPYTJ 8D8EEQPYTJ
| URI | m2://inv/8D8EEQPYTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#8AV9 (statement). In 69QFBXJENW/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
8D8F2B5T2D 8D8F2B5T2D
| URI | m2://inv/8D8F2B5T2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#HMJS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement 8D8JTD6VMF
| URI | m2://inv/8D8JTD6VMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruguières modularity theorem#05M2, Statement (statement)
History
- 2026-11-02: add by m2/dev
8D8NGZ37FK 8D8NGZ37FK
| URI | m2://inv/8D8NGZ37FK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#29EU (statement). In X1J5HKPS3R/e1, proposition 1.18
History
- 2026-10-29: add by m2/v0.4.10
Schwarz triangle 8D91RP51SB
| URI | m2://inv/8D91RP51SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#NYVK, Schwarz triangle (definition)
History
- 2026-11-02: add by m2/dev
Albertson Index 8D949A2PR6
| URI | m2://inv/8D949A2PR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20364#GN6J, Albertson Index (statement). In 433NXYKPG3/e1, corollary 7
History
- 2026-10-27: add by m2/v0.4.2
Sergei Godunov 8D95G3RZB2
| URI | m2://inv/8D95G3RZB2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Godunov, Sergei Godunov (topic). Also Wikidata Q324083
History
- 2026-11-02: add by m2/dev
Directed percolation 8D9FPRFWNR
| URI | m2://inv/8D9FPRFWNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed percolation, Directed percolation (definition). Also Wikidata Q5280413
History
- 2026-11-02: add by m2/dev
2D computer graphics 8D9FWRVMG5
| URI | m2://inv/8D9FWRVMG5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#8VH6, 2D computer graphics (unknown)
History
- 2026-11-02: add by m2/dev
Definition 8D9G3BHF2T
| URI | m2://inv/8D9G3BHF2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating multilinear map#PY8T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wedderburn's little theorem 8D9GQEMKSN
| URI | m2://inv/8D9GQEMKSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#TKFA, Wedderburn's little theorem (statement)
History
- 2026-11-02: add by m2/dev
Kolmogorov equations 8D9NMQQP2K
| URI | m2://inv/8D9NMQQP2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov equations, Kolmogorov equations (definition). Also Wikidata Q3730881
History
- 2026-11-02: add by m2/dev
Norman Macleod Ferrers 8DA1YQ4CSK
| URI | m2://inv/8DA1YQ4CSK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman Macleod Ferrers, Norman Macleod Ferrers (topic). Also Wikidata Q2270276
History
- 2026-11-02: add by m2/dev
Martin Klazar 8DA2DBQ4JG
| URI | m2://inv/8DA2DBQ4JG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Klazar, Martin Klazar (topic). Also Wikidata Q102290510
History
- 2026-11-02: add by m2/dev
8DA2H26T9G 8DA2H26T9G
| URI | m2://inv/8DA2H26T9G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#3S5J (definition). In WSG1ZW956E/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Cat's cradle 8DA58JH0KY
| URI | m2://inv/8DA58JH0KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cat's cradle, Cat's cradle (definition). Also Wikidata Q15304688
History
- 2026-11-02: add by m2/dev
8DA7VH31PC 8DA7VH31PC
| URI | m2://inv/8DA7VH31PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#5J8P (statement). In 3A4K47Y9F2/e1, lemma 4.17
History
- 2026-10-27: add by m2/v0.4.0
8DA82NM9QD 8DA82NM9QD
| URI | m2://inv/8DA82NM9QD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Lower side with a diffusive window 8DAEPC6PJ1
| URI | m2://inv/8DAEPC6PJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#A2AG, Lower side with a diffusive window (statement). In NKW6YQ04QW/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
8DAHAC2WB8 8DAHAC2WB8
| URI | m2://inv/8DAHAC2WB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#XCS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8DAMYNW1Q0 8DAMYNW1Q0
| URI | m2://inv/8DAMYNW1Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/idea.tex#defValphas (definition). In PKGMM3P5QY, defn, section 74.3
History
- 2026-11-01: add by m2/v0.6.13
Examples 8DARFBDMC8
| URI | m2://inv/8DARFBDMC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#G1M4, Examples (example)
History
- 2026-11-02: add by m2/dev
CKM matrix 8DAV0TSZYB
| URI | m2://inv/8DAV0TSZYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cabibbo–Kobayashi–Maskawa matrix#5GRO, CKM matrix (unknown)
History
- 2026-11-02: add by m2/dev
8DAWBDT6A1 8DAWBDT6A1
| URI | m2://inv/8DAWBDT6A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#WHO2 (statement). In PA3B6C0WY7/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Cohen, Joel E. 8DAX4QQFP8
| URI | m2://inv/8DAX4QQFP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NUEW, Cohen, Joel E. (unknown)
History
- 2026-11-02: add by m2/dev
8DAZV580E8 8DAZV580E8
| URI | m2://inv/8DAZV580E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39824#VS52 (statement). In REPGS464V6/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Principal angles 8DB6QGJVWF
| URI | m2://inv/8DB6QGJVWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#2SGB, Principal angles (statement). In DRRKZR6CQC/e1, lemma A.10
History
- 2026-10-27: add by m2/v0.4.2
equivalent norms 8DBAMF84XW
| URI | m2://inv/8DBAMF84XW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Equivalent norms 0J3578562S |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > equivalent norms, equivalent norms (unknown)
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Pythagorean identity 8DBEV61CMB
| URI | m2://inv/8DBEV61CMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#YMQA, Pythagorean identity (statement)
History
- 2026-11-02: add by m2/dev
8DBFADX2Z1 8DBFADX2Z1
| URI | m2://inv/8DBFADX2Z1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#NCU5 (statement). In YRJS76169Z/e1, lemma 4.16
History
- 2026-10-27: add by m2/v0.4.2
8DBJ8WTDJ8 8DBJ8WTDJ8
| URI | m2://inv/8DBJ8WTDJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#QJBU (statement)
History
- 2026-11-01: add by m2/v0.6.15
8DBMGS32JJ 8DBMGS32JJ
| URI | m2://inv/8DBMGS32JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0411039#NUVG (statement). In ZTBDXSKFFW/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Inverse-square convergence with deterministic epochs 8DBPHFQYEW
| URI | m2://inv/8DBPHFQYEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06557#O8BJ, Inverse-square convergence with deterministic epochs (statement). In VV5CH6Y31D/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Meshulam's game 8DBREH99EH
| URI | m2://inv/8DBREH99EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meshulam's game, Meshulam's game (definition). Also Wikidata Q97353752
History
- 2026-11-02: add by m2/dev
Rinat Kedem 8DBXJBN077
| URI | m2://inv/8DBXJBN077 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#93T2, Rinat Kedem (topic)
History
- 2026-11-02: add by m2/dev
least common multiple 8DBZKFN128
| URI | m2://inv/8DBZKFN128 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#JEO7, least common multiple (definition)
History
- 2026-11-02: add by m2/dev
8DC8C2XD9F 8DC8C2XD9F
| URI | m2://inv/8DC8C2XD9F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_binom-app.ptx#t_sqrt (statement). In QKM9DD2H56, theorem, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Algorithms for calculating variance 8DC8EGMMZV
| URI | m2://inv/8DC8EGMMZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#EGXN, Algorithms for calculating variance (definition)
History
- 2026-11-02: add by m2/dev
The explicit real--imaginary path formula 8DCFKD6Y1W
| URI | m2://inv/8DCFKD6Y1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#H6LW, The explicit real--imaginary path formula (statement). In 42XHT97E64/e1, corollary 8.5
History
- 2026-10-29: add by m2/v0.4.12
Creep 8DCQK6EG7D
| URI | m2://inv/8DCQK6EG7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creep (deformation), Creep (definition). Also Wikidata Q462188
History
- 2026-11-02: add by m2/dev
8DCXKZS13E 8DCXKZS13E
| URI | m2://inv/8DCXKZS13E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24640#913A (statement)
History
- 2026-11-01: add by m2/v0.6.15
K-way merge algorithm 8DCZD14AX4
| URI | m2://inv/8DCZD14AX4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#X74R, K-way merge algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 2 8DDCPDNFVJ
| URI | m2://inv/8DDCPDNFVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi automaton#FPKA, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Geometry-adapted softmax and gradient stability 8DDFJ846Y2
| URI | m2://inv/8DDFJ846Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#DU2X, Geometry-adapted softmax and gradient stability (statement). In TTEAQA1XXR/e1, lemma B.9
History
- 2026-10-28: add by m2/v0.4.3
Constructions 8DDGR1B76Y
| URI | m2://inv/8DDGR1B76Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular polytope#GONY, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Jackson integral 8DE5S66X00
| URI | m2://inv/8DE5S66X00 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jackson integral 7EMPA6M8S7 |
Mentions
- wikidata: Wikidata Q6117826, Jackson integral (concept). Also MathWorld q-Integral
- wikipedia: Wikipedia Jackson integral, Jackson integral (definition). Also Wikidata Q6117826
History
- 2026-10-26: add by m2/dev
8DE6KPM3KH 8DE6KPM3KH
| URI | m2://inv/8DE6KPM3KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#HWBE (statement). In YY4KFNMPC0/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
8DEA1JJVYC 8DEA1JJVYC
| URI | m2://inv/8DEA1JJVYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#UIYF (statement). In WRE0P7V6Z3/e1, lemma 14.3
History
- 2026-10-30: add by m2/v0.4.12
8DECFW99BG 8DECFW99BG
| URI | m2://inv/8DECFW99BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#YVO7 (statement). In QR8H4M1X4N/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Roger Heath-Brown 8DED5TTV4Y
| URI | m2://inv/8DED5TTV4Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TG2J, Roger Heath-Brown (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IBU2, Roger Heath-Brown (topic)
History
- 2026-11-02: add by m2/dev
Freemat 8DENP89HXZ
| URI | m2://inv/8DENP89HXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#5GCD, Freemat (unknown)
History
- 2026-11-02: add by m2/dev
8DF3Y14E62 8DF3Y14E62
| URI | m2://inv/8DF3Y14E62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#WT1U (statement)
History
- 2026-11-02: add by m2/v0.6.17
8DF4GAKMPE 8DF4GAKMPE
| URI | m2://inv/8DF4GAKMPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11535#R1OI (statement). In 7TY4S2YSVN/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Glen E. Baxter 8DFC3ZQCMG
| URI | m2://inv/8DFC3ZQCMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glen E. Baxter, Glen E. Baxter (topic). Also Wikidata Q5567592
History
- 2026-11-02: add by m2/dev
8DFFNW7P8V 8DFFNW7P8V
| URI | m2://inv/8DFFNW7P8V |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#4MP9 (conjecture). In 12JKZ8EN52/e1, conjecture 8.10
History
- 2026-10-27: add by m2/v0.3.5
The threshold is $r=1$ 8DFNP0HBZP
| URI | m2://inv/8DFNP0HBZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18445#5GVU, The threshold is $r=1$ (statement). In X63FGXZP4F/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
B* 8DG3VWW9EE
| URI | m2://inv/8DG3VWW9EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B*, B* (definition). Also Wikidata Q4833637
History
- 2026-11-02: add by m2/dev
Faxén integral 8DG77PYMVF
| URI | m2://inv/8DG77PYMVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faxén integral, Faxén integral (definition). Also Wikidata Q116267011
History
- 2026-11-02: add by m2/dev
8DGF7QBBM4 8DGF7QBBM4
| URI | m2://inv/8DGF7QBBM4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#IYQW (example). In M0SQY5EZN5/e1, example 1.2.2
History
- 2026-10-27: add by m2/v0.3.5
Lifting of \(a\)-joins 8DGGQ9TRBQ
| URI | m2://inv/8DGGQ9TRBQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#EZ7F, Lifting of \(a\)-joins (definition). In HX63A1PH1W/e1, definition 5.13
History
- 2026-10-28: add by m2/v0.4.3
Bounded Betti number theorem 8DGNZTJMT6
| URI | m2://inv/8DGNZTJMT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18530#26ZB, Bounded Betti number theorem (statement). In HSXWVKPCQV/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Sampling distribution 8DGQ2YHPVS
| URI | m2://inv/8DGQ2YHPVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling distribution, Sampling distribution (definition). Also Wikidata Q3773214
History
- 2026-11-02: add by m2/dev
Sorgenfrey plane 8DGXDFFK8V
| URI | m2://inv/8DGXDFFK8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#IZNV, Sorgenfrey plane (definition)
History
- 2026-11-02: add by m2/dev
8DH1CAFCQ4 8DH1CAFCQ4
| URI | m2://inv/8DH1CAFCQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#75SD (statement). In RYFV9HGWWZ/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
Tracking 8DH47HXZQM
| URI | m2://inv/8DH47HXZQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#F5Y3, Tracking (statement)
History
- 2026-11-02: add by m2/v0.6.17
8DHBCS9APV 8DHBCS9APV
| URI | m2://inv/8DHBCS9APV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
8DHCQM1DW9 8DHCQM1DW9
| URI | m2://inv/8DHCQM1DW9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0812.1600#5GR9 (definition). In 7Z12QX7837/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
Schubert variety 8DHDFSEBHJ
| URI | m2://inv/8DHDFSEBHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schubert variety Z014Q8KPDD |
Mentions
- wikidata: Wikidata Q7432938, Schubert variety (unknown). Also MathWorld SchubertVariety, nLab Schubert variety
- wikipedia: Wikipedia Schubert variety, Schubert variety (definition). Also Wikidata Q7432938
History
- 2026-10-26: add by m2/dev
8DHNAZ4ABG 8DHNAZ4ABG
| URI | m2://inv/8DHNAZ4ABG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#BUJF (statement). In NBMA6DBKJG/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Generalized flag variety 8DHSEESH6D
| URI | m2://inv/8DHSEESH6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized flag variety, Generalized flag variety (definition). Also Wikidata Q938283
History
- 2026-11-02: add by m2/dev
cyclotomic polynomials in $\Q[X]$ 8DHTYWRYSB
| URI | m2://inv/8DHTYWRYSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > cyclotomic polynomials in $\Q[X]$, cyclotomic polynomials in $\Q[X]$ (unknown). Also Mathlib Polynomial.cyclotomic
History
- 2026-10-26: add by m2/dev
Reidemeister–Singer Theorem 8DHZR9QQY4
| URI | m2://inv/8DHZR9QQY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LMAG, Reidemeister–Singer Theorem (definition)
History
- 2026-11-02: add by m2/dev
8DJ09NN2ZB 8DJ09NN2ZB
| URI | m2://inv/8DJ09NN2ZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13846#4J2Q (statement). In DN3HGHGRYJ/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Reissner–Mindlin plate theory 8DJ48GSJFQ
| URI | m2://inv/8DJ48GSJFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reissner–Mindlin plate theory, Reissner–Mindlin plate theory (topic). Also Wikidata Q3564249
History
- 2026-11-02: add by m2/dev
Survey sampling 8DJ6N7771F
| URI | m2://inv/8DJ6N7771F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#991V, Survey sampling (definition)
History
- 2026-11-02: add by m2/dev
8DJCY0DNWD 8DJCY0DNWD
| URI | m2://inv/8DJCY0DNWD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-15 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
William Henry Roever 8DJDEJ2S4Y
| URI | m2://inv/8DJDEJ2S4Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0EAH, William Henry Roever (topic)
History
- 2026-11-02: add by m2/dev
Last-column decoding 8DJPKWAYEQ
| URI | m2://inv/8DJPKWAYEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#RN2X, Last-column decoding (statement). In KZ175036B5/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Principle of sufficient reason 8DJQWHVEEW
| URI | m2://inv/8DJQWHVEEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic philosophy#WTPL, Principle of sufficient reason (statement)
History
- 2026-11-02: add by m2/dev
Derivatives of the primal family 8DJST4QXJV
| URI | m2://inv/8DJST4QXJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#QTXC, Derivatives of the primal family (statement). In JY6RYSNXMJ/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.10
Transversality condition 8DJWF3ZWXB
| URI | m2://inv/8DJWF3ZWXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversality condition, Transversality condition (definition). Also Wikidata Q105038016
History
- 2026-11-02: add by m2/dev
8DJXDHE3Q8 8DJXDHE3Q8
| URI | m2://inv/8DJXDHE3Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#8M66 (statement). In GX0K0ZM700/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Applications 8DK2M0H6AM
| URI | m2://inv/8DK2M0H6AM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Daubechies–Feauveau wavelet#1F2G, Applications (example)
History
- 2026-11-02: add by m2/dev
Aleksandrov's disintegration theorem 8DK69GW56A
| URI | m2://inv/8DK69GW56A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15472#82RY, Aleksandrov's disintegration theorem (statement). In 5Z3FH46YSY/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
8DK6SSXC6Q 8DK6SSXC6Q
| URI | m2://inv/8DK6SSXC6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#3W5J (statement). In TJH58FRGEN/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Diagonal subgroup 8DK876WD4J
| URI | m2://inv/8DK876WD4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal subgroup, Diagonal subgroup (definition). Also Wikidata Q5270371
History
- 2026-11-02: add by m2/dev
8DKAC4GQMN 8DKAC4GQMN
| URI | m2://inv/8DKAC4GQMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#SJQD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 8DKAQTKTCG
| URI | m2://inv/8DKAQTKTCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#A7FF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Projective dimension 8DKDWQY84J
| URI | m2://inv/8DKDWQY84J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective module#OU1B, Projective dimension (unknown)
History
- 2026-11-02: add by m2/dev
8DKKCP09DR 8DKKCP09DR
| URI | m2://inv/8DKKCP09DR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.05417#2UWM (example). In RGHZ863Q26/e1, example 1.2
History
- 2026-10-27: add by m2/v0.3.5
Munn semigroup 8DKMEZVAZD
| URI | m2://inv/8DKMEZVAZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Munn semigroup, Munn semigroup (definition). Also Wikidata Q6936774
History
- 2026-11-02: add by m2/dev
complete lattice 8DKNMVNBXJ
| URI | m2://inv/8DKNMVNBXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complete lattice D7A0ZGZT5S |
Mentions
- wikidata: Wikidata Q2362924, complete lattice (definition). Also MathWorld CompleteLattice, nLab complete lattice, ProofWiki Definition:Complete_Lattice
- wikipedia: Wikipedia Complete lattice, Complete lattice (definition). Also Wikidata Q2362924
History
- 2026-10-26: add by m2/dev
Examples 8DKP504KNP
| URI | m2://inv/8DKP504KNP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability mass function#FWHX, Examples (example)
History
- 2026-11-02: add by m2/dev
Commutation identity II 8DKR9JR336
| URI | m2://inv/8DKR9JR336 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Jordan algebra#28YW, Commutation identity II (statement)
History
- 2026-11-02: add by m2/dev
Properties 8DKSTA8J9G
| URI | m2://inv/8DKSTA8J9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois connection#AB7S, Properties (statement)
History
- 2026-11-02: add by m2/dev
KL chain rule; Theorem 2.5.3 8DM9DDTGKY
| URI | m2://inv/8DM9DDTGKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#0JVY, KL chain rule; Theorem 2.5.3 (statement). In 7D5MMP8XB5/e1, fact 2.7
History
- 2026-10-28: add by m2/v0.4.2
Oriented CM-packet reciprocity 8DM9EPXSZC
| URI | m2://inv/8DM9EPXSZC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26196#HQBS, Oriented CM-packet reciprocity (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
semi-Fredholmness 8DMB7MAEWJ
| URI | m2://inv/8DMB7MAEWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01883#IPNV, semi-Fredholmness (statement). In CYV4P9TDV0/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
8DMF1YGZWJ 8DMF1YGZWJ
| URI | m2://inv/8DMF1YGZWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#85L6 (statement). In W4TYN4PGE8/e1, theorem 6.12
History
- 2026-10-27: add by m2/v0.3.5
path, fibration 8DMNAW3QEW
| URI | m2://inv/8DMNAW3QEW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/path-fibration, path, fibration (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Continuous computability theory 8DMPMXK582
| URI | m2://inv/8DMPMXK582 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computability theory#0MP8, Continuous computability theory (unknown)
History
- 2026-11-02: add by m2/dev
Katz 8DMSS25ZF5
| URI | m2://inv/8DMSS25ZF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#QRV0, Katz (statement). In GYMGDQS25R/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.10
orthocentric system 8DMVWEVYD9
| URI | m2://inv/8DMVWEVYD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Orthocentric system 8K5FT58EK5 |
Mentions
- wikidata: Wikidata Q897296, orthocentric system (unknown). Also MathWorld OrthocentricSystem
- wikipedia: Wikipedia Orthocentric system, Orthocentric system (definition). Also Wikidata Q897296
History
- 2026-10-26: add by m2/dev
8DMWMM9C11 8DMWMM9C11
| URI | m2://inv/8DMWMM9C11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#CZZS (statement). In XXQAW3ZBDF/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
8DMZRWNT6X 8DMZRWNT6X
| URI | m2://inv/8DMZRWNT6X |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#E3ZU (unknown). In BDN507RN7J/e1, unknown 2.1.1
History
- 2026-10-30: add by m2/v0.4.12
8DN1PHJPT9 8DN1PHJPT9
| URI | m2://inv/8DN1PHJPT9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 1.5.1
History
- 2026-11-01: add by m2/v0.6.13
Cherry picking 8DN55C9C0Z
| URI | m2://inv/8DN55C9C0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cherry picking, Cherry picking (definition). Also Wikidata Q3006765
History
- 2026-11-02: add by m2/dev
8DNBH4RRT8 8DNBH4RRT8
| URI | m2://inv/8DNBH4RRT8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.0817#EQCE (definition). In 569FZDANV3/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
Smolyak combination identity 8DNCB6514X
| URI | m2://inv/8DNCB6514X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#9W9O, Smolyak combination identity (statement). In K8JMTRS42G/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
8DNKMP6B71 8DNKMP6B71
| URI | m2://inv/8DNKMP6B71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#Z7Y4 (statement). In Q5Z178SAHP/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Characterizations 8DNZZ5K2RV
| URI | m2://inv/8DNZZ5K2RV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (functional analysis)#RCAU, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Totally bounded set 8DP6GXMQVV
| URI | m2://inv/8DP6GXMQVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#JUS3, Totally bounded set (definition)
History
- 2026-11-02: add by m2/dev
Median (geometry) 8DPH7QAQCX
| URI | m2://inv/8DPH7QAQCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#DV6C, Median (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Von Neumann algebra 8DPKT69KF5
| URI | m2://inv/8DPKT69KF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#X0VU, Von Neumann algebra (definition)
History
- 2026-11-02: add by m2/dev
proper map 8DPNDRE0WT
| URI | m2://inv/8DPNDRE0WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Proper map 15XEBGNGHC |
Mentions
- wikidata: Wikidata Q1090009, proper map (unknown). Also EoM Proper_map, MathWorld ProperMap, nLab proper map
- wikipedia: Wikipedia Proper map, Proper map (definition). Also Wikidata Q1090009
History
- 2026-10-26: add by m2/dev
8DPPQDWYRW 8DPPQDWYRW
| URI | m2://inv/8DPPQDWYRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#6GPE (statement). In MFCW5CY96C/e1, lemma 40
History
- 2026-10-28: add by m2/v0.4.2
Middle-square method 8DPQTEFP08
| URI | m2://inv/8DPQTEFP08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#YN30, Middle-square method (unknown)
History
- 2026-11-02: add by m2/dev
⌊⌉ 8DPYXV5MJZ
| URI | m2://inv/8DPYXV5MJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#T58S, ⌊⌉ (definition)
History
- 2026-11-02: add by m2/dev
Binomial coefficient 8DQ5MCPS92
| URI | m2://inv/8DQ5MCPS92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#SVJH, Binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
8DQ9ADNNVK 8DQ9ADNNVK
| URI | m2://inv/8DQ9ADNNVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01946#0TBX (statement). In NB1Z31FMXN/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
8DQAGXH9E4 8DQAGXH9E4
| URI | m2://inv/8DQAGXH9E4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09084#U597 (statement). In F5VT2K2QYX/e1, lemma 31
History
- 2026-10-29: add by m2/v0.4.10
Seven Mile Creek, Wisconsin 8DQBBB2DZR
| URI | m2://inv/8DQBBB2DZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#C2TY, Seven Mile Creek, Wisconsin (unknown)
History
- 2026-11-02: add by m2/dev
Converse 8DQC0EAH0N
| URI | m2://inv/8DQC0EAH0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viviani's theorem#FZQX, Converse (statement)
History
- 2026-11-02: add by m2/dev
Statement 8DQD1V6W5R
| URI | m2://inv/8DQD1V6W5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olbers' paradox#5P9T, Statement (statement)
History
- 2026-11-02: add by m2/dev
Two obstructions to geometric decay 8DQE0B9DS9
| URI | m2://inv/8DQE0B9DS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#GV71, Two obstructions to geometric decay (statement). In 6FY8BVP1F3/e1, proposition H.5
History
- 2026-10-29: add by m2/v0.4.12
Andrew Reid 8DQM37BJ51
| URI | m2://inv/8DQM37BJ51 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Reid (writer), Andrew Reid (topic). Also Wikidata Q18783556
History
- 2026-11-02: add by m2/dev
deductive validity 8DQMDW96TX
| URI | m2://inv/8DQMDW96TX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SGZ2, deductive validity (definition)
History
- 2026-11-02: add by m2/dev
Results 8DQMS7K5YX
| URI | m2://inv/8DQMS7K5YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia San Francisco Proposition G (March 2024)#ZY2M, Results (statement)
History
- 2026-11-02: add by m2/dev
vertex cover number 8DQS47V5M7
| URI | m2://inv/8DQS47V5M7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93605406, vertex cover number (unknown). Also MathWorld VertexCoverNumber
History
- 2026-10-26: add by m2/dev
8DQVYXABY3 8DQVYXABY3
| URI | m2://inv/8DQVYXABY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30203#Z797 (statement)
History
- 2026-11-01: add by m2/v0.6.15
qubit 8DQWEJKF2G
| URI | m2://inv/8DQWEJKF2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q378201, qubit (unknown). Also MathWorld Qubit
- wikipedia: Wikipedia Qubit, Qubit (definition). Also Wikidata Q378201
History
- 2026-10-26: add by m2/dev
Multiplicity-one theorem 8DQZ44XESD
| URI | m2://inv/8DQZ44XESD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6935007, Multiplicity-one theorem (statement). Also Wikidata Q6935007
- thousand_plus: thousand_plus Q6935007, Multiplicity-one theorem (statement). Also Wikidata Q6935007, Wikipedia Multiplicity-one theorem
- wikipedia: Wikipedia Multiplicity-one theorem, Multiplicity-one theorem (statement). Also Wikidata Q6935007
History
- 2026-10-26: add by m2/dev
Mehler–Heine formula 8DQZ8GV0QF
| URI | m2://inv/8DQZ8GV0QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi polynomials#W65Y, Mehler–Heine formula (statement)
History
- 2026-11-02: add by m2/dev
Natural Number Type Predicate $\textsf{Nat}_i$ 8DR1DRG9VY
| URI | m2://inv/8DR1DRG9VY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#QWAM, Natural Number Type Predicate $\textsf{Nat}_i$ (definition). In CPYWHRTPKC/e1, definition 7.7
History
- 2026-10-27: add by m2/v0.4.2
8DR1HSC4KJ 8DR1HSC4KJ
| URI | m2://inv/8DR1HSC4KJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35095#SVTT (definition). In MM3XTWS35F/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Pointwise representation 8DR1YEX35Y
| URI | m2://inv/8DR1YEX35Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20060#O2KU, Pointwise representation (statement)
History
- 2026-11-02: add by m2/v0.6.18
Grace Wahba 8DR39H4FZP
| URI | m2://inv/8DR39H4FZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZF9J, Grace Wahba (topic)
History
- 2026-11-02: add by m2/dev
8DR8HBN4CN 8DR8HBN4CN
| URI | m2://inv/8DR8HBN4CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#88XF (statement). In 628PJKD3EV/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
8DRABAMC67 8DRABAMC67
| URI | m2://inv/8DRABAMC67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#LRMN (statement). In F5XF5VXTXY/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Floquet's theorem 8DRAZRA489
| URI | m2://inv/8DRAZRA489 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3HZ1, Floquet's theorem (topic)
History
- 2026-11-02: add by m2/dev
8DREW8EXZB 8DREW8EXZB
| URI | m2://inv/8DREW8EXZB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.20176#DY4X (example). In CX4WDA2KAR/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
Rudolf Kochendörffer 8DRHNNYYQQ
| URI | m2://inv/8DRHNNYYQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#VQZX, Rudolf Kochendörffer (topic)
History
- 2026-11-02: add by m2/dev
8DRHQXD7BY 8DRHQXD7BY
| URI | m2://inv/8DRHQXD7BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#H44U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 8DRJMF7QSG
| URI | m2://inv/8DRJMF7QSG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean expression#8S6Y, Examples (example)
History
- 2026-11-02: add by m2/dev
8DRW2ND8D1 8DRW2ND8D1
| URI | m2://inv/8DRW2ND8D1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00323#75NI (definition). In BPRFEQY7W4/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.6
Properties 8DSGRNW8T4
| URI | m2://inv/8DSGRNW8T4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbelos#9VLT, Properties (statement)
History
- 2026-11-02: add by m2/dev
8DSKY07TPB 8DSKY07TPB
| URI | m2://inv/8DSKY07TPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#QR2T (statement). In W6Y6NPK648/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.3.5
Prékopa–Leindler inequality 8DSTMXQ3JS
| URI | m2://inv/8DSTMXQ3JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#6CSM, Prékopa–Leindler inequality (statement)
History
- 2026-11-02: add by m2/dev
Gauge theory 8DSYNZ09X4
| URI | m2://inv/8DSYNZ09X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#XYM9, Gauge theory (definition)
History
- 2026-11-02: add by m2/dev
Paradoxes of material implication 8DTQ4WW9HE
| URI | m2://inv/8DTQ4WW9HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxes of material implication, Paradoxes of material implication (definition). Also Wikidata Q1848046
History
- 2026-11-02: add by m2/dev
Soundness of deductive arguments 8DTXY1AZAC
| URI | m2://inv/8DTXY1AZAC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deductive reasoning#ZCBV, Soundness of deductive arguments (unknown)
History
- 2026-11-02: add by m2/dev
8DTZQX1FR1 8DTZQX1FR1
| URI | m2://inv/8DTZQX1FR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#D0PY (statement). In QHFP0837Q8/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.12
8DV3M8N09V 8DV3M8N09V
| URI | m2://inv/8DV3M8N09V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20911#YTZU (statement). In FF3MV70E7Z/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.2
Example 8DV8PG3W6S
| URI | m2://inv/8DV8PG3W6S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensionality#694W, Example (example)
History
- 2026-11-02: add by m2/dev
Cumulative distribution function 8DVB5WTFHM
| URI | m2://inv/8DVB5WTFHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#X89F, Cumulative distribution function (definition)
History
- 2026-11-02: add by m2/dev
8DVN7298YG 8DVN7298YG
| URI | m2://inv/8DVN7298YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#E9K0 (statement). In K7VY50VFK6/e1, theorem 14.1
History
- 2026-10-28: add by m2/v0.4.2
8DVNXBR08G 8DVNXBR08G
| URI | m2://inv/8DVNXBR08G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#SUU8 (statement). In TB1294GY5X/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
Codress message 8DVV1BSQNF
| URI | m2://inv/8DVV1BSQNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#J0T3, Codress message (definition)
History
- 2026-11-02: add by m2/dev
Oskar Bolza 8DW2ADXTGH
| URI | m2://inv/8DW2ADXTGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#036D, Oskar Bolza (topic)
History
- 2026-11-02: add by m2/dev
8DW4HAXNPW 8DW4HAXNPW
| URI | m2://inv/8DW4HAXNPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#S8KF (statement). In S7PNTM0GZC/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
8DW6E9Z3ZY 8DW6E9Z3ZY
| URI | m2://inv/8DW6E9Z3ZY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#proof-1 (proof). In RZP28ERRZV, proof, section 60.2
History
- 2026-11-01: add by m2/v0.6.13
Definitions 8DWEZCMHA3
| URI | m2://inv/8DWEZCMHA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net (mathematics)#0U6M, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8DWFMFCZRV 8DWFMFCZRV
| URI | m2://inv/8DWFMFCZRV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#cor:card(N) less than or equal to infinite set (statement). In P1C114YBXG, corollary, section D
History
- 2026-11-01: add by m2/v0.6.13
Long-tail traffic 8DWMD7M7E9
| URI | m2://inv/8DWMD7M7E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F1L5, Long-tail traffic (definition)
History
- 2026-11-02: add by m2/dev
Independence regime 8DWQY8E1AX
| URI | m2://inv/8DWQY8E1AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#LZYL, Independence regime (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 8DWT00A8P7
| URI | m2://inv/8DWT00A8P7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofibration#E46N, Examples (example)
History
- 2026-11-02: add by m2/dev
8DWTJNFWHS 8DWTJNFWHS
| URI | m2://inv/8DWTJNFWHS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 97.3
History
- 2026-11-01: add by m2/v0.6.13
Homotopy groups of pairs 8DWYN8A8A9
| URI | m2://inv/8DWYN8A8A9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy group#EE79, Homotopy groups of pairs (unknown)
History
- 2026-11-02: add by m2/dev
Triakis tetrahedron 8DX51NJJ1K
| URI | m2://inv/8DX51NJJ1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JF0W, Triakis tetrahedron (definition)
History
- 2026-11-02: add by m2/dev
Index of logarithm articles 8DX6HH8EK9
| URI | m2://inv/8DX6HH8EK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of logarithm articles, Index of logarithm articles (topic). Also Wikidata Q17077807
History
- 2026-11-02: add by m2/dev
Construction of the lakes of Wada 8DXA2H2HER
| URI | m2://inv/8DXA2H2HER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lakes of Wada#MNHB, Construction of the lakes of Wada (definition)
History
- 2026-11-02: add by m2/dev
Luis Caffarelli 8DXKZDNT20
| URI | m2://inv/8DXKZDNT20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DJJG, Luis Caffarelli (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#30I7, Luis Caffarelli (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DCSB, Luis Caffarelli (topic)
History
- 2026-11-02: add by m2/dev
8DXR690NH3 8DXR690NH3
| URI | m2://inv/8DXR690NH3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#3HHQ (definition). In QAH7SV1JT6/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Polylogarithm 8DXRS6EFVN
| URI | m2://inv/8DXRS6EFVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#ST2X, Polylogarithm (definition)
History
- 2026-11-02: add by m2/dev
Algorithm 8DXSQJ32AJ
| URI | m2://inv/8DXSQJ32AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal's algorithm#5HBT, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Edward Tabash 8DXYP6WWD8
| URI | m2://inv/8DXYP6WWD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#9DEX, Edward Tabash (unknown)
History
- 2026-11-02: add by m2/dev
1 000 000 000 000 000 000 000 8DXZAWXT9J
| URI | m2://inv/8DXZAWXT9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#HS49, 1 000 000 000 000 000 000 000 (unknown)
History
- 2026-11-02: add by m2/dev
Tutte–Berge formula 8DY25F8KYB
| URI | m2://inv/8DY25F8KYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte–Berge formula, Tutte–Berge formula (statement). Also Wikidata Q7857004
History
- 2026-11-02: add by m2/dev
Theory of Games and Economic Behavior 8DY3KJCNQE
| URI | m2://inv/8DY3KJCNQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#L68O, Theory of Games and Economic Behavior (unknown)
History
- 2026-11-02: add by m2/dev
Gentzen's consistency proof 8DY48AWCVC
| URI | m2://inv/8DY48AWCVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#1DED, Gentzen's consistency proof (definition)
History
- 2026-11-02: add by m2/dev
8DY7A7WEQE 8DY7A7WEQE
| URI | m2://inv/8DY7A7WEQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19660#Q0J5 (statement). In YKVVY2BW1B/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
8DYAWJNR62 8DYAWJNR62
| URI | m2://inv/8DYAWJNR62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#IN5C (definition). In Z4TD36VFPW/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
Lexicographic Prohibition Theorem 8DYFPZDZEP
| URI | m2://inv/8DYFPZDZEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25091#BY71, Lexicographic Prohibition Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rabbit 8DYNJ4TBJ3
| URI | m2://inv/8DYNJ4TBJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabbit (cipher), Rabbit (definition). Also Wikidata Q492162
History
- 2026-11-02: add by m2/dev
Nielsen–Schreier theorem 8DYNT04FPR
| URI | m2://inv/8DYNT04FPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DQHM, Nielsen–Schreier theorem (statement)
History
- 2026-11-02: add by m2/dev
Graded commutator 8DYSQJ0CKS
| URI | m2://inv/8DYSQJ0CKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator#INTL, Graded commutator (unknown)
History
- 2026-11-02: add by m2/dev
8DYXWCAZP4 8DYXWCAZP4
| URI | m2://inv/8DYXWCAZP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#L2LK (statement)
History
- 2026-11-01: add by m2/v0.6.15
516 (number) 8DZ2QD511S
| URI | m2://inv/8DZ2QD511S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#ITNB, 516 (number) (unknown)
History
- 2026-11-02: add by m2/dev
type II error 8DZ5ZYHAYR
| URI | m2://inv/8DZ5ZYHAYR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1369221, type II error (unknown). Also MathWorld TypeIIError
History
- 2026-10-26: add by m2/dev
8DZ9Q48QY4 8DZ9Q48QY4
| URI | m2://inv/8DZ9Q48QY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#U34B (statement). In M7NEWDTM32/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
8DZC27GRFP 8DZC27GRFP
| URI | m2://inv/8DZC27GRFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#ZUB1 (statement). In 7D5MMP8XB5/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
8DZG1FP9EH 8DZG1FP9EH
| URI | m2://inv/8DZG1FP9EH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#CCBK (definition). In M4ZVJWM8YA/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Authenticated encryption 8DZJD2MX0G
| URI | m2://inv/8DZJD2MX0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authenticated encryption, Authenticated encryption (definition). Also Wikidata Q15263584
History
- 2026-11-02: add by m2/dev
permutation matrix 8DZKY09KVR
| URI | m2://inv/8DZKY09KVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Permutation matrix 08SP3DF8NB |
Mentions
- wikidata: Wikidata Q851512, permutation matrix (unknown). Also MathWorld PermutationMatrix, nLab permutation matrix
- wikipedia: Wikipedia Permutation matrix, Permutation matrix (definition). Also Wikidata Q851512
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8DZRPQF97K 8DZRPQF97K
| URI | m2://inv/8DZRPQF97K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#JAC1 (statement). In R630A60CMM/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
8DZV6TTPT3 8DZV6TTPT3
| URI | m2://inv/8DZV6TTPT3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36818#F6HP (example). In SK6AP2B9JH/e1, example 6.5
History
- 2026-10-30: add by m2/v0.4.12
Consistency 8DZY2NNAMF
| URI | m2://inv/8DZY2NNAMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistency (statistics), Consistency (definition). Also Wikidata Q5163218
History
- 2026-11-02: add by m2/dev
8DZYQQAPJH 8DZYQQAPJH
| URI | m2://inv/8DZYQQAPJH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#9HSL (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12