Inventory rows NV
The cards of the rows of the inventory whose ids start with NV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition NV03GK5GPW
| URI | m2://inv/NV03GK5GPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zuckerman functor#PINO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jean-Michel Combes NV07ENYRCN
| URI | m2://inv/NV07ENYRCN |
|---|---|
| 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#52LM, Jean-Michel Combes (unknown)
History
- 2026-11-02: add by m2/dev
Compound of five great icosahedra NV0DRYBDYY
| URI | m2://inv/NV0DRYBDYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five great icosahedra, Compound of five great icosahedra (definition). Also Wikidata Q5156856
History
- 2026-11-02: add by m2/dev
Package-merge algorithm NV0GW87BWQ
| URI | m2://inv/NV0GW87BWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Package-merge algorithm, Package-merge algorithm (definition). Also Wikidata Q7122881
History
- 2026-11-02: add by m2/dev
Christoph Koutschan NV0HG5QFDB
| URI | m2://inv/NV0HG5QFDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoph Koutschan, Christoph Koutschan (topic). Also Wikidata Q21663140
History
- 2026-11-02: add by m2/dev
NV0JP9BV8H NV0JP9BV8H
| URI | m2://inv/NV0JP9BV8H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 4.8
History
- 2026-11-01: add by m2/v0.6.13
NV126EPPPC NV126EPPPC
| URI | m2://inv/NV126EPPPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27151#4LIJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poincaré wave NV12J733MR
| URI | m2://inv/NV12J733MR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#JOG5, Poincaré wave (unknown)
History
- 2026-11-02: add by m2/dev
Multiplicative identity and the term "ring" NV12XKRC8V
| URI | m2://inv/NV12XKRC8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring (mathematics)#UQVL, Multiplicative identity and the term "ring" (statement)
History
- 2026-11-02: add by m2/dev
Computation NV1AWPCYWG
| URI | m2://inv/NV1AWPCYWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex hull#X5UN, Computation (definition)
History
- 2026-11-02: add by m2/dev
Annihilator criteria NV1CNV0VQW
| URI | m2://inv/NV1CNV0VQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#YN5V, Annihilator criteria (statement). In 87QYNZZ67Z/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.2
The continuum hypothesis NV1CR4P4J1
| URI | m2://inv/NV1CR4P4J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal number#ZWDK, The continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Homological dimension NV1E8R53MC
| URI | m2://inv/NV1E8R53MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#SWP5, Homological dimension (definition)
History
- 2026-11-02: add by m2/dev
NV1MFXGFT4 NV1MFXGFT4
| URI | m2://inv/NV1MFXGFT4 |
|---|---|
| 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 2411.16022#GHG5 (statement). In QG9ATXTKJ6/e1, proposition 1.11
History
- 2026-10-27: add by m2/v0.3.5
NV1RTM46SP NV1RTM46SP
| URI | m2://inv/NV1RTM46SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-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 2610.01498#R25C (statement). In 75GDSC8460/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Definition NV1SKGFB7H
| URI | m2://inv/NV1SKGFB7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic triangle#QF6J, Definition (definition)
History
- 2026-11-02: add by m2/dev
NV1XVFYEJ5 NV1XVFYEJ5
| URI | m2://inv/NV1XVFYEJ5 |
|---|---|
| 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#GW3I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eugène Rouché NV22EW1K31
| URI | m2://inv/NV22EW1K31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#Z4MQ, Eugène Rouché (topic)
History
- 2026-11-02: add by m2/dev
NV23X9G8J1 NV23X9G8J1
| URI | m2://inv/NV23X9G8J1 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#L7JF (unknown). In RQZGQG3PBR/e1, unknown II.12.11
History
- 2026-10-30: add by m2/v0.4.12
NV29N4CYCG NV29N4CYCG
| URI | m2://inv/NV29N4CYCG |
|---|---|
| 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.35153#DN3A (statement). In RNDAAR1ER9/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Super-exponentiation NV2BQ72S4G
| URI | m2://inv/NV2BQ72S4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#0HOZ, Super-exponentiation (definition)
History
- 2026-11-02: add by m2/dev
NV2HG1V8VD NV2HG1V8VD
| URI | m2://inv/NV2HG1V8VD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#7U5P (statement)
History
- 2026-11-01: add by m2/v0.6.15
NV30DRJXNN NV30DRJXNN
| URI | m2://inv/NV30DRJXNN |
|---|---|
| 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.05354#V5V3 (statement). In TZ5BMDXRQZ/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
Euler method NV3J2H7HYH
| URI | m2://inv/NV3J2H7HYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#SJ26, Euler method (definition)
History
- 2026-11-02: add by m2/dev
Applications NV3S3HF4BC
| URI | m2://inv/NV3S3HF4BC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetration#NGD2, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples and counterexamples NV3TAFBER2
| URI | m2://inv/NV3TAFBER2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolle's theorem#7XF7, Examples and counterexamples (example)
History
- 2026-11-02: add by m2/dev
The first-order normal sequence NV3X8SMXCG
| URI | m2://inv/NV3X8SMXCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#YT25, The first-order normal sequence (statement). In PZJDV6SJ9E/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Moulin's participation theorem NV3Z1HS6M0
| URI | m2://inv/NV3Z1HS6M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Participation criterion#LAZU, Moulin's participation theorem (unknown)
History
- 2026-11-02: add by m2/dev
NV405CBBFX NV405CBBFX
| URI | m2://inv/NV405CBBFX |
|---|---|
| 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 2609.38188#LP68 (statement). In 7615KVXDB5/e1, lemma 3.12
History
- 2026-10-30: add by m2/v0.4.12
Itô–Nisio theorem NV418FTXPK
| URI | m2://inv/NV418FTXPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô–Nisio theorem, Itô–Nisio theorem (statement). Also Wikidata Q113623203
History
- 2026-11-02: add by m2/dev
NV43GG2W9C NV43GG2W9C
| URI | m2://inv/NV43GG2W9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#H1ON (statement). In 69QFBXJENW/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Platykurtic NV46QC9W8K
| URI | m2://inv/NV46QC9W8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurtosis#CA67, Platykurtic (unknown)
History
- 2026-11-02: add by m2/dev
De Moivre's theorem NV4B210HZJ
| URI | m2://inv/NV4B210HZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WNCB, De Moivre's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications NV4E2JV82B
| URI | m2://inv/NV4E2JV82B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equilateral triangle#2VD4, Applications (example)
History
- 2026-11-02: add by m2/dev
Department of Statistics NV4NNFPY4G
| URI | m2://inv/NV4NNFPY4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Department of Statistics (Bermuda), Department of Statistics (definition). Also Wikidata Q17010279
History
- 2026-11-02: add by m2/dev
Proposition (Comparability) NV4PSMKAY7
| URI | m2://inv/NV4PSMKAY7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central carrier#NR1K, Proposition (Comparability) (statement)
History
- 2026-11-02: add by m2/dev
NV4TEKFZBP NV4TEKFZBP
| URI | m2://inv/NV4TEKFZBP |
|---|---|
| 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.14600#0F69 (statement). In CJHTDS522P/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
NV59932M2P NV59932M2P
| URI | m2://inv/NV59932M2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#XPU6 (statement). In GQQZNRYK15/e1, corollary 5.14
History
- 2026-10-31: add by m2/v0.5.6
NV5BGFJYXQ NV5BGFJYXQ
| URI | m2://inv/NV5BGFJYXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 34.4
History
- 2026-11-01: add by m2/v0.6.13
Period-wise pumping in $\FS$ NV5DCXMS60
| URI | m2://inv/NV5DCXMS60 |
|---|---|
| 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.17677#Q6L3, Period-wise pumping in $\FS$ (statement). In 5E9G06XJKC/e1, lemma E.11
History
- 2026-10-28: add by m2/v0.4.2
Bi-twin chain NV5JPPJCTN
| URI | m2://inv/NV5JPPJCTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bi-twin chain, Bi-twin chain (definition). Also Wikidata Q16841439
History
- 2026-11-02: add by m2/dev
NV5M4A46V5 NV5M4A46V5
| URI | m2://inv/NV5M4A46V5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.20176#J0WA (definition). In CX4WDA2KAR/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
NV5RF962D9 NV5RF962D9
| URI | m2://inv/NV5RF962D9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-46 (exercise). In E9HS8K3A52, exercise, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
NV5V86206F NV5V86206F
| URI | m2://inv/NV5V86206F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#lem:comp (statement). In PKGMM3P5QY, lem, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
NV5VN7HA78 NV5VN7HA78
| URI | m2://inv/NV5VN7HA78 |
|---|---|
| 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.12983#N0RS (statement). In M6TFZ6E060/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
NV5WGZ21TT NV5WGZ21TT
| URI | m2://inv/NV5WGZ21TT |
|---|---|
| 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 1009.2043#0Y71 (definition). In 7DCNHRBK5A/e1, definition 7.3
History
- 2026-10-27: add by m2/v0.3.5
Arthur Besse NV5YMY72B5
| URI | m2://inv/NV5YMY72B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2865000, Arthur Besse (unknown). Also nLab Arthur Besse
History
- 2026-10-26: add by m2/dev
Potential theory NV60D104FH
| URI | m2://inv/NV60D104FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3969, Potential theory (definition)
History
- 2026-11-02: add by m2/dev
NV64RH2EDW NV64RH2EDW
| URI | m2://inv/NV64RH2EDW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#L9LP (definition). In 6HP7BR9WZM/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Selection bias NV68NXVNEP
| URI | m2://inv/NV68NXVNEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selection bias, Selection bias (definition). Also Wikidata Q284172
History
- 2026-11-02: add by m2/dev
Oscillatory integral NV6HFRBYS0
| URI | m2://inv/NV6HFRBYS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillatory integral, Oscillatory integral (definition). Also Wikidata Q2036580
History
- 2026-11-02: add by m2/dev
Sherry Wang NV6SWXEMP2
| URI | m2://inv/NV6SWXEMP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sherry Wang, Sherry Wang (topic). Also Wikidata Q90865338
History
- 2026-11-02: add by m2/dev
Automorphism groups NV6TFS24Q6
| URI | m2://inv/NV6TFS24Q6 |
|---|---|
| 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.14135#BU1W, Automorphism groups (statement). In C304J64Q79/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Knapsack cryptosystems NV6XKWGQYS
| URI | m2://inv/NV6XKWGQYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knapsack cryptosystems, Knapsack cryptosystems (definition). Also Wikidata Q18343476
History
- 2026-11-02: add by m2/dev
Mathematical linguistics NV6Y6S9T1X
| URI | m2://inv/NV6Y6S9T1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical linguistics, Mathematical linguistics (topic). Also Wikidata Q12553063
History
- 2026-11-02: add by m2/dev
Definition NV71D5W3P3
| URI | m2://inv/NV71D5W3P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#D9W3, Definition (definition)
History
- 2026-11-02: add by m2/dev
umbral NV741EJA17
| URI | m2://inv/NV741EJA17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#OYIO, umbral (definition)
History
- 2026-11-02: add by m2/dev
Properties NV7480QX1A
| URI | m2://inv/NV7480QX1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Height zeta function#ID10, Properties (statement)
History
- 2026-11-02: add by m2/dev
Pareigis Hopf algebra NV74STV32X
| URI | m2://inv/NV74STV32X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareigis Hopf algebra, Pareigis Hopf algebra (definition). Also Wikidata Q17099535
History
- 2026-11-02: add by m2/dev
Simultaneous equations model NV7D1YF7GS
| URI | m2://inv/NV7D1YF7GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BKCI, Simultaneous equations model (definition)
History
- 2026-11-02: add by m2/dev
Example 2 NV7WY39NG8
| URI | m2://inv/NV7WY39NG8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationalizable strategy#V6OR, Example 2 (example)
History
- 2026-11-02: add by m2/dev
BIT predicate NV7Z7XZ8S8
| URI | m2://inv/NV7Z7XZ8S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BIT predicate, BIT predicate (definition). Also Wikidata Q4835745
History
- 2026-11-02: add by m2/dev
NV829PY6QE NV829PY6QE
| URI | m2://inv/NV829PY6QE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:pre2cat (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
coanalytic set NV8KMFYPSS
| URI | m2://inv/NV8KMFYPSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5138050, coanalytic set (unknown). Also MathWorld CoanalyticSet
- wikipedia: Wikipedia Coanalytic set, Coanalytic set (definition). Also Wikidata Q5138050
History
- 2026-10-26: add by m2/dev
NV8MKS9K1F NV8MKS9K1F
| URI | m2://inv/NV8MKS9K1F |
|---|---|
| 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-80 (exercise). In E9HS8K3A52, exercise, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Properties NV8W9GAQVA
| URI | m2://inv/NV8W9GAQVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas sequence#VLPZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Antoni Palluth NV91VW7E6C
| URI | m2://inv/NV91VW7E6C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antoni Palluth, Antoni Palluth (topic). Also Wikidata Q4776184
History
- 2026-11-02: add by m2/dev
NV95GF5N76 NV95GF5N76
| URI | m2://inv/NV95GF5N76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#WXFG (statement). In 90QTB4CC31/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Chebyshev's inequality NV97CW7RVG
| URI | m2://inv/NV97CW7RVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#DI3J, Chebyshev's inequality (statement)
History
- 2026-11-02: add by m2/dev
Modification with strict inequality signs NV9RMJ5RVW
| URI | m2://inv/NV9RMJ5RVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#A2HE, Modification with strict inequality signs (statement)
History
- 2026-11-02: add by m2/dev
Continuous coding of a perfect family of outputs NVA05HF6H4
| URI | m2://inv/NVA05HF6H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#NSGT, Continuous coding of a perfect family of outputs (statement). In TTNKABAYVB/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
The Logic of Life NVA1PEY1SS
| URI | m2://inv/NVA1PEY1SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Logic of Life, The Logic of Life (definition). Also Wikidata Q7748009
History
- 2026-11-02: add by m2/dev
Mikhail Leonidovich Gromov NVA2A8SSMK
| URI | m2://inv/NVA2A8SSMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J307, Mikhail Leonidovich Gromov (topic)
History
- 2026-11-02: add by m2/dev
Identity null hypothesis NVA3M4TFBW
| URI | m2://inv/NVA3M4TFBW |
|---|---|
| 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.03629#LDU2, Identity null hypothesis (statement). In T6W0HCPXFN/e1, theorem A5
History
- 2026-10-29: add by m2/v0.4.12
Full-component models for strict opens NVA51TK779
| URI | m2://inv/NVA51TK779 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#0Q1N, Full-component models for strict opens (statement)
History
- 2026-11-01: add by m2/v0.6.15
NVA6FJVH9P NVA6FJVH9P
| URI | m2://inv/NVA6FJVH9P |
|---|---|
| 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.36877#6YJJ (statement). In FYS6VV5M99/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Navarro–Frenk–White profile NVACBTSM7N
| URI | m2://inv/NVACBTSM7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Navarro–Frenk–White profile, Navarro–Frenk–White profile (definition). Also Wikidata Q6982166
History
- 2026-11-02: add by m2/dev
Process window index NVADYACVNM
| URI | m2://inv/NVADYACVNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process window index, Process window index (definition). Also Wikidata Q7247256
History
- 2026-11-02: add by m2/dev
Ho'oleilana NVAFQY474K
| URI | m2://inv/NVAFQY474K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baryon acoustic oscillations#W9TG, Ho'oleilana (unknown)
History
- 2026-11-02: add by m2/dev
NVAKEBHKB0 NVAKEBHKB0
| URI | m2://inv/NVAKEBHKB0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:fourth-concat (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Algorithms NVAMBXHBQ2
| URI | m2://inv/NVAMBXHBQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete coloring#EI5W, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
NVAND99E54 NVAND99E54
| URI | m2://inv/NVAND99E54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#9K8B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variations NVAP4C8HA7
| URI | m2://inv/NVAP4C8HA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmert transformation#F3P5, Variations (statement)
History
- 2026-11-02: add by m2/dev
NVAQKCJW99 NVAQKCJW99
| URI | m2://inv/NVAQKCJW99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.08176#A3WZ (statement). In SYGR43673J/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
NVAR2BJNH2 NVAR2BJNH2
| URI | m2://inv/NVAR2BJNH2 |
|---|---|
| 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.07852#NOMA (statement). In 8X43SAEM99/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Francois Delarue NVAZRCN1JS
| URI | m2://inv/NVAZRCN1JS |
|---|---|
| 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#HCOL, Francois Delarue (unknown)
History
- 2026-11-02: add by m2/dev
Teruhisa Matsusaka NVB729B50N
| URI | m2://inv/NVB729B50N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teruhisa Matsusaka, Teruhisa Matsusaka (topic). Also Wikidata Q20992220
History
- 2026-11-02: add by m2/dev
NVBCSDV8MG NVBCSDV8MG
| URI | m2://inv/NVBCSDV8MG |
|---|---|
| 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.21438#T0UB (statement)
History
- 2026-11-02: add by m2/v0.6.18
NVBFRVXYQ1 NVBFRVXYQ1
| URI | m2://inv/NVBFRVXYQ1 |
|---|---|
| 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 2603.29838#OE1P (statement). In KP0X1RKKKB/e1, lemma 4.14
History
- 2026-10-27: add by m2/v0.4.0
NVBGDMYNER NVBGDMYNER
| URI | m2://inv/NVBGDMYNER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#9O5X (statement)
History
- 2026-11-01: add by m2/v0.6.15
NVBGTVNY4K NVBGTVNY4K
| URI | m2://inv/NVBGTVNY4K |
|---|---|
| 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.31276#OUNW (statement). In WYDHWYFRFK/e1, proposition 3.13
History
- 2026-10-31: add by m2/v0.5.6
NVBHW6ZJTE NVBHW6ZJTE
| URI | m2://inv/NVBHW6ZJTE |
|---|---|
| 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.28076#UE7N (statement)
History
- 2026-11-01: add by m2/v0.6.15
NVBJDA34MV NVBJDA34MV
| URI | m2://inv/NVBJDA34MV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#5D35 (statement). In E7W2HDNEKJ/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
Theorem 2 NVBQJMQE3H
| URI | m2://inv/NVBQJMQE3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax estimator#YVJV, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
NVBRTMTHZY NVBRTMTHZY
| URI | m2://inv/NVBRTMTHZY |
|---|---|
| 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.12165#0XVO (statement). In 3JSE8A9CFH/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Ulrich Stuhler NVBV2Y448B
| URI | m2://inv/NVBV2Y448B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrich Stuhler, Ulrich Stuhler (topic). Also Wikidata Q115398
History
- 2026-11-02: add by m2/dev
NVBVYA5QBB NVBVYA5QBB
| URI | m2://inv/NVBVYA5QBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#7996 (statement). In A89G9GMPC9/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.12
Arthur Strong Wightman NVC0D2B7K2
| URI | m2://inv/NVC0D2B7K2 |
|---|---|
| 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#4YNC, Arthur Strong Wightman (unknown)
History
- 2026-11-02: add by m2/dev
Best positive-semidefinite rank-$k$ approximation NVC0XWFYFH
| URI | m2://inv/NVC0XWFYFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#A3ZC, Best positive-semidefinite rank-$k$ approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
NVC4B616QB NVC4B616QB
| URI | m2://inv/NVC4B616QB |
|---|---|
| Kind | example |
| 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.07963#VOL5 (example). In HAGJKEZ1CK/e1, example 7.1
History
- 2026-10-29: add by m2/v0.4.10
NVC5VEQM77 NVC5VEQM77
| URI | m2://inv/NVC5VEQM77 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#XPYV (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Single-emission convention NVCKH3E4PW
| URI | m2://inv/NVCKH3E4PW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#FDP9, Single-emission convention (definition). In 4HCK722M2G/e1, definition 5.6
History
- 2026-10-28: add by m2/v0.4.2
NVCKVT84PX NVCKVT84PX
| URI | m2://inv/NVCKVT84PX |
|---|---|
| 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.13556#A4G3 (statement). In 5ZB8N3YY72/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
Statement NVCP41D2Z8
| URI | m2://inv/NVCP41D2Z8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander walk sampling#W16Y, Statement (statement)
History
- 2026-11-02: add by m2/dev
NVCSBPEZCA NVCSBPEZCA
| URI | m2://inv/NVCSBPEZCA |
|---|---|
| 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 2205.09049#CHRF (statement). In 37S7MNMZ2F/e1, proposition 21
History
- 2026-10-27: add by m2/v0.3.5
Local co-minimality NVD99RHTFJ
| URI | m2://inv/NVD99RHTFJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#IEZS, Local co-minimality (definition)
History
- 2026-11-01: add by m2/v0.6.15
Case (B) is closed for \emph{every} $n$ in the unitary family NVDAX3HX0R
| URI | m2://inv/NVDAX3HX0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#KK19, Case (B) is closed for \emph{every} $n$ in the unitary family (statement). In QPJ6FWG5HD/e1, proposition 2.38
History
- 2026-10-29: add by m2/v0.4.12
NVDBVPT9FC NVDBVPT9FC
| URI | m2://inv/NVDBVPT9FC |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#3SUH (unknown). In QNBFHFZ3H0/e1, unknown 125
History
- 2026-10-28: add by m2/v0.4.2
NVDC66MK14 NVDC66MK14
| URI | m2://inv/NVDC66MK14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#T9HP (statement). In 13H5BTAXHF/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Medial deltoidal hexecontahedron NVDF6QFVVY
| URI | m2://inv/NVDF6QFVVY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JJSN, Medial deltoidal hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
Rina Foygel Barber NVDJ2GE0W5
| URI | m2://inv/NVDJ2GE0W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WEYR, Rina Foygel Barber (unknown)
History
- 2026-11-02: add by m2/dev
NVDKV8FM6G NVDKV8FM6G
| URI | m2://inv/NVDKV8FM6G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.14735#M9ZK (definition). In XB5GPTZ6JF/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Rice's theorem NVDPXYYZ93
| URI | m2://inv/NVDPXYYZ93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NKC9, Rice's theorem (statement)
History
- 2026-11-02: add by m2/dev
NVDTXT7WQR NVDTXT7WQR
| URI | m2://inv/NVDTXT7WQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.27617#H3T0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
automorphism NVDWKD84YZ
| URI | m2://inv/NVDWKD84YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 1160) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#B7N6, automorphism (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Interval estimation NVDZNM2ZD5
| URI | m2://inv/NVDZNM2ZD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZUZ4, Interval estimation (definition)
History
- 2026-11-02: add by m2/dev
NVE1Q3YSR4 NVE1Q3YSR4
| URI | m2://inv/NVE1Q3YSR4 |
|---|---|
| Kind | example |
| 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 0903.1569#KLK7 (example). In ZM7WZ2A9H2/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
Cai, T. Tony NVE57GCHJD
| URI | m2://inv/NVE57GCHJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V5XI, Cai, T. Tony (topic)
History
- 2026-11-02: add by m2/dev
Infinite matrix NVEX6Y63H5
| URI | m2://inv/NVEX6Y63H5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (mathematics)#61AH, Infinite matrix (unknown)
History
- 2026-11-02: add by m2/dev
NVF09X8F2A NVF09X8F2A
| URI | m2://inv/NVF09X8F2A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/rules-proofs.tex#ex-1 (example). In PKGMM3P5QY, ex, section 58.2
History
- 2026-11-01: add by m2/v0.6.13
NVF2JSE9S4 NVF2JSE9S4
| URI | m2://inv/NVF2JSE9S4 |
|---|---|
| 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.06206#J9XK (statement). In A7611PTXVQ/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Half-transitive graph NVF5VW5P9J
| URI | m2://inv/NVF5VW5P9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-transitive graph, Half-transitive graph (definition). Also Wikidata Q5641630
History
- 2026-11-02: add by m2/dev
NVFTZR48X0 NVFTZR48X0
| URI | m2://inv/NVFTZR48X0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_intro.ptx#example-1 (example). In QKM9DD2H56, example, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
Use NVFVZP3MM9
| URI | m2://inv/NVFVZP3MM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vigesimal#JK9O, Use (example)
History
- 2026-11-02: add by m2/dev
Properties NVFYNXCHM4
| URI | m2://inv/NVFYNXCHM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjugate matrix#AI8P, Properties (statement)
History
- 2026-11-02: add by m2/dev
essentially of finite type NVG3FFB4GE
| URI | m2://inv/NVG3FFB4GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#H4IZ, essentially of finite type (definition)
History
- 2026-11-02: add by m2/dev
NVG54W2GC4 NVG54W2GC4
| URI | m2://inv/NVG54W2GC4 |
|---|---|
| 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.23006#68OV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Variants NVG73MS3G1
| URI | m2://inv/NVG73MS3G1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi automaton#4968, Variants (statement)
History
- 2026-11-02: add by m2/dev
Michel Broué NVGCP7GA46
| URI | m2://inv/NVGCP7GA46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZK2M, Michel Broué (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#62N0, Michel Broué (topic)
History
- 2026-11-02: add by m2/dev
Alternated order-4 hexagonal tiling NVGE6BX2ZR
| URI | m2://inv/NVGE6BX2ZR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternated order-4 hexagonal tiling, Alternated order-4 hexagonal tiling (object). Also Wikidata Q16827634
History
- 2026-11-02: add by m2/dev
deduction rule NVGPF9WN2A
| URI | m2://inv/NVGPF9WN2A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.1.3/deduction-rule, deduction rule (concept). In Y91XFCEVHQ, index, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
Axiom 7 NVGVQASJC8
| URI | m2://inv/NVGVQASJC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#TQO3, Axiom 7 (statement)
History
- 2026-11-02: add by m2/dev
NVGWEH2FE1 NVGWEH2FE1
| URI | m2://inv/NVGWEH2FE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26521#G1DO (statement)
History
- 2026-11-01: add by m2/v0.6.15
John C. Bailar III NVGYTXH58H
| URI | m2://inv/NVGYTXH58H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#92XU, John C. Bailar III (unknown)
History
- 2026-11-02: add by m2/dev
NVH0BXZT51 NVH0BXZT51
| URI | m2://inv/NVH0BXZT51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12740#IPND (statement). In HKYRZSZPEC/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
List of statistics articles NVH0FATPQN
| URI | m2://inv/NVH0FATPQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles, List of statistics articles (topic). Also Wikidata Q4814227
History
- 2026-11-02: add by m2/dev
monotone sequence NVH50Y4AMS
| URI | m2://inv/NVH50Y4AMS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1.1/monotone-sequence, monotone sequence (concept). In E59CDZA4DP, index, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
NVH7R4BXH5 NVH7R4BXH5
| URI | m2://inv/NVH7R4BXH5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#proof-3 (proof). In P1C114YBXG, proof, section F
History
- 2026-11-01: add by m2/v0.6.13
Eigenvalue ratio NVHR70VQPP
| URI | m2://inv/NVHR70VQPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.06742#MG9Y, Eigenvalue ratio (statement). In 24FJ7C8WPN/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
k-sets NVHTJ9Z3EH
| URI | m2://inv/NVHTJ9Z3EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LCGK, k-sets (definition)
History
- 2026-11-02: add by m2/dev
NVHTWZXWDM NVHTWZXWDM
| URI | m2://inv/NVHTWZXWDM |
|---|---|
| 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.06312#4MQC (statement). In Y3HBJMCC4D/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Weakly dependent random variables NVJ37VBWJJ
| URI | m2://inv/NVJ37VBWJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly dependent random variables, Weakly dependent random variables (definition). Also Wikidata Q55637493
History
- 2026-11-02: add by m2/dev
square knot NVJ3VTMN5S
| URI | m2://inv/NVJ3VTMN5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7582069, square knot (unknown). Also MathWorld SquareKnot
- wikipedia: Wikipedia Square knot (mathematics), Square knot (definition). Also Wikidata Q7582069
History
- 2026-10-26: add by m2/dev
NVJ43FP253 NVJ43FP253
| URI | m2://inv/NVJ43FP253 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#Y9CU (definition). In D50WST4CG3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Dose–response curve NVJ8ACWP5M
| URI | m2://inv/NVJ8ACWP5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#RP85, Dose–response curve (unknown)
History
- 2026-11-02: add by m2/dev
NVJ8VGGJXR NVJ8VGGJXR
| URI | m2://inv/NVJ8VGGJXR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#A1VG (example). In V97F4YZ8B0/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.2
Bulletin of the Australian Mathematical Society NVJ9FWKRYP
| URI | m2://inv/NVJ9FWKRYP |
|---|---|
| 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 Q15765627, Bulletin of the Australian Mathematical Society (unknown). Also ProofWiki Book:Journal/Bulletin_of_the_Australian_Mathematical_Society
History
- 2026-10-26: add by m2/dev
NVJA959A6C NVJA959A6C
| URI | m2://inv/NVJA959A6C |
|---|---|
| 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 2610.12576#1BUQ (statement). In BVAWVRS3R9/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
do not engage in mass suicide NVJHM3S9YZ
| URI | m2://inv/NVJHM3S9YZ |
|---|---|
| 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#WUML, do not engage in mass suicide (unknown)
History
- 2026-11-02: add by m2/dev
NVJRS408E2 NVJRS408E2
| URI | m2://inv/NVJRS408E2 |
|---|---|
| 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.27641#5YQJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
NVJTK1AJHA NVJTK1AJHA
| URI | m2://inv/NVJTK1AJHA |
|---|---|
| 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.31216#8YC2 (statement). In M9CSGRSRB3/e1, lemma 2.8
History
- 2026-10-31: add by m2/v0.5.6
Empirical-to-population polar transfer NVJV08637N
| URI | m2://inv/NVJV08637N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#6E9S, Empirical-to-population polar transfer (statement). In TTEAQA1XXR/e1, lemma C.23
History
- 2026-10-28: add by m2/v0.4.3
NVJWAQ7R24 NVJWAQ7R24
| URI | m2://inv/NVJWAQ7R24 |
|---|---|
| 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.09567#4RO7 (statement). In 7RV6BDZAFK/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
Computation of NVJXACKTXW
| URI | m2://inv/NVJXACKTXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-free integer#LC3L, Computation of (definition)
History
- 2026-11-02: add by m2/dev
Exact Galerkin loads NVK2TJBP9C
| URI | m2://inv/NVK2TJBP9C |
|---|---|
| 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.21991#NYOK, Exact Galerkin loads (statement). In KRBDK9J44X/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.2
Sampled inner product, evaluation spaces NVK44DBW24
| URI | m2://inv/NVK44DBW24 |
|---|---|
| Kind | definition |
| 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#T7OS, Sampled inner product, evaluation spaces (definition). In Z7M2JSF6HA/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
\coqident{MoreFoundations}{Wtypes}{indexedWtype NVK66CGZT0
| URI | m2://inv/NVK66CGZT0 |
|---|---|
| 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 1904.09810#WIEZ, \coqident{MoreFoundations}{Wtypes}{indexedWtype (definition). In T1VFA7TXPA/e1, definition 62
History
- 2026-10-27: add by m2/v0.3.5
NVK6X8SSNK NVK6X8SSNK
| URI | m2://inv/NVK6X8SSNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-6 (statement). In PKGMM3P5QY, prop, section 66.4
History
- 2026-11-01: add by m2/v0.6.13
abduction NVKDRFSZ76
| URI | m2://inv/NVKDRFSZ76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#O6IM, abduction (definition)
History
- 2026-11-02: add by m2/dev
Discovery order given the tree NVKEYA8MS7
| URI | m2://inv/NVKEYA8MS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#I2IL, Discovery order given the tree (statement). In R5AFFWBMAF/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
NVKJDNN9HV NVKJDNN9HV
| URI | m2://inv/NVKJDNN9HV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#L65A (definition)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm NVKRCR2AA9
| URI | m2://inv/NVKRCR2AA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate gradient squared method#W7NX, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
NVKSY29XWK NVKSY29XWK
| URI | m2://inv/NVKSY29XWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#YTP3 (statement). In BZ54C9SKYS/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
Conventions NVKW8WDDMV
| URI | m2://inv/NVKW8WDDMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical system#5H8K, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Planar dg operad NVM2YD27B4
| URI | m2://inv/NVM2YD27B4 |
|---|---|
| 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 2312.05005#OQCK, Planar dg operad (definition). In SMJMAQ2S3J/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.0
moment problem NVM5A4N86N
| URI | m2://inv/NVM5A4N86N |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Moment problem CS7TWHY7JM |
Mentions
- wikidata: Wikidata Q3406268, moment problem (problem). Also MathWorld MomentProblem
- wikipedia: Wikipedia Moment problem, Moment problem (problem). Also Wikidata Q3406268
History
- 2026-10-26: add by m2/dev
NVM6P287QP NVM6P287QP
| URI | m2://inv/NVM6P287QP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-4.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Definition NVMKH7CW8G
| URI | m2://inv/NVMKH7CW8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous big q-Hermite polynomials#UMBI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Group with operators NVMR7994PZ
| URI | m2://inv/NVMR7994PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#VGYG, Group with operators (definition)
History
- 2026-11-02: add by m2/dev
European Girls' Mathematical Olympiad NVMVA7TRHB
| URI | m2://inv/NVMVA7TRHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#OHJH, European Girls' Mathematical Olympiad (definition)
History
- 2026-11-02: add by m2/dev
McLennan, Bill NVMXAHE1XQ
| URI | m2://inv/NVMXAHE1XQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0P65, McLennan, Bill (unknown)
History
- 2026-11-02: add by m2/dev
radium-226 NVNHBHDH36
| URI | m2://inv/NVNHBHDH36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4387321, radium-226 (definition). Also ProofWiki Definition:Radium/226
History
- 2026-10-26: add by m2/dev
Signed cover data lose attachment information NVNK31VFEK
| URI | m2://inv/NVNK31VFEK |
|---|---|
| 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#XPTZ, Signed cover data lose attachment information (statement). In PCAS8S14J6/e1, proposition B.10
History
- 2026-10-31: add by m2/v0.5.6
Inner contraction and total movement NVNQ9ESQ2A
| URI | m2://inv/NVNQ9ESQ2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04944#NZTT, Inner contraction and total movement (statement). In BHSY6QQCVK/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
603 (number) NVNV4577N7
| URI | m2://inv/NVNV4577N7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#OWP0, 603 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Auxiliary regularization NVP6YYVS5J
| URI | m2://inv/NVP6YYVS5J |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05864#L84N, Auxiliary regularization (unknown). In 31QPXWDZSH/e1, unknown A3
History
- 2026-10-29: add by m2/v0.4.10
Examples NVP8AF6TB6
| URI | m2://inv/NVP8AF6TB6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stufe (algebra)#JA0V, Examples (example)
History
- 2026-11-02: add by m2/dev
NVPH4DAPGW NVPH4DAPGW
| URI | m2://inv/NVPH4DAPGW |
|---|---|
| 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.21568#QW54 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rose NVPQHWKCG3
| URI | m2://inv/NVPQHWKCG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rose (topology), Rose (definition). Also Wikidata Q5961806
History
- 2026-11-02: add by m2/dev
Order of a tensor NVPW5X58DY
| URI | m2://inv/NVPW5X58DY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#TE7I, Order of a tensor (definition)
History
- 2026-11-02: add by m2/dev
NVPW6A8VZH NVPW6A8VZH
| URI | m2://inv/NVPW6A8VZH |
|---|---|
| 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 2112.14455#ZT2Z (statement). In VDE5R8HBS1/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.3.5
Dixon, Wilfrid NVPXTTGJJ9
| URI | m2://inv/NVPXTTGJJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0KDF, Dixon, Wilfrid (topic)
History
- 2026-11-02: add by m2/dev
NVPZXECABD NVPZXECABD
| URI | m2://inv/NVPZXECABD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#lemma-3 (statement). In RZP28ERRZV, lemma, section 88.4
History
- 2026-11-01: add by m2/v0.6.13
Symmetric mean absolute percentage error NVQ0MSH0WD
| URI | m2://inv/NVQ0MSH0WD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4OM5, Symmetric mean absolute percentage error (definition)
History
- 2026-11-02: add by m2/dev
Definition and properties NVQ9JPRZWY
| URI | m2://inv/NVQ9JPRZWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mallows's Cp#A9TO, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
NVQD12H1ET NVQD12H1ET
| URI | m2://inv/NVQD12H1ET |
|---|---|
| Kind | definition |
| 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#FOYA (definition). In 4P97F3GPJC/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
NVQPST4P9R NVQPST4P9R
| URI | m2://inv/NVQPST4P9R |
|---|---|
| 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.10325#QJ4L (statement). In 66CDJ94PGW/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
NVQQYXT5Z1 NVQQYXT5Z1
| URI | m2://inv/NVQQYXT5Z1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-50 (proof). In N54F33XE07, proof, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
NVQWBG11H3 NVQWBG11H3
| URI | m2://inv/NVQWBG11H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#JAFL (statement). In 9JZJTRRVR1/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
Complete parameter determination for a rank-three non-rigid input NVR0611G26
| URI | m2://inv/NVR0611G26 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.25805#W3C8, Complete parameter determination for a rank-three non-rigid input (example)
History
- 2026-11-01: add by m2/v0.6.15
NVRJM080QF NVRJM080QF
| URI | m2://inv/NVRJM080QF |
|---|---|
| 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 1001.3646#UVX7 (statement). In 46QFY2X6A0/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Good spanning tree NVRJVQ33TB
| URI | m2://inv/NVRJVQ33TB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good spanning tree, Good spanning tree (definition). Also Wikidata Q48996153
History
- 2026-11-02: add by m2/dev
The John–Nirenberg inequality NVRNE1X8P7
| URI | m2://inv/NVRNE1X8P7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded mean oscillation#XPBU, The John–Nirenberg inequality (statement)
History
- 2026-11-02: add by m2/dev
NVRTNV6QY9 NVRTNV6QY9
| URI | m2://inv/NVRTNV6QY9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#DLAW (example). In 47WN78VDDF/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
NVS0V1PZ6Q NVS0V1PZ6Q
| URI | m2://inv/NVS0V1PZ6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-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.38243#6KJE (statement). In R03K2N7FRF/e1, lemma C.8
History
- 2026-10-30: add by m2/v0.4.12
NVS1PENT06 NVS1PENT06
| URI | m2://inv/NVS1PENT06 |
|---|---|
| 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 2112.05010#ACL0 (statement). In 4SZNPS3Z00/e1, lemma I.2
History
- 2026-10-27: add by m2/v0.3.6
NVS27PEZCE NVS27PEZCE
| URI | m2://inv/NVS27PEZCE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#7ICI (definition). In HTBRYNPHSJ/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
TLS-PSK NVS2G18JBB
| URI | m2://inv/NVS2G18JBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TLS-PSK, TLS-PSK (definition). Also Wikidata Q7670608
History
- 2026-11-02: add by m2/dev
Kripke–Platek set theory NVS8Z4ZH9T
| URI | m2://inv/NVS8Z4ZH9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke–Platek set theory, Kripke–Platek set theory (definition). Also Wikidata Q3526833
History
- 2026-11-02: add by m2/dev
discrete, space NVSAWY9084
| URI | m2://inv/NVSAWY9084 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.1/discrete-space, discrete, space (concept). In N54F33XE07, index, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Friedman NVSFS6X5TA
| URI | m2://inv/NVSFS6X5TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00108#OJY9, Friedman (statement). In V2G422ZMPW/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Edge ray principle NVSGD9V4EX
| URI | m2://inv/NVSGD9V4EX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonimaging optics#MFFP, Edge ray principle (statement)
History
- 2026-11-02: add by m2/dev
Applications NVSK52VYKC
| URI | m2://inv/NVSK52VYKC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally linear graph#Z0CE, Applications (example)
History
- 2026-11-02: add by m2/dev
NVSZ7CPX8M NVSZ7CPX8M
| URI | m2://inv/NVSZ7CPX8M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
NVSZ8Q7DEA NVSZ8Q7DEA
| URI | m2://inv/NVSZ8Q7DEA |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#EPJQ (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
NVT0QMPV3M NVT0QMPV3M
| URI | m2://inv/NVT0QMPV3M |
|---|---|
| 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 2508.18436#QEYE (statement). In 6W19Z58188/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
James C. Hickman NVTBXCVHYE
| URI | m2://inv/NVTBXCVHYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James C. Hickman, James C. Hickman (topic). Also Wikidata Q6130730
History
- 2026-11-02: add by m2/dev
Thomas Henry Havelock NVTFMBN2MC
| URI | m2://inv/NVTFMBN2MC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Henry Havelock, Thomas Henry Havelock (topic). Also Wikidata Q18917525
History
- 2026-11-02: add by m2/dev
NVTKPK78B6 NVTKPK78B6
| URI | m2://inv/NVTKPK78B6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#DQJF (statement)
History
- 2026-11-02: add by m2/v0.6.17
NVTQ70FM38 NVTQ70FM38
| URI | m2://inv/NVTQ70FM38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.13347#WMAS (statement). In Z6QS82DPHE/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
NVTQJXXW4D NVTQJXXW4D
| URI | m2://inv/NVTQJXXW4D |
|---|---|
| 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.29170#5JXL (statement)
History
- 2026-11-01: add by m2/v0.6.15
NVTSR0KZ4D NVTSR0KZ4D
| URI | m2://inv/NVTSR0KZ4D |
|---|---|
| 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.11793#36IB (statement). In GGCY8Z053Z/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
NVTT3B98SD NVTT3B98SD
| URI | m2://inv/NVTT3B98SD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#WW0J (statement). In 6KAZWJ8RFX/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
NVTTS9ERS8 NVTTS9ERS8
| URI | m2://inv/NVTTS9ERS8 |
|---|---|
| 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.23975#YS66 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NVTVTQR6RP NVTVTQR6RP
| URI | m2://inv/NVTVTQR6RP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#4CRR (definition). In ETRT1R1CQ8/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Plural quantification NVTZ8K7AQW
| URI | m2://inv/NVTZ8K7AQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plural quantification, Plural quantification (definition). Also Wikidata Q7205530
History
- 2026-11-02: add by m2/dev
NVVXXQNH4G NVVXXQNH4G
| URI | m2://inv/NVVXXQNH4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#C40F (statement). In 5ZPQ60TM6J/e1, proposition 16
History
- 2026-10-28: add by m2/v0.4.2
Johan Frederik Steffensen NVVZNQJWPM
| URI | m2://inv/NVVZNQJWPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johan Frederik Steffensen, Johan Frederik Steffensen (topic). Also Wikidata Q6215065
History
- 2026-11-02: add by m2/dev
Neural cryptography NVW7J20ZWV
| URI | m2://inv/NVW7J20ZWV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural cryptography, Neural cryptography (topic). Also Wikidata Q4316440
History
- 2026-11-02: add by m2/dev
excluded middle NVWAQQF3RZ
| URI | m2://inv/NVWAQQF3RZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/excluded-middle, excluded middle (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
Charles Babbage NVWBYGW18Z
| URI | m2://inv/NVWBYGW18Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#IRR7, Charles Babbage (topic)
History
- 2026-11-02: add by m2/dev
NVWCG5CQ4R NVWCG5CQ4R
| URI | m2://inv/NVWCG5CQ4R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#FZCO (example). In W0ZHX9DHPV/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
The local-to-zero limit is non-degenerate NVWGPHMBHW
| URI | m2://inv/NVWGPHMBHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14695#NAV4, The local-to-zero limit is non-degenerate (statement). In T15EJSPCNG/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
NVWJBJ5DBT NVWJBJ5DBT
| URI | m2://inv/NVWJBJ5DBT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#YN75 (definition). In 5XKHZKEGAF/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
NVWNVZT9ZS NVWNVZT9ZS
| URI | m2://inv/NVWNVZT9ZS |
|---|---|
| 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.03081#5I43 (statement). In TX0H26X4VX/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Tristan Rivière NVWX3RA7XG
| URI | m2://inv/NVWX3RA7XG |
|---|---|
| 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#TMTR, Tristan Rivière (topic)
History
- 2026-11-02: add by m2/dev
tricky NVWY87AT9C
| URI | m2://inv/NVWY87AT9C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-40, tricky (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Heine–Borel theorem NVWZ2MBHRJ
| URI | m2://inv/NVWZ2MBHRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#XT1E, Heine–Borel theorem (statement)
History
- 2026-11-02: add by m2/dev
NVWZ86DM0Y NVWZ86DM0Y
| URI | m2://inv/NVWZ86DM0Y |
|---|---|
| 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 2406.19866#8CJV (statement). In 9F94CEQ1ZM/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.3.5
NVWZCNPRM7 NVWZCNPRM7
| URI | m2://inv/NVWZCNPRM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#I5EA (statement). In 40YZ43TS8K/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Atkin–Lehner theory NVX1KTPA9M
| URI | m2://inv/NVX1KTPA9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atkin–Lehner theory, Atkin–Lehner theory (definition). Also Wikidata Q4815938
History
- 2026-11-02: add by m2/dev
Susan Goldstine NVX56BEBE0
| URI | m2://inv/NVX56BEBE0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Goldstine, Susan Goldstine (topic). Also Wikidata Q92974047
History
- 2026-11-02: add by m2/dev
NVX9Q5TRQ6 NVX9Q5TRQ6
| URI | m2://inv/NVX9Q5TRQ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#92SZ (definition). In QFA8TMJPHZ/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Economy-wide material flow accounts NVXK3JXZ7C
| URI | m2://inv/NVXK3JXZ7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economy-wide material flow accounts, Economy-wide material flow accounts (definition). Also Wikidata Q5333611
History
- 2026-11-02: add by m2/dev
NVXK540K51 NVXK540K51
| URI | m2://inv/NVXK540K51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#thm-1 (statement). In E59CDZA4DP, thm, section 7.2.1
History
- 2026-11-01: add by m2/v0.6.13
NVXKM8T65P NVXKM8T65P
| URI | m2://inv/NVXKM8T65P |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34676#90Z0 (problem). In PR5BC5M6PD/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Cantellated 5-cell NVXR29GTZ0
| URI | m2://inv/NVXR29GTZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated 5-cell, Cantellated 5-cell (definition). Also Wikidata Q5033581
History
- 2026-11-02: add by m2/dev
NVXSWFWPZG NVXSWFWPZG
| URI | m2://inv/NVXSWFWPZG |
|---|---|
| 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.09422#AYXK (statement). In MS7M2BJS9X/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
NVY51YY5CY NVY51YY5CY
| URI | m2://inv/NVY51YY5CY |
|---|---|
| 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.12047#B9VL (statement). In ZF1Y3HZMZ9/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.3
NVYHJBF969 NVYHJBF969
| URI | m2://inv/NVYHJBF969 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34675#X6V8 (statement). In C93BAXKJVD/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Token graphs NVYW8Y35QS
| URI | m2://inv/NVYW8Y35QS |
|---|---|
| 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 2610.14373#UAQ6, Token graphs (statement). In 77TK7M3B9Y/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Meno's paradox NVYZ1ESK7T
| URI | m2://inv/NVYZ1ESK7T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meno#FLN1, Meno's paradox (statement)
History
- 2026-11-02: add by m2/dev
NVYZYNETHK NVYZYNETHK
| URI | m2://inv/NVYZYNETHK |
|---|---|
| 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 2408.13548#0WCC (definition). In EQF1ZQ5K1S/e1, definition 3.17
History
- 2026-10-27: add by m2/v0.4.0
NVZ02D8KK0 NVZ02D8KK0
| URI | m2://inv/NVZ02D8KK0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
Levi-Civita connection NVZ2FG166Q
| URI | m2://inv/NVZ2FG166Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Levi-Civita connection CAZYGE1T4E |
Mentions
- wikidata: Wikidata Q548675, Levi-Civita connection (unknown). Also MathWorld Levi-CivitaConnection, nLab Levi-Civita connection
- wikipedia: Wikipedia Levi-Civita connection, Levi-Civita connection (definition). Also Wikidata Q548675
History
- 2026-10-26: add by m2/dev
Ewelina Zatorska NVZD4NNJ5A
| URI | m2://inv/NVZD4NNJ5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewelina Zatorska, Ewelina Zatorska (topic). Also Wikidata Q135746362
History
- 2026-11-02: add by m2/dev
Computation NVZE0JPG1W
| URI | m2://inv/NVZE0JPG1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cholesky decomposition#NH83, Computation (definition)
History
- 2026-11-02: add by m2/dev
NVZNX7BJNH NVZNX7BJNH
| URI | m2://inv/NVZNX7BJNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#MRYX (statement). In Y4TP36M0C7/e1, proposition 10
History
- 2026-10-28: add by m2/v0.4.2
base case NVZWA6MN7S
| URI | m2://inv/NVZWA6MN7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54504562, base case (definition). Also ProofWiki Definition:Basis_for_the_Induction
History
- 2026-10-26: add by m2/dev