Inventory rows NH
The cards of the rows of the inventory whose ids start with NH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
NH000CR28N NH000CR28N
| URI | m2://inv/NH000CR28N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
Matrix-vector multiplication NH07Q7XVP4
| URI | m2://inv/NH07Q7XVP4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#activity-1, Matrix-vector multiplication (exercise). In 649HGZKE96, activity, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
NH0NB673KV NH0NB673KV
| URI | m2://inv/NH0NB673KV |
|---|---|
| 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.03062#FAUV (statement). In 5H7985A5SD/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
NH0T3ZGE1M NH0T3ZGE1M
| URI | m2://inv/NH0T3ZGE1M |
|---|---|
| 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 2204.13401#J868 (statement). In B8MJT0GGW8/e1, proposition 4.32
History
- 2026-10-27: add by m2/v0.4.0
Elveden #32 NH10TSF1ES
| URI | m2://inv/NH10TSF1ES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#NZNA, Elveden #32 (unknown)
History
- 2026-11-02: add by m2/dev
Yaiza Canzani NH19PTVSMS
| URI | m2://inv/NH19PTVSMS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yaiza Canzani, Yaiza Canzani (topic). Also Wikidata Q59352687
History
- 2026-11-02: add by m2/dev
NH1GGMQJ5J NH1GGMQJ5J
| URI | m2://inv/NH1GGMQJ5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm-3 (statement). In N54F33XE07, thm, section 7.1.6
History
- 2026-11-01: add by m2/v0.6.13
Snowball Earth NH1GHSAPZD
| URI | m2://inv/NH1GHSAPZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snowball Earth, Snowball Earth (definition). Also Wikidata Q214689
History
- 2026-11-02: add by m2/dev
NH1PRB2H3N NH1PRB2H3N
| URI | m2://inv/NH1PRB2H3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 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 2609.31883#M990 (statement). In XBHQRTBH62/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
NH1TW632F3 NH1TW632F3
| URI | m2://inv/NH1TW632F3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-28 (proof). In N54F33XE07, proof, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Definition NH1YFT79Q6
| URI | m2://inv/NH1YFT79Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral density#65CO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Faro shuffle NH1ZMT8543
| URI | m2://inv/NH1ZMT8543 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#563N, Faro shuffle (definition)
History
- 2026-11-02: add by m2/dev
NH275HCBS8 NH275HCBS8
| URI | m2://inv/NH275HCBS8 |
|---|---|
| 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 2308.05715#7PAI (definition). In FC0SB9JFWH/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
NH27VPSJPT NH27VPSJPT
| URI | m2://inv/NH27VPSJPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#definition-1 (definition). In RZP28ERRZV, definition, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
NH2C7VJCGS NH2C7VJCGS
| URI | m2://inv/NH2C7VJCGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#VL18 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NH2CV789X2 NH2CV789X2
| URI | m2://inv/NH2CV789X2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05520#ZNM4 (definition). In WM1JMPW48K/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
NH2E9TEWQZ NH2E9TEWQZ
| URI | m2://inv/NH2E9TEWQZ |
|---|---|
| Kind | definition |
| 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.18358#6G63 (definition). In SPZ446XNDW/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Application NH2EP25EVM
| URI | m2://inv/NH2EP25EVM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein notation#QXBY, Application (example)
History
- 2026-11-02: add by m2/dev
NH2MAFWP7C NH2MAFWP7C
| URI | m2://inv/NH2MAFWP7C |
|---|---|
| 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.23804#O3BQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
dominant NH2NKZXK87
| URI | m2://inv/NH2NKZXK87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#07XM, dominant (definition)
History
- 2026-11-02: add by m2/dev
NH336547W2 NH336547W2
| URI | m2://inv/NH336547W2 |
|---|---|
| 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.06463#Z7L1 (statement). In 3WWY9K1K9V/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
NH3FTBDZ2J NH3FTBDZ2J
| URI | m2://inv/NH3FTBDZ2J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#4SIT (definition). In REDG6QVHM3/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
NH3GFRG01N NH3GFRG01N
| URI | m2://inv/NH3GFRG01N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.21670#SGP8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
NH3Q26EVG5 NH3Q26EVG5
| URI | m2://inv/NH3Q26EVG5 |
|---|---|
| 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.08104#KUO5 (statement). In AH6BX8RZTW/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.10
Hajer Bahouri NH3X8JB2J2
| URI | m2://inv/NH3X8JB2J2 |
|---|---|
| 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#ISPU, Hajer Bahouri (topic)
History
- 2026-11-02: add by m2/dev
Acyclic directed graph NH3Y2404WV
| URI | m2://inv/NH3Y2404WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#PE1P, Acyclic directed graph (definition)
History
- 2026-11-02: add by m2/dev
Truthiness NH3ZJNM63G
| URI | m2://inv/NH3ZJNM63G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truthiness, Truthiness (definition). Also Wikidata Q1701243
History
- 2026-11-02: add by m2/dev
Positive definite kernel and RKHS NH4042JMR8
| URI | m2://inv/NH4042JMR8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#8L24, Positive definite kernel and RKHS (definition). In 4HJK1986EJ/e1, definition B.1
History
- 2026-10-29: add by m2/v0.4.10
NH447CYD76 NH447CYD76
| URI | m2://inv/NH447CYD76 |
|---|---|
| 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.04809#GJ32 (statement). In 2VHV0RNTNV/e1, corollary 8.14
History
- 2026-10-29: add by m2/v0.4.12
integer part NH47N3X3YC
| URI | m2://inv/NH47N3X3YC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109852010, integer part (unknown). Also MathWorld IntegerPart
History
- 2026-10-26: add by m2/dev
Biometrics NH4BFQVT7X
| URI | m2://inv/NH4BFQVT7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#0ZX6, Biometrics (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet kernel NH4E3N0H4T
| URI | m2://inv/NH4E3N0H4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#1KCO, Dirichlet kernel (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#HHX6, Dirichlet kernel (definition)
History
- 2026-11-02: add by m2/dev
NH4KSV97AE NH4KSV97AE
| URI | m2://inv/NH4KSV97AE |
|---|---|
| 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#2VIR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael D. Plummer NH4N5AY8HB
| URI | m2://inv/NH4N5AY8HB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L0X0, Michael D. Plummer (unknown)
History
- 2026-11-02: add by m2/dev
NH4PG10H0K NH4PG10H0K
| URI | m2://inv/NH4PG10H0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#UNI2 (statement). In 2QP93JHYNB/e1, proposition 8.20
History
- 2026-10-27: add by m2/v0.4.2
Oleg Yanovich Viro NH4QS20ECA
| URI | m2://inv/NH4QS20ECA |
|---|---|
| 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#AEEA, Oleg Yanovich Viro (topic)
History
- 2026-11-02: add by m2/dev
Norbert Schappacher NH4TW45Y2S
| URI | m2://inv/NH4TW45Y2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norbert Schappacher, Norbert Schappacher (topic). Also Wikidata Q1997162
History
- 2026-11-02: add by m2/dev
Logical distance NH583BRPQB
| URI | m2://inv/NH583BRPQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#ECAP, Logical distance (statement). In 7MVPNFPRKB/e1, proposition 10.7
History
- 2026-10-30: add by m2/v0.4.12
ForMath NH5H17KQ5R
| URI | m2://inv/NH5H17KQ5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96702290, ForMath (unknown). Also nLab ForMath
History
- 2026-10-26: add by m2/dev
StatCrunch NH5HRHX6H3
| URI | m2://inv/NH5HRHX6H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#80DM, StatCrunch (definition)
History
- 2026-11-02: add by m2/dev
NH5HXF303K NH5HXF303K
| URI | m2://inv/NH5HXF303K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#9A4A (definition). In HVY45JQRNK/e1, definition 2.27
History
- 2026-10-31: add by m2/v0.5.6
NH5J3PC5M6 NH5J3PC5M6
| URI | m2://inv/NH5J3PC5M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#Q193 (statement). In W88890HB4Z/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Jean Gottmann NH60YM4M51
| URI | m2://inv/NH60YM4M51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#T5DE, Jean Gottmann (unknown)
History
- 2026-11-02: add by m2/dev
NH63GHQ52B NH63GHQ52B
| URI | m2://inv/NH63GHQ52B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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 2610.17139#3402 (statement). In AQWX60Z563/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.2
NH681RMCBB NH681RMCBB
| URI | m2://inv/NH681RMCBB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Arnold problem#5TAT (problem)
History
- 2026-11-02: add by m2/dev
Problem 5 NH6E2B7QHK
| URI | m2://inv/NH6E2B7QHK |
|---|---|
| Kind | problem |
| 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 2411.16465#RERD, Problem 5 (problem). In 900P3XBZ5P/e1, problem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Asymptotic bounds for the averaged count NH6GASYPG7
| URI | m2://inv/NH6GASYPG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#4POX, Asymptotic bounds for the averaged count (statement). In E2AF84709B/e1, corollary 31
History
- 2026-10-31: add by m2/v0.5.6
NH6KXAVWK6 NH6KXAVWK6
| URI | m2://inv/NH6KXAVWK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#YD4P (statement). In JY50YXMH5N/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
4200 NH6R5NNJF6
| URI | m2://inv/NH6R5NNJF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4000 (number)#ABBQ, 4200 (unknown)
History
- 2026-11-02: add by m2/dev
Infinitesimal flex NH6RP34V37
| URI | m2://inv/NH6RP34V37 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#HRZ1, Infinitesimal flex (definition). In XNJGNMS6H0/e1, definition 3.7
History
- 2026-10-28: add by m2/v0.4.2
The knowledge or truth axiom NH7B0H7B2X
| URI | m2://inv/NH7B0H7B2X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic modal logic#R1JN, The knowledge or truth axiom (statement)
History
- 2026-11-02: add by m2/dev
First-order $D_{\b_\phi}$ lower bound NH7NTKEEBS
| URI | m2://inv/NH7NTKEEBS |
|---|---|
| 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.10875#CM5H, First-order $D_{\b_\phi}$ lower bound (statement). In N91F15MHW1/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.3
NH7PHDF4XK NH7PHDF4XK
| URI | m2://inv/NH7PHDF4XK |
|---|---|
| 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.15291#A3QZ (statement). In YVS8268AG8/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
Argument from fine-tuning NH7YCFHYTV
| URI | m2://inv/NH7YCFHYTV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teleological argument#L0UP, Argument from fine-tuning (unknown)
History
- 2026-11-02: add by m2/dev
Arithmetic-Geometric Index NH80FMTMFV
| URI | m2://inv/NH80FMTMFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20364#7N4K, Arithmetic-Geometric Index (statement). In 433NXYKPG3/e1, corollary 4
History
- 2026-10-27: add by m2/v0.4.2
Canadian Mathematical Olympiad NH83MBGAM9
| URI | m2://inv/NH83MBGAM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#U7BB, Canadian Mathematical Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
NH8502XEJZ NH8502XEJZ
| URI | m2://inv/NH8502XEJZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-7 (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
NH853NJRWY NH853NJRWY
| URI | m2://inv/NH853NJRWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#7C8Q (statement). In ES1CVGG59Y/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
Prym variety NH89T5THK4
| URI | m2://inv/NH89T5THK4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7253243, Prym variety (concept). Also nLab Prym variety
- wikipedia: Wikipedia Prym variety, Prym variety (definition). Also Wikidata Q7253243
History
- 2026-10-26: add by m2/dev
Ludwig Staiger NH8ABS5ZTX
| URI | m2://inv/NH8ABS5ZTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#99PJ, Ludwig Staiger (topic)
- wikipedia: Wikipedia List of German mathematicians#PABC, Ludwig Staiger (topic)
History
- 2026-11-02: add by m2/dev
Enneadecagon NH8C9NT4EC
| URI | m2://inv/NH8C9NT4EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SJ3N, Enneadecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#X2RN, Enneadecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#D43G, Enneadecagon (definition)
History
- 2026-11-02: add by m2/dev
Universal hashing NH8C9SBWXG
| URI | m2://inv/NH8C9SBWXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal hashing, Universal hashing (definition). Also Wikidata Q846912
History
- 2026-11-02: add by m2/dev
Atiyah–Segal completion theorem NH8CHMDPAD
| URI | m2://inv/NH8CHMDPAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4815879, Atiyah–Segal completion theorem (statement). Also Wikidata Q4815879
- thousand_plus: thousand_plus Q4815879, Atiyah–Segal completion theorem (statement). Also Wikidata Q4815879, Wikipedia Atiyah–Segal completion theorem
- wikipedia: Wikipedia Atiyah–Segal completion theorem, Atiyah–Segal completion theorem (statement). Also Wikidata Q4815879
History
- 2026-10-26: add by m2/dev
Applications NH8DRDRZNE
| URI | m2://inv/NH8DRDRZNE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liar paradox#J91U, Applications (example)
History
- 2026-11-02: add by m2/dev
Phase-to-root-count identity NH8NT5TVWW
| URI | m2://inv/NH8NT5TVWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#CN28, Phase-to-root-count identity (statement). In 88GEN3Z5VG/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
Tree size of improved heuristic splits NH8WA7DYY8
| URI | m2://inv/NH8WA7DYY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#I2CX, Tree size of improved heuristic splits (statement). In TCQ1JBR84Y/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Related theorems NH8XPM6620
| URI | m2://inv/NH8XPM6620 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic Dehn surgery#O3YE, Related theorems (statement)
History
- 2026-11-02: add by m2/dev
Australian Mathematical Society NH8Z056N63
| URI | m2://inv/NH8Z056N63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#5NXJ, Australian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
$n$-dimensional volume, rectangles NH9172DBFY
| URI | m2://inv/NH9172DBFY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.1.1/n-dimensional-volume-rectangles, $n$-dimensional volume, rectangles (concept). In E59CDZA4DP, index, section 5.1.1
History
- 2026-11-01: add by m2/v0.6.13
NH9703TWB1 NH9703TWB1
| URI | m2://inv/NH9703TWB1 |
|---|---|
| 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 2610.18483#C567 (statement). In FF4HDVF1DC/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Modular fractional-to-prophet guarantee NH9C33YGM7
| URI | m2://inv/NH9C33YGM7 |
|---|---|
| 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.04027#9KRS, Modular fractional-to-prophet guarantee (statement). In DQB4YR2DFH/e1, corollary K.2
History
- 2026-10-29: add by m2/v0.4.12
Mapping-torus spin bordism NH9DQXDX6P
| URI | m2://inv/NH9DQXDX6P |
|---|---|
| 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 2609.29839#ES4U, Mapping-torus spin bordism (statement)
History
- 2026-11-01: add by m2/v0.6.15
Circulant determinant NH9F5BJ2G6
| URI | m2://inv/NH9F5BJ2G6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulant matrix#U7RN, Circulant determinant (unknown)
History
- 2026-11-02: add by m2/dev
Maximum NH9Z0MBZ34
| URI | m2://inv/NH9Z0MBZ34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#GUSV, Maximum (definition)
History
- 2026-11-02: add by m2/dev
Steenrod algebra NH9ZRE7NCS
| URI | m2://inv/NH9ZRE7NCS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Steenrod algebra JWTTXSGD0E |
Mentions
- wikidata: Wikidata Q7605884, Steenrod algebra (concept). Also EoM Steenrod_algebra, MathWorld SteenrodAlgebra, nLab Steenrod algebra
- wikipedia: Wikipedia Steenrod algebra, Steenrod algebra (definition). Also Wikidata Q7605884
History
- 2026-10-26: add by m2/dev
NHA0SHMHJD NHA0SHMHJD
| URI | m2://inv/NHA0SHMHJD |
|---|---|
| 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.02751#5H70 (statement). In MWGXPXF3BW/e1, corollary 16
History
- 2026-10-29: add by m2/v0.4.12
NHA0TSNP8H NHA0TSNP8H
| URI | m2://inv/NHA0TSNP8H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#VFXS (definition). In X923ZEY423/e1, definition 5.1.4
History
- 2026-10-27: add by m2/v0.3.5
NHA64TGE4H NHA64TGE4H
| URI | m2://inv/NHA64TGE4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#ZEHM (statement). In GAG532VMPF/e1, proposition 6.2.11
History
- 2026-10-27: add by m2/v0.3.5
NHA8AX5B5R NHA8AX5B5R
| URI | m2://inv/NHA8AX5B5R |
|---|---|
| Kind | definition |
| 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 2212.01916#GF3B (definition). In XTGB5Z08YH/e1, definition 3.19
History
- 2026-10-27: add by m2/v0.4.0
Jim Lindberg NHACYSJBY1
| URI | m2://inv/NHACYSJBY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#BUCF, Jim Lindberg (unknown)
History
- 2026-11-02: add by m2/dev
Derived from Fourier's law for heat conduction NHAMST7K62
| URI | m2://inv/NHAMST7K62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conductance and resistance#Y333, Derived from Fourier's law for heat conduction (statement)
History
- 2026-11-02: add by m2/dev
collineation NHAN24Q92Q
| URI | m2://inv/NHAN24Q92Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#SIC1, collineation (definition)
History
- 2026-11-02: add by m2/dev
NHAV0FXZ36 NHAV0FXZ36
| URI | m2://inv/NHAV0FXZ36 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#MU80 (definition). In PYB2RFYVVE/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Magnus Rudolph Hestenes NHB18ZPE4V
| URI | m2://inv/NHB18ZPE4V |
|---|---|
| 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#BAII, Magnus Rudolph Hestenes (topic)
History
- 2026-11-02: add by m2/dev
Simple examples NHB45DSB5B
| URI | m2://inv/NHB45DSB5B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O notation#Q26H, Simple examples (example)
History
- 2026-11-02: add by m2/dev
NHB487KMYV NHB487KMYV
| URI | m2://inv/NHB487KMYV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.00135#VX67 (definition). In PXWXV92SJY/e1, definition 4.10
History
- 2026-10-30: add by m2/v0.4.12
Examples NHB8FS367N
| URI | m2://inv/NHB8FS367N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overlap (term rewriting)#XZ6D, Examples (example)
History
- 2026-11-02: add by m2/dev
In use NHBB6MZHZM
| URI | m2://inv/NHBB6MZHZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain code#R7XB, In use (example)
History
- 2026-11-02: add by m2/dev
Kummer theory NHBE9XE0CX
| URI | m2://inv/NHBE9XE0CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#70O5, Kummer theory (definition)
History
- 2026-11-02: add by m2/dev
NHBYZDGCWY NHBYZDGCWY
| URI | m2://inv/NHBYZDGCWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24523#E0OC (statement)
History
- 2026-11-01: add by m2/v0.6.15
NHBZ4GQ5PP NHBZ4GQ5PP
| URI | m2://inv/NHBZ4GQ5PP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-17 (example). In E9HS8K3A52, example, section 4.8.2
History
- 2026-11-01: add by m2/v0.6.13
Kang-Tae Kim NHCBXDJXB1
| URI | m2://inv/NHCBXDJXB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UG7X, Kang-Tae Kim (unknown)
History
- 2026-11-02: add by m2/dev
LISREL NHCEWKF0A0
| URI | m2://inv/NHCEWKF0A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LISREL, LISREL (definition). Also Wikidata Q3376999
History
- 2026-11-02: add by m2/dev
NHCPAWBQA5 NHCPAWBQA5
| URI | m2://inv/NHCPAWBQA5 |
|---|---|
| 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#Y42U (statement). In 5E9G06XJKC/e1, lemma G.10
History
- 2026-10-28: add by m2/v0.4.2
symmetric algebra NHCTJ73BGM
| URI | m2://inv/NHCTJ73BGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Symmetric algebra PBGF9TXMB7 |
Mentions
- wikidata: Wikidata Q1052674, symmetric algebra (unknown). Also EoM Symmetric_algebra, nLab symmetric algebra
- wikipedia: Wikipedia Symmetric algebra, Symmetric algebra (definition). Also Wikidata Q1052674
History
- 2026-10-26: add by m2/dev
Regularized entropic mirror descent NHCYNMQWVD
| URI | m2://inv/NHCYNMQWVD |
|---|---|
| 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.13773#PQTN, Regularized entropic mirror descent (statement). In E75XQY0QFM/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
NHD0J162XV NHD0J162XV
| URI | m2://inv/NHD0J162XV |
|---|---|
| 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.14099#APHG (statement). In D77GXFTKFH/e1, proposition 15
History
- 2026-10-28: add by m2/v0.4.2
AG Index for $\Delta=4$ NHD1CGSVN8
| URI | m2://inv/NHD1CGSVN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20364#N0CR, AG Index for $\Delta=4$ (statement). In 433NXYKPG3/e1, corollary 9
History
- 2026-10-27: add by m2/v0.4.2
Robert V. Hogg NHD22K0073
| URI | m2://inv/NHD22K0073 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert V. Hogg, Robert V. Hogg (topic). Also Wikidata Q7350544
History
- 2026-11-02: add by m2/dev
Constancy of the cycle class NHDHE4JFH2
| URI | m2://inv/NHDHE4JFH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2407.02022#O8JX, Constancy of the cycle class (statement). In RZDNWV9E29/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
NHDRFZ6KFR NHDRFZ6KFR
| URI | m2://inv/NHDRFZ6KFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#GOOJ (statement). In 5PN85N6EJF/e1, lemma D.3
History
- 2026-10-31: add by m2/v0.5.6
Torsion-free $\mathrm G_2$ limits under inner rescaling NHDS3H0BTT
| URI | m2://inv/NHDS3H0BTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37265#UYOF, Torsion-free $\mathrm G_2$ limits under inner rescaling (statement). In BKYAWEC5XH/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
NHDVXEV8TJ NHDVXEV8TJ
| URI | m2://inv/NHDVXEV8TJ |
|---|---|
| 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.16059#Z0JH (statement). In 51W7AECQDA/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
NHE3PKHJAW NHE3PKHJAW
| URI | m2://inv/NHE3PKHJAW |
|---|---|
| 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.23287#MNVP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties NHE5HM2YVK
| URI | m2://inv/NHE5HM2YVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root of unity modulo n#1TLX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Terminology NHE7EHSFEP
| URI | m2://inv/NHE7EHSFEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#FOUX, Terminology (definition)
History
- 2026-11-02: add by m2/dev
NHE7F2SX57 NHE7F2SX57
| URI | m2://inv/NHE7F2SX57 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#G3NV (definition). In V7SN19J84T/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
The geometric inequality NHE8BDCXTK
| URI | m2://inv/NHE8BDCXTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brascamp–Lieb inequality#0BQ0, The geometric inequality (statement)
History
- 2026-11-02: add by m2/dev
NHEE9KBW11 NHEE9KBW11
| URI | m2://inv/NHEE9KBW11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03292#UHEY (statement). In SN2PBM95HT/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Icosidodecadodecahedron NHEHKKHMWD
| URI | m2://inv/NHEHKKHMWD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KJ66, Icosidodecadodecahedron (object)
History
- 2026-11-02: add by m2/dev
NHEKGMDNSY NHEKGMDNSY
| URI | m2://inv/NHEKGMDNSY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#P3ER (example). In GVR218P3ZR/e1, example 3.4.1
History
- 2026-10-30: add by m2/v0.4.12
Rolle NHEPWCCRE1
| URI | m2://inv/NHEPWCCRE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#thm:rolle, Rolle (statement). In E59CDZA4DP, thm, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
NHER2ZZARK NHER2ZZARK
| URI | m2://inv/NHER2ZZARK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#8CH1 (statement). In JW8HH6EPG2/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
NHEYW3657F NHEYW3657F
| URI | m2://inv/NHEYW3657F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#KL5F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Root mean square deviation of atomic positions NHF4K70Q1V
| URI | m2://inv/NHF4K70Q1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root mean square deviation of atomic positions, Root mean square deviation of atomic positions (definition). Also Wikidata Q16335145
History
- 2026-11-02: add by m2/dev
Truth table NHFQ5WSMZ3
| URI | m2://inv/NHFQ5WSMZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#PS9W, Truth table (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#H3KB, Truth table (definition)
History
- 2026-11-02: add by m2/dev
Angular spectrum method NHFQRYPE13
| URI | m2://inv/NHFQRYPE13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular spectrum method, Angular spectrum method (definition). Also Wikidata Q3492872
History
- 2026-11-02: add by m2/dev
NHFWF057V4 NHFWF057V4
| URI | m2://inv/NHFWF057V4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#theorem-2 (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
fly backwards NHFZCCFAJP
| URI | m2://inv/NHFZCCFAJP |
|---|---|
| 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#2SUJ, fly backwards (unknown)
History
- 2026-11-02: add by m2/dev
facet budget, graded NHG43JPS1Z
| URI | m2://inv/NHG43JPS1Z |
|---|---|
| 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#KYHZ, facet budget, graded (statement). In PCAS8S14J6/e1, lemma C.3
History
- 2026-10-31: add by m2/v0.5.6
Recovery in the second layer NHG6WRYMW2
| URI | m2://inv/NHG6WRYMW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#9CYV, Recovery in the second layer (statement). In N6GD8392QB/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
Quantum optimization algorithms NHGCVBN9QJ
| URI | m2://inv/NHGCVBN9QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum optimization algorithms, Quantum optimization algorithms (definition). Also Wikidata Q30589286
History
- 2026-11-02: add by m2/dev
Expanded formulas NHGFA4Z1PF
| URI | m2://inv/NHGFA4Z1PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial regression#037I, Expanded formulas (statement)
History
- 2026-11-02: add by m2/dev
Consequence of a negative spectral bound NHGTSN57RZ
| URI | m2://inv/NHGTSN57RZ |
|---|---|
| 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.03242#YNFU, Consequence of a negative spectral bound (statement). In MJE6HRC6PX/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.12
Manin–Mumford conjecture NHHA5FZRCF
| URI | m2://inv/NHHA5FZRCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic of abelian varieties#9UJO, Manin–Mumford conjecture (statement)
History
- 2026-11-02: add by m2/dev
Hallard Croft NHHE8ASK91
| URI | m2://inv/NHHE8ASK91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hallard Croft, Hallard Croft (topic). Also Wikidata Q102089122
History
- 2026-11-02: add by m2/dev
NHHNFK7TJE NHHNFK7TJE
| URI | m2://inv/NHHNFK7TJE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0812.1600#TWND (definition). In 7Z12QX7837/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Examples NHHNK8ETVG
| URI | m2://inv/NHHNK8ETVG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double Mersenne number#HQ7X, Examples (example)
History
- 2026-11-02: add by m2/dev
NHHV9D0X34 NHHV9D0X34
| URI | m2://inv/NHHV9D0X34 |
|---|---|
| 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.17940#IUVJ (statement). In MMW4J61SKS/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Statistics Surveys NHHWHSGW36
| URI | m2://inv/NHHWHSGW36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#PM7K, Statistics Surveys (definition)
History
- 2026-11-02: add by m2/dev
Application in United States contract and tort law NHJBNP2FE4
| URI | m2://inv/NHJBNP2FE4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coase theorem#OWJ0, Application in United States contract and tort law (statement)
History
- 2026-11-02: add by m2/dev
NHK1TKBEFJ NHK1TKBEFJ
| URI | m2://inv/NHK1TKBEFJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#ENX9 (definition). In JPYGC2R3FC/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Quantitative sign statistics under a Haar rotation NHK2H8SBZK
| URI | m2://inv/NHK2H8SBZK |
|---|---|
| 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#R8WH, Quantitative sign statistics under a Haar rotation (statement). In TTEAQA1XXR/e1, lemma G.5
History
- 2026-10-28: add by m2/v0.4.3
Wilhelm Killing NHK744WFQK
| URI | m2://inv/NHK744WFQK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#G151, Wilhelm Killing (topic)
History
- 2026-11-02: add by m2/dev
NHKJTE9JDA NHKJTE9JDA
| URI | m2://inv/NHKJTE9JDA |
|---|---|
| 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.02436#8DRQ (statement). In J9WZBK6KAY/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.12
NHKPJX9NGX NHKPJX9NGX
| URI | m2://inv/NHKPJX9NGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 55.12
History
- 2026-11-01: add by m2/v0.6.13
Construction of the secondary vector bundle structure NHKXBZCE8N
| URI | m2://inv/NHKXBZCE8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secondary vector bundle structure#CAZY, Construction of the secondary vector bundle structure (definition)
History
- 2026-11-02: add by m2/dev
Universal cover from the peel data NHKZ3GDMEY
| URI | m2://inv/NHKZ3GDMEY |
|---|---|
| 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.26196#WAQH, Universal cover from the peel data (statement)
History
- 2026-11-01: add by m2/v0.6.15
trefoil curve NHM6ADM0QW
| URI | m2://inv/NHM6ADM0QW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20521127, trefoil curve (unknown). Also MathWorld TrefoilCurve
History
- 2026-10-26: add by m2/dev
logic gate NHM6TBQ58H
| URI | m2://inv/NHM6TBQ58H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YFG4, logic gate (definition)
History
- 2026-11-02: add by m2/dev
quadratic rigidity NHMAFRZ7Q6
| URI | m2://inv/NHMAFRZ7Q6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.26286#0N9H, quadratic rigidity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nathan Rosen NHMAJ1JXYC
| URI | m2://inv/NHMAJ1JXYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#1ID3, Nathan Rosen (unknown)
History
- 2026-11-02: add by m2/dev
Examples NHMB21CA25
| URI | m2://inv/NHMB21CA25 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundedly generated group#HITA, Examples (example)
History
- 2026-11-02: add by m2/dev
Marguerite's Theorem NHMHZVBG0A
| URI | m2://inv/NHMHZVBG0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marguerite's Theorem, Marguerite's Theorem (statement). Also Wikidata Q120653230
History
- 2026-11-02: add by m2/dev
NHMM8KXDZX NHMM8KXDZX
| URI | m2://inv/NHMM8KXDZX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#2L19 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Hamiltonian isotopy NHMZTER48M
| URI | m2://inv/NHMZTER48M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectomorphism#XFBQ, Hamiltonian isotopy (unknown)
History
- 2026-11-02: add by m2/dev
NHN27FZKJ3 NHN27FZKJ3
| URI | m2://inv/NHN27FZKJ3 |
|---|---|
| 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 1709.01658#QOWJ (statement). In 90A5Q9HRQK/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
NHN3G0QN1F NHN3G0QN1F
| URI | m2://inv/NHN3G0QN1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#1KBB (statement). In H3FDP8S1Z7/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Mutation NHNA4VAVW4
| URI | m2://inv/NHNA4VAVW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation (Jordan algebra), Mutation (definition). Also Wikidata Q17099247
History
- 2026-11-02: add by m2/dev
Riemann sum NHNG675VXP
| URI | m2://inv/NHNG675VXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#19AN, Riemann sum (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#SQOS, Riemann sum (definition)
History
- 2026-11-02: add by m2/dev
NHNG78V3QA NHNG78V3QA
| URI | m2://inv/NHNG78V3QA |
|---|---|
| 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.25823#QQ6N (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kalb–Ramond field NHNGSFZ3E9
| URI | m2://inv/NHNGSFZ3E9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2268203, Kalb–Ramond field (unknown). Also nLab Kalb-Ramond field
History
- 2026-10-26: add by m2/dev
Degenerate limit NHNHK8CPXG
| URI | m2://inv/NHNHK8CPXG |
|---|---|
| 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.17519#03XZ, Degenerate limit (statement). In H2DNTQ5MKV/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Louise Nixon Sutton NHNX9YHQKB
| URI | m2://inv/NHNX9YHQKB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louise Nixon Sutton, Louise Nixon Sutton (topic). Also Wikidata Q12893751
History
- 2026-11-02: add by m2/dev
NHNXVA5SKH NHNXVA5SKH
| URI | m2://inv/NHNXVA5SKH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#EWF2 (definition)
History
- 2026-11-02: add by m2/v0.6.18
NHP4EVH0R8 NHP4EVH0R8
| URI | m2://inv/NHP4EVH0R8 |
|---|---|
| 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 2609.20860#DSTJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Error correction model NHP7QY3S20
| URI | m2://inv/NHP7QY3S20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error correction model, Error correction model (definition). Also Wikidata Q1401229
History
- 2026-11-02: add by m2/dev
similarity transformation NHP80CXFYW
| URI | m2://inv/NHP80CXFYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q254481, similarity transformation (unknown). Also MathWorld SimilarityTransformation
History
- 2026-10-26: add by m2/dev
Inexact polynomial evaluation from fresh SFO calls NHPAH1EVAY
| URI | m2://inv/NHPAH1EVAY |
|---|---|
| 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.03633#43S0, Inexact polynomial evaluation from fresh SFO calls (statement). In X3E4D61X4V/e1, lemma D.7
History
- 2026-10-29: add by m2/v0.4.12
Properties NHPQV0KFS0
| URI | m2://inv/NHPQV0KFS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconjugate gradient method#DZW5, Properties (statement)
History
- 2026-11-02: add by m2/dev
NHPTX6DZJY NHPTX6DZJY
| URI | m2://inv/NHPTX6DZJY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.32860#4WNC (definition). In H71AJ341B3/e1, definition 6.2
History
- 2026-10-31: add by m2/v0.5.6
NHQ4MX24BD NHQ4MX24BD
| URI | m2://inv/NHQ4MX24BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#2MMQ (statement). In C8JAGP8VCQ/e1, lemma 2.17
History
- 2026-10-27: add by m2/v0.3.5
Logistic distribution NHQK5DMNWM
| URI | m2://inv/NHQK5DMNWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V33P, Logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
NHQNARWW1X NHQNARWW1X
| URI | m2://inv/NHQNARWW1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#FPQJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Binet formula NHQW7RC6NA
| URI | m2://inv/NHQW7RC6NA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci sequence#XOCU, Binet formula (unknown)
History
- 2026-11-02: add by m2/dev
Embarrassingly parallel NHR16AA4H1
| URI | m2://inv/NHR16AA4H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embarrassingly parallel, Embarrassingly parallel (definition). Also Wikidata Q5369501
History
- 2026-11-02: add by m2/dev
NHR5FPXEYM NHR5FPXEYM
| URI | m2://inv/NHR5FPXEYM |
|---|---|
| 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 2609.39293#NH7M (statement). In S26QVW5613/e1, proposition 2.3.1
History
- 2026-10-30: add by m2/v0.4.12
Applications NHRCFXQHAR
| URI | m2://inv/NHRCFXQHAR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unary numeral system#VZ0U, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties NHRHZF76C8
| URI | m2://inv/NHRHZF76C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the first kind#8Q1N, Properties (statement)
History
- 2026-11-02: add by m2/dev
Discharging method NHRJ6SNP1S
| URI | m2://inv/NHRJ6SNP1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discharging method (discrete mathematics), Discharging method (definition). Also Wikidata Q5281445
History
- 2026-11-02: add by m2/dev
NHRK0HZ0TV NHRK0HZ0TV
| URI | m2://inv/NHRK0HZ0TV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#proof-5 (proof). In Y91XFCEVHQ, proof, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
parabolic coordinates NHRQ45239P
| URI | m2://inv/NHRQ45239P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2373660, parabolic coordinates (unknown). Also MathWorld ParabolicCoordinates
- wikipedia: Wikipedia Parabolic coordinates, Parabolic coordinates (definition). Also Wikidata Q2373660
History
- 2026-10-26: add by m2/dev
Frozen surface tension NHRR6GFSSN
| URI | m2://inv/NHRR6GFSSN |
|---|---|
| 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.20215#B6RN, Frozen surface tension (statement)
History
- 2026-11-02: add by m2/v0.6.18
NHRRN5X2BR NHRRN5X2BR
| URI | m2://inv/NHRRN5X2BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#RURC (statement). In Y7TVAQE9PF/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
NHS0BAG7H6 NHS0BAG7H6
| URI | m2://inv/NHS0BAG7H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#NAXL (statement). In NAMCCRM50R/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Céa's lemma NHS6F5BD3Z
| URI | m2://inv/NHS6F5BD3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Céa's lemma, Céa's lemma (statement). Also Wikidata Q1816912
History
- 2026-11-02: add by m2/dev
Subspace commutation via the $\F_q$-pairing NHSA6KWPEX
| URI | m2://inv/NHSA6KWPEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#RT6J, Subspace commutation via the $\F_q$-pairing (statement). In 7MVPNFPRKB/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
NHSG4XBAJQ NHSG4XBAJQ
| URI | m2://inv/NHSG4XBAJQ |
|---|---|
| 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.04809#DJU9 (statement). In 2VHV0RNTNV/e1, lemma 7.17
History
- 2026-10-29: add by m2/v0.4.12
Definition NHSRVD2PGT
| URI | m2://inv/NHSRVD2PGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential algebra#8P1F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kolmogorov–Zurbenko filter NHST6GTEDY
| URI | m2://inv/NHST6GTEDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Zurbenko filter, Kolmogorov–Zurbenko filter (definition). Also Wikidata Q6427429
History
- 2026-11-02: add by m2/dev
Wim Cohen NHT2345DZD
| URI | m2://inv/NHT2345DZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4J36, Wim Cohen (topic)
History
- 2026-11-02: add by m2/dev
Definition NHT3BP7RR9
| URI | m2://inv/NHT3BP7RR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic decision diagram#U0A4, Definition (definition)
History
- 2026-11-02: add by m2/dev
NHT6R3J155 NHT6R3J155
| URI | m2://inv/NHT6R3J155 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#ex:function (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
NHT82C3D8M NHT82C3D8M
| URI | m2://inv/NHT82C3D8M |
|---|---|
| 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 2608.24190#XGC4 (statement). In DW7FVA587C/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Trapezoidal rule NHTBBJ90K3
| URI | m2://inv/NHTBBJ90K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#PG7M, Trapezoidal rule (definition)
History
- 2026-11-02: add by m2/dev
Radial Green formula NHTFSVVBXN
| URI | m2://inv/NHTFSVVBXN |
|---|---|
| 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.11077#UEMR, Radial Green formula (statement). In 4333A6G5K5/e1, proposition B.4
History
- 2026-10-28: add by m2/v0.4.3
Infinite product NHTG3DSFTN
| URI | m2://inv/NHTG3DSFTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#MOOM, Infinite product (definition)
History
- 2026-11-02: add by m2/dev
Veech dichotomy NHTJ0B8VSM
| URI | m2://inv/NHTJ0B8VSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation surface#G0RW, Veech dichotomy (unknown)
History
- 2026-11-02: add by m2/dev
\(\gamma\)-positivity at \(q=1\ NHTZ5E3JAC
| URI | m2://inv/NHTZ5E3JAC |
|---|---|
| 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.24541#AC8O, \(\gamma\)-positivity at \(q=1\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exactness NHV452A3QQ
| URI | m2://inv/NHV452A3QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#03Y0, Exactness (statement). In 9B0X8YPF3P/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Quantized oracle pseudo-label ERM NHV89BZ6F5
| URI | m2://inv/NHV89BZ6F5 |
|---|---|
| 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.18935#HMPH, Quantized oracle pseudo-label ERM (statement). In HPEEJY1S3S/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
NHV8DJB1AE NHV8DJB1AE
| URI | m2://inv/NHV8DJB1AE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30976#YHLY (definition). In 4QY9J1A0KT/e1, definition 13
History
- 2026-10-31: add by m2/v0.5.6
Growth around the minimizer NHVACVEST6
| URI | m2://inv/NHVACVEST6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#TI21, Growth around the minimizer (statement). In 1SQH3PTYMD/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
NHVE58P1E3 NHVE58P1E3
| URI | m2://inv/NHVE58P1E3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
triangle cubic NHVF1CKW45
| URI | m2://inv/NHVF1CKW45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109315167, triangle cubic (unknown). Also MathWorld TriangleCubic
History
- 2026-10-26: add by m2/dev
NHVK7G40P7 NHVK7G40P7
| URI | m2://inv/NHVK7G40P7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#MJDF (statement). In PC1CFE8CJC/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
Regularity lemma NHVKDZ78XG
| URI | m2://inv/NHVKDZ78XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > Regularity lemma, Regularity lemma (unknown). Also Mathlib szemeredi_regularity
History
- 2026-10-26: add by m2/dev
Alexander Olshanskii NHVPFWJNTE
| URI | m2://inv/NHVPFWJNTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Olshanskii, Alexander Olshanskii (topic). Also Wikidata Q23371371
History
- 2026-11-02: add by m2/dev
NHVY9XR4TP NHVY9XR4TP
| URI | m2://inv/NHVY9XR4TP |
|---|---|
| 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#IM91 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Distribution NHVYBQ2AFP
| URI | m2://inv/NHVYBQ2AFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution (number theory), Distribution (definition). Also Wikidata Q17097858
History
- 2026-11-02: add by m2/dev
Sine and cosine transforms NHWEB2Y66P
| URI | m2://inv/NHWEB2Y66P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sine and cosine transforms, Sine and cosine transforms (definition). Also Wikidata Q1328722
History
- 2026-11-02: add by m2/dev
Schaefer's dichotomy theorem NHWFBJ87E1
| URI | m2://inv/NHWFBJ87E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean satisfiability problem#QOPL, Schaefer's dichotomy theorem (statement)
History
- 2026-11-02: add by m2/dev
NHWFREQXSY NHWFREQXSY
| URI | m2://inv/NHWFREQXSY |
|---|---|
| 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#AUSE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties NHWGY6TB88
| URI | m2://inv/NHWGY6TB88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chan–Karolyi–Longstaff–Sanders process#2CB9, Properties (statement)
History
- 2026-11-02: add by m2/dev
NHWRZ4AJDG NHWRZ4AJDG
| URI | m2://inv/NHWRZ4AJDG |
|---|---|
| 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.32977#CLV9 (statement). In 4KT9TK3MG4/e1, lemma C.6
History
- 2026-10-31: add by m2/v0.5.6
NHWW5GM7PR NHWW5GM7PR
| URI | m2://inv/NHWW5GM7PR |
|---|---|
| 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.20345#8EUW (statement). In WVRRST04WS/e1, theorem 11
History
- 2026-10-27: add by m2/v0.4.2
Michelle L. Wachs NHX105R48Y
| URI | m2://inv/NHX105R48Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michelle L. Wachs, Michelle L. Wachs (topic). Also Wikidata Q18719246
History
- 2026-11-02: add by m2/dev
$w_2=5$; rigorous NHX4EDD6W3
| URI | m2://inv/NHX4EDD6W3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.18859#FG2I, $w_2=5$; rigorous (statement). In EVRAASXEDY/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
NHXCZSQ2XS NHXCZSQ2XS
| URI | m2://inv/NHXCZSQ2XS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17204#ALO7 (definition). In 5CZ2BNV4MT/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
less NHXJFEW76Z
| URI | m2://inv/NHXJFEW76Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#62LZ, less (definition)
History
- 2026-11-02: add by m2/dev
Incompatibility with power operations NHXNEV3T3Q
| URI | m2://inv/NHXNEV3T3Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#HF9R, Incompatibility with power operations (example). In TB1294GY5X/e1, example 2.17
History
- 2026-10-27: add by m2/v0.4.2
NHXV0CJ5PB NHXV0CJ5PB
| URI | m2://inv/NHXV0CJ5PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#WF2V (statement). In X1R1GDAJ0Y/e1, lemma 1.2
History
- 2026-10-28: add by m2/v0.4.3
Optical aberration NHXY4DW1B6
| URI | m2://inv/NHXY4DW1B6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical aberration, Optical aberration (definition). Also Wikidata Q639
History
- 2026-11-02: add by m2/dev
Multiple linear regression NHY3AGD42Y
| URI | m2://inv/NHY3AGD42Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple linear regression, Multiple linear regression (definition). Also Wikidata Q3455877
History
- 2026-11-02: add by m2/dev
An inverse polynomial NHY3PP7BRQ
| URI | m2://inv/NHY3PP7BRQ |
|---|---|
| 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.03633#M9JR, An inverse polynomial (statement). In X3E4D61X4V/e1, lemma D.6
History
- 2026-10-29: add by m2/v0.4.12
NHYA46S9R2 NHYA46S9R2
| URI | m2://inv/NHYA46S9R2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#ODXW (statement)
History
- 2026-11-02: add by m2/v0.6.18
NHYB01498T NHYB01498T
| URI | m2://inv/NHYB01498T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.09926#YSTK (statement). In ZZY5S3FHMJ/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Cosmic censorship hypothesis NHYQD2CXGY
| URI | m2://inv/NHYQD2CXGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#AQOH, Cosmic censorship hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Nash–Moser theorem NHYV9GYB7M
| URI | m2://inv/NHYV9GYB7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4NNP, Nash–Moser theorem (statement)
History
- 2026-11-02: add by m2/dev
snub square antiprism NHZ3BZ5KGF
| URI | m2://inv/NHZ3BZ5KGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2711685, snub square antiprism (object). Also MathWorld SnubSquareAntiprism
- wikipedia: Wikipedia Snub square antiprism, Snub square antiprism (definition). Also Wikidata Q2711685
History
- 2026-10-26: add by m2/dev
NHZ6GFY363 NHZ6GFY363
| URI | m2://inv/NHZ6GFY363 |
|---|---|
| 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.27687#APH7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry NHZ7TRNMYN
| URI | m2://inv/NHZ7TRNMYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neville theta functions#FUYE, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
NHZ86XASH4 NHZ86XASH4
| URI | m2://inv/NHZ86XASH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.30086#MMO2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hardy–Littlewood–Sobolev lemma NHZ8JEX5J5
| URI | m2://inv/NHZ8JEX5J5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev inequality#TS9T, Hardy–Littlewood–Sobolev lemma (statement)
History
- 2026-11-02: add by m2/dev
Mathukumalli Vidyasagar NHZ99ECYH3
| URI | m2://inv/NHZ99ECYH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZVO6, Mathukumalli Vidyasagar (unknown)
History
- 2026-11-02: add by m2/dev
NHZD2FRH11 NHZD2FRH11
| URI | m2://inv/NHZD2FRH11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#RVZ4 (definition). In 8TTFQH19QR/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Oligomorphic group NHZN76CHCV
| URI | m2://inv/NHZN76CHCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#SP7T, Oligomorphic group (definition)
History
- 2026-11-02: add by m2/dev
United Nations Statistics Division NHZQK0DWR0
| URI | m2://inv/NHZQK0DWR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia United Nations Statistics Division, United Nations Statistics Division (definition). Also Wikidata Q2265585
History
- 2026-11-02: add by m2/dev
NHZQXM3BEJ NHZQXM3BEJ
| URI | m2://inv/NHZQXM3BEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#TSA7 (statement). In 3HFBAWQCA1/e1, proposition 7.4
History
- 2026-10-30: add by m2/v0.4.12
NHZV5XB3PX NHZV5XB3PX
| URI | m2://inv/NHZV5XB3PX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11797#63ZJ (definition). In 8SJWWZN4FH/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Multi-marginal \(\Gamma\)-expansion NHZXT7HN1J
| URI | m2://inv/NHZXT7HN1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10257#PW42, Multi-marginal \(\Gamma\)-expansion (statement). In BQD9MJHKV8/e1, theorem 5.12
History
- 2026-10-29: add by m2/v0.4.10
NHZXWTZJMV NHZXWTZJMV
| URI | m2://inv/NHZXWTZJMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21670#G1Z7 (statement)
History
- 2026-11-02: add by m2/v0.6.18