Inventory rows 6Q
The cards of the rows of the inventory whose ids start with 6Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
6Q00PBX8PN 6Q00PBX8PN
| URI | m2://inv/6Q00PBX8PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 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.21725#OEIQ (statement). In BQDZN6GRGF/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.2
6Q03FKM14Q 6Q03FKM14Q
| URI | m2://inv/6Q03FKM14Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2208.05276#2S7E (statement). In 4C5XHYTRT2/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Primes split before remaining inert 6Q040MSFD9
| URI | m2://inv/6Q040MSFD9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#example-4, Primes split before remaining inert (example). In RZP28ERRZV, example, section 18.5
History
- 2026-11-01: add by m2/v0.6.13
6Q07CH3GNC 6Q07CH3GNC
| URI | m2://inv/6Q07CH3GNC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:isprop-equiv-equiv-bracket (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
6Q09MEYPH7 6Q09MEYPH7
| URI | m2://inv/6Q09MEYPH7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 17-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.20153#O4IA (problem)
History
- 2026-11-02: add by m2/v0.6.18
Reduced-round 6Q0AH8RZT3
| URI | m2://inv/6Q0AH8RZT3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Round (cryptography)#0WXA, Reduced-round (unknown)
History
- 2026-11-02: add by m2/dev
Max-norm boundary separation 6Q0BMK1VDZ
| URI | m2://inv/6Q0BMK1VDZ |
|---|---|
| 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#VHE7, Max-norm boundary separation (statement). In TTEAQA1XXR/e1, proposition C.10
History
- 2026-10-28: add by m2/v0.4.3
Karl Georg Christian von Staudt Prize 6Q0CS1B6JW
| URI | m2://inv/6Q0CS1B6JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Georg Christian von Staudt Prize, Karl Georg Christian von Staudt Prize (definition). Also Wikidata Q1729765
History
- 2026-11-02: add by m2/dev
6Q0H1TSCTW 6Q0H1TSCTW
| URI | m2://inv/6Q0H1TSCTW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-105 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Second Fundamental Theorem 6Q0KK5E9FV
| URI | m2://inv/6Q0KK5E9FV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorems of welfare economics#8ZDT, Second Fundamental Theorem (statement)
History
- 2026-11-02: add by m2/dev
By hypothesis (superiority vs. noninferiority vs. equivalence) 6Q0R3RX8G3
| URI | m2://inv/6Q0R3RX8G3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized controlled trial#9HAC, By hypothesis (superiority vs. noninferiority vs. equivalence) (statement)
History
- 2026-11-02: add by m2/dev
6Q0RXZ81QB 6Q0RXZ81QB
| URI | m2://inv/6Q0RXZ81QB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Charles Read 6Q0TBH3BAQ
| URI | m2://inv/6Q0TBH3BAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Read (mathematician), Charles Read (topic). Also Wikidata Q5081954
History
- 2026-11-02: add by m2/dev
6Q0TEDPPT2 6Q0TEDPPT2
| URI | m2://inv/6Q0TEDPPT2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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.14842#B70V (definition). In MQXT5RQE0C/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
6Q0W6YTT7T 6Q0W6YTT7T
| URI | m2://inv/6Q0W6YTT7T |
|---|---|
| Kind | definition |
| 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.10840#GRW6 (definition). In JSJQEPY71E/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.3
Predictive distribution 6Q0X73BDCM
| URI | m2://inv/6Q0X73BDCM |
|---|---|
| Kind | definition |
| 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 2609.23350#PSXZ, Predictive distribution (definition)
History
- 2026-11-02: add by m2/v0.6.17
Noetherian induction 6Q16YRKDFE
| URI | m2://inv/6Q16YRKDFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-founded relation#Q8U5, Noetherian induction (unknown)
History
- 2026-11-02: add by m2/dev
Eczema 6Q1F8ASQRQ
| URI | m2://inv/6Q1F8ASQRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#46D6, Eczema (unknown)
History
- 2026-11-02: add by m2/dev
6Q1M4R77HF 6Q1M4R77HF
| URI | m2://inv/6Q1M4R77HF |
|---|---|
| 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.03358#RR1T (definition). In KCXEY7HJ8V/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
nerve of a category 6Q1TVMM1BP
| URI | m2://inv/6Q1TVMM1BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nerve of a category RV0MKJ3CQ6 |
Mentions
- wikidata: Wikidata Q17099363, nerve of a category (unknown). Also nLab nerve
- wikipedia: Wikipedia Nerve (category theory), Nerve (definition). Also Wikidata Q17099363
History
- 2026-10-26: add by m2/dev
6Q1WWZ04JY 6Q1WWZ04JY
| URI | m2://inv/6Q1WWZ04JY |
|---|---|
| Kind | problem |
| 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 2602.03909#12UO (problem). In WWFAVFGPQQ/e1, problem 2
History
- 2026-10-27: add by m2/v0.4.0
Exponentially equivalent measures 6Q2ASBQG66
| URI | m2://inv/6Q2ASBQG66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#CZOH, Exponentially equivalent measures (definition)
History
- 2026-11-02: add by m2/dev
6Q2B3YN4S8 6Q2B3YN4S8
| URI | m2://inv/6Q2B3YN4S8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#example-4 (example). In RZP28ERRZV, example, section 91.3
History
- 2026-11-01: add by m2/v0.6.13
E. M. Wright 6Q2GGBED68
| URI | m2://inv/6Q2GGBED68 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E9ZJ, E. M. Wright (topic)
History
- 2026-11-02: add by m2/dev
Carl Adam Petri 6Q2HD2TW3N
| URI | m2://inv/6Q2HD2TW3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#6D9A, Carl Adam Petri (topic)
History
- 2026-11-02: add by m2/dev
sentence letter 6Q2MSAGCMJ
| URI | m2://inv/6Q2MSAGCMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#50Y1, sentence letter (definition)
History
- 2026-11-02: add by m2/dev
6Q2QRATZQ4 6Q2QRATZQ4
| URI | m2://inv/6Q2QRATZQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-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 hep-th/9409063#GMA8 (statement). In 145ETYF9CG/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
6Q2X21T9T4 6Q2X21T9T4
| URI | m2://inv/6Q2X21T9T4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture#HPZ1 (problem)
History
- 2026-11-02: add by m2/dev
Rokhlin's theorem 6Q2XE28NHP
| URI | m2://inv/6Q2XE28NHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SZI1, Rokhlin's theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 6Q2ZC0FY8P
| URI | m2://inv/6Q2ZC0FY8P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic integration#ILO0, Example (example)
History
- 2026-11-02: add by m2/dev
Generalizations 6Q3010TZG0
| URI | m2://inv/6Q3010TZG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#UO7R, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
stochastic process 6Q35Q7CVH6
| URI | m2://inv/6Q35Q7CVH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 60Gxx |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Stochastic process 0QH5ENKZM1 |
Mentions
- wikidata: Wikidata Q176737, stochastic process (topic). Also MathWorld StochasticProcess, nLab stochastic process
- wikipedia: Wikipedia Stochastic process, Stochastic process (definition). Also Wikidata Q176737
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6Q37MP76KP 6Q37MP76KP
| URI | m2://inv/6Q37MP76KP |
|---|---|
| Kind | example |
| 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.04214#4BEY (example). In HWY7AQ4KT2/e1, example 1.4
History
- 2026-10-29: add by m2/v0.4.12
Polylogarithmic function 6Q39RPVAEA
| URI | m2://inv/6Q39RPVAEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polylogarithmic function, Polylogarithmic function (definition). Also Wikidata Q3395620
History
- 2026-11-02: add by m2/dev
6Q3DFB4TY2 6Q3DFB4TY2
| URI | m2://inv/6Q3DFB4TY2 |
|---|---|
| Kind | definition |
| 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.33313#WXJ5 (definition). In HRCEFY172P/e1, definition 3.13
History
- 2026-10-30: add by m2/v0.4.12
Uniform local excursion rate 6Q3ETDP53F
| URI | m2://inv/6Q3ETDP53F |
|---|---|
| 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.39633#JPQI, Uniform local excursion rate (statement). In B339AJZP2S/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
6Q3G67J3CM 6Q3G67J3CM
| URI | m2://inv/6Q3G67J3CM |
|---|---|
| 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.24297#7AG8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Caucher Birkar 6Q3RXKP6V7
| URI | m2://inv/6Q3RXKP6V7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#BQ9O, Caucher Birkar (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5RT4, Caucher Birkar (topic)
History
- 2026-11-02: add by m2/dev
6Q3ZHB3MK9 6Q3ZHB3MK9
| URI | m2://inv/6Q3ZHB3MK9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#CTP4 (example). In 7V3HG30ZGW/e1, example 5.17
History
- 2026-10-27: add by m2/v0.4.0
The sign of $\Lambda_{d,r,q}$ 6Q41AG03DK
| URI | m2://inv/6Q41AG03DK |
|---|---|
| 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.25457#BNJH, The sign of $\Lambda_{d,r,q}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
6Q41K3ZQHH 6Q41K3ZQHH
| URI | m2://inv/6Q41K3ZQHH |
|---|---|
| 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.13489#QMAI (statement). In R4CJ28GP2T/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Exponential stability 6Q457M7MSS
| URI | m2://inv/6Q457M7MSS |
|---|---|
| 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.11027#AZJB, Exponential stability (statement). In 2BBW80EX78/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
Examples 6Q49KST6CS
| URI | m2://inv/6Q49KST6CS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (category theory)#Y46R, Examples (example)
History
- 2026-11-02: add by m2/dev
Hyperbolic group 6Q4A4AK1Q2
| URI | m2://inv/6Q4A4AK1Q2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#YL59, Hyperbolic group (definition)
History
- 2026-11-02: add by m2/dev
6Q4AY0ZVTZ 6Q4AY0ZVTZ
| URI | m2://inv/6Q4AY0ZVTZ |
|---|---|
| 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 2305.13184#IED1 (statement). In SKYG9GMA96/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.6
Application 6Q4RAG7X9W
| URI | m2://inv/6Q4RAG7X9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roy's identity#8IOD, Application (example)
History
- 2026-11-02: add by m2/dev
6Q4TWA7W8Y 6Q4TWA7W8Y
| URI | m2://inv/6Q4TWA7W8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.28289#07F8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regular sequence (algebra) 6Q51EE0GV1
| URI | m2://inv/6Q51EE0GV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#8R7P, Regular sequence (algebra) (definition)
History
- 2026-11-02: add by m2/dev
Paley–Wiener theorem 6Q51TV4YYZ
| URI | m2://inv/6Q51TV4YYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#YRL1, Paley–Wiener theorem (statement)
- wikipedia: Wikipedia List of harmonic analysis topics#POL3, Paley–Wiener theorem (statement)
- wikipedia: Wikipedia List of Fourier analysis topics#KJDJ, Paley–Wiener theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 6Q54Q7WT5W
| URI | m2://inv/6Q54Q7WT5W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancient Egyptian multiplication#RN1M, Example (example)
History
- 2026-11-02: add by m2/dev
Rogers--Ramanujan and Andrews--Gordon 6Q58NY5A54
| URI | m2://inv/6Q58NY5A54 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 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 2609.20567#AQQL, Rogers--Ramanujan and Andrews--Gordon (example)
History
- 2026-11-02: add by m2/v0.6.18
Applications 6Q5CPN1HN7
| URI | m2://inv/6Q5CPN1HN7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal array#JT6M, Applications (example)
History
- 2026-11-02: add by m2/dev
Sze-Tsen Hu 6Q5VG1RMEN
| URI | m2://inv/6Q5VG1RMEN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21604664, Sze-Tsen Hu (unknown). Also nLab Sze-Tsen Hu, ProofWiki Mathematician:Sze-Tsen_Hu
History
- 2026-10-26: add by m2/dev
6Q5VHEFBE2 6Q5VHEFBE2
| URI | m2://inv/6Q5VHEFBE2 |
|---|---|
| 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 2609.28669#WAH8 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Roche lobe 6Q64RNEB7J
| URI | m2://inv/6Q64RNEB7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#55G8, Roche lobe (definition)
History
- 2026-11-02: add by m2/dev
Examples 6Q6QNJ99SF
| URI | m2://inv/6Q6QNJ99SF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric function#YY9B, Examples (example)
History
- 2026-11-02: add by m2/dev
6Q6T8WRYT7 6Q6T8WRYT7
| URI | m2://inv/6Q6T8WRYT7 |
|---|---|
| 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.38548#DQEQ (statement). In Z7ZFV3HM1S/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
Propositional formula with "feedback" 6Q6T99DVAK
| URI | m2://inv/6Q6T99DVAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#H5FH, Propositional formula with "feedback" (statement)
History
- 2026-11-02: add by m2/dev
Omnitruncated 5-simplex honeycomb 6Q76FHGT0Z
| URI | m2://inv/6Q76FHGT0Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WH12, Omnitruncated 5-simplex honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VB0X, Omnitruncated 5-simplex honeycomb (object)
History
- 2026-11-02: add by m2/dev
Refinement completion 6Q7CA9CAY7
| URI | m2://inv/6Q7CA9CAY7 |
|---|---|
| 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.38228#1UP0, Refinement completion (statement). In 9YAE8FNQST/e1, theorem 30.9
History
- 2026-10-30: add by m2/v0.4.12
6Q7G9A416E 6Q7G9A416E
| URI | m2://inv/6Q7G9A416E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-33 (proof). In N54F33XE07, proof, section 1.11
History
- 2026-11-01: add by m2/v0.6.13
Frucht 6Q7GVKHPW3
| URI | m2://inv/6Q7GVKHPW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#FVD5, Frucht (definition)
History
- 2026-11-02: add by m2/dev
Applications 6Q7HB4C515
| URI | m2://inv/6Q7HB4C515 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equations of addition#ZYZI, Applications (example)
History
- 2026-11-02: add by m2/dev
Factoring $77$: generating the periodic state 6Q7KZAHMJQ
| URI | m2://inv/6Q7KZAHMJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/shor.tex#example-2, Factoring $77$: generating the periodic state (example). In RZP28ERRZV, example, section 76.3
History
- 2026-11-01: add by m2/v0.6.13
6Q7PQ17CP2 6Q7PQ17CP2
| URI | m2://inv/6Q7PQ17CP2 |
|---|---|
| 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.24878#29GZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nathan Seiberg 6Q7VXZPMMG
| URI | m2://inv/6Q7VXZPMMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q706652, Nathan Seiberg (unknown). Also nLab Nathan Seiberg
History
- 2026-10-26: add by m2/dev
Applications 6Q7WA13591
| URI | m2://inv/6Q7WA13591 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triaugmented triangular prism#UBLB, Applications (example)
History
- 2026-11-02: add by m2/dev
Exploration bound with exact leakage 6Q7WTBNY18
| URI | m2://inv/6Q7WTBNY18 |
|---|---|
| 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 2609.25039#SUUO, Exploration bound with exact leakage (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hensel's lemma, general form 6Q85GPYZNA
| URI | m2://inv/6Q85GPYZNA |
|---|---|
| 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.01273#WZDX, Hensel's lemma, general form (statement). In RAT41DDR51/e1, theorem 2.10
History
- 2026-10-29: add by m2/v0.4.12
6Q8GXD578M 6Q8GXD578M
| URI | m2://inv/6Q8GXD578M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.38735#JIOR (statement). In XZ71J0DQSE/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Method of distinguished element 6Q8HNBGP2B
| URI | m2://inv/6Q8HNBGP2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of distinguished element, Method of distinguished element (definition). Also Wikidata Q17146564
History
- 2026-11-02: add by m2/dev
6Q8NG7QSPV 6Q8NG7QSPV
| URI | m2://inv/6Q8NG7QSPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#5K97 (definition). In 7V3HG30ZGW/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
6Q8ZXX2Y3E 6Q8ZXX2Y3E
| URI | m2://inv/6Q8ZXX2Y3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-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 2408.01345#14T8 (statement). In PT5PBPCS3P/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Clarice Poon 6Q946XCRP1
| URI | m2://inv/6Q946XCRP1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarice Poon, Clarice Poon (topic). Also Wikidata Q134417513
History
- 2026-11-02: add by m2/dev
The theorem 6Q96G1VR1J
| URI | m2://inv/6Q96G1VR1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Prisoner of Benda#1EM0, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniqueness 6Q9ASJNXFP
| URI | m2://inv/6Q9ASJNXFP |
|---|---|
| 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.18078#L0PT, Uniqueness (statement). In YVK8EFSYNJ/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
6Q9CZPTVMH 6Q9CZPTVMH
| URI | m2://inv/6Q9CZPTVMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#RT3L (statement)
History
- 2026-11-01: add by m2/v0.6.15
6Q9EW1XNTY 6Q9EW1XNTY
| URI | m2://inv/6Q9EW1XNTY |
|---|---|
| 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.15588#ZCJH (statement). In M2VCJFGZ4P/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
6Q9J9BVHJF 6Q9J9BVHJF
| URI | m2://inv/6Q9J9BVHJF |
|---|---|
| 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 2609.35421#0IXU (definition). In KE8B8KMDJJ/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Arbitrage pricing theory 6Q9P6HWWSG
| URI | m2://inv/6Q9P6HWWSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrage pricing theory, Arbitrage pricing theory (definition). Also Wikidata Q629941
History
- 2026-11-02: add by m2/dev
Peterson-Gorenstein-Zierler algorithm 6Q9PB4KFNT
| URI | m2://inv/6Q9PB4KFNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCH code#AGJI, Peterson-Gorenstein-Zierler algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Measurement dysfunction 6Q9WR4D38D
| URI | m2://inv/6Q9WR4D38D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurement dysfunction, Measurement dysfunction (definition). Also Wikidata Q105833977
History
- 2026-11-02: add by m2/dev
Construction 6Q9ZC873KM
| URI | m2://inv/6Q9ZC873KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated tesseracts#6F3X, Construction (definition)
History
- 2026-11-02: add by m2/dev
6QA2P53X0J 6QA2P53X0J
| URI | m2://inv/6QA2P53X0J |
|---|---|
| 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-6 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
6QADG9Q63Q 6QADG9Q63Q
| URI | m2://inv/6QADG9Q63Q |
|---|---|
| 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.18239#9IJP (statement). In C60WZ6WQSY/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Non-examples 6QAH9B3CVJ
| URI | m2://inv/6QAH9B3CVJ |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete manifold#EPJY, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
6QAHYZ0S7N 6QAHYZ0S7N
| URI | m2://inv/6QAHYZ0S7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.02061#786R (definition). In F5STMSPR6X/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.12
Erdős–Diophantine graph 6QANCXCXSQ
| URI | m2://inv/6QANCXCXSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#43UV, Erdős–Diophantine graph (definition)
History
- 2026-11-02: add by m2/dev
6QASYGB7KZ 6QASYGB7KZ
| URI | m2://inv/6QASYGB7KZ |
|---|---|
| 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.02806#X9Y2 (statement). In F4A354Y5NC/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 6QB0BRYKPW
| URI | m2://inv/6QB0BRYKPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane at infinity#5QAM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Weak Church-Rosser Property 6QB0C7WJ9B
| URI | m2://inv/6QB0C7WJ9B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#prop-1, Weak Church-Rosser Property (statement). In PKGMM3P5QY, prop, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
6QB29791MG 6QB29791MG
| URI | m2://inv/6QB29791MG |
|---|---|
| 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.39700#IF0H (statement). In E7W2HDNEKJ/e1, theorem 4.20
History
- 2026-10-30: add by m2/v0.4.12
The first inequality 6QB2VPV4T8
| URI | m2://inv/6QB2VPV4T8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class formation#HZ17, The first inequality (statement)
History
- 2026-11-02: add by m2/dev
Applications 6QBBMRQVHE
| URI | m2://inv/6QBBMRQVHE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kantorovich theorem#6NAZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Basic properties 6QBDRN7BEZ
| URI | m2://inv/6QBDRN7BEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group scheme#MQ87, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
torus 6QBPP9RDQE
| URI | m2://inv/6QBPP9RDQE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.7/torus, torus (concept). In N54F33XE07, index, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
6QC2K04MRF 6QC2K04MRF
| URI | m2://inv/6QC2K04MRF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński number#ID76 (problem)
History
- 2026-11-02: add by m2/dev
Jorge M. López 6QC3HJ8GFF
| URI | m2://inv/6QC3HJ8GFF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jorge M. López, Jorge M. López (topic). Also Wikidata Q102163995
History
- 2026-11-02: add by m2/dev
Iwasawa theory 6QCAKDWNB3
| URI | m2://inv/6QCAKDWNB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#7SQ6, Iwasawa theory (definition)
History
- 2026-11-02: add by m2/dev
Relationships to other separation axioms 6QCCAFGCM0
| URI | m2://inv/6QCCAFGCM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal space#79HX, Relationships to other separation axioms (statement)
History
- 2026-11-02: add by m2/dev
Laminar–turbulent transition 6QCPWCN9YS
| URI | m2://inv/6QCPWCN9YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laminar–turbulent transition, Laminar–turbulent transition (definition). Also Wikidata Q5366689
History
- 2026-11-02: add by m2/dev
cover 6QCS9N11MS
| URI | m2://inv/6QCS9N11MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q331481, cover (unknown). Also MathWorld Cover, nLab cover
- wikipedia: Wikipedia Cover (topology), Cover (definition). Also Wikidata Q331481
History
- 2026-10-26: add by m2/dev
Eckhard Meinrenken 6QCVYTGH8H
| URI | m2://inv/6QCVYTGH8H |
|---|---|
| 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#IYL5, Eckhard Meinrenken (topic)
History
- 2026-11-02: add by m2/dev
6QD0E9G4B3 6QD0E9G4B3
| URI | m2://inv/6QD0E9G4B3 |
|---|---|
| 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 2610.14204#AZ1L (statement). In GZAY1Y12YD/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
OEIS 6QD3HAGKSC
| URI | m2://inv/6QD3HAGKSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#ZJPV, OEIS (definition)
History
- 2026-11-02: add by m2/dev
Properties 6QDN6QMNST
| URI | m2://inv/6QDN6QMNST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid number#P463, Properties (statement)
History
- 2026-11-02: add by m2/dev
Maharam's theorem 6QDSPQNCGE
| URI | m2://inv/6QDSPQNCGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#L24V, Maharam's theorem (statement)
History
- 2026-11-02: add by m2/dev
6QDT1SJNHH 6QDT1SJNHH
| URI | m2://inv/6QDT1SJNHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.22288#NKEE (statement). In X38P26DK6S/e1, theorem 5.35
History
- 2026-10-27: add by m2/v0.4.0
\textsc{Full Spark 6QDZADFHHH
| URI | m2://inv/6QDZADFHHH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 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 1204.5958#DKOV, \textsc{Full Spark (problem). In XYCBKM4WKY/e1, problem 22
History
- 2026-10-27: add by m2/v0.3.5
elongated triangular cupola 6QDZB3FF2T
| URI | m2://inv/6QDZB3FF2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q218898, elongated triangular cupola (object). Also MathWorld ElongatedTriangularCupola
- wikipedia: Wikipedia Elongated triangular cupola, Elongated triangular cupola (definition). Also Wikidata Q218898
History
- 2026-10-26: add by m2/dev
6QDZMH2JCW 6QDZMH2JCW
| URI | m2://inv/6QDZMH2JCW |
|---|---|
| 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.16386#9TU5 (definition). In RAF0BFY3Z3/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
6QE1VQNT1B 6QE1VQNT1B
| URI | m2://inv/6QE1VQNT1B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Entanglement witness 6QE27PCKK9
| URI | m2://inv/6QE27PCKK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement witness, Entanglement witness (definition). Also Wikidata Q5380097
History
- 2026-11-02: add by m2/dev
Lyra2 6QE3M8STJV
| URI | m2://inv/6QE3M8STJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyra2, Lyra2 (definition). Also Wikidata Q25000684
History
- 2026-11-02: add by m2/dev
6QE83RZ7A1 6QE83RZ7A1
| URI | m2://inv/6QE83RZ7A1 |
|---|---|
| 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 2610.19251#HUOF (statement). In CSW6NG0FRN/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
6QE8R1J84J 6QE8R1J84J
| URI | m2://inv/6QE8R1J84J |
|---|---|
| Kind | example |
| 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#1C1P (example). In FF3MV70E7Z/e1, example 3.9
History
- 2026-10-27: add by m2/v0.4.2
6QEAWZY95F 6QEAWZY95F
| URI | m2://inv/6QEAWZY95F |
|---|---|
| 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.10243#VESL (statement). In 6N7EAD1PYD/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.10
6QEDDPZJR2 6QEDDPZJR2
| URI | m2://inv/6QEDDPZJR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2508.21045#7F1J (statement). In CGA36VE1C5/e1, corollary 12.4.1
History
- 2026-10-27: add by m2/v0.3.6
6QEFRCFS2T 6QEFRCFS2T
| URI | m2://inv/6QEFRCFS2T |
|---|---|
| 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.21367#F09R (statement)
History
- 2026-11-02: add by m2/v0.6.18
6QEW2BP48N 6QEW2BP48N
| URI | m2://inv/6QEW2BP48N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.38206#18QS (statement). In F71MS1F637/e1, corollary 5.6
History
- 2026-10-30: add by m2/v0.4.12
Hendrik Lorentz 6QEZJ9NAY2
| URI | m2://inv/6QEZJ9NAY2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41688, Hendrik Lorentz (unknown). Also nLab Hendrik Lorentz, ProofWiki Mathematician:Hendrik_Antoon_Lorentz
History
- 2026-10-26: add by m2/dev
Nishida's theorem 6QFA43DTS3
| URI | m2://inv/6QFA43DTS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotence theorem#LCBV, Nishida's theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem 6QFBRMDV3M
| URI | m2://inv/6QFBRMDV3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#BKD7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Davis-Leary 6QFM1CWP38
| URI | m2://inv/6QFM1CWP38 |
|---|---|
| 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 2610.09704#U9BX, Davis-Leary (statement). In FNG4B47MRV/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
symmetric algebra 6QFPHCPC6N
| URI | m2://inv/6QFPHCPC6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#FSPG, symmetric algebra (definition)
History
- 2026-11-02: add by m2/dev
Examples 6QFWMSB4XC
| URI | m2://inv/6QFWMSB4XC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition chain#S27I, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 6QFXQKCGJK
| URI | m2://inv/6QFXQKCGJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital watermarking#86HY, Applications (example)
History
- 2026-11-02: add by m2/dev
NTK existence and exact nullspace for weak-form constraints 6QGABTG3Y1
| URI | m2://inv/6QGABTG3Y1 |
|---|---|
| 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#COOJ, NTK existence and exact nullspace for weak-form constraints (statement). In 6FY8BVP1F3/e1, theorem D.10
History
- 2026-10-29: add by m2/v0.4.12
6QGZAKFXB5 6QGZAKFXB5
| URI | m2://inv/6QGZAKFXB5 |
|---|---|
| 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 2609.20018#HWRM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Entropic security 6QH2DSVPEW
| URI | m2://inv/6QH2DSVPEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropic security, Entropic security (definition). Also Wikidata Q5380782
History
- 2026-11-02: add by m2/dev
Mersenne prime 6QH4VDXQNN
| URI | m2://inv/6QH4VDXQNN |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#N8GY, Mersenne prime (conjecture)
History
- 2026-11-02: add by m2/dev
Trisected an angle 6QH6HKF2W5
| URI | m2://inv/6QH6HKF2W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straightedge and compass construction#Q5FF, Trisected an angle (unknown)
History
- 2026-11-02: add by m2/dev
6QH9PRBX89 6QH9PRBX89
| URI | m2://inv/6QH9PRBX89 |
|---|---|
| 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/non-standard-models.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 49.3
History
- 2026-11-01: add by m2/v0.6.13
6QHBHHBFWX 6QHBHHBFWX
| URI | m2://inv/6QHBHHBFWX |
|---|---|
| Kind | definition |
| 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 2304.13811#HZLG (definition). In HGKYMFSDEM/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.0
CPCTC 6QHM0QWEBJ
| URI | m2://inv/6QHM0QWEBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#KNTO, CPCTC (definition)
History
- 2026-11-02: add by m2/dev
Wu Tsang 6QHPBD3M9N
| URI | m2://inv/6QHPBD3M9N |
|---|---|
| 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#1NTS, Wu Tsang (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of algebra 6QHTYZYRZG
| URI | m2://inv/6QHTYZYRZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#M2Q9, Fundamental theorem of algebra (statement)
History
- 2026-11-02: add by m2/dev
6QJ3TW44R7 6QJ3TW44R7
| URI | m2://inv/6QJ3TW44R7 |
|---|---|
| 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.01737#43U6 (statement). In M4JGP708F4/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Definition 6QJ7KSZNSA
| URI | m2://inv/6QJ7KSZNSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables#FPI2, Definition (definition)
History
- 2026-11-02: add by m2/dev
6QJACGAAQS 6QJACGAAQS
| URI | m2://inv/6QJACGAAQS |
|---|---|
| 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#YKYD (definition). In M4ZVJWM8YA/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Unfriendly partition 6QJCDNV47M
| URI | m2://inv/6QJCDNV47M |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DW55, Unfriendly partition (conjecture)
History
- 2026-11-02: add by m2/dev
Svatopluk Poljak 6QJE5C5W70
| URI | m2://inv/6QJE5C5W70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Svatopluk Poljak, Svatopluk Poljak (topic). Also Wikidata Q102299928
History
- 2026-11-02: add by m2/dev
Local zeta function 6QJFDTK6PV
| URI | m2://inv/6QJFDTK6PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#B30Q, Local zeta function (definition)
History
- 2026-11-02: add by m2/dev
6QJFP94H7C 6QJFP94H7C
| URI | m2://inv/6QJFP94H7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.38206#PMYR (statement). In F71MS1F637/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
6QJT8X18H4 6QJT8X18H4
| URI | m2://inv/6QJT8X18H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21037#7OLG (statement). In PYB2RFYVVE/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
Elementary properties 6QJVGDTG6Y
| URI | m2://inv/6QJVGDTG6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Building (mathematics)#6CQ8, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Implementations 6QJVTADSJ6
| URI | m2://inv/6QJVTADSJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkinson's Grammar of Graphics#OFQH, Implementations (definition)
History
- 2026-11-02: add by m2/dev
perfect matching 6QK8T6QRZD
| URI | m2://inv/6QK8T6QRZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Perfect matching 05ZPH8KF9K |
Mentions
- wikidata: Wikidata Q99567093, perfect matching (unknown). Also MathWorld PerfectMatching
- wikipedia: Wikipedia Perfect matching, Perfect matching (definition). Also Wikidata Q99567093
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Taylor expansion of the population kernel 6QKEAX8YBK
| URI | m2://inv/6QKEAX8YBK |
|---|---|
| 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 2609.39855#H8FH, Taylor expansion of the population kernel (statement). In E1KFX0NW51/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Definition 6QKQZ6E5QA
| URI | m2://inv/6QKQZ6E5QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical measure#8W8P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Knowledge 6QKXGHQ8DP
| URI | m2://inv/6QKXGHQ8DP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96721696, Knowledge (unknown). Also ProofWiki Book:Journal/Knowledge
History
- 2026-10-26: add by m2/dev
Entringer number 6QKZKXYN7K
| URI | m2://inv/6QKZKXYN7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125374230, Entringer number (unknown). Also MathWorld EntringerNumber, OEIS A008281
History
- 2026-10-26: add by m2/dev
Representations 6QM2VR9JZ0
| URI | m2://inv/6QM2VR9JZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar straight-line graph#D45J, Representations (definition)
History
- 2026-11-02: add by m2/dev
6QM31DV4H4 6QM31DV4H4
| URI | m2://inv/6QM31DV4H4 |
|---|---|
| Kind | statement |
| 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 2609.24484#4VBK (statement)
History
- 2026-11-01: add by m2/v0.6.15
474 (number) 6QM40E34ND
| URI | m2://inv/6QM40E34ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#4YMU, 474 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Construction 6QMAQQW7JZ
| URI | m2://inv/6QMAQQW7JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 24-cells#139D, Construction (definition)
History
- 2026-11-02: add by m2/dev
6QMKYGVRMW 6QMKYGVRMW
| URI | m2://inv/6QMKYGVRMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2609.37698#U6BE (statement). In HA2GG72C23/e1, corollary 2.7
History
- 2026-10-30: add by m2/v0.4.12
Control theory 6QMN5GQCDG
| URI | m2://inv/6QMN5GQCDG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#XOHS, Control theory (topic)
History
- 2026-11-02: add by m2/dev
Maurice Sion 6QMN8XJNT3
| URI | m2://inv/6QMN8XJNT3 |
|---|---|
| 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#0ZY2, Maurice Sion (unknown)
History
- 2026-11-02: add by m2/dev
6QMRHAE04B 6QMRHAE04B
| URI | m2://inv/6QMRHAE04B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03422#080B (statement). In SF88CM0957/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
6QMV4SSK1G 6QMV4SSK1G
| URI | m2://inv/6QMV4SSK1G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
One-sided residual pinning 6QMWF7ZA50
| URI | m2://inv/6QMWF7ZA50 |
|---|---|
| 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 2610.21268#SY6N, One-sided residual pinning (statement). In 9W2YX5X4AX/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
6QMWWJY67W 6QMWWJY67W
| URI | m2://inv/6QMWWJY67W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.21052#RURN (definition)
History
- 2026-11-02: add by m2/v0.6.18
6QN1BE8DDP 6QN1BE8DDP
| URI | m2://inv/6QN1BE8DDP |
|---|---|
| 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.28009#EXJN (statement)
History
- 2026-11-01: add by m2/v0.6.15
1,000,000,000 6QN3PQMJFJ
| URI | m2://inv/6QN3PQMJFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16021, 1,000,000,000 (unknown). Also MathWorld Milliard
- wikipedia: Wikipedia 1,000,000,000, 1,000,000,000 (definition). Also Wikidata Q16021
History
- 2026-10-26: add by m2/dev
Prüfer manifold 6QN3V0PYJ8
| URI | m2://inv/6QN3V0PYJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#CZKV, Prüfer manifold (unknown)
History
- 2026-11-02: add by m2/dev
Triznatsi Rocks 6QN4KF51ST
| URI | m2://inv/6QN4KF51ST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VQBC, Triznatsi Rocks (unknown)
History
- 2026-11-02: add by m2/dev
6QNSNF5H12 6QNSNF5H12
| URI | m2://inv/6QNSNF5H12 |
|---|---|
| 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 2609.35691#SGI9 (statement). In G7R61RPWE2/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
6QNZ7HEEPX 6QNZ7HEEPX
| URI | m2://inv/6QNZ7HEEPX |
|---|---|
| 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 2609.21359#3R78 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6QP3W468T7 6QP3W468T7
| URI | m2://inv/6QP3W468T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.20385#PMM8 (statement). In 54HS9AHWPE/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.4.2
Principles of Mathematical Logic 6QP8NGGCD6
| URI | m2://inv/6QP8NGGCD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principles of Mathematical Logic, Principles of Mathematical Logic (statement). Also Wikidata Q3403665
History
- 2026-11-02: add by m2/dev
6QP8X5ZASC 6QP8X5ZASC
| URI | m2://inv/6QP8X5ZASC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-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.09900#QZEJ (definition). In ATSYBWEMMP/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
6QPBFBHCWM 6QPBFBHCWM
| URI | m2://inv/6QPBFBHCWM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.33841#9PQI (definition). In 3CVQHT206K/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
6QPRSBWW5V 6QPRSBWW5V
| URI | m2://inv/6QPRSBWW5V |
|---|---|
| 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.00103#BLQN (statement). In S7RDXJWP1A/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Rate preservation under compact support restriction 6QPTQYSHF7
| URI | m2://inv/6QPTQYSHF7 |
|---|---|
| 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.11760#QCUF, Rate preservation under compact support restriction (statement). In NBNERWXW53/e1, corollary S13.2
History
- 2026-10-28: add by m2/v0.4.3
Pathwidth 6QPVWVNA7Y
| URI | m2://inv/6QPVWVNA7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#YHJB, Pathwidth (definition)
History
- 2026-11-02: add by m2/dev
Examples 6QPWHA3KVQ
| URI | m2://inv/6QPWHA3KVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet algebra#OQHF, Examples (example)
History
- 2026-11-02: add by m2/dev
6QPYPS8RVD 6QPYPS8RVD
| URI | m2://inv/6QPYPS8RVD |
|---|---|
| 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.40274#QVBB (statement). In 7ZDNJC9MST/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
Channel (digital image) 6QQK482KCW
| URI | m2://inv/6QQK482KCW |
|---|---|
| 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#P8S5, Channel (digital image) (unknown)
History
- 2026-11-02: add by m2/dev
I'm entitled to my opinion 6QQTMRBJRT
| URI | m2://inv/6QQTMRBJRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I'm entitled to my opinion, I'm entitled to my opinion (definition). Also Wikidata Q5967044
History
- 2026-11-02: add by m2/dev
6QQVEGETEN 6QQVEGETEN
| URI | m2://inv/6QQVEGETEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#9KE0 (statement). In PA6JQDSKQT/e1, lemma 3.18
History
- 2026-10-28: add by m2/v0.4.2
Hendrik Casimir 6QR03VQVX6
| URI | m2://inv/6QR03VQVX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q535748, Hendrik Casimir (unknown). Also nLab Hendrik Casimir
History
- 2026-10-26: add by m2/dev
6QR3FKF2DY 6QR3FKF2DY
| URI | m2://inv/6QR3FKF2DY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.38017#NSV1 (statement). In SYFKJC9X5M/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
6QR3T03VYP 6QR3T03VYP
| URI | m2://inv/6QR3T03VYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.16514#FMRZ (statement). In 7RSA1AZ4XK/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Definition 6QR4Q2PFMJ
| URI | m2://inv/6QR4Q2PFMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized beta distribution#FTTF, Definition (definition)
History
- 2026-11-02: add by m2/dev
dilution 6QR7ZA13B1
| URI | m2://inv/6QR7ZA13B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GGE1, dilution (definition)
History
- 2026-11-02: add by m2/dev
Factorisation of graph Newton polynomials 6QR8XWKYH5
| URI | m2://inv/6QR8XWKYH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20368#UW7T, Factorisation of graph Newton polynomials (statement). In T8CDHW9MC1/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.4.2
6QREND5HSR 6QREND5HSR
| URI | m2://inv/6QREND5HSR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:rezk-fundgpd-trunc1 (example). In N54F33XE07, eg, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Right irrelevance of $\Uc_i$ 6QRFJPEHVY
| URI | m2://inv/6QRFJPEHVY |
|---|---|
| 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 2610.21131#8BSG, Right irrelevance of $\Uc_i$ (statement). In CPYWHRTPKC/e1, lemma 6.12
History
- 2026-10-27: add by m2/v0.4.2
Bridgeport 6QRW9CJXDP
| URI | m2://inv/6QRW9CJXDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#N45D, Bridgeport (unknown)
History
- 2026-11-02: add by m2/dev
6QRZGS18CH 6QRZGS18CH
| URI | m2://inv/6QRZGS18CH |
|---|---|
| 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.33682#R0BZ (statement). In GN608RC9ES/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Examples 6QS0TCSP1Y
| URI | m2://inv/6QS0TCSP1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm kernel#SW9O, Examples (example)
History
- 2026-11-02: add by m2/dev
Tomaszewski’s conjecture 6QS1PV3C47
| URI | m2://inv/6QS1PV3C47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rademacher distribution#V4RO, Tomaszewski’s conjecture (statement)
History
- 2026-11-02: add by m2/dev
\(\Gamma\)-utility on empty requests 6QS2K52C44
| URI | m2://inv/6QS2K52C44 |
|---|---|
| Kind | definition |
| 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.10519#RCMZ, \(\Gamma\)-utility on empty requests (definition). In 83MMH8VF1X/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
extension 6QS5W5JEXS
| URI | m2://inv/6QS5W5JEXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#5S7D, extension (definition)
History
- 2026-11-02: add by m2/dev
Integration by parts 6QS8H7YA0H
| URI | m2://inv/6QS8H7YA0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-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.21775#UHUY, Integration by parts (statement). In KM3Q791JY0/e1, proposition 4.23
History
- 2026-10-27: add by m2/v0.4.2
6QS9K7DEXG 6QS9K7DEXG
| URI | m2://inv/6QS9K7DEXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2411.17227#GJD5 (statement). In DDNP38CHQJ/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.5
Fractal derivative 6QSB0HTX8C
| URI | m2://inv/6QSB0HTX8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal derivative, Fractal derivative (definition). Also Wikidata Q17014577
History
- 2026-11-02: add by m2/dev
6QSBH27143 6QSBH27143
| URI | m2://inv/6QSBH27143 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-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.38068#OFMI (statement). In 67GE5M1GGD/e1, statement 6.7
History
- 2026-10-30: add by m2/v0.4.12
SDM $\Rightarrow$ Conley conjecture 6QSX80X4W5
| URI | m2://inv/6QSX80X4W5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#XN91, SDM $\Rightarrow$ Conley conjecture (statement). In 13GSWBXPCM/e1, theorem 1.17
History
- 2026-10-27: add by m2/v0.3.5
6QSXHWW1GK 6QSXHWW1GK
| URI | m2://inv/6QSXHWW1GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#YAXV (statement). In GXHKRV5BPY/e1, corollary C.6
History
- 2026-10-29: add by m2/v0.4.10
6QT1260A3D 6QT1260A3D
| URI | m2://inv/6QT1260A3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.26496#UZW3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Huang[5 6QTP2JYMQW
| URI | m2://inv/6QTP2JYMQW |
|---|---|
| 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 0807.1652#KWCS, Huang[5 (statement). In 6RC18PTSTT/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Marginal likelihood 6QTY8TGJST
| URI | m2://inv/6QTY8TGJST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EETF, Marginal likelihood (definition)
History
- 2026-11-02: add by m2/dev
6QV99RG850 6QV99RG850
| URI | m2://inv/6QV99RG850 |
|---|---|
| Kind | definition |
| 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 1903.07030#68L7 (definition). In 9H45HQE7AZ/e1, definition 3.34
History
- 2026-10-27: add by m2/v0.3.5
Non-examples 6QVGHNPZAY
| URI | m2://inv/6QVGHNPZAY |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular embedding#UO7K, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Associativity 6QVMQ3K0T4
| URI | m2://inv/6QVMQ3K0T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WHKK, Associativity (definition)
History
- 2026-11-02: add by m2/dev
Linear trend estimation 6QVZK00TCE
| URI | m2://inv/6QVZK00TCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear trend estimation, Linear trend estimation (definition). Also Wikidata Q620784
History
- 2026-11-02: add by m2/dev
Batcher odd–even mergesort 6QW5V251X0
| URI | m2://inv/6QW5V251X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Batcher odd–even mergesort, Batcher odd–even mergesort (definition). Also Wikidata Q4868734
History
- 2026-11-02: add by m2/dev
6QW6E2C59H 6QW6E2C59H
| URI | m2://inv/6QW6E2C59H |
|---|---|
| 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.00144#4BOW (statement). In HAZGBX88B3/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Statement 6QWJ7TTPZ0
| URI | m2://inv/6QWJ7TTPZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic Gronwall inequality#V22U, Statement (statement)
History
- 2026-11-02: add by m2/dev
6QWKC08223 6QWKC08223
| URI | m2://inv/6QWKC08223 |
|---|---|
| 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 2609.26366#EBHY (definition)
History
- 2026-11-01: add by m2/v0.6.15
6QWKK51H0J 6QWKK51H0J
| URI | m2://inv/6QWKK51H0J |
|---|---|
| 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.27393#QUET (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anshel–Anshel–Goldfeld key exchange 6QWMYCYMNB
| URI | m2://inv/6QWMYCYMNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anshel–Anshel–Goldfeld key exchange, Anshel–Anshel–Goldfeld key exchange (definition). Also Wikidata Q4770671
History
- 2026-11-02: add by m2/dev
Fundamental equations of thermodynamics 6QWP7TAQC3
| URI | m2://inv/6QWP7TAQC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#165N, Fundamental equations of thermodynamics (definition)
History
- 2026-11-02: add by m2/dev
queue 6QWQSWWVQV
| URI | m2://inv/6QWQSWWVQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q220543, queue (unknown). Also MathWorld Queue
History
- 2026-10-26: add by m2/dev
6QX8B4VDPF 6QX8B4VDPF
| URI | m2://inv/6QX8B4VDPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#44UY (statement)
History
- 2026-11-02: add by m2/v0.6.18
6QX8BB1483 6QX8BB1483
| URI | m2://inv/6QX8BB1483 |
|---|---|
| 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 2609.21098#OSII (statement)
History
- 2026-11-02: add by m2/v0.6.18
6QXBZVFN42 6QXBZVFN42
| URI | m2://inv/6QXBZVFN42 |
|---|---|
| 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 2511.05069#UM66 (statement). In SFQBJBTW8K/e1, proposition A.5
History
- 2026-10-27: add by m2/v0.3.5
Projective-ray estimate 6QXFTQP098
| URI | m2://inv/6QXFTQP098 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.04099#6BSU, Projective-ray estimate (statement). In QPJ6FWG5HD/e1, lemma 2.110
History
- 2026-10-29: add by m2/v0.4.12
The method 6QXKWZK5WJ
| URI | m2://inv/6QXKWZK5WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good–Turing frequency estimation#S50M, The method (definition)
History
- 2026-11-02: add by m2/dev
Plancherel's theorem 6QXM5NT2WZ
| URI | m2://inv/6QXM5NT2WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#OFIO, Plancherel's theorem (statement)
History
- 2026-11-02: add by m2/dev
6QXV3V7P5R 6QXV3V7P5R
| URI | m2://inv/6QXV3V7P5R |
|---|---|
| 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.03298#BOBO (statement). In 9SBZP218SM/e1, lemma 12.1
History
- 2026-10-29: add by m2/v0.4.12
\hspace{1pt 6QY0JCYTXX
| URI | m2://inv/6QY0JCYTXX |
|---|---|
| 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 2610.20583#5HKF, \hspace{1pt (statement). In 5YEEPDPAQE/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
6QY0KWC3VB 6QY0KWC3VB
| URI | m2://inv/6QY0KWC3VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.37606#Z3M3 (statement). In WNFW6GY38C/e1, corollary 10.3
History
- 2026-10-30: add by m2/v0.4.12
Applications 6QYENK5ATB
| URI | m2://inv/6QYENK5ATB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior extremum theorem#FLPT, Applications (example)
History
- 2026-11-02: add by m2/dev
Metric derivative 6QYF9TPYD0
| URI | m2://inv/6QYF9TPYD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric derivative, Metric derivative (definition). Also Wikidata Q6824317
History
- 2026-11-02: add by m2/dev
Definition 6QYJ91KNZ0
| URI | m2://inv/6QYJ91KNZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young symmetrizer#G7YH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rotation in three dimensions (rigid body dynamics) 6QYNRNASND
| URI | m2://inv/6QYNRNASND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body dynamics#1LDH, Rotation in three dimensions (rigid body dynamics) (unknown)
History
- 2026-11-02: add by m2/dev
Kendall, Sir Maurice 6QZ58WG309
| URI | m2://inv/6QZ58WG309 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P150, Kendall, Sir Maurice (topic)
History
- 2026-11-02: add by m2/dev
Andreas von Ettingshausen 6QZFS205JG
| URI | m2://inv/6QZFS205JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q86374, Andreas von Ettingshausen (unknown). Also ProofWiki Mathematician:Andreas_Freiherr_von_Ettingshausen
History
- 2026-10-26: add by m2/dev
Hierarchical clustering 6QZGYKFHVR
| URI | m2://inv/6QZGYKFHVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical clustering, Hierarchical clustering (definition). Also Wikidata Q1277447
History
- 2026-11-02: add by m2/dev
6QZQPDWT8A 6QZQPDWT8A
| URI | m2://inv/6QZQPDWT8A |
|---|---|
| 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 2603.07541#9IFP (statement). In X3RFXWN6FW/e1, lemma 5.15
History
- 2026-10-27: add by m2/v0.3.6
6QZWBHQ9BD 6QZWBHQ9BD
| URI | m2://inv/6QZWBHQ9BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.19707#DI3Q (statement). In R6SEBXARYC/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
History of randomness 6QZXRVZTRB
| URI | m2://inv/6QZXRVZTRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of randomness, History of randomness (definition). Also Wikidata Q3558956
History
- 2026-11-02: add by m2/dev