Inventory rows 33
The cards of the rows of the inventory whose ids start with 33. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
33035ZXR88 33035ZXR88
| URI | m2://inv/33035ZXR88 |
|---|---|
| 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.19273#YWU6 (statement). In T3BY4TXYT4/e1, corollary 6.12
History
- 2026-10-28: add by m2/v0.4.2
Gustav Conrad Bauer 3307ME3JW8
| URI | m2://inv/3307ME3JW8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav Conrad Bauer, Gustav Conrad Bauer (topic). Also Wikidata Q15454803
History
- 2026-11-02: add by m2/dev
communication theory 3309AF2G95
| URI | m2://inv/3309AF2G95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 94A05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83966, communication theory (topic)
- wikipedia: Wikipedia Communication theory, Communication theory (definition). Also Wikidata Q83966
History
- 2026-10-26: add by m2/dev
Method 330FEGVWM0
| URI | m2://inv/330FEGVWM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrat#FYTL, Method (definition)
History
- 2026-11-02: add by m2/dev
restriction 330H8PXS8W
| URI | m2://inv/330H8PXS8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#4XMK, restriction (definition)
History
- 2026-11-02: add by m2/dev
Russell Lyons 330NC3NJTN
| URI | m2://inv/330NC3NJTN |
|---|---|
| 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#D4ZH, Russell Lyons (unknown)
History
- 2026-11-02: add by m2/dev
Program evaluation 330NT6B627
| URI | m2://inv/330NT6B627 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#3KKG, Program evaluation (unknown)
History
- 2026-11-02: add by m2/dev
330QNTDWSJ 330QNTDWSJ
| URI | m2://inv/330QNTDWSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#SI09 (statement). In CEKW9CNVVW/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
Example 330QQRX7KG
| URI | m2://inv/330QQRX7KG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#A9O0, Example (example)
History
- 2026-11-02: add by m2/dev
Quadratic Schr\"odinger operators with multiplicity 330WF1CR0C
| URI | m2://inv/330WF1CR0C |
|---|---|
| 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.01855#4U7U, Quadratic Schr\"odinger operators with multiplicity (statement). In MM8P5CJR18/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
3312SRRBYF 3312SRRBYF
| URI | m2://inv/3312SRRBYF |
|---|---|
| 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.03555#2585 (statement). In 9JZJTRRVR1/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.12
cotransitivity of apartness 3317C4NREK
| URI | m2://inv/3317C4NREK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/cotransitivity-of-apartness, cotransitivity of apartness (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
relation, monotonic 331C1BSDQD
| URI | m2://inv/331C1BSDQD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/relation-monotonic, relation, monotonic (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Newman–Shanks–Williams prime 331G5BCY4J
| URI | m2://inv/331G5BCY4J |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1965585, Newman–Shanks–Williams prime (object). Also OEIS A088165
- wikipedia: Wikipedia Newman–Shanks–Williams prime, Newman–Shanks–Williams prime (conjecture). Also Wikidata Q1965585
History
- 2026-10-26: add by m2/dev
331JT4FKNE 331JT4FKNE
| URI | m2://inv/331JT4FKNE |
|---|---|
| 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.14154#5VZV (statement). In 8X6PXX2TRA/e1, proposition 11.2
History
- 2026-10-28: add by m2/v0.4.2
Coarse chain 331N11Q2WK
| URI | m2://inv/331N11Q2WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.23106#2LAK, Coarse chain (statement)
History
- 2026-11-02: add by m2/v0.6.17
Tom Bridgeland 331P2H58R7
| URI | m2://inv/331P2H58R7 |
|---|---|
| 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#MV0A, Tom Bridgeland (unknown)
History
- 2026-11-02: add by m2/dev
331P2NG39G 331P2NG39G
| URI | m2://inv/331P2NG39G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.21627#WM1Q (definition). In 4Z44S003HM/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.2
Ovals of Cassini 331XEG176Q
| URI | m2://inv/331XEG176Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#EQ1A, Ovals of Cassini (definition)
History
- 2026-11-02: add by m2/dev
Albrecht Beutelspacher 331YGGZPAX
| URI | m2://inv/331YGGZPAX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albrecht Beutelspacher, Albrecht Beutelspacher (topic). Also Wikidata Q91384
History
- 2026-11-02: add by m2/dev
Max Deuring 331YNJJNY3
| URI | m2://inv/331YNJJNY3 |
|---|---|
| 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#7MQG, Max Deuring (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PECT, Max Deuring (topic)
- wikipedia: Wikipedia List of German mathematicians#GB1J, Max Deuring (topic)
History
- 2026-11-02: add by m2/dev
Short integer solution problem 3323EZDJBK
| URI | m2://inv/3323EZDJBK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem, Short integer solution problem (problem). Also Wikidata Q25305341
History
- 2026-11-02: add by m2/dev
Open set 3326VEW4RT
| URI | m2://inv/3326VEW4RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#3HJ4, Open set (definition)
- wikipedia: Wikipedia List of types of sets#DJGG, Open set (definition)
History
- 2026-11-02: add by m2/dev
332CX9PM9G 332CX9PM9G
| URI | m2://inv/332CX9PM9G |
|---|---|
| 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 0904.0817#4W0F (statement). In 569FZDANV3/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
Polya–Eggenberger distribution 332GEV3SST
| URI | m2://inv/332GEV3SST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#JE3O, Polya–Eggenberger distribution (unknown)
History
- 2026-11-02: add by m2/dev
Weak sign patterns of affine functions 332HHS7HVG
| URI | m2://inv/332HHS7HVG |
|---|---|
| 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.21363#T5HR, Weak sign patterns of affine functions (statement). In YPH7NS5AAQ/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.4.2
Mayer f-function 332HNDFP4E
| URI | m2://inv/332HNDFP4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mayer f-function, Mayer f-function (definition). Also Wikidata Q3075227
History
- 2026-11-02: add by m2/dev
332HT8Y2Z7 332HT8Y2Z7
| URI | m2://inv/332HT8Y2Z7 |
|---|---|
| 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.00525#S3ER (statement). In JN34PDDXH8/e1, theorem 4.10
History
- 2026-10-30: add by m2/v0.4.12
332WCT8JD9 332WCT8JD9
| URI | m2://inv/332WCT8JD9 |
|---|---|
| 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 2610.01932#ETTL (statement). In XDKWW6NR0K/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
332WGF8M2Z 332WGF8M2Z
| URI | m2://inv/332WGF8M2Z |
|---|---|
| Kind | definition |
| 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#SZO5 (definition). In BDN507RN7J/e1, definition 4.7.4
History
- 2026-10-30: add by m2/v0.4.12
Examples 3336Y3MXQP
| URI | m2://inv/3336Y3MXQP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esscher transform#V11M, Examples (example)
History
- 2026-11-02: add by m2/dev
333CDHA14X 333CDHA14X
| URI | m2://inv/333CDHA14X |
|---|---|
| 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 2606.00589#OXW6 (statement). In C8JAGP8VCQ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
333FKWQXZM 333FKWQXZM
| URI | m2://inv/333FKWQXZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-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 2609.33263#ZU11 (definition). In 6S5EH3388Z/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
333KSXR12R 333KSXR12R
| URI | m2://inv/333KSXR12R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2610.10147#2H4K (definition). In WZWGAG2FSN/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.10
333P9DZVSF 333P9DZVSF
| URI | m2://inv/333P9DZVSF |
|---|---|
| Kind | statement |
| 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.21414#0MDX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties 333R7XNV32
| URI | m2://inv/333R7XNV32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henstock–Kurzweil integral#OR9Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Petersen graph 333RPM4GD6
| URI | m2://inv/333RPM4GD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#N0KD, Petersen graph (definition)
History
- 2026-11-02: add by m2/dev
333WHVT1NP 333WHVT1NP
| URI | m2://inv/333WHVT1NP |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#GJAC (unknown). In RNXRAZYR3S/e1, unknown 1.1
History
- 2026-10-30: add by m2/v0.4.12
density 333XBV3XE4
| URI | m2://inv/333XBV3XE4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.3.2/density, density (concept). In 907G4C4EJ1, index, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 333Y2P3PV6
| URI | m2://inv/333Y2P3PV6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillatory integral#9PJ3, Examples (example)
History
- 2026-11-02: add by m2/dev
H-tree 3341HP4PA3
| URI | m2://inv/3341HP4PA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#W99R, H-tree (definition)
History
- 2026-11-02: add by m2/dev
334256CSH9 334256CSH9
| URI | m2://inv/334256CSH9 |
|---|---|
| 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.33469#IHI6 (statement). In TC5QA4AB4Z/e1, corollary 4.44
History
- 2026-10-30: add by m2/v0.4.12
334ADWERQC 334ADWERQC
| URI | m2://inv/334ADWERQC |
|---|---|
| Kind | example |
| 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 2609.22924#8BRE (example)
History
- 2026-11-02: add by m2/v0.6.17
334MZQBCWA 334MZQBCWA
| URI | m2://inv/334MZQBCWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.12484#7YXN (statement). In GW23NX78SB/e1, corollary 4.27
History
- 2026-10-28: add by m2/v0.4.2
334W17X9RN 334W17X9RN
| URI | m2://inv/334W17X9RN |
|---|---|
| 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 2411.01837#3TJJ (statement). In 2XBYZ1QP22/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Definition 334WT5HZV0
| URI | m2://inv/334WT5HZV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collusion#4HLB, Definition (definition)
History
- 2026-11-02: add by m2/dev
334Y1PJPPH 334Y1PJPPH
| URI | m2://inv/334Y1PJPPH |
|---|---|
| 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 2210.12291#AOL3 (statement). In PHPNFMYPPE/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
487 (number) 334Z50NEXJ
| URI | m2://inv/334Z50NEXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#HUF7, 487 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Unordered DPP descent datum 33521ZXTJG
| URI | m2://inv/33521ZXTJG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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.27799#4S4X, Unordered DPP descent datum (definition)
History
- 2026-11-01: add by m2/v0.6.15
335JY1HN9K 335JY1HN9K
| URI | m2://inv/335JY1HN9K |
|---|---|
| Kind | definition |
| 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#OV3B (definition). In 4C5XHYTRT2/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.3.5
Proposition 20.38 (ii 335M8T1318
| URI | m2://inv/335M8T1318 |
|---|---|
| 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.02963#0B2H, Proposition 20.38 (ii (statement). In FN8MJK3C6K/e1, proposition A.4
History
- 2026-10-29: add by m2/v0.4.12
335N24CNE7 335N24CNE7
| URI | m2://inv/335N24CNE7 |
|---|---|
| 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 2508.02432#6SXQ (statement). In B366ACYB37/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Sharon Xiangwen Xie 335NDEGWP6
| URI | m2://inv/335NDEGWP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#YXEP, Sharon Xiangwen Xie (unknown)
History
- 2026-11-02: add by m2/dev
335PF6K6Z7 335PF6K6Z7
| URI | m2://inv/335PF6K6Z7 |
|---|---|
| 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.22557#PN3M (statement)
History
- 2026-11-02: add by m2/v0.6.17
335PY6K029 335PY6K029
| URI | m2://inv/335PY6K029 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#proof-2 (proof). In RZP28ERRZV, proof, section 81.2
History
- 2026-11-01: add by m2/v0.6.13
Concentration-compactness principle 335RZ5N07R
| URI | m2://inv/335RZ5N07R |
|---|---|
| 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.09001#PZX6, Concentration-compactness principle (statement). In HJC1JJZRSH/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Dihedron 335TMYF7CF
| URI | m2://inv/335TMYF7CF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of isotoxal polyhedra and tilings#2O5V, Dihedron (object)
History
- 2026-11-02: add by m2/dev
Stability of strong bulk dissipation 336D3BYG7J
| URI | m2://inv/336D3BYG7J |
|---|---|
| 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 2609.36016#XQHC, Stability of strong bulk dissipation (statement). In NAM9ZMPHZ9/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Implementation 336FV4X5BB
| URI | m2://inv/336FV4X5BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buzen's algorithm#ANLN, Implementation (definition)
History
- 2026-11-02: add by m2/dev
John Rainwater 336JNF0WG2
| URI | m2://inv/336JNF0WG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Rainwater, John Rainwater (topic). Also Wikidata Q6254122
History
- 2026-11-02: add by m2/dev
336MWZS2AP 336MWZS2AP
| URI | m2://inv/336MWZS2AP |
|---|---|
| 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.27788#XYPN (statement)
History
- 2026-11-01: add by m2/v0.6.15
336RRFH2J9 336RRFH2J9
| URI | m2://inv/336RRFH2J9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-26 (proof). In E59CDZA4DP, proof, section 11.5
History
- 2026-11-01: add by m2/v0.6.13
Collision resistance 337E7EJRQK
| URI | m2://inv/337E7EJRQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collision resistance, Collision resistance (definition). Also Wikidata Q1779448
History
- 2026-11-02: add by m2/dev
337KVR339C 337KVR339C
| URI | m2://inv/337KVR339C |
|---|---|
| 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 2212.00617#HDE2 (statement). In K7505G10SS/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Examples 337Q5BG4T3
| URI | m2://inv/337Q5BG4T3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square number#0KHT, Examples (example)
History
- 2026-11-02: add by m2/dev
Ershov number 33803X6HAK
| URI | m2://inv/33803X6HAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ershov number, Ershov number (definition). Also Wikidata Q1361807
History
- 2026-11-02: add by m2/dev
33859TW27D 33859TW27D
| URI | m2://inv/33859TW27D |
|---|---|
| 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.37815#J7LG (statement). In SVJYA0171G/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Suslin's theorem 338979TBDD
| URI | m2://inv/338979TBDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122475046, Suslin's theorem (statement). Also EoM Suslin_theorem, MathWorld SuslinsTheorem
History
- 2026-10-26: add by m2/dev
Example 338BG0222H
| URI | m2://inv/338BG0222H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corresponding conditional#68OA, Example (example)
History
- 2026-11-02: add by m2/dev
cylinder 338WAM9536
| URI | m2://inv/338WAM9536 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4505652, cylinder (unknown). Also MathWorld GeneralizedCylinder
History
- 2026-10-26: add by m2/dev
Alan Siegel 338XJ8BYPW
| URI | m2://inv/338XJ8BYPW |
|---|---|
| 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#GDQM, Alan Siegel (unknown)
History
- 2026-11-02: add by m2/dev
3390H2DKBX 3390H2DKBX
| URI | m2://inv/3390H2DKBX |
|---|---|
| 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.37208#AKD7 (statement). In 7MCBCP4T0B/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
33933N6QG3 33933N6QG3
| URI | m2://inv/33933N6QG3 |
|---|---|
| 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 1002.0879#NS9C (statement). In M0SQY5EZN5/e1, corollary 2.5.2
History
- 2026-10-27: add by m2/v0.3.5
bicuspid curve 3395FRYXFJ
| URI | m2://inv/3395FRYXFJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2001831, bicuspid curve (unknown). Also MathWorld BicuspidCurve
History
- 2026-10-26: add by m2/dev
Kṛṣṇa Daivajña 339AQM0HNW
| URI | m2://inv/339AQM0HNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kṛṣṇa Daivajña, Kṛṣṇa Daivajña (definition). Also Wikidata Q127220591
History
- 2026-11-02: add by m2/dev
Construction 339BB5NT5G
| URI | m2://inv/339BB5NT5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular group representation#8CH8, Construction (definition)
History
- 2026-11-02: add by m2/dev
General principles 339BEGSDFG
| URI | m2://inv/339BEGSDFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptanalysis of the Enigma#3Z7V, General principles (statement)
History
- 2026-11-02: add by m2/dev
Transformation of large deviation principles 339GAGSX8H
| URI | m2://inv/339GAGSX8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate function#E4HB, Transformation of large deviation principles (statement)
History
- 2026-11-02: add by m2/dev
Quadrature-dependent expectation 339KDXVCXX
| URI | m2://inv/339KDXVCXX |
|---|---|
| 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 2610.22308#MHY0, Quadrature-dependent expectation (statement). In 4QN87R0P1G/e1, lemma 9
History
- 2026-10-27: add by m2/v0.4.0
339RJB13B2 339RJB13B2
| URI | m2://inv/339RJB13B2 |
|---|---|
| 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.33241#ZGFU (statement). In NX6QV01PCE/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Almost-sure last-iterate convergence to Nash equilibria 33A2C1QY6F
| URI | m2://inv/33A2C1QY6F |
|---|---|
| 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.05428#ZO8L, Almost-sure last-iterate convergence to Nash equilibria (statement). In 31MQPCA8SH/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
33A8VR65X0 33A8VR65X0
| URI | m2://inv/33A8VR65X0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#example:sqrt2 (example). In E59CDZA4DP, example, section 7.2.1
History
- 2026-11-01: add by m2/v0.6.13
Erling Størmer 33A9EYT8QM
| URI | m2://inv/33A9EYT8QM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erling Størmer, Erling Størmer (topic). Also Wikidata Q4560774
History
- 2026-11-02: add by m2/dev
orthic triangle 33ACQ4KEM6
| URI | m2://inv/33ACQ4KEM6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4337160, orthic triangle (unknown). Also MathWorld OrthicTriangle
History
- 2026-10-26: add by m2/dev
ג 33ARVBANRF
| URI | m2://inv/33ARVBANRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15074, ג (unknown). Also ProofWiki Symbols:Hebrew/Gimel
History
- 2026-10-26: add by m2/dev
UV convergence 33B1SW6WFB
| URI | m2://inv/33B1SW6WFB |
|---|---|
| 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 2610.00453#2WF5, UV convergence (statement). In ESPJMBH2R2/e1, theorem 6.5
History
- 2026-10-30: add by m2/v0.4.12
33B2EXM3W1 33B2EXM3W1
| URI | m2://inv/33B2EXM3W1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2609.34193#BXNU (statement). In 9XMZTTSF5E/e1, lemma 6.10
History
- 2026-10-30: add by m2/v0.4.12
Model selection 33B9NSGMPJ
| URI | m2://inv/33B9NSGMPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model selection, Model selection (definition). Also Wikidata Q6888345
History
- 2026-11-02: add by m2/dev
33BH42043W 33BH42043W
| URI | m2://inv/33BH42043W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-5 (example). In Y91XFCEVHQ, example, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Concentration bound 33BJTTKZEY
| URI | m2://inv/33BJTTKZEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.26619#SM5K, Concentration bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Scattering 33BKJZ74JK
| URI | m2://inv/33BKJZ74JK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattering, Scattering (definition). Also Wikidata Q210028
History
- 2026-11-02: add by m2/dev
33BPNFC3XV 33BPNFC3XV
| URI | m2://inv/33BPNFC3XV |
|---|---|
| Kind | statement |
| 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.04503#19GC (statement). In GWQP1XPM8E/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
33BQ53EM9V 33BQ53EM9V
| URI | m2://inv/33BQ53EM9V |
|---|---|
| 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 2308.07021#NLOT (statement). In H4CM84JVPC/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.5
Cargo Cult Science 33BRAT7SWV
| URI | m2://inv/33BRAT7SWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surely You're Joking, Mr. Feynman!#ICRP, Cargo Cult Science (unknown)
History
- 2026-11-02: add by m2/dev
33BVGAMRZV 33BVGAMRZV
| URI | m2://inv/33BVGAMRZV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.25275#SW3U (definition)
History
- 2026-11-01: add by m2/v0.6.15
33CCK6KV7P 33CCK6KV7P
| URI | m2://inv/33CCK6KV7P |
|---|---|
| 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.34213#AA7D (statement). In KGP6NAY0NS/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
33CMHSRXF3 33CMHSRXF3
| URI | m2://inv/33CMHSRXF3 |
|---|---|
| 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.15094#GSCV (statement). In 5AA8PPK2CC/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Stone–Weierstrass theorem (max-closed) 33CQBASQ9C
| URI | m2://inv/33CQBASQ9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#9WG7, Stone–Weierstrass theorem (max-closed) (statement)
History
- 2026-11-02: add by m2/dev
ULC Measures on \(\bb N\ 33CT5RKX9D
| URI | m2://inv/33CT5RKX9D |
|---|---|
| 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 2609.23994#31H8, ULC Measures on \(\bb N\ (example)
History
- 2026-11-02: add by m2/v0.6.17
axion 33DE8MW8VK
| URI | m2://inv/33DE8MW8VK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q792548, axion (unknown). Also nLab axion
History
- 2026-10-26: add by m2/dev
33DG2VTJYA 33DG2VTJYA
| URI | m2://inv/33DG2VTJYA |
|---|---|
| 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.36321#HTKL (statement). In 3KTZ6Z615H/e1, proposition 3.15
History
- 2026-10-30: add by m2/v0.4.12
tensor product of algebras 33DGH2ZC6H
| URI | m2://inv/33DGH2ZC6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > tensor product of algebras, tensor product of algebras (unknown). Also Mathlib Algebra.TensorProduct.instAlgebra
History
- 2026-10-26: add by m2/dev
33DJW40G0Y 33DJW40G0Y
| URI | m2://inv/33DJW40G0Y |
|---|---|
| Kind | definition |
| 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.39539#TJ89 (definition). In GVR218P3ZR/e1, definition 9.0.2
History
- 2026-10-30: add by m2/v0.4.12
Compounding of the Frame Instability 33DNFZH0WF
| URI | m2://inv/33DNFZH0WF |
|---|---|
| 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.13222#ZE0H, Compounding of the Frame Instability (statement). In Z6WA2R0J50/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
Vegan 33DQ9ZM7BF
| URI | m2://inv/33DQ9ZM7BF |
|---|---|
| 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#RKMH, Vegan (unknown)
History
- 2026-11-02: add by m2/dev
Covariance--instability correspondence 33DV5P59BS
| URI | m2://inv/33DV5P59BS |
|---|---|
| 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.30746#S2K7, Covariance--instability correspondence (statement). In WQEK6H3DZJ/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
33E1HYGCDJ 33E1HYGCDJ
| URI | m2://inv/33E1HYGCDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.27843#OS6S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 33EA3WZZFK
| URI | m2://inv/33EA3WZZFK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic polynomial#IFPW, Applications (example)
History
- 2026-11-02: add by m2/dev
Catherine Goldstein 33EGZ4SWDZ
| URI | m2://inv/33EGZ4SWDZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Goldstein, Catherine Goldstein (topic). Also Wikidata Q1050970
History
- 2026-11-02: add by m2/dev
33EQKMASRB 33EQKMASRB
| URI | m2://inv/33EQKMASRB |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Real coordinate space 33EWS73Z3T
| URI | m2://inv/33EWS73Z3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#5MBU, Real coordinate space (definition)
History
- 2026-11-02: add by m2/dev
Stable breaks and genus stability 33F4D7E9WP
| URI | m2://inv/33F4D7E9WP |
|---|---|
| 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.05652#N8GZ, Stable breaks and genus stability (statement). In 8BNPFYQDQX/e1, corollary 2.15
History
- 2026-10-29: add by m2/v0.4.10
Example 33FCD8JDC1
| URI | m2://inv/33FCD8JDC1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve theory#LF6H, Example (example)
History
- 2026-11-02: add by m2/dev
Judith T. Lessler 33FCF935C3
| URI | m2://inv/33FCF935C3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judith T. Lessler, Judith T. Lessler (topic). Also Wikidata Q58885818
History
- 2026-11-02: add by m2/dev
Jared Wunsch 33FDPEQVG6
| URI | m2://inv/33FDPEQVG6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jared Wunsch, Jared Wunsch (topic). Also Wikidata Q102105483
History
- 2026-11-02: add by m2/dev
Factor of iid 33FFANFEHJ
| URI | m2://inv/33FFANFEHJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-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 2203.01511#V8YA, Factor of iid (definition). In QA7EPHDTV2/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.4.0
33FJY1P5V0 33FJY1P5V0
| URI | m2://inv/33FJY1P5V0 |
|---|---|
| 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.14821#R90K (statement). In B0B2P7JEAQ/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Complex Mexican hat wavelet 33FNJKW3M7
| URI | m2://inv/33FNJKW3M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex Mexican hat wavelet, Complex Mexican hat wavelet (definition). Also Wikidata Q5156555
History
- 2026-11-02: add by m2/dev
Examples 33FPDTR3RA
| URI | m2://inv/33FPDTR3RA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore extension#TXQY, Examples (example)
History
- 2026-11-02: add by m2/dev
33FSDJD0JN 33FSDJD0JN
| URI | m2://inv/33FSDJD0JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#4U7L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 33FYH0052F
| URI | m2://inv/33FYH0052F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniqueness quantification#IM63, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
uniform norm convergence 33G5GAVKS9
| URI | m2://inv/33G5GAVKS9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.1.3/uniform-norm-convergence, uniform norm convergence (concept). In E59CDZA4DP, index, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
33G8GVT2YY 33G8GVT2YY
| URI | m2://inv/33G8GVT2YY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-90 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
33G8HAMQSE 33G8HAMQSE
| URI | m2://inv/33G8HAMQSE |
|---|---|
| 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 2310.14879#I6IU (statement). In 3VZ55B2N0D/e1, lemma 5.16
History
- 2026-10-27: add by m2/v0.4.0
Steve Jackson 33GB7FC5WR
| URI | m2://inv/33GB7FC5WR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZJ7K, Steve Jackson (topic)
History
- 2026-11-02: add by m2/dev
Auxiliary barrier inequality 33GC6398TC
| URI | m2://inv/33GC6398TC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-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.22659#0Y3D, Auxiliary barrier inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
33GF9DG6Z2 33GF9DG6Z2
| URI | m2://inv/33GF9DG6Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.35632#ECPF (statement). In Q74G3BVZAQ/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Vigleik Angeltveit 33GFY8J8YR
| URI | m2://inv/33GFY8J8YR |
|---|---|
| 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 Q57483898, Vigleik Angeltveit (unknown). Also nLab Vigleik Angeltveit
History
- 2026-10-26: add by m2/dev
Definition 33GZ4WDYV4
| URI | m2://inv/33GZ4WDYV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class of groups#N4FI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Frantzikinakis--Host 33H0ZERN7K
| URI | m2://inv/33H0ZERN7K |
|---|---|
| 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.00843#6LE1, Frantzikinakis--Host (statement). In 1K7M5TD0M2/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
33HD21RRA5 33HD21RRA5
| URI | m2://inv/33HD21RRA5 |
|---|---|
| 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.15217#MV18 (statement). In G70Q2FB591/e1, theorem 3.25
History
- 2026-10-28: add by m2/v0.4.2
Law of the iterated logarithm 33HD8Y32GG
| URI | m2://inv/33HD8Y32GG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#2P56, Law of the iterated logarithm (statement)
History
- 2026-11-02: add by m2/dev
Ehrenfried Walther von Tschirnhaus 33HJP35JDW
| URI | m2://inv/33HJP35JDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77288, Ehrenfried Walther von Tschirnhaus (unknown). Also ProofWiki Mathematician:Ehrenfried_Walther_von_Tschirnhaus
- wikipedia: Wikipedia Ehrenfried Walther von Tschirnhaus, Ehrenfried Walther von Tschirnhaus (topic). Also Wikidata Q77288
History
- 2026-10-26: add by m2/dev
33HNJCT7VV 33HNJCT7VV
| URI | m2://inv/33HNJCT7VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#stagesize (statement). In PKGMM3P5QY, prop, section 69.3
History
- 2026-11-01: add by m2/v0.6.13
Henryk Iwaniec 33J3RF1XFJ
| URI | m2://inv/33J3RF1XFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C79Z, Henryk Iwaniec (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1DMC, Henryk Iwaniec (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5VPB, Henryk Iwaniec (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UI2W, Henryk Iwaniec (topic)
History
- 2026-11-02: add by m2/dev
33J8VG3FWN 33J8VG3FWN
| URI | m2://inv/33J8VG3FWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#VJ6W (statement). In CY1FE8W1ZW/e1, lemma 0.10
History
- 2026-10-27: add by m2/v0.4.0
33JH7S3QT8 33JH7S3QT8
| URI | m2://inv/33JH7S3QT8 |
|---|---|
| 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.14377#855N (statement). In WEZPNET90D/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
topological quantum field theory 33JKVM5Y52
| URI | m2://inv/33JKVM5Y52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Topological quantum field theory DAP92B80J2 |
Mentions
- wikidata: Wikidata Q721094, topological quantum field theory (unknown). Also nLab topological quantum field theory
- wikipedia: Wikipedia Topological quantum field theory, Topological quantum field theory (topic). Also Wikidata Q721094
History
- 2026-10-26: add by m2/dev
33JMSARPD0 33JMSARPD0
| URI | m2://inv/33JMSARPD0 |
|---|---|
| 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#DTB6 (statement). In BDN507RN7J/e1, theorem 4.1.22
History
- 2026-10-30: add by m2/v0.4.12
Snezana Lawrence 33JSK2SQBG
| URI | m2://inv/33JSK2SQBG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snezana Lawrence, Snezana Lawrence (topic). Also Wikidata Q99099103
History
- 2026-11-02: add by m2/dev
Waldhausen category 33JXW91CXA
| URI | m2://inv/33JXW91CXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7961511, Waldhausen category (unknown). Also nLab Waldhausen category
- wikipedia: Wikipedia Waldhausen category, Waldhausen category (definition). Also Wikidata Q7961511
History
- 2026-10-26: add by m2/dev
Commutation identity I 33JYCFZWCT
| URI | m2://inv/33JYCFZWCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Jordan algebra#5NOZ, Commutation identity I (statement)
History
- 2026-11-02: add by m2/dev
Well-Ordering Principle 33K3BFRJF7
| URI | m2://inv/33K3BFRJF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/WellOrderingPrinciple.tex#thm:WOP, Well-Ordering Principle (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
33K3Y76AXR 33K3Y76AXR
| URI | m2://inv/33K3Y76AXR |
|---|---|
| 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.20010#YKH1 (statement). In AK2DV65PRT/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
33KMWTJ301 33KMWTJ301
| URI | m2://inv/33KMWTJ301 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#NMIL (statement). In GMRT5GHBZS/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Chemical unclonable function 33KT9DFPY6
| URI | m2://inv/33KT9DFPY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical unclonable function#G2GM, Chemical unclonable function (unknown)
History
- 2026-11-02: add by m2/dev
Discrete Evolution Variational Inequality 33KTET3MWD
| URI | m2://inv/33KTET3MWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#Z6KQ, Discrete Evolution Variational Inequality (statement)
History
- 2026-11-02: add by m2/v0.6.18
33KXMBRJGV 33KXMBRJGV
| URI | m2://inv/33KXMBRJGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#thm:subsetsCountableSets (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Peres–Horodecki criterion 33KXPHQAD2
| URI | m2://inv/33KXPHQAD2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peres–Horodecki criterion, Peres–Horodecki criterion (statement). Also Wikidata Q7167895
History
- 2026-11-02: add by m2/dev
Definition 33M8BSDY4Q
| URI | m2://inv/33M8BSDY4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albertson index#VSRC, Definition (definition)
History
- 2026-11-02: add by m2/dev
direct proof 33MF2VWC2Q
| URI | m2://inv/33MF2VWC2Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Direct proof 0NTF6DMVAP |
Mentions
- wikidata: Wikidata Q141488444, direct proof (unknown). Also MathWorld DirectProof
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Many dice are large 33MNB4YGXQ
| URI | m2://inv/33MNB4YGXQ |
|---|---|
| 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.15421#WXEC, Many dice are large (statement). In 3RBKH0DA74/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Properties 33N2V1VNZ7
| URI | m2://inv/33N2V1VNZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating multilinear map#16SK, Properties (statement)
History
- 2026-11-02: add by m2/dev
33N5EF4EQQ 33N5EF4EQQ
| URI | m2://inv/33N5EF4EQQ |
|---|---|
| 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 2609.20385#Z3OM (statement)
History
- 2026-11-02: add by m2/v0.6.18
33NC1M3ECY 33NC1M3ECY
| URI | m2://inv/33NC1M3ECY |
|---|---|
| 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.25301#RBJU (statement)
History
- 2026-11-01: add by m2/v0.6.15
797 (number) 33NHMRZJWG
| URI | m2://inv/33NHMRZJWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#RPVZ, 797 (number) (unknown)
History
- 2026-11-02: add by m2/dev
33NMDX1VWB 33NMDX1VWB
| URI | m2://inv/33NMDX1VWB |
|---|---|
| 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.06372#QLGX (statement). In G3E1P350Z6/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
33NW1JQ9WB 33NW1JQ9WB
| URI | m2://inv/33NW1JQ9WB |
|---|---|
| Kind | statement |
| 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.21414#UQX6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Equivariant chart decoration 33NX76QK3K
| URI | m2://inv/33NX76QK3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#7N1T, Equivariant chart decoration (statement). In HF7YNMW39N/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.0
Isidore of Miletus 33NZT36GQA
| URI | m2://inv/33NZT36GQA |
|---|---|
| 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 Q310028, Isidore of Miletus (unknown). Also ProofWiki Mathematician:Isidorus_of_Miletus
History
- 2026-10-26: add by m2/dev
33P4WCEAV4 33P4WCEAV4
| URI | m2://inv/33P4WCEAV4 |
|---|---|
| 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.11336#SUL4 (statement). In X1R1GDAJ0Y/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.3
Hoeffding's inequality 33P6ZM1VCW
| URI | m2://inv/33P6ZM1VCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoeffding's inequality, Hoeffding's inequality (statement). Also Wikidata Q1622794
History
- 2026-11-02: add by m2/dev
Johnson's rule 33P7P6JF3P
| URI | m2://inv/33P7P6JF3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson's rule, Johnson's rule (definition). Also Wikidata Q1662347
History
- 2026-11-02: add by m2/dev
33PB5GW39Q 33PB5GW39Q
| URI | m2://inv/33PB5GW39Q |
|---|---|
| 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.36668#G4CG (statement). In RD729BY377/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
condensed mathematics 33PDQP9X41
| URI | m2://inv/33PDQP9X41 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107427296, condensed mathematics (topic). Also nLab condensed mathematics
- wikipedia: Wikipedia Condensed mathematics, Condensed mathematics (topic). Also Wikidata Q107427296
History
- 2026-10-26: add by m2/dev
Test's statistic and distribution: Wilks' theorem 33PE2SCF4G
| URI | m2://inv/33PE2SCF4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnibus test#CQCJ, Test's statistic and distribution: Wilks' theorem (statement)
History
- 2026-11-02: add by m2/dev
Kaniadakis distribution 33PED469PW
| URI | m2://inv/33PED469PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis distribution, Kaniadakis distribution (definition). Also Wikidata Q113380416
History
- 2026-11-02: add by m2/dev
33PPHC986Z 33PPHC986Z
| URI | m2://inv/33PPHC986Z |
|---|---|
| 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.28848#IIAY (statement)
History
- 2026-11-01: add by m2/v0.6.15
33Q9YZEFZS 33Q9YZEFZS
| URI | m2://inv/33Q9YZEFZS |
|---|---|
| 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.06724#MYMB (statement). In W5XG3PGVF1/e1, corollary 5.12
History
- 2026-10-29: add by m2/v0.4.10
unbounded operator 33QAJMXS73
| URI | m2://inv/33QAJMXS73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Unbounded operator KRJX5RA0PW |
Mentions
- wikidata: Wikidata Q5108738, unbounded operator (unknown). Also EoM Unbounded_operator, nLab unbounded operator
- wikipedia: Wikipedia Unbounded operator, Unbounded operator (definition). Also Wikidata Q5108738
History
- 2026-10-26: add by m2/dev
Wick product 33QH0NGAHM
| URI | m2://inv/33QH0NGAHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wick product, Wick product (definition). Also Wikidata Q7998248
History
- 2026-11-02: add by m2/dev
33QH22ESD2 33QH22ESD2
| URI | m2://inv/33QH22ESD2 |
|---|---|
| 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 2609.25967#4OSO (statement)
History
- 2026-11-01: add by m2/v0.6.15
\textit{Existence of vibrational control 33QVAEP9P8
| URI | m2://inv/33QVAEP9P8 |
|---|---|
| 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 2204.00678#PMRJ, \textit{Existence of vibrational control (statement). In RX70Y35BYJ/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
33R1HF615W 33R1HF615W
| URI | m2://inv/33R1HF615W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise:diffvarparunder (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
33R7YDMN3H 33R7YDMN3H
| URI | m2://inv/33R7YDMN3H |
|---|---|
| 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.23526#3AWJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
33RF3EH5ZW 33RF3EH5ZW
| URI | m2://inv/33RF3EH5ZW |
|---|---|
| Kind | definition |
| 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.12736#K3NT (definition). In 5350Q52F6P/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Essential biorthogonality 33RJK5T2TW
| URI | m2://inv/33RJK5T2TW |
|---|---|
| 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 2609.20643#U6FX, Essential biorthogonality (statement)
History
- 2026-11-02: add by m2/v0.6.18
33S1YNK06Y 33S1YNK06Y
| URI | m2://inv/33S1YNK06Y |
|---|---|
| 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 2609.35682#XW7Q (statement). In 7XM8WXVBWK/e1, fact 3.2
History
- 2026-10-30: add by m2/v0.4.12
Count-conditional statistical alignment discrepancy 33SD56J90S
| URI | m2://inv/33SD56J90S |
|---|---|
| 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.31607#JQ9Y, Count-conditional statistical alignment discrepancy (definition). In H9X9WZ17TT/e1, definition 13
History
- 2026-10-31: add by m2/v0.5.6
Definition 33SFTFRGM7
| URI | m2://inv/33SFTFRGM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual abelian variety#WRDM, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of Iranian mathematicians 33SNDSSNYQ
| URI | m2://inv/33SNDSSNYQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#4Z0L, List of Iranian mathematicians (topic)
History
- 2026-11-02: add by m2/dev
Castelnuovo theorem 33T0HS9DF9
| URI | m2://inv/33T0HS9DF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GCSB, Castelnuovo theorem (definition)
History
- 2026-11-02: add by m2/dev
Quarter wave resonator 33T3H982AD
| URI | m2://inv/33T3H982AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microwave cavity#TXPJ, Quarter wave resonator (unknown)
History
- 2026-11-02: add by m2/dev
Quantitative uniqueness 33TFB0HH41
| URI | m2://inv/33TFB0HH41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-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.35574#XNRB, Quantitative uniqueness (statement). In 3Q70DMD7Z7/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
*{Proposition 5.28 33TFMTJ94T
| URI | m2://inv/33TFMTJ94T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.21914#MFEB, *{Proposition 5.28 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implementation 33TNY399Q3
| URI | m2://inv/33TNY399Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental Principles of Official Statistics#YYA4, Implementation (definition)
History
- 2026-11-02: add by m2/dev
33V2G9QMCS 33V2G9QMCS
| URI | m2://inv/33V2G9QMCS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.06152#RZ95 (definition). In HH35K7S17H/e1, definition 6.9
History
- 2026-10-29: add by m2/v0.4.10
set theory, Zermelo--Fraenkel 33VE7J1GW7
| URI | m2://inv/33VE7J1GW7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/set-theory-zermelo-fraenkel, set theory, Zermelo--Fraenkel (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Target-linked protected corruption budgets 33VGWA9C2B
| URI | m2://inv/33VGWA9C2B |
|---|---|
| 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.15202#TEOB, Target-linked protected corruption budgets (statement). In X1FPG0KYBM/e1, corollary N.4
History
- 2026-10-28: add by m2/v0.4.2
Elliptic unit 33VKPPMNM3
| URI | m2://inv/33VKPPMNM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic unit, Elliptic unit (definition). Also Wikidata Q5365804
History
- 2026-11-02: add by m2/dev
Definition 33VQAW4TV0
| URI | m2://inv/33VQAW4TV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subring#JEOM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 33W0V60STK
| URI | m2://inv/33W0V60STK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral submanifold#H5LU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Singular cardinals hypothesis 33W2RQ7DS6
| URI | m2://inv/33W2RQ7DS6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#HS54, Singular cardinals hypothesis (statement)
History
- 2026-11-02: add by m2/dev
orthogonal 33W8C4J1ER
| URI | m2://inv/33W8C4J1ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#87MA, orthogonal (definition)
History
- 2026-11-02: add by m2/dev
Sergei Starchenko 33WB9NVWYW
| URI | m2://inv/33WB9NVWYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Starchenko, Sergei Starchenko (topic). Also Wikidata Q24469781
History
- 2026-11-02: add by m2/dev
33WCC4CGTS 33WCC4CGTS
| URI | m2://inv/33WCC4CGTS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2610.21365#9QOM (definition). In FCMMB2EVAP/e1, definition 4.16
History
- 2026-10-27: add by m2/v0.4.2
Preparation time 33WJ9D5XEA
| URI | m2://inv/33WJ9D5XEA |
|---|---|
| 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.04271#DJHJ, Preparation time (statement). In WBXAW9G4JB/e1, corollary 15.2
History
- 2026-10-29: add by m2/v0.4.12
33WVJR87EK 33WVJR87EK
| URI | m2://inv/33WVJR87EK |
|---|---|
| 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.06899#O2K7 (statement). In 5Z2K9JGFSS/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Abel–Jacobi theorem 33WYK7857F
| URI | m2://inv/33WYK7857F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Q43B, Abel–Jacobi theorem (definition)
History
- 2026-11-02: add by m2/dev
33X0GHD238 33X0GHD238
| URI | m2://inv/33X0GHD238 |
|---|---|
| Kind | definition |
| 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.07280#GPMN (definition). In 1FJKW4WGEN/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
33X0NVAFP6 33X0NVAFP6
| URI | m2://inv/33X0NVAFP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.28282#RE60 (statement)
History
- 2026-11-01: add by m2/v0.6.15
33X2PS1QMJ 33X2PS1QMJ
| URI | m2://inv/33X2PS1QMJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 17.11
History
- 2026-11-01: add by m2/v0.6.13
Ariel D. Procaccia 33X8XFJ3JX
| URI | m2://inv/33X8XFJ3JX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NSQO, Ariel D. Procaccia (unknown)
History
- 2026-11-02: add by m2/dev
33XA74BA3T 33XA74BA3T
| URI | m2://inv/33XA74BA3T |
|---|---|
| Kind | example |
| 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.04600#4A1V (example). In 4V64K0DYSV/e1, example 1
History
- 2026-10-29: add by m2/v0.4.12
African Americans in Holyoke, Massachusetts 33XAZJ53P7
| URI | m2://inv/33XAZJ53P7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Holyoke, Massachusetts#0CM4, African Americans in Holyoke, Massachusetts (unknown)
History
- 2026-11-02: add by m2/dev
Examples 33XDQNDP99
| URI | m2://inv/33XDQNDP99 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming#7HN3, Examples (example)
History
- 2026-11-02: add by m2/dev
Backbone choice on equal-arm spiders 33XE37VA1Y
| URI | m2://inv/33XE37VA1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.34025#OBZG, Backbone choice on equal-arm spiders (statement). In VCG579E7MM/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Vertical persistence 33XHG9D5Z3
| URI | m2://inv/33XHG9D5Z3 |
|---|---|
| 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.11210#2A5N, Vertical persistence (statement). In CRFDGFZHBF/e1, theorem 8.7
History
- 2026-10-28: add by m2/v0.4.3
33XP3ZGHP2 33XP3ZGHP2
| URI | m2://inv/33XP3ZGHP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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 2609.35229#UOMI (statement). In XBAXW1YBAK/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Characterization 33XX9RH7PY
| URI | m2://inv/33XX9RH7PY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted matroid#SE2A, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Examples 33XYKR0D4A
| URI | m2://inv/33XYKR0D4A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group#3A6E, Examples (example)
History
- 2026-11-02: add by m2/dev
Quasi-isometry theorem 33Y2AARE3N
| URI | m2://inv/33Y2AARE3N |
|---|---|
| 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.28014#M7JM, Quasi-isometry theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
33YEZ806JT 33YEZ806JT
| URI | m2://inv/33YEZ806JT |
|---|---|
| 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.40189#QP2J (statement). In K2MDWD9V46/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
33YMYMBEZJ 33YMYMBEZJ
| URI | m2://inv/33YMYMBEZJ |
|---|---|
| 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 1705.01594#AZAE (statement). In BR3N3GSY2C/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
Comparison with the best fixed oracle 33YR7YFQF3
| URI | m2://inv/33YR7YFQF3 |
|---|---|
| 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.21139#OKB4, Comparison with the best fixed oracle (statement). In E3NM0QN6KK/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
33YW3PPXB2 33YW3PPXB2
| URI | m2://inv/33YW3PPXB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.05986#QSBL (statement). In N5ZM8MXJXH/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
33Z4YP5KE8 33Z4YP5KE8
| URI | m2://inv/33Z4YP5KE8 |
|---|---|
| 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.00271#AN3K (statement). In T1NSCAZS28/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
33ZE806DAD 33ZE806DAD
| URI | m2://inv/33ZE806DAD |
|---|---|
| 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#5VFG (statement). In CGA36VE1C5/e1, lemma 3.12.1
History
- 2026-10-27: add by m2/v0.3.6
33ZG5NZG2P 33ZG5NZG2P
| URI | m2://inv/33ZG5NZG2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21408#2KIP (statement). In 3XBEGXNPXZ/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.2
Laurent Clozel 33ZH4X0G1G
| URI | m2://inv/33ZH4X0G1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurent Clozel, Laurent Clozel (topic). Also Wikidata Q1147415
History
- 2026-11-02: add by m2/dev
braided monoidal category 33ZM6Y74NX
| URI | m2://inv/33ZM6Y74NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Braided monoidal category VT8SFWT0XW |
Mentions
- wikidata: Wikidata Q2943034, braided monoidal category (unknown). Also EoM Braided_category, nLab braided monoidal category
- wikipedia: Wikipedia Braided monoidal category, Braided monoidal category (definition). Also Wikidata Q2943034
History
- 2026-10-26: add by m2/dev
33ZQP6W91A 33ZQP6W91A
| URI | m2://inv/33ZQP6W91A |
|---|---|
| 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 2609.40207#OIDH (statement). In JXTG8KP95P/e1, lemma 5.15
History
- 2026-10-30: add by m2/v0.4.12
33ZRE0DTWQ 33ZRE0DTWQ
| URI | m2://inv/33ZRE0DTWQ |
|---|---|
| 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#KJJR (statement). In M4ZVJWM8YA/e1, corollary A.20
History
- 2026-10-27: add by m2/v0.4.2
33ZSD9MA7V 33ZSD9MA7V
| URI | m2://inv/33ZSD9MA7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.39890#T92J (statement). In GGVQ3B9KJ6/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Zeno paradoxes 33ZT5RE67C
| URI | m2://inv/33ZT5RE67C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#B4TR, Zeno paradoxes (definition)
History
- 2026-11-02: add by m2/dev
Solomon W. Golomb 33ZYAXBMZ0
| URI | m2://inv/33ZYAXBMZ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ABKK, Solomon W. Golomb (topic)
History
- 2026-11-02: add by m2/dev