Inventory rows NM
The cards of the rows of the inventory whose ids start with NM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
NM02YQDY0K NM02YQDY0K
| URI | m2://inv/NM02YQDY0K |
|---|---|
| Kind | statement |
| 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 2610.21103#Z266 (statement). In VZCZEDCG8J/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Uhlenbeck; see also Epstein NM052GM5ZV
| URI | m2://inv/NM052GM5ZV |
|---|---|
| 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 2609.35858#HLWI, Uhlenbeck; see also Epstein (statement). In R2K4HZN8RW/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
!= NM08D5E787
| URI | m2://inv/NM08D5E787 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equals sign#P4H8, != (unknown)
History
- 2026-11-02: add by m2/dev
Associative enveloping algebra NM08EZM259
| URI | m2://inv/NM08EZM259 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-associative algebra#35HA, Associative enveloping algebra (unknown)
History
- 2026-11-02: add by m2/dev
matrix exponential NM09VR6DP3
| URI | m2://inv/NM09VR6DP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Matrix exponential 020M04FN1H |
Mentions
- wikidata: Wikidata Q1191722, matrix exponential (unknown). Also MathWorld MatrixExponential
- wikipedia: Wikipedia Matrix exponential, Matrix exponential (definition). Also Wikidata Q1191722
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
NM0A185CCZ NM0A185CCZ
| URI | m2://inv/NM0A185CCZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-91 (exercise). In E9HS8K3A52, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Thaleia Zariphopoulou NM0MEQEQXC
| URI | m2://inv/NM0MEQEQXC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thaleia Zariphopoulou, Thaleia Zariphopoulou (topic). Also Wikidata Q21006470
History
- 2026-11-02: add by m2/dev
A non-diagonal structure NM0P5KNXZ7
| URI | m2://inv/NM0P5KNXZ7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#GR7V, A non-diagonal structure (example). In MS13WE3CSD/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.10
Egyptian geometry NM0RRWNSB2
| URI | m2://inv/NM0RRWNSB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egyptian geometry, Egyptian geometry (definition). Also Wikidata Q5348474
History
- 2026-11-02: add by m2/dev
1989 Transnistrian census NM0WMW5PE4
| URI | m2://inv/NM0WMW5PE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1989 Transnistrian census, 1989 Transnistrian census (definition). Also Wikidata Q4585110
History
- 2026-11-02: add by m2/dev
NM18CYRABG NM18CYRABG
| URI | m2://inv/NM18CYRABG |
|---|---|
| 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 2412.20001#MMP7 (statement). In Y6YJSB93C3/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
calculus of constructions NM19E679QE
| URI | m2://inv/NM19E679QE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q858320, calculus of constructions (unknown). Also nLab calculus of constructions
- wikipedia: Wikipedia Calculus of constructions, Calculus of constructions (definition). Also Wikidata Q858320
History
- 2026-10-26: add by m2/dev
NM1CQVWE2Y NM1CQVWE2Y
| URI | m2://inv/NM1CQVWE2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#UX61 (statement). In WRE0P7V6Z3/e1, theorem 1.13
History
- 2026-10-30: add by m2/v0.4.12
NM1G2KDV11 NM1G2KDV11
| URI | m2://inv/NM1G2KDV11 |
|---|---|
| Kind | problem |
| 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.12691#VMTC (problem). In YVQKT91MYN/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
NM1KXXD1EX NM1KXXD1EX
| URI | m2://inv/NM1KXXD1EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13707#JRR5 (statement). In 3564GWRNSF/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
NM1NX5HHVZ NM1NX5HHVZ
| URI | m2://inv/NM1NX5HHVZ |
|---|---|
| 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.15992#WXWY (statement). In P74TAV3ME5/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
NM1THE7XCH NM1THE7XCH
| URI | m2://inv/NM1THE7XCH |
|---|---|
| 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.23237#NJJ3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
electromagnetism NM21D45KSE
| URI | m2://inv/NM21D45KSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11406, electromagnetism (definition). Also ProofWiki Definition:Electromagnetism
History
- 2026-10-26: add by m2/dev
NM23E64N6F NM23E64N6F
| URI | m2://inv/NM23E64N6F |
|---|---|
| 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.20421#S1JK (statement). In Q4R7J8JE3F/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Demetrice Martin NM2K8GZANP
| URI | m2://inv/NM2K8GZANP |
|---|---|
| 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#BWKX, Demetrice Martin (unknown)
History
- 2026-11-02: add by m2/dev
Lieb-Robinson bound NM2M9DDDD9
| URI | m2://inv/NM2M9DDDD9 |
|---|---|
| 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.12731#Q16S, Lieb-Robinson bound (statement). In 2NCV1M6WYS/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
NM2PWXM1EB NM2PWXM1EB
| URI | m2://inv/NM2PWXM1EB |
|---|---|
| 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#WAVW (statement). In 8X6PXX2TRA/e1, theorem 9.4
History
- 2026-10-28: add by m2/v0.4.2
Properties NM2SX6W1H6
| URI | m2://inv/NM2SX6W1H6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal ideal domain#ZVGG, Properties (statement)
History
- 2026-11-02: add by m2/dev
NM383SMSJD NM383SMSJD
| URI | m2://inv/NM383SMSJD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
Left associative operator NM3J1GABYV
| URI | m2://inv/NM3J1GABYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associative property#7MUT, Left associative operator (unknown)
History
- 2026-11-02: add by m2/dev
Very Fast Growing Families NM3W4GD00D
| URI | m2://inv/NM3W4GD00D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#TXAZ, Very Fast Growing Families (definition). In WYDHWYFRFK/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Identical microscopic laws, different path limits NM3X08XWC7
| URI | m2://inv/NM3X08XWC7 |
|---|---|
| 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.01391#AXQM, Identical microscopic laws, different path limits (statement). In MAZNVJX5YK/e1, proposition 23
History
- 2026-10-29: add by m2/v0.4.12
Lemma NM3Z17JVZM
| URI | m2://inv/NM3Z17JVZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-Thue system#A2GC, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Definition NM3ZG7XAK8
| URI | m2://inv/NM3ZG7XAK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere dense set#0HGX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Critical Simplex NM3ZJFVTHM
| URI | m2://inv/NM3ZJFVTHM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#NHFO, Critical Simplex (definition). In BAEDMM7YM5/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
NM40P4WKYZ NM40P4WKYZ
| URI | m2://inv/NM40P4WKYZ |
|---|---|
| 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 2609.36884#Y2JG (definition). In Z7E16PFFCP/e1, definition 3.12
History
- 2026-10-30: add by m2/v0.4.12
NM45N9AM3J NM45N9AM3J
| URI | m2://inv/NM45N9AM3J |
|---|---|
| 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.07927#D6PC (statement). In GKM19DHQTM/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
Jayarāśi Bhaṭṭa NM4ACHRK8J
| URI | m2://inv/NM4ACHRK8J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jayarāśi Bhaṭṭa, Jayarāśi Bhaṭṭa (topic). Also Wikidata Q3497372
History
- 2026-11-02: add by m2/dev
NM4HXHXQXF NM4HXHXQXF
| URI | m2://inv/NM4HXHXQXF |
|---|---|
| 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 2601.15010#B1Y2 (statement). In K3WJ6ZN184/e1, proposition 10.10
History
- 2026-10-27: add by m2/v0.3.5
Prosper Charbonnier NM4Q0MTR5Q
| URI | m2://inv/NM4Q0MTR5Q |
|---|---|
| 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#W8P1, Prosper Charbonnier (unknown)
History
- 2026-11-02: add by m2/dev
Sequential generation NM4S52NZM1
| URI | m2://inv/NM4S52NZM1 |
|---|---|
| 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.31336#PBE4, Sequential generation (statement). In 70RV7J456D/e1, proposition 25
History
- 2026-10-31: add by m2/v0.5.6
Properties NM52PBG9KC
| URI | m2://inv/NM52PBG9KC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General topology#KP3Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
NM59FFQT2M NM59FFQT2M
| URI | m2://inv/NM59FFQT2M |
|---|---|
| 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.33027#IEI8 (statement). In E2AF84709B/e1, lemma 37
History
- 2026-10-31: add by m2/v0.5.6
NM5CBG00KY NM5CBG00KY
| URI | m2://inv/NM5CBG00KY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/relational-models.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
Stochastic Processes and Their Applications NM5GR573RF
| URI | m2://inv/NM5GR573RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic Processes and Their Applications, Stochastic Processes and Their Applications (definition). Also Wikidata Q15734260
History
- 2026-11-02: add by m2/dev
Dedekind–MacNeille completion NM5HHXKM51
| URI | m2://inv/NM5HHXKM51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#0V8I, Dedekind–MacNeille completion (definition)
History
- 2026-11-02: add by m2/dev
Virtual tangent bundle NM5HK42CXG
| URI | m2://inv/NM5HK42CXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular embedding#K75R, Virtual tangent bundle (unknown)
History
- 2026-11-02: add by m2/dev
Approximation of pseudospectra NM5MTQBCA1
| URI | m2://inv/NM5MTQBCA1 |
|---|---|
| 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.01501#OWRF, Approximation of pseudospectra (statement). In 8Q2PXZDGB5/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
NM5NQ4GYP3 NM5NQ4GYP3
| URI | m2://inv/NM5NQ4GYP3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:proofoflinproppartii (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
NM5QGRES82 NM5QGRES82
| URI | m2://inv/NM5QGRES82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#WMWA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Möbius function NM5SF34DCG
| URI | m2://inv/NM5SF34DCG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Möbius function 0C8QENHYZW |
Mentions
- wikidata: Wikidata Q205243, Möbius function (concept). Also EoM Möbius_function, MathWorld MoebiusFunction, OEIS A008683
- wikipedia: Wikipedia Möbius function, Möbius function (definition). Also Wikidata Q205243
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Finite character NM5SZPK1AD
| URI | m2://inv/NM5SZPK1AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite character, Finite character (definition). Also Wikidata Q578304
History
- 2026-11-02: add by m2/dev
Application NM69H4R24A
| URI | m2://inv/NM69H4R24A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wahlwort#PLCW, Application (example)
History
- 2026-11-02: add by m2/dev
NM6CS64JHK NM6CS64JHK
| URI | m2://inv/NM6CS64JHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.22607#FJDV (statement). In 6GT33A43SY/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.5
NM6JZB0CM4 NM6JZB0CM4
| URI | m2://inv/NM6JZB0CM4 |
|---|---|
| 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 2211.14214#NKZ4 (statement). In SY85Y9E45A/e1, lemma 48
History
- 2026-10-27: add by m2/v0.3.5
Thinned branch overlaps NM6KKKYF7E
| URI | m2://inv/NM6KKKYF7E |
|---|---|
| Kind | definition |
| 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 2310.11101#JM1D, Thinned branch overlaps (definition). In YBBKTP4E70/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Bers area inequality NM6MP6ZXYN
| URI | m2://inv/NM6MP6ZXYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahlfors finiteness theorem#NU7L, Bers area inequality (statement)
History
- 2026-11-02: add by m2/dev
NM6T3AQ0GV NM6T3AQ0GV
| URI | m2://inv/NM6T3AQ0GV |
|---|---|
| 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 2606.12009#BS8V (statement). In DNAN4SV8AM/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Generalized formula NM7A9EZ8SF
| URI | m2://inv/NM7A9EZ8SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sagnac effect#4YQ0, Generalized formula (statement)
History
- 2026-11-02: add by m2/dev
CORDEX NM7R0VMYMG
| URI | m2://inv/NM7R0VMYMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Downscaling#E32M, CORDEX (unknown)
History
- 2026-11-02: add by m2/dev
Yaakov Ziv NM80Z6EEY5
| URI | m2://inv/NM80Z6EEY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WIZI, Yaakov Ziv (unknown)
History
- 2026-11-02: add by m2/dev
Properties of NM83X716E8
| URI | m2://inv/NM83X716E8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's question-mark function#LXEG, Properties of (statement)
History
- 2026-11-02: add by m2/dev
NM875XCANP NM875XCANP
| URI | m2://inv/NM875XCANP |
|---|---|
| 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.38396#EA0C (statement). In FGNNVKQR1Z/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Applications NM8BAH6TGT
| URI | m2://inv/NM8BAH6TGT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidirectional recurrent neural networks#YE0X, Applications (example)
History
- 2026-11-02: add by m2/dev
NM8CH4CRSV NM8CH4CRSV
| URI | m2://inv/NM8CH4CRSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#3NJM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Representation NM8G2VHMFD
| URI | m2://inv/NM8G2VHMFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unital (geometry)#P2VW, Representation (definition)
History
- 2026-11-02: add by m2/dev
De Rham–Weil theorem NM8GRWZ5SX
| URI | m2://inv/NM8GRWZ5SX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#K5O6, De Rham–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
Prime decomposition of 3-manifolds NM8JBNV2JP
| URI | m2://inv/NM8JBNV2JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime decomposition of 3-manifolds, Prime decomposition of 3-manifolds (definition). Also Wikidata Q3527192
History
- 2026-11-02: add by m2/dev
Nonvanishing of the local Gauss integral NM8KVMTD2D
| URI | m2://inv/NM8KVMTD2D |
|---|---|
| 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 2610.10583#L6YE, Nonvanishing of the local Gauss integral (statement). In 5BZQS1KY9A/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
NM8QHYT6RD NM8QHYT6RD
| URI | m2://inv/NM8QHYT6RD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.00134#NXQ5 (definition). In S654779J5P/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Tukey–Duckworth test NM8XDDY6YD
| URI | m2://inv/NM8XDDY6YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0XQT, Tukey–Duckworth test (definition)
History
- 2026-11-02: add by m2/dev
NM91PH1WQ3 NM91PH1WQ3
| URI | m2://inv/NM91PH1WQ3 |
|---|---|
| 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 2009.11127#D5OU (statement). In QEFS0Y021A/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
NM986KCCX9 NM986KCCX9
| URI | m2://inv/NM986KCCX9 |
|---|---|
| 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 0906.4245#08RQ (example). In GPVBE4SEVF/e1, example
History
- 2026-10-27: add by m2/v0.3.5
Examples NM9DSNN2HA
| URI | m2://inv/NM9DSNN2HA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution (number theory)#1MKX, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem NM9H41TNAQ
| URI | m2://inv/NM9H41TNAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special linear Lie algebra#QBRU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
NM9J975J6W NM9J975J6W
| URI | m2://inv/NM9J975J6W |
|---|---|
| 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 2609.26435#BMF6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications NM9JMPB3Y8
| URI | m2://inv/NM9JMPB3Y8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced mass#IQP7, Applications (example)
History
- 2026-11-02: add by m2/dev
NM9JSHN3M2 NM9JSHN3M2
| URI | m2://inv/NM9JSHN3M2 |
|---|---|
| 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 2504.00267#T8U0 (definition). In 38XJWDZ2PH/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
R-symmetry NM9P32KKYT
| URI | m2://inv/NM9P32KKYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3928107, R-symmetry (unknown). Also nLab R-symmetry
History
- 2026-10-26: add by m2/dev
NM9VTK6AJH NM9VTK6AJH
| URI | m2://inv/NM9VTK6AJH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#I5DF (definition). In MER0S03A77/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
NM9W2V2RKH NM9W2V2RKH
| URI | m2://inv/NM9W2V2RKH |
|---|---|
| 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 2207.12181#IAT6 (statement). In FSD8NE3XSR/e1, proposition 7.13
History
- 2026-10-27: add by m2/v0.4.0
Angular resolution NM9X8K2YWM
| URI | m2://inv/NM9X8K2YWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular resolution (graph drawing), Angular resolution (definition). Also Wikidata Q4764027
History
- 2026-11-02: add by m2/dev
vertex-labeled graph NM9ZH6ZV0D
| URI | m2://inv/NM9ZH6ZV0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130342312, vertex-labeled graph (definition). Also MathWorld LabeledGraph, ProofWiki Definition:Labeled_Graph
History
- 2026-10-26: add by m2/dev
Some Remarks on Logical Form NMA1EKSERB
| URI | m2://inv/NMA1EKSERB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Some Remarks on Logical Form, Some Remarks on Logical Form (topic). Also Wikidata Q7559482
History
- 2026-11-02: add by m2/dev
Criterion for ergodicity NMA2Y8028M
| URI | m2://inv/NMA2Y8028M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity#GO4B, Criterion for ergodicity (statement)
History
- 2026-11-02: add by m2/dev
when the cone model stays flag NMA32Z8AXJ
| URI | m2://inv/NMA32Z8AXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#KVSE, when the cone model stays flag (statement). In PCAS8S14J6/e1, proposition 8.2
History
- 2026-10-31: add by m2/v0.5.6
area NMA91TPQCC
| URI | m2://inv/NMA91TPQCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11500, area (unknown). Also EoM Area, MathWorld Area, nLab area
- wikipedia: Wikipedia Area, Area (definition). Also Wikidata Q11500
History
- 2026-10-26: add by m2/dev
NMA9GB0PE6 NMA9GB0PE6
| URI | m2://inv/NMA9GB0PE6 |
|---|---|
| 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#T3SZ (statement). In 3KTZ6Z615H/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
Anisotropic rectangles NMAADW72PG
| URI | m2://inv/NMAADW72PG |
|---|---|
| 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#QY3P, Anisotropic rectangles (statement). In 9YAE8FNQST/e1, theorem 21.5
History
- 2026-10-30: add by m2/v0.4.12
First moment density NMABZC2G11
| URI | m2://inv/NMABZC2G11 |
|---|---|
| Kind | definition |
| 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.05064#LGN3, First moment density (definition). In 11SW7NAN7M/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.12
NMAMS0RD08 NMAMS0RD08
| URI | m2://inv/NMAMS0RD08 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Allen Edward Hatcher NMANKP8BX5
| URI | m2://inv/NMANKP8BX5 |
|---|---|
| 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#SDRQ, Allen Edward Hatcher (topic)
History
- 2026-11-02: add by m2/dev
NMAP3Y9Z02 NMAP3Y9Z02
| URI | m2://inv/NMAP3Y9Z02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.04498#MDWY (statement). In HHF08X70P6/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
NMAQ210SGQ NMAQ210SGQ
| URI | m2://inv/NMAQ210SGQ |
|---|---|
| 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.27902#HER9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
gauss NMAQT58V65
| URI | m2://inv/NMAQT58V65 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#I9EW, gauss (unknown)
History
- 2026-11-02: add by m2/dev
NMBBYVZXSS NMBBYVZXSS
| URI | m2://inv/NMBBYVZXSS |
|---|---|
| Kind | definition |
| 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.16731#8AEE (definition). In D68KBZQ4Q6/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Adam Kanigowski NMBFQF7XN8
| URI | m2://inv/NMBFQF7XN8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adam Kanigowski, Adam Kanigowski (topic). Also Wikidata Q102936216
History
- 2026-11-02: add by m2/dev
Hyperbolic quaternion NMBG9SS3NF
| URI | m2://inv/NMBG9SS3NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic quaternion, Hyperbolic quaternion (definition). Also Wikidata Q3413403
History
- 2026-11-02: add by m2/dev
Sample and circuit complexities of operator expectation value estimation algorithm NMBHHJMV6N
| URI | m2://inv/NMBHHJMV6N |
|---|---|
| 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.39992#8G21, Sample and circuit complexities of operator expectation value estimation algorithm (statement). In WF64CGYVK1/e1, theorem S22
History
- 2026-10-30: add by m2/v0.4.12
NMBPFWXAB0 NMBPFWXAB0
| URI | m2://inv/NMBPFWXAB0 |
|---|---|
| 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 2410.02139#IT96 (statement). In TJ1NTK3KJW/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
NMBWPAJP8D NMBWPAJP8D
| URI | m2://inv/NMBWPAJP8D |
|---|---|
| Kind | statement |
| 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#E3WD (statement). In ATSYBWEMMP/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
EHP sequence - calculus version NMC02ZYN4C
| URI | m2://inv/NMC02ZYN4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#1H1I, EHP sequence - calculus version (statement). In ZPT9XCCAPQ/e1, proposition 1.2.8
History
- 2026-10-31: add by m2/v0.5.6
NMC9Q1BB1D NMC9Q1BB1D
| URI | m2://inv/NMC9Q1BB1D |
|---|---|
| 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.39782#ANDC (statement). In JF4188WVV0/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Kaplansky unit conjecture NMCJMPP6CD
| URI | m2://inv/NMCJMPP6CD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#6L9U, Kaplansky unit conjecture (topic)
History
- 2026-11-02: add by m2/dev
Definitions NMCN6SFMV6
| URI | m2://inv/NMCN6SFMV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle (graph theory)#5G2R, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Fandaqumiya NMCXVZSADZ
| URI | m2://inv/NMCXVZSADZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MC99, Fandaqumiya (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 3: Sliding motion NMD3K7RQQZ
| URI | m2://inv/NMD3K7RQQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding mode control#LDFX, Theorem 3: Sliding motion (statement)
History
- 2026-11-02: add by m2/dev
Cosine and square of angle ratio identity NMD4TZTWW5
| URI | m2://inv/NMD4TZTWW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of trigonometric identities#EAWR, Cosine and square of angle ratio identity (statement)
History
- 2026-11-02: add by m2/dev
Fraïssé's theorem NMD8HY124J
| URI | m2://inv/NMD8HY124J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraïssé limit#BTZX, Fraïssé's theorem (statement)
History
- 2026-11-02: add by m2/dev
NMDF199BP3 NMDF199BP3
| URI | m2://inv/NMDF199BP3 |
|---|---|
| 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.31102#EASE (statement). In 7CADATJMAA/e1, proposition D.1
History
- 2026-10-31: add by m2/v0.5.6
NMDFGMNRY3 NMDFGMNRY3
| URI | m2://inv/NMDFGMNRY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#TF0N (statement). In KQ8JPHDKKE/e1, lemma 9.2.18
History
- 2026-10-27: add by m2/v0.3.5
first uncountable ordinal NMDGMP121J
| URI | m2://inv/NMDGMP121J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3401770, first uncountable ordinal (unknown). Also nLab first uncountable ordinal
- wikipedia: Wikipedia First uncountable ordinal, First uncountable ordinal (definition). Also Wikidata Q3401770
History
- 2026-10-26: add by m2/dev
NMDGWBHTJH NMDGWBHTJH
| URI | m2://inv/NMDGWBHTJH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Example NMDJK6GTBQ
| URI | m2://inv/NMDJK6GTBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intransitive dice#PGPE, Example (example)
History
- 2026-11-02: add by m2/dev
Minimum distance estimation NMDNMFESMW
| URI | m2://inv/NMDNMFESMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5DH7, Minimum distance estimation (definition)
History
- 2026-11-02: add by m2/dev
Hilbert function through degree two NMDZYZB10N
| URI | m2://inv/NMDZYZB10N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#PR3B, Hilbert function through degree two (statement). In Z7M2JSF6HA/e1, lemma 8.1
History
- 2026-10-31: add by m2/v0.5.6
Nancy Blachman NME3D7H4YX
| URI | m2://inv/NME3D7H4YX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Blachman, Nancy Blachman (topic). Also Wikidata Q112382562
History
- 2026-11-02: add by m2/dev
Robert Breusch NME3FX6EHA
| URI | m2://inv/NME3FX6EHA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Breusch, Robert Breusch (topic). Also Wikidata Q7342342
History
- 2026-11-02: add by m2/dev
NME8KPWA5K NME8KPWA5K
| URI | m2://inv/NME8KPWA5K |
|---|---|
| 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.11047#O0XT (statement). In MNQAZ70XTH/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.3
phases of the Moon NMEA1D8RG3
| URI | m2://inv/NMEA1D8RG3 |
|---|---|
| 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#ZTVS, phases of the Moon (unknown)
History
- 2026-11-02: add by m2/dev
Daihachiro Sato NMEHE2NTYM
| URI | m2://inv/NMEHE2NTYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daihachiro Sato, Daihachiro Sato (topic). Also Wikidata Q5209125
History
- 2026-11-02: add by m2/dev
linear multistep method NMF8VF5W9X
| URI | m2://inv/NMF8VF5W9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Linear multistep method BX4D85A79P |
Mentions
- wikidata: Wikidata Q1462003, linear multistep method (unknown). Also MathWorld AdamsMethod
- wikipedia: Wikipedia Linear multistep method, Linear multistep method (definition). Also Wikidata Q1462003
History
- 2026-10-26: add by m2/dev
The fundamental theorem of calculus NMFBKJSFKP
| URI | m2://inv/NMFBKJSFKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux derivative#9EB2, The fundamental theorem of calculus (statement)
History
- 2026-11-02: add by m2/dev
NMFDH9K86F NMFDH9K86F
| URI | m2://inv/NMFDH9K86F |
|---|---|
| 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.38250#OT15 (statement). In 5KDV984W48/e1, proposition 12
History
- 2026-10-30: add by m2/v0.4.12
Theorem 1 (on the absolute integrability of the McShane integral) NMFEA3MSD2
| URI | m2://inv/NMFEA3MSD2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McShane integral#H6AH, Theorem 1 (on the absolute integrability of the McShane integral) (statement)
History
- 2026-11-02: add by m2/dev
NMFGCDPWAH NMFGCDPWAH
| URI | m2://inv/NMFGCDPWAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#6EAG (statement). In CFJH0Q39FZ/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
NMFHDGAGF6 NMFHDGAGF6
| URI | m2://inv/NMFHDGAGF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#96FS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Axioms NMFSCM38FJ
| URI | m2://inv/NMFSCM38FJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal ethics#W0JK, Axioms (statement)
History
- 2026-11-02: add by m2/dev
NMFWSPQMGT NMFWSPQMGT
| URI | m2://inv/NMFWSPQMGT |
|---|---|
| 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 2610.18346#ZIPQ (statement). In QVPNGHTMEX/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Examples NMG42663QM
| URI | m2://inv/NMG42663QM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust statistics#1C71, Examples (example)
History
- 2026-11-02: add by m2/dev
Impartial culture NMG7WS5C73
| URI | m2://inv/NMG7WS5C73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Impartial culture, Impartial culture (definition). Also Wikidata Q65076165
History
- 2026-11-02: add by m2/dev
Rosenau–Hyman equation NMG8TTN2V5
| URI | m2://inv/NMG8TTN2V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosenau–Hyman equation, Rosenau–Hyman equation (definition). Also Wikidata Q15807029
History
- 2026-11-02: add by m2/dev
Samoilenko, Anatoliy Myhailovych NMG8Z4W5YT
| URI | m2://inv/NMG8Z4W5YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#MNJ7, Samoilenko, Anatoliy Myhailovych (unknown)
History
- 2026-11-02: add by m2/dev
Ad hoc hypothesis NMG92NV7BA
| URI | m2://inv/NMG92NV7BA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ad hoc hypothesis, Ad hoc hypothesis (statement). Also Wikidata Q282072
History
- 2026-11-02: add by m2/dev
NMGCEZR0Z9 NMGCEZR0Z9
| URI | m2://inv/NMGCEZR0Z9 |
|---|---|
| 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.03460#PQ2Z (statement). In 54HWP298DG/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.12
Arthur F. Veinott NMGEESYCP7
| URI | m2://inv/NMGEESYCP7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur F. Veinott, Arthur F. Veinott (topic). Also Wikidata Q15784136
History
- 2026-11-02: add by m2/dev
Burnside's theorem NMGGH4F58P
| URI | m2://inv/NMGGH4F58P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Burnside's p^a q^b theorem 0FMAQSB1SC |
Mentions
- mathlib_1000: mathlib_1000 Q1996305, Burnside's theorem (statement). Also Wikidata Q1996305
- thousand_plus: thousand_plus Q1996305, Burnside's theorem (statement). Also Wikidata Q1996305, Wikipedia Burnside's theorem
- wikipedia: Wikipedia Burnside's theorem, Burnside's theorem (statement). Also Wikidata Q1996305
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
NMGGJS51RP NMGGJS51RP
| URI | m2://inv/NMGGJS51RP |
|---|---|
| Kind | conjecture |
| 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.37093#5WJR (conjecture). In GA6QH32CJQ/e1, conjecture 33
History
- 2026-10-30: add by m2/v0.4.12
NMGHHEKRE3 NMGHHEKRE3
| URI | m2://inv/NMGHHEKRE3 |
|---|---|
| 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.18270#PQ3R (statement). In CPDMYJ0NJV/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Diane Johnson NMGKBGJ799
| URI | m2://inv/NMGKBGJ799 |
|---|---|
| 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#ISVT, Diane Johnson (unknown)
History
- 2026-11-02: add by m2/dev
STATISTICA NMGPHXF07Y
| URI | m2://inv/NMGPHXF07Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3BRL, STATISTICA (definition)
History
- 2026-11-02: add by m2/dev
NMGVQ3T7YT NMGVQ3T7YT
| URI | m2://inv/NMGVQ3T7YT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.04161#52DE (definition). In JBZJ7NPQ4G/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.0
NMH624P3D6 NMH624P3D6
| URI | m2://inv/NMH624P3D6 |
|---|---|
| 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#FZWU (statement). In SF88CM0957/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
Oswald Teichmüller NMH8D1S7SE
| URI | m2://inv/NMH8D1S7SE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#PKMP, Oswald Teichmüller (unknown)
History
- 2026-11-02: add by m2/dev
NMHB2ES93Z NMHB2ES93Z
| URI | m2://inv/NMHB2ES93Z |
|---|---|
| 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#U9GE (statement). In JN34PDDXH8/e1, corollary 4.9
History
- 2026-10-30: add by m2/v0.4.12
Exact error of a flattened design NMHD3QH47Z
| URI | m2://inv/NMHD3QH47Z |
|---|---|
| Kind | statement |
| 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.27765#KIB4, Exact error of a flattened design (statement)
History
- 2026-11-01: add by m2/v0.6.15
Computer network NMHJH00ZDG
| URI | m2://inv/NMHJH00ZDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#2UQ2, Computer network (unknown)
History
- 2026-11-02: add by m2/dev
NMHT7514K4 NMHT7514K4
| URI | m2://inv/NMHT7514K4 |
|---|---|
| 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 2610.13291#F4RC (statement). In D16PSAVVWV/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
NMHW008MT9 NMHW008MT9
| URI | m2://inv/NMHW008MT9 |
|---|---|
| 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 2605.24355#TWID (statement). In VV3AJMWWCR/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.6
rudimentary NMHZFGCEH8
| URI | m2://inv/NMHZFGCEH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MPVB, rudimentary (definition)
History
- 2026-11-02: add by m2/dev
NMJ60DTSX0 NMJ60DTSX0
| URI | m2://inv/NMJ60DTSX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.27103#9T3H (statement)
History
- 2026-11-01: add by m2/v0.6.15
NMJPJJ732T NMJPJJ732T
| URI | m2://inv/NMJPJJ732T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#VGPE (statement)
History
- 2026-11-01: add by m2/v0.6.15
NMJRGZ2GCR NMJRGZ2GCR
| URI | m2://inv/NMJRGZ2GCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#YMDR (statement). In BW5GVH97JE/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
NMK0JBE3XG NMK0JBE3XG
| URI | m2://inv/NMK0JBE3XG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#example-3 (example). In RZP28ERRZV, example, section 57.2
History
- 2026-11-01: add by m2/v0.6.13
Repairing NMK4R1EXRT
| URI | m2://inv/NMK4R1EXRT |
|---|---|
| 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.26873#LG3C, Repairing (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reduction to one curve NMKEK8140Q
| URI | m2://inv/NMKEK8140Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#C2RZ, Reduction to one curve (statement). In 65TJENWK7X/e1, theorem 21
History
- 2026-10-29: add by m2/v0.4.10
Adaptive reuse of preprocessing NMKNEZVF5T
| URI | m2://inv/NMKNEZVF5T |
|---|---|
| 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 2609.37482#08AJ, Adaptive reuse of preprocessing (statement). In 9QDRMZX8EY/e1, corollary 6
History
- 2026-10-30: add by m2/v0.4.12
Prismatic compound of prisms with rotational freedom NMKZKDC3RV
| URI | m2://inv/NMKZKDC3RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prismatic compound of prisms with rotational freedom, Prismatic compound of prisms with rotational freedom (definition). Also Wikidata Q7245697
History
- 2026-11-02: add by m2/dev
Example NMM89E42VF
| URI | m2://inv/NMM89E42VF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic order quantity#1GGJ, Example (example)
History
- 2026-11-02: add by m2/dev
NMMEZ6TD11 NMMEZ6TD11
| URI | m2://inv/NMMEZ6TD11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_prop-integers.ptx#theorem-6 (statement). In QKM9DD2H56, theorem, section B.15
History
- 2026-11-01: add by m2/v0.6.13
NMMGMC6H4E NMMGMC6H4E
| URI | m2://inv/NMMGMC6H4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#JK2M (statement). In HCTYW6VH87/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
NMMJRMBKEW NMMJRMBKEW
| URI | m2://inv/NMMJRMBKEW |
|---|---|
| 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.23237#PCS4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NMMQVZWVJJ NMMQVZWVJJ
| URI | m2://inv/NMMQVZWVJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#RCY3 (statement). In 751KSRS7WT/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
2011 Romanian census NMMY3Z278T
| URI | m2://inv/NMMY3Z278T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2011 Romanian census, 2011 Romanian census (definition). Also Wikidata Q12181933
History
- 2026-11-02: add by m2/dev
NMN41DBYBS NMN41DBYBS
| URI | m2://inv/NMN41DBYBS |
|---|---|
| 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 2609.21034#Y6K8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Sobolev-Slobodeckij space NMN67877SJ
| URI | m2://inv/NMN67877SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev space#RSSJ, Sobolev-Slobodeckij space (unknown)
History
- 2026-11-02: add by m2/dev
Albert Fathi NMN9NMDS4K
| URI | m2://inv/NMN9NMDS4K |
|---|---|
| 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#PYHP, Albert Fathi (topic)
History
- 2026-11-02: add by m2/dev
NMNKQY0H21 NMNKQY0H21
| URI | m2://inv/NMNKQY0H21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#lem:q-proves-clterm-id (statement). In PKGMM3P5QY, lem, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
NMNM2GDDMY NMNM2GDDMY
| URI | m2://inv/NMNM2GDDMY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#activity-2 (exercise). In 649HGZKE96, activity, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
NMNT5P2AP1 NMNT5P2AP1
| URI | m2://inv/NMNT5P2AP1 |
|---|---|
| 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 1512.06981#SZ63 (definition). In X923ZEY423/e1, definition 5.2.1
History
- 2026-10-27: add by m2/v0.3.5
NMP6ZET0ZD NMP6ZET0ZD
| URI | m2://inv/NMP6ZET0ZD |
|---|---|
| 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.08193#K6PN (statement). In 8XAKGH8S2D/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Sturm's theorem NMPCJXW9QN
| URI | m2://inv/NMPCJXW9QN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivation of the Routh array#Q4CU, Sturm's theorem (statement)
History
- 2026-11-02: add by m2/dev
Margaret Evelyn Mauch NMPD6AHTTZ
| URI | m2://inv/NMPD6AHTTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Evelyn Mauch, Margaret Evelyn Mauch (topic). Also Wikidata Q94729849
History
- 2026-11-02: add by m2/dev
NMPJEYVFY5 NMPJEYVFY5
| URI | m2://inv/NMPJEYVFY5 |
|---|---|
| Kind | example |
| 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 2401.05118#60D0 (example). In BT0T0QS2TN/e1, example 2.2
History
- 2026-10-27: add by m2/v0.4.0
Complete mixed Pi\ neiro bidiagonal factorization NMPSATMENB
| URI | m2://inv/NMPSATMENB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#T2BF, Complete mixed Pi\ neiro bidiagonal factorization (statement)
History
- 2026-11-01: add by m2/v0.6.15
One-round potential change NMPTH5M9PK
| URI | m2://inv/NMPTH5M9PK |
|---|---|
| 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.21976#9A4A, One-round potential change (statement)
History
- 2026-11-02: add by m2/v0.6.17
Inflation NMPX23ZYR2
| URI | m2://inv/NMPX23ZYR2 |
|---|---|
| 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.21675#5Q8P, Inflation (definition). In TB1294GY5X/e1, definition A.8
History
- 2026-10-27: add by m2/v0.4.2
NMQAP6HG8J NMQAP6HG8J
| URI | m2://inv/NMQAP6HG8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 35.4
History
- 2026-11-01: add by m2/v0.6.13
NMQDN29HZP NMQDN29HZP
| URI | m2://inv/NMQDN29HZP |
|---|---|
| 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#ORXS (statement). In 67GE5M1GGD/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
NMQESK9234 NMQESK9234
| URI | m2://inv/NMQESK9234 |
|---|---|
| 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.09019#YIMR (statement). In 8V6YECFCC1/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Logarithmic form NMQF1WENER
| URI | m2://inv/NMQF1WENER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic form, Logarithmic form (definition). Also Wikidata Q6667308
History
- 2026-11-02: add by m2/dev
NMQFPP8GF2 NMQFPP8GF2
| URI | m2://inv/NMQFPP8GF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#L50S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jinchao Xu NMQKY87C2W
| URI | m2://inv/NMQKY87C2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jinchao Xu, Jinchao Xu (topic). Also Wikidata Q6202052
History
- 2026-11-02: add by m2/dev
NMQS6YPKAV NMQS6YPKAV
| URI | m2://inv/NMQS6YPKAV |
|---|---|
| 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.06707#AQAP (statement). In 9TR5E527P5/e1, theorem 5.12
History
- 2026-10-29: add by m2/v0.4.10
NMQXT7WFWR NMQXT7WFWR
| URI | m2://inv/NMQXT7WFWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#N1LV (statement). In D6RAQZ2DSK/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Bernoulli--Gaussian comparison NMQXXMW4PW
| URI | m2://inv/NMQXXMW4PW |
|---|---|
| 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#0Z97, Bernoulli--Gaussian comparison (statement). In 9YAE8FNQST/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
Yevgeny Berkovich NMQYA7KFY6
| URI | m2://inv/NMQYA7KFY6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yevgeny Berkovich, Yevgeny Berkovich (topic). Also Wikidata Q4084933
History
- 2026-11-02: add by m2/dev
Clifford algebra NMR0C7G048
| URI | m2://inv/NMR0C7G048 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Clifford algebra A38B1QFK20 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > Clifford algebra, Clifford algebra (unknown). Also Mathlib CliffordAlgebra
- wikidata: Wikidata Q674689, Clifford algebra (concept). Also EoM Clifford_algebra, Mathlib CliffordAlgebra, MathWorld CliffordAlgebra, nLab Clifford algebra
- wikipedia: Wikipedia Clifford algebra, Clifford algebra (definition). Also Wikidata Q674689
History
- 2026-10-26: add by m2/dev
Complex fraction NMR2BP2TKX
| URI | m2://inv/NMR2BP2TKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraction#3MD4, Complex fraction (unknown)
History
- 2026-11-02: add by m2/dev
Bass-Serre covering tree NMR7KZR8QV
| URI | m2://inv/NMR7KZR8QV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Serre theory#C9TF, Bass-Serre covering tree (unknown)
History
- 2026-11-02: add by m2/dev
The Elements NMRG0G11ZE
| URI | m2://inv/NMRG0G11ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#34NZ, The Elements (definition)
History
- 2026-11-02: add by m2/dev
square packing in a square NMRHD92CXH
| URI | m2://inv/NMRHD92CXH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7582076, square packing in a square (unknown). Also MathWorld SquarePacking
- wikipedia: Wikipedia Square packing, Square packing (conjecture). Also Wikidata Q7582076
History
- 2026-10-26: add by m2/dev
NMRMB8D42W NMRMB8D42W
| URI | m2://inv/NMRMB8D42W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#U7TV (statement). In 2BET1RE1F6/e1, proposition 3.20
History
- 2026-10-31: add by m2/v0.5.6
Corollary NMRS2KWXCJ
| URI | m2://inv/NMRS2KWXCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Birkhoff–Witt theorem#Z3OR, Corollary (statement)
History
- 2026-11-02: add by m2/dev
NMS4KBXCAX NMS4KBXCAX
| URI | m2://inv/NMS4KBXCAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#SXRA (statement). In A798V7TX99/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
bond percolation NMS7XXBPTE
| URI | m2://inv/NMS7XXBPTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121335541, bond percolation (unknown). Also MathWorld BondPercolation
History
- 2026-10-26: add by m2/dev
NMSB5DH9AC NMSB5DH9AC
| URI | m2://inv/NMSB5DH9AC |
|---|---|
| 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.23779#ZS9D (statement)
History
- 2026-11-02: add by m2/v0.6.17
NMSGG8WYV7 NMSGG8WYV7
| URI | m2://inv/NMSGG8WYV7 |
|---|---|
| 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.03292#1YK8 (statement). In SN2PBM95HT/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
NMSKQ2GFA6 NMSKQ2GFA6
| URI | m2://inv/NMSKQ2GFA6 |
|---|---|
| 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 2610.21092#CK5V (statement). In AGJE43FTF8/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
NMSMX0C5E6 NMSMX0C5E6
| URI | m2://inv/NMSMX0C5E6 |
|---|---|
| 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.20190#M0NA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cone condition NMSYYDV7MZ
| URI | m2://inv/NMSYYDV7MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone condition, Cone condition (definition). Also Wikidata Q23498543
History
- 2026-11-02: add by m2/dev
Gene Bartow NMT3HXT654
| URI | m2://inv/NMT3HXT654 |
|---|---|
| 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#AQYI, Gene Bartow (unknown)
History
- 2026-11-02: add by m2/dev
Corank-one classification at strength six NMTDBTY0YN
| URI | m2://inv/NMTDBTY0YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#4QN5, Corank-one classification at strength six (statement). In Z7M2JSF6HA/e1, theorem 6.8
History
- 2026-10-31: add by m2/v0.5.6
NMTFA03G0K NMTFA03G0K
| URI | m2://inv/NMTFA03G0K |
|---|---|
| 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.10365#YIUZ (statement). In PRVQPSBVHK/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Stability of the discrete dual problem NMTGEZYRWK
| URI | m2://inv/NMTGEZYRWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22063#L1VT, Stability of the discrete dual problem (statement). In JHK0EAV79D/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
Relative scalar NMTPWM8XJQ
| URI | m2://inv/NMTPWM8XJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative scalar, Relative scalar (definition). Also Wikidata Q7310801
History
- 2026-11-02: add by m2/dev
Definition NMTVB037K7
| URI | m2://inv/NMTVB037K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H topology#FEDO, Definition (definition)
History
- 2026-11-02: add by m2/dev
NMTXMX1VBP NMTXMX1VBP
| URI | m2://inv/NMTXMX1VBP |
|---|---|
| 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#62I6 (statement). In R6SEBXARYC/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Context-sensitive grammar NMV0W57BTY
| URI | m2://inv/NMV0W57BTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-sensitive grammar, Context-sensitive grammar (definition). Also Wikidata Q908674
History
- 2026-11-02: add by m2/dev
NMV14HAVG0 NMV14HAVG0
| URI | m2://inv/NMV14HAVG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-6 (statement). In E59CDZA4DP, prop, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
Peter Sarnak NMV30D1QNP
| URI | m2://inv/NMV30D1QNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7K6Q, Peter Sarnak (unknown)
History
- 2026-11-02: add by m2/dev
NMV3VTP0J4 NMV3VTP0J4
| URI | m2://inv/NMV3VTP0J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#APRY (statement). In 1463YCCRP5/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.0
NMV8Y9CJBW NMV8Y9CJBW
| URI | m2://inv/NMV8Y9CJBW |
|---|---|
| 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 0902.4479#J34W (statement). In Q6HKX2FCFG/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
NMVGVZPM5S NMVGVZPM5S
| URI | m2://inv/NMVGVZPM5S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-46 (proof). In N54F33XE07, proof, section 7.9
History
- 2026-11-01: add by m2/v0.6.13
John C. Baez NMVH2QH0B5
| URI | m2://inv/NMVH2QH0B5 |
|---|---|
| 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 Q983385, John C. Baez (unknown). Also nLab John Baez, ProofWiki Mathematician:John_Carlos_Baez
History
- 2026-10-26: add by m2/dev
merge sort NMVR3TS0E3
| URI | m2://inv/NMVR3TS0E3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q189057, merge sort (unknown). Also MathWorld MergeSort
- wikipedia: Wikipedia Merge sort, Merge sort (definition). Also Wikidata Q189057
History
- 2026-10-26: add by m2/dev
Daniel P. Sanders NMVV5A32AZ
| URI | m2://inv/NMVV5A32AZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel P. Sanders, Daniel P. Sanders (topic). Also Wikidata Q5218370
History
- 2026-11-02: add by m2/dev
Hadamard space NMVVZ7DC7N
| URI | m2://inv/NMVVZ7DC7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#UML0, Hadamard space (definition)
History
- 2026-11-02: add by m2/dev
Definition and notation NMW3AR967K
| URI | m2://inv/NMW3AR967K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grossone#8VY4, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
NMW9T6Q3GH NMW9T6Q3GH
| URI | m2://inv/NMW9T6Q3GH |
|---|---|
| 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.37897#7T5F (statement). In RBQ5FNCVNZ/e1, corollary B.3
History
- 2026-10-30: add by m2/v0.4.12
Thomson cubic NMWAEY8BED
| URI | m2://inv/NMWAEY8BED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#NKLW, Thomson cubic (definition)
- wikipedia: Wikipedia List of mathematical shapes#FF6D, Thomson cubic (definition)
History
- 2026-11-02: add by m2/dev
NMWJQ5C7KW NMWJQ5C7KW
| URI | m2://inv/NMWJQ5C7KW |
|---|---|
| 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#NXEL (statement). In M4JGP708F4/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
NMWQPXW4G9 NMWQPXW4G9
| URI | m2://inv/NMWQPXW4G9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.16114#IBJ0 (statement). In JZZ3FJ382R/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Weyl–von Neumann theorem NMWRHV6PQ1
| URI | m2://inv/NMWRHV6PQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#KSGG, Weyl–von Neumann theorem (statement)
History
- 2026-11-02: add by m2/dev
Giovanni Domenico Cassini NMWS60WPKD
| URI | m2://inv/NMWS60WPKD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Domenico Cassini, Giovanni Domenico Cassini (topic). Also Wikidata Q14279
History
- 2026-11-02: add by m2/dev
NMWXFRJD3X NMWXFRJD3X
| URI | m2://inv/NMWXFRJD3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.03058#RP1X (statement). In STV2W9WA1K/e1, lemma 0.3
History
- 2026-10-27: add by m2/v0.4.0
Statistical noise NMWXKP0PFT
| URI | m2://inv/NMWXKP0PFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BYC5, Statistical noise (definition)
History
- 2026-11-02: add by m2/dev
McKay graph NMWZQG6VVC
| URI | m2://inv/NMWZQG6VVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6801707, McKay graph (unknown). Also nLab McCay quiver
- wikipedia: Wikipedia McKay graph, McKay graph (definition). Also Wikidata Q6801707
History
- 2026-10-26: add by m2/dev
finitely generated group NMX6QDZD4G
| URI | m2://inv/NMX6QDZD4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 963042) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#J5MY, finitely generated group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Principle NMX7F9AXK0
| URI | m2://inv/NMX7F9AXK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coding theory#IY8H, Principle (statement)
History
- 2026-11-02: add by m2/dev
NMX88F94CH NMX88F94CH
| URI | m2://inv/NMX88F94CH |
|---|---|
| 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.17691#1HF7 (statement). In AT8VD3XB8M/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
imaginary part NMX9HD815J
| URI | m2://inv/NMX9HD815J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1341545, imaginary part (definition). Also MathWorld ImaginaryPart, ProofWiki Definition:Complex_Number/Imaginary_Part
History
- 2026-10-26: add by m2/dev
NMXDXWGXY7 NMXDXWGXY7
| URI | m2://inv/NMXDXWGXY7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:easyabsint (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Cluster graph NMXJ11ZPB6
| URI | m2://inv/NMXJ11ZPB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster graph, Cluster graph (definition). Also Wikidata Q24892498
History
- 2026-11-02: add by m2/dev
Index theorems for Toeplitz operators NMXS7TKEAW
| URI | m2://inv/NMXS7TKEAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillator representation#IWCC, Index theorems for Toeplitz operators (statement)
History
- 2026-11-02: add by m2/dev
NMXT2FZ8Q3 NMXT2FZ8Q3
| URI | m2://inv/NMXT2FZ8Q3 |
|---|---|
| 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 1509.00950#LJ77 (statement). In MDZFW5GACV/e1, proposition 8.4
History
- 2026-10-27: add by m2/v0.3.5
Applications NMXTB89F53
| URI | m2://inv/NMXTB89F53 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuramoto–Sivashinsky equation#QUHB, Applications (example)
History
- 2026-11-02: add by m2/dev
NMXWZT6X8R NMXWZT6X8R
| URI | m2://inv/NMXWZT6X8R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#Q0MJ (definition). In VD4JP4HVBX/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
NMXX0D53WP NMXX0D53WP
| URI | m2://inv/NMXX0D53WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#FVPB (statement). In RK0ZMDJ23T/e1, lemma 1.2.6
History
- 2026-10-31: add by m2/v0.5.6
Proposition NMXZMSMMYB
| URI | m2://inv/NMXZMSMMYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phragmén–Lindelöf principle#Y4WH, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Fuzzy subalgebra NMY43G0TEM
| URI | m2://inv/NMY43G0TEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy subalgebra, Fuzzy subalgebra (definition). Also Wikidata Q5511136
History
- 2026-11-02: add by m2/dev
NMY548AS7M NMY548AS7M
| URI | m2://inv/NMY548AS7M |
|---|---|
| Kind | definition |
| 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 2609.25353#MAU2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
NMY5KG452Q NMY5KG452Q
| URI | m2://inv/NMY5KG452Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-41 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
List of Lillestrøm SK seasons NMY6J9V1XX
| URI | m2://inv/NMY6J9V1XX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lillestrøm SK seasons, List of Lillestrøm SK seasons (topic). Also Wikidata Q131143934
History
- 2026-11-02: add by m2/dev
Phillip Griffith NMY6ZAMZHA
| URI | m2://inv/NMY6ZAMZHA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phillip Griffith, Phillip Griffith (topic). Also Wikidata Q7185685
History
- 2026-11-02: add by m2/dev
Applications NMY7K4T50R
| URI | m2://inv/NMY7K4T50R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-upper-bound property#ICRM, Applications (example)
History
- 2026-11-02: add by m2/dev
Elongated square bipyramid honeycomb NMYMQR8RKT
| URI | m2://inv/NMYMQR8RKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated square bipyramid#JKSI, Elongated square bipyramid honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
NMYQETMG9C NMYQETMG9C
| URI | m2://inv/NMYQETMG9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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 1001.0174#T979 (statement). In 4P97F3GPJC/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Exact reconstruction of generation time NMYXN2QTAX
| URI | m2://inv/NMYXN2QTAX |
|---|---|
| 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.15466#QDC9, Exact reconstruction of generation time (statement). In KJ7V6XG4M7/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Definition NMYYBGN7K7
| URI | m2://inv/NMYYBGN7K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson wavelet#JQ1H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Parasitic number NMZ0JSM2NE
| URI | m2://inv/NMZ0JSM2NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parasitic number, Parasitic number (definition). Also Wikidata Q3343083
History
- 2026-11-02: add by m2/dev
Universal differential equation NMZ1V3BBXB
| URI | m2://inv/NMZ1V3BBXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YAEY, Universal differential equation (definition)
History
- 2026-11-02: add by m2/dev
NMZ1XKZ3SY NMZ1XKZ3SY
| URI | m2://inv/NMZ1XKZ3SY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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 2609.35102#4D1X (example). In XK6H7F2F13/e1, example 3.6
History
- 2026-10-30: add by m2/v0.4.12
Āryabhaṭīya NMZ4XZ08JQ
| URI | m2://inv/NMZ4XZ08JQ |
|---|---|
| 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 Q3518429, Āryabhaṭīya (unknown). Also ProofWiki Book:Aryabhata_the_Elder/Aryabhatiya
History
- 2026-10-26: add by m2/dev
Examples NMZ7487K42
| URI | m2://inv/NMZ7487K42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve only hash#8BAW, Examples (example)
History
- 2026-11-02: add by m2/dev
NMZH91RN3J NMZH91RN3J
| URI | m2://inv/NMZH91RN3J |
|---|---|
| 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.24041#C8BY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Strong dual topology NMZP9D5QH9
| URI | m2://inv/NMZP9D5QH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#2H2X, Strong dual topology (definition)
History
- 2026-11-02: add by m2/dev
Genus field NMZWMD8T06
| URI | m2://inv/NMZWMD8T06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus field, Genus field (definition). Also Wikidata Q5533832
History
- 2026-11-02: add by m2/dev
dual NMZXAPA4SG
| URI | m2://inv/NMZXAPA4SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#OAIQ, dual (definition)
History
- 2026-11-02: add by m2/dev
NMZYJ3S1FA NMZYJ3S1FA
| URI | m2://inv/NMZYJ3S1FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#NFID (statement). In TJH58FRGEN/e1, corollary 8.20
History
- 2026-10-29: add by m2/v0.4.12