Inventory rows NR
The cards of the rows of the inventory whose ids start with NR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
NR04XKGPR3 NR04XKGPR3
| URI | m2://inv/NR04XKGPR3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#8IFM (definition)
History
- 2026-11-01: add by m2/v0.6.15
NR0573MY6M NR0573MY6M
| URI | m2://inv/NR0573MY6M |
|---|---|
| Kind | definition |
| 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#BZK1 (definition). In JW8HH6EPG2/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
3-Way NR09DNVG6J
| URI | m2://inv/NR09DNVG6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-Way, 3-Way (definition). Also Wikidata Q223123
History
- 2026-11-02: add by m2/dev
NR0DAKF7TF NR0DAKF7TF
| URI | m2://inv/NR0DAKF7TF |
|---|---|
| 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 2603.26376#7KCH (statement). In PJAT9YDX7Y/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
NR0NRMPGDC NR0NRMPGDC
| URI | m2://inv/NR0NRMPGDC |
|---|---|
| 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 2609.36509#KHJE (statement). In DPJ15KW23C/e1, lemma 8.5
History
- 2026-10-30: add by m2/v0.4.12
principiant NR0WR6EM98
| URI | m2://inv/NR0WR6EM98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#B77L, principiant (definition)
History
- 2026-11-02: add by m2/dev
NR18KH5C6S NR18KH5C6S
| URI | m2://inv/NR18KH5C6S |
|---|---|
| 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#MH2B (statement). In MWGXPXF3BW/e1, lemma 29
History
- 2026-10-29: add by m2/v0.4.12
NR1AMAXCPA NR1AMAXCPA
| URI | m2://inv/NR1AMAXCPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.31768#ZEAE (statement). In WC7ZECEE3P/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
David Chaum NR1BW7D5GG
| URI | m2://inv/NR1BW7D5GG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Chaum, David Chaum (topic). Also Wikidata Q1173973
History
- 2026-11-02: add by m2/dev
Circuit laws NR1C4T660V
| URI | m2://inv/NR1C4T660V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phasor#QNF1, Circuit laws (statement)
History
- 2026-11-02: add by m2/dev
NR1CTSZD85 NR1CTSZD85
| URI | m2://inv/NR1CTSZD85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#DDTJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
NR1MD9EN91 NR1MD9EN91
| URI | m2://inv/NR1MD9EN91 |
|---|---|
| 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.20409#1J24 (statement)
History
- 2026-11-02: add by m2/v0.6.18
NR1PVMXMAQ NR1PVMXMAQ
| URI | m2://inv/NR1PVMXMAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-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.39389#RO5N (statement). In PP5RE0W4D8/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Gauss's law for magnetism NR1XGR9TJM
| URI | m2://inv/NR1XGR9TJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#SPUY, Gauss's law for magnetism (statement)
History
- 2026-11-02: add by m2/dev
NR20Z8V5R5 NR20Z8V5R5
| URI | m2://inv/NR20Z8V5R5 |
|---|---|
| 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 2502.08738#SOXN (definition). In 9GMTVSTAVN/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Hyperarithmetical theory NR220FGVWK
| URI | m2://inv/NR220FGVWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperarithmetical theory, Hyperarithmetical theory (definition). Also Wikidata Q17028365
History
- 2026-11-02: add by m2/dev
path NR25MM0X3M
| URI | m2://inv/NR25MM0X3M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/path, path (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Surface total curvature NR29WNFG84
| URI | m2://inv/NR29WNFG84 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian curvature#MB1O, Surface total curvature (unknown)
History
- 2026-11-02: add by m2/dev
NR2BNHWBFG NR2BNHWBFG
| URI | m2://inv/NR2BNHWBFG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#KNBY (definition). In FSD8NE3XSR/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.0
NR2CZ7S1KC NR2CZ7S1KC
| URI | m2://inv/NR2CZ7S1KC |
|---|---|
| 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 2606.02312#O3YD (statement). In 1SZV94R22Y/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Inverse image is affine NR2GCW95HV
| URI | m2://inv/NR2GCW95HV |
|---|---|
| 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.07341#K75N, Inverse image is affine (statement). In 6KFS1X0MZR/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
Transition Probabilities to Vacant Configurations NR2NX7W710
| URI | m2://inv/NR2NX7W710 |
|---|---|
| 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 2603.16304#Z77N, Transition Probabilities to Vacant Configurations (statement). In NEGP0YBA3C/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.6
List of computability and complexity topics NR2P9G37HH
| URI | m2://inv/NR2P9G37HH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#3RXP, List of computability and complexity topics (topic)
History
- 2026-11-02: add by m2/dev
Supporting hyperplane NR2RPWYQE8
| URI | m2://inv/NR2RPWYQE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#ZT9Y, Supporting hyperplane (definition)
History
- 2026-11-02: add by m2/dev
NR2S7YV0NJ NR2S7YV0NJ
| URI | m2://inv/NR2S7YV0NJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#4CGO (statement). In GMRT5GHBZS/e1, lemma A.8
History
- 2026-10-29: add by m2/v0.4.10
NR2TG7G086 NR2TG7G086
| URI | m2://inv/NR2TG7G086 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#9PFM (definition). In CY1FE8W1ZW/e1, definition 0.21
History
- 2026-10-27: add by m2/v0.4.0
$\OO_K$ integrally closed and Noetherian NR2TVF68QP
| URI | m2://inv/NR2TVF68QP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#proposition-2, $\OO_K$ integrally closed and Noetherian (statement). In RZP28ERRZV, proposition, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
NR2VNVVFJD NR2VNVVFJD
| URI | m2://inv/NR2VNVVFJD |
|---|---|
| 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.28489#JTM8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NR38MZ3S08 NR38MZ3S08
| URI | m2://inv/NR38MZ3S08 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
NR390YD2HH NR390YD2HH
| URI | m2://inv/NR390YD2HH |
|---|---|
| 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.19694#RCRP (statement). In EP0M4RSZ9P/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Optimality of the linear power NR3AM2MQ9G
| URI | m2://inv/NR3AM2MQ9G |
|---|---|
| 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.14086#Z1U9, Optimality of the linear power (statement). In J6EZ2RQW2F/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
NR3AW3N94N NR3AW3N94N
| URI | m2://inv/NR3AW3N94N |
|---|---|
| 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 1902.04230#7Q11 (statement). In 22JZ68FGCW/e1, lemma 6.32
History
- 2026-10-27: add by m2/v0.3.5
NR3EJZEKMD NR3EJZEKMD
| URI | m2://inv/NR3EJZEKMD |
|---|---|
| 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 2603.26376#6V53 (statement). In PJAT9YDX7Y/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
NR3P1M93B0 NR3P1M93B0
| URI | m2://inv/NR3P1M93B0 |
|---|---|
| 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.12329#TEQV (statement). In ZJQB9W60T6/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
NR3RPEQ8XJ NR3RPEQ8XJ
| URI | m2://inv/NR3RPEQ8XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.28814#5HHA (statement)
History
- 2026-11-01: add by m2/v0.6.15
NR3THTJD62 NR3THTJD62
| URI | m2://inv/NR3THTJD62 |
|---|---|
| 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 2404.18690#CKCC (statement). In MDCJJJRQ2X/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
NR3Y18BRX6 NR3Y18BRX6
| URI | m2://inv/NR3Y18BRX6 |
|---|---|
| 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#7K4X (statement). In J9WZBK6KAY/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
\protect{*{Theorem 1.1 NR409RK6GX
| URI | m2://inv/NR409RK6GX |
|---|---|
| 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.30575#T5IQ, \protect{*{Theorem 1.1 (statement). In 6WFFY0QM27/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
NR4137H7PG NR4137H7PG
| URI | m2://inv/NR4137H7PG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#OJ83 (statement). In T3BY4TXYT4/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
Applications NR44P0J76C
| URI | m2://inv/NR44P0J76C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange's theorem (group theory)#141E, Applications (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Dirichlet's theorem on simultaneous rational approximation NR45H2AJAH
| URI | m2://inv/NR45H2AJAH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's theorem#OX23, Dirichlet's theorem on simultaneous rational approximation (statement)
History
- 2026-11-02: add by m2/dev
Construction NR4708HD4E
| URI | m2://inv/NR4708HD4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surreal number#JSM5, Construction (definition)
History
- 2026-11-02: add by m2/dev
Certificate authority NR49MNV90E
| URI | m2://inv/NR49MNV90E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certificate authority, Certificate authority (definition). Also Wikidata Q196776
History
- 2026-11-02: add by m2/dev
NR4V9K6G2N NR4V9K6G2N
| URI | m2://inv/NR4V9K6G2N |
|---|---|
| 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.10935#QD0E (statement). In 7X27KRAHCE/e1, fact 2.8
History
- 2026-10-28: add by m2/v0.4.3
One Town, Vijayawada NR4YSCMK9A
| URI | m2://inv/NR4YSCMK9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#7ZQZ, One Town, Vijayawada (unknown)
History
- 2026-11-02: add by m2/dev
NR4ZF1Y24G NR4ZF1Y24G
| URI | m2://inv/NR4ZF1Y24G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#TLBK (definition). In KJC9FRS3C2/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Distinguished limit NR52JD3CEH
| URI | m2://inv/NR52JD3CEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distinguished limit, Distinguished limit (definition). Also Wikidata Q18206502
History
- 2026-11-02: add by m2/dev
Fixed-roof joint frontiers NR5B57331C
| URI | m2://inv/NR5B57331C |
|---|---|
| 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#6DBJ, Fixed-roof joint frontiers (statement). In DQB4YR2DFH/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.12
NR5H3SDQXQ NR5H3SDQXQ
| URI | m2://inv/NR5H3SDQXQ |
|---|---|
| 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.00775#YQN0 (statement). In WVHA7H05QC/e1, theorem 2.27
History
- 2026-10-29: add by m2/v0.4.12
NR5J3YPR88 NR5J3YPR88
| URI | m2://inv/NR5J3YPR88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#BN4J (statement). In WRE0P7V6Z3/e1, lemma C.5
History
- 2026-10-30: add by m2/v0.4.12
David Preiss NR5NZJ4XWF
| URI | m2://inv/NR5NZJ4XWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MVH4, David Preiss (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S1NY, David Preiss (topic)
History
- 2026-11-02: add by m2/dev
Example NR5Q8YH4J2
| URI | m2://inv/NR5Q8YH4J2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subalgebra#WOCH, Example (example)
History
- 2026-11-02: add by m2/dev
Forward cross-height factorization NR5RJZWN25
| URI | m2://inv/NR5RJZWN25 |
|---|---|
| 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.29147#CIFW, Forward cross-height factorization (statement)
History
- 2026-11-01: add by m2/v0.6.15
NR6BJ42NKX NR6BJ42NKX
| URI | m2://inv/NR6BJ42NKX |
|---|---|
| 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 2609.28411#0X7F (statement)
History
- 2026-11-01: add by m2/v0.6.15
NR6E5KJZSF NR6E5KJZSF
| URI | m2://inv/NR6E5KJZSF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-43 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
NR6FKVJJFB NR6FKVJJFB
| URI | m2://inv/NR6FKVJJFB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
NR6NW0TNB3 NR6NW0TNB3
| URI | m2://inv/NR6NW0TNB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#45J3 (statement). In H4CM84JVPC/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
a dusted core NR6TCNKF1J
| URI | m2://inv/NR6TCNKF1J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#CRXJ, a dusted core (example)
History
- 2026-11-02: add by m2/v0.6.17
L-differentiability NR7146PWR6
| URI | m2://inv/NR7146PWR6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.21710#2JNH, L-differentiability (definition)
History
- 2026-11-02: add by m2/v0.6.18
NR79B1HCBA NR79B1HCBA
| URI | m2://inv/NR79B1HCBA |
|---|---|
| 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 2609.28323#QRU5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kelvin–Helmholtz instability NR7BT293V1
| URI | m2://inv/NR7BT293V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin–Helmholtz instability, Kelvin–Helmholtz instability (definition). Also Wikidata Q1571116
History
- 2026-11-02: add by m2/dev
Monge equation NR7GB2M82J
| URI | m2://inv/NR7GB2M82J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monge equation, Monge equation (definition). Also Wikidata Q6899481
History
- 2026-11-02: add by m2/dev
Hans Peter Schlickewei NR7PMTV0Z0
| URI | m2://inv/NR7PMTV0Z0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Peter Schlickewei, Hans Peter Schlickewei (topic). Also Wikidata Q28973291
History
- 2026-11-02: add by m2/dev
Folgar-Tucker Model NR7SSAT48G
| URI | m2://inv/NR7SSAT48G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folgar-Tucker Model, Folgar-Tucker Model (definition). Also Wikidata Q116449263
History
- 2026-11-02: add by m2/dev
Definition NR7WMZSQNP
| URI | m2://inv/NR7WMZSQNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher local field#O3XN, Definition (definition)
History
- 2026-11-02: add by m2/dev
NR7XTDRWG2 NR7XTDRWG2
| URI | m2://inv/NR7XTDRWG2 |
|---|---|
| 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#J1U4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NR81NJRQH4 NR81NJRQH4
| URI | m2://inv/NR81NJRQH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#4C0Y (statement). In QBAP8C82FG/e1, lemma 63
History
- 2026-10-30: add by m2/v0.4.12
Examples NR89CT5CT7
| URI | m2://inv/NR89CT5CT7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wick product#H6UT, Examples (example)
History
- 2026-11-02: add by m2/dev
Spectrum bias NR89F9PTJH
| URI | m2://inv/NR89F9PTJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum bias, Spectrum bias (definition). Also Wikidata Q7575317
History
- 2026-11-02: add by m2/dev
NR8KHK80WV NR8KHK80WV
| URI | m2://inv/NR8KHK80WV |
|---|---|
| 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.16123#DRQU (definition). In 6VR4TY5BGV/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Islamic calendar NR8XFWBRZ9
| URI | m2://inv/NR8XFWBRZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28892, Islamic calendar (definition). Also ProofWiki Definition:Calendar/Muslim
History
- 2026-10-26: add by m2/dev
James E. Baumgartner NR90ETA3X3
| URI | m2://inv/NR90ETA3X3 |
|---|---|
| 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#CGK0, James E. Baumgartner (topic)
History
- 2026-11-02: add by m2/dev
Masao Haji NR92XRJXVX
| URI | m2://inv/NR92XRJXVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Masao Haji, Masao Haji (topic). Also Wikidata Q213038
History
- 2026-11-02: add by m2/dev
NR99AASPS8 NR99AASPS8
| URI | m2://inv/NR99AASPS8 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
NR9C4WRJDY NR9C4WRJDY
| URI | m2://inv/NR9C4WRJDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#D79P (statement)
History
- 2026-11-02: add by m2/v0.6.18
NR9T3QA48C NR9T3QA48C
| URI | m2://inv/NR9T3QA48C |
|---|---|
| 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.20900#7C1V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties NRA0X6DFY2
| URI | m2://inv/NRA0X6DFY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptical distribution#L25T, Properties (statement)
History
- 2026-11-02: add by m2/dev
NRA5QSX0D7 NRA5QSX0D7
| URI | m2://inv/NRA5QSX0D7 |
|---|---|
| Kind | example |
| 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.24577#6P9G (example)
History
- 2026-11-01: add by m2/v0.6.15
NRAA3PVNT2 NRAA3PVNT2
| URI | m2://inv/NRAA3PVNT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21359#C6WY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Schwarz alternating method NRAAJHT2GH
| URI | m2://inv/NRAAJHT2GH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schwarz alternating method 97VNBS15CD |
Mentions
- wikidata: Wikidata Q7433186, Schwarz alternating method (unknown). Also EoM Alternating_Schwarz_method
- wikipedia: Wikipedia Schwarz alternating method, Schwarz alternating method (definition). Also Wikidata Q7433186
History
- 2026-10-26: add by m2/dev
Paula Diehr NRACR5HFCX
| URI | m2://inv/NRACR5HFCX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paula Diehr, Paula Diehr (topic). Also Wikidata Q102259997
History
- 2026-11-02: add by m2/dev
Uniform bound when $U$ halts NRADE7WQSP
| URI | m2://inv/NRADE7WQSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#X0T8, Uniform bound when $U$ halts (statement)
History
- 2026-11-02: add by m2/v0.6.17
NRAH38SXEY NRAH38SXEY
| URI | m2://inv/NRAH38SXEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#KJQD (definition). In ZA6XNBA90V/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
NRAQDQEF3G NRAQDQEF3G
| URI | m2://inv/NRAQDQEF3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11906#KRH9 (statement). In 8S9TEAPCDJ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
NRAV1HF2A7 NRAV1HF2A7
| URI | m2://inv/NRAV1HF2A7 |
|---|---|
| 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.00021#G2V6 (statement). In EX42AVA7CV/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
Definition NRAYEHRX48
| URI | m2://inv/NRAYEHRX48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order isomorphism#14JS, Definition (definition)
History
- 2026-11-02: add by m2/dev
associativity, of join NRB2F92B63
| URI | m2://inv/NRB2F92B63 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.3/associativity-of-join, associativity, of join (concept). In N54F33XE07, index, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
Generalized polynomial chaos NRB5J9H4CN
| URI | m2://inv/NRB5J9H4CN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial chaos#2WCT, Generalized polynomial chaos (unknown)
History
- 2026-11-02: add by m2/dev
Egon Schulte NRB6Q80HGR
| URI | m2://inv/NRB6Q80HGR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#JNHW, Egon Schulte (unknown)
History
- 2026-11-02: add by m2/dev
Examples NRB6XET3X5
| URI | m2://inv/NRB6XET3X5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic representation#13MG, Examples (example)
History
- 2026-11-02: add by m2/dev
Bi-exactness under positive curvature NRB9FN4FDT
| URI | m2://inv/NRB9FN4FDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#ROR6, Bi-exactness under positive curvature (statement). In MZ60NP20BH/e1, corollary 4.18
History
- 2026-10-27: add by m2/v0.4.0
Adolf Schepp NRBEFT99F8
| URI | m2://inv/NRBEFT99F8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#716O, Adolf Schepp (topic)
History
- 2026-11-02: add by m2/dev
Second moment of the corrected local error NRBGQGH0A1
| URI | m2://inv/NRBGQGH0A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.06308#PE5Y, Second moment of the corrected local error (statement). In HTWSDDAWGS/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
NRBJB4GTNN NRBJB4GTNN
| URI | m2://inv/NRBJB4GTNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-31 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
symbolic logic NRBXE8K33P
| URI | m2://inv/NRBXE8K33P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6083405, symbolic logic (unknown). Also MathWorld SymbolicLogic
History
- 2026-10-26: add by m2/dev
NRBZ4M8SZ4 NRBZ4M8SZ4
| URI | m2://inv/NRBZ4M8SZ4 |
|---|---|
| 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.14555#M3BT (statement). In NHW0VEJ09F/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
NRC3S6N0E2 NRC3S6N0E2
| URI | m2://inv/NRC3S6N0E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/equiv-ce-defs.tex#thm:ce-equiv (statement). In PKGMM3P5QY, thm, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
NRC4J4TQVN NRC4J4TQVN
| URI | m2://inv/NRC4J4TQVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17759#7TSH (statement). In 7MWKMG2V8A/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Jean A. Larson NRC9CMTXPH
| URI | m2://inv/NRC9CMTXPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean A. Larson, Jean A. Larson (topic). Also Wikidata Q48699872
History
- 2026-11-02: add by m2/dev
Definition NRCEMYKS1E
| URI | m2://inv/NRCEMYKS1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bender–Knuth involution#B9PJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kajetan Garbiński NRCEY4EWKQ
| URI | m2://inv/NRCEY4EWKQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kajetan Garbiński, Kajetan Garbiński (topic). Also Wikidata Q1721842
History
- 2026-11-02: add by m2/dev
Apollonius pursuit problem NRCNVCW30H
| URI | m2://inv/NRCNVCW30H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circles of Apollonius#S1O3, Apollonius pursuit problem (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical Models NRCRCT512C
| URI | m2://inv/NRCRCT512C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Models (Cundy and Rollett), Mathematical Models (definition). Also Wikidata Q104856053
History
- 2026-11-02: add by m2/dev
rational point NRCZX81QDG
| URI | m2://inv/NRCZX81QDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rational point SWJYG87QQH |
Mentions
- wikidata: Wikidata Q3393476, rational point (unknown). Also MathWorld RationalPoint, nLab rational point
- wikipedia: Wikipedia Rational point, Rational point (definition). Also Wikidata Q3393476
History
- 2026-10-26: add by m2/dev
History of the kinetic theory of gases NRD5J8W7VT
| URI | m2://inv/NRD5J8W7VT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kinetic theory of gases#CSYD, History of the kinetic theory of gases (unknown)
History
- 2026-11-02: add by m2/dev
Illustration of the central limit theorem NRD5VY2R37
| URI | m2://inv/NRD5VY2R37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Illustration of the central limit theorem, Illustration of the central limit theorem (statement). Also Wikidata Q6000597
History
- 2026-11-02: add by m2/dev
combinator NRDARV5JCS
| URI | m2://inv/NRDARV5JCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8R22, combinator (definition)
History
- 2026-11-02: add by m2/dev
Hagoromo Fulltouch Chalk NRDAZVZZHY
| URI | m2://inv/NRDAZVZZHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hagoromo Fulltouch Chalk, Hagoromo Fulltouch Chalk (definition). Also Wikidata Q129066984
History
- 2026-11-02: add by m2/dev
NRDC5E0T8N NRDC5E0T8N
| URI | m2://inv/NRDC5E0T8N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#ex-1 (example). In PKGMM3P5QY, ex, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
NRDCNZT7R0 NRDCNZT7R0
| URI | m2://inv/NRDCNZT7R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#TSI4 (statement). In 9JHMTYGWFQ/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.6
NRDFP4VWM7 NRDFP4VWM7
| URI | m2://inv/NRDFP4VWM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#A424 (statement). In X2AEJAQEP8/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
complete sequence NRDM3ERDNJ
| URI | m2://inv/NRDM3ERDNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156512, complete sequence (unknown). Also MathWorld CompleteSequence
- wikipedia: Wikipedia Complete sequence, Complete sequence (definition). Also Wikidata Q5156512
History
- 2026-10-26: add by m2/dev
Highly totient number NRDY5BCA70
| URI | m2://inv/NRDY5BCA70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2071769, Highly totient number (object). Also OEIS A097942
- wikipedia: Wikipedia Highly totient number, Highly totient number (definition). Also Wikidata Q2071769
History
- 2026-10-26: add by m2/dev
Examples NRE4T4YS62
| URI | m2://inv/NRE4T4YS62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood system#N672, Examples (example)
History
- 2026-11-02: add by m2/dev
NRECHQC25Q NRECHQC25Q
| URI | m2://inv/NRECHQC25Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-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.38030#80ND (definition). In XYYEJN00D8/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Kosters--Zhu degree-gap criterion NREF3FH4ZQ
| URI | m2://inv/NREF3FH4ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#UVYT, Kosters--Zhu degree-gap criterion (statement). In 8BNPFYQDQX/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Asymptotic zero distribution NRF0GMTWV2
| URI | m2://inv/NRF0GMTWV2 |
|---|---|
| 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#1AMQ, Asymptotic zero distribution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples NRF1A48D5Z
| URI | m2://inv/NRF1A48D5Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volkenborn integral#QLVB, Examples (example)
History
- 2026-11-02: add by m2/dev
hyperelliptic curve NRF7XKK3W7
| URI | m2://inv/NRF7XKK3W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperelliptic curve 5SB8EKSQRN |
Mentions
- wikidata: Wikidata Q850110, hyperelliptic curve (unknown). Also MathWorld HyperellipticCurve
- wikipedia: Wikipedia Hyperelliptic curve, Hyperelliptic curve (definition). Also Wikidata Q850110
History
- 2026-10-26: add by m2/dev
Claim NRFD4SXMW9
| URI | m2://inv/NRFD4SXMW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiling's axiom of symmetry#5OXF, Claim (statement)
History
- 2026-11-02: add by m2/dev
Rank transfer NRFHEYNSM7
| URI | m2://inv/NRFHEYNSM7 |
|---|---|
| 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.20351#Q8KS, Rank transfer (statement)
History
- 2026-11-02: add by m2/v0.6.18
George E. Collins NRG608VMMT
| URI | m2://inv/NRG608VMMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George E. Collins, George E. Collins (topic). Also Wikidata Q16090778
History
- 2026-11-02: add by m2/dev
One-sided inverse NRGBTAJTHG
| URI | m2://inv/NRGBTAJTHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse#NVAL, One-sided inverse (unknown)
History
- 2026-11-02: add by m2/dev
Definition NRGDEK4AM5
| URI | m2://inv/NRGDEK4AM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum of topological groups#5WMP, Definition (definition)
History
- 2026-11-02: add by m2/dev
NRGGN1ZYF5 NRGGN1ZYF5
| URI | m2://inv/NRGGN1ZYF5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 37.8
History
- 2026-11-01: add by m2/v0.6.13
NRGKCQQJA5 NRGKCQQJA5
| URI | m2://inv/NRGKCQQJA5 |
|---|---|
| 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.30648#Z6DQ (statement). In 2P83KYQCMA/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Axioms NRGN538VGE
| URI | m2://inv/NRGN538VGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relevance logic#QARD, Axioms (statement)
History
- 2026-11-02: add by m2/dev
NRGRGT1VQX NRGRGT1VQX
| URI | m2://inv/NRGRGT1VQX |
|---|---|
| Kind | example |
| 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.23682#C4O8 (example)
History
- 2026-11-02: add by m2/v0.6.17
NRGXKTPQEY NRGXKTPQEY
| URI | m2://inv/NRGXKTPQEY |
|---|---|
| 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 2610.01433#LDN6 (definition). In 160PQ7F1AS/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Applications NRH0BA9WBP
| URI | m2://inv/NRH0BA9WBP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heisenberg group#OLME, Applications (example)
History
- 2026-11-02: add by m2/dev
Moscow State University of Economics, Statistics, and Informatics NRH6E20NHY
| URI | m2://inv/NRH6E20NHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moscow State University of Economics, Statistics, and Informatics, Moscow State University of Economics, Statistics, and Informatics (definition). Also Wikidata Q4304111
History
- 2026-11-02: add by m2/dev
NRH6WG41Y5 NRH6WG41Y5
| URI | m2://inv/NRH6WG41Y5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22306#WVZ0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NRHH95G8BK NRHH95G8BK
| URI | m2://inv/NRHH95G8BK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#J4AP (definition). In E4DJTPKHAX/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
NRJ3MAYQ62 NRJ3MAYQ62
| URI | m2://inv/NRJ3MAYQ62 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-3.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Example NRJ5GAW69Q
| URI | m2://inv/NRJ5GAW69Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryu–Takayanagi conjecture#7U95, Example (example)
History
- 2026-11-02: add by m2/dev
Examples NRJ62AHFN7
| URI | m2://inv/NRJ62AHFN7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime manifold#4TAH, Examples (example)
History
- 2026-11-02: add by m2/dev
NRJ87P5NN2 NRJ87P5NN2
| URI | m2://inv/NRJ87P5NN2 |
|---|---|
| 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.40054#R4V7 (statement). In CA4C9PFM1E/e1, lemma 2.2.6
History
- 2026-10-30: add by m2/v0.4.12
Shirley Weber NRJA745JW7
| URI | m2://inv/NRJA745JW7 |
|---|---|
| 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#9XYK, Shirley Weber (unknown)
History
- 2026-11-02: add by m2/dev
future NRJCBV0NBG
| URI | m2://inv/NRJCBV0NBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q344, future (definition). Also ProofWiki Definition:Future
History
- 2026-10-26: add by m2/dev
NRJJ5ZPKJR NRJJ5ZPKJR
| URI | m2://inv/NRJJ5ZPKJR |
|---|---|
| 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.24448#0WYV (statement)
History
- 2026-11-01: add by m2/v0.6.15
magnetic constant NRJN48KQ5B
| URI | m2://inv/NRJN48KQ5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1515261, magnetic constant (definition). Also ProofWiki Definition:Vacuum_Permeability
History
- 2026-10-26: add by m2/dev
NRJYY6ZPF4 NRJYY6ZPF4
| URI | m2://inv/NRJYY6ZPF4 |
|---|---|
| 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.18017#YT23 (statement). In EBSQEQYECS/e1, theorem 0.7
History
- 2026-10-28: add by m2/v0.4.2
NRJZ66NQVE NRJZ66NQVE
| URI | m2://inv/NRJZ66NQVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#TJHF (statement). In JWNYJVH8XG/e1, proposition 2.22
History
- 2026-10-29: add by m2/v0.4.10
Directional two-sample extension NRK69TMXX3
| URI | m2://inv/NRK69TMXX3 |
|---|---|
| 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.30565#VYYT, Directional two-sample extension (statement). In TP0R6GK9AX/e1, corollary 5
History
- 2026-10-31: add by m2/v0.5.6
NRKA14E6G3 NRKA14E6G3
| URI | m2://inv/NRKA14E6G3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
NRKCDADT90 NRKCDADT90
| URI | m2://inv/NRKCDADT90 |
|---|---|
| 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.12105#FLXZ (statement). In 289HM2RXT3/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.3
eigenspace NRKJ3NQ8KB
| URI | m2://inv/NRKJ3NQ8KB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.2.3/eigenspace, eigenspace (concept). In 649HGZKE96, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
NRKV5YNDMJ NRKV5YNDMJ
| URI | m2://inv/NRKV5YNDMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#5YZM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thom spectrum NRKX8S1YEM
| URI | m2://inv/NRKX8S1YEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56632417, Thom spectrum (unknown). Also nLab Thom spectrum
History
- 2026-10-26: add by m2/dev
Helen M. Walker NRM0GKJQ20
| URI | m2://inv/NRM0GKJQ20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen M. Walker, Helen M. Walker (topic). Also Wikidata Q18599860
History
- 2026-11-02: add by m2/dev
Linear sources NRMAAFY1ZA
| URI | m2://inv/NRMAAFY1ZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25762#54SN, Linear sources (statement)
History
- 2026-11-01: add by m2/v0.6.15
Consistent estimator NRMBJNC01N
| URI | m2://inv/NRMBJNC01N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistent estimator, Consistent estimator (definition). Also Wikidata Q1782585
History
- 2026-11-02: add by m2/dev
Arimoto conditional R\'enyi entropy NRMCGKHWWW
| URI | m2://inv/NRMCGKHWWW |
|---|---|
| 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.29688#45CD, Arimoto conditional R\'enyi entropy (definition)
History
- 2026-11-01: add by m2/v0.6.15
NRME98HSRZ NRME98HSRZ
| URI | m2://inv/NRME98HSRZ |
|---|---|
| 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 2610.04527#GMZO (statement). In Z9ZXAC6TZQ/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.12
NRMRV064WW NRMRV064WW
| URI | m2://inv/NRMRV064WW |
|---|---|
| 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.07451#FL9U (statement). In P7KT88N75Q/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
List of textbooks in thermodynamics and statistical mechanics NRMT2TYWAF
| URI | m2://inv/NRMT2TYWAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of textbooks in thermodynamics and statistical mechanics, List of textbooks in thermodynamics and statistical mechanics (topic). Also Wikidata Q6642939
History
- 2026-11-02: add by m2/dev
Inverse-chi-squared distribution NRN4VBKPWP
| URI | m2://inv/NRN4VBKPWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#772D, Inverse-chi-squared distribution (definition)
History
- 2026-11-02: add by m2/dev
NRN5BSTB3R NRN5BSTB3R
| URI | m2://inv/NRN5BSTB3R |
|---|---|
| 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 2608.24599#F3ER (statement). In VG8QFWTT8S/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
Plots are homs NRN5W7B9GD
| URI | m2://inv/NRN5W7B9GD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#WEDZ, Plots are homs (statement)
History
- 2026-11-01: add by m2/v0.6.15
Commutative algebra NRNDBZESGT
| URI | m2://inv/NRNDBZESGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#WGB1, Commutative algebra (definition)
History
- 2026-11-02: add by m2/dev
Formula of difference NRNFSGZS40
| URI | m2://inv/NRNFSGZS40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matsubara summation#DQG6, Formula of difference (statement)
History
- 2026-11-02: add by m2/dev
Properties NRNK1YZ02W
| URI | m2://inv/NRNK1YZ02W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bijection#2M47, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties NRNKF8EYMP
| URI | m2://inv/NRNKF8EYMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure with a twist#OM44, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sharp kinetic Aleksandrov estimate NRNSZVBPYP
| URI | m2://inv/NRNSZVBPYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03083#BWV4, Sharp kinetic Aleksandrov estimate (statement). In C71DZH5GBJ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Logico-linguistic modeling NRNZE45FT5
| URI | m2://inv/NRNZE45FT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logico-linguistic modeling, Logico-linguistic modeling (definition). Also Wikidata Q6667513
History
- 2026-11-02: add by m2/dev
NRP671QK4H NRP671QK4H
| URI | m2://inv/NRP671QK4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#QPJJ (statement). In WRE0P7V6Z3/e1, proposition D.2
History
- 2026-10-30: add by m2/v0.4.12
Normal homomorphism NRP810H1NQ
| URI | m2://inv/NRP810H1NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal homomorphism, Normal homomorphism (definition). Also Wikidata Q39045408
History
- 2026-11-02: add by m2/dev
Cornelius Lanczos NRP987907G
| URI | m2://inv/NRP987907G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3YVJ, Cornelius Lanczos (topic)
History
- 2026-11-02: add by m2/dev
Schanuel's conjecture NRPA9APQXB
| URI | m2://inv/NRPA9APQXB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LDH4, Schanuel's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Hopf–Rinow theorem NRPBXY7P32
| URI | m2://inv/NRPBXY7P32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete manifold#NP8G, Hopf–Rinow theorem (statement)
History
- 2026-11-02: add by m2/dev
NRPRC4JHG5 NRPRC4JHG5
| URI | m2://inv/NRPRC4JHG5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-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.37271#PD3M (example). In 9WP2QGKMG8/e1, example 1.6
History
- 2026-10-30: add by m2/v0.4.12
Gaston Julia NRPVCD0SGP
| URI | m2://inv/NRPVCD0SGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#S90W, Gaston Julia (topic)
History
- 2026-11-02: add by m2/dev
Dénes König Prize NRPWSAHPC6
| URI | m2://inv/NRPWSAHPC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dénes Kőnig#W03L, Dénes König Prize (unknown)
History
- 2026-11-02: add by m2/dev
NRQ0BFGHDX NRQ0BFGHDX
| URI | m2://inv/NRQ0BFGHDX |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35339#N39I (unknown). In JT998WJYJJ/e1, unknown 4
History
- 2026-10-30: add by m2/v0.4.12
NRQ1WMXRXJ NRQ1WMXRXJ
| URI | m2://inv/NRQ1WMXRXJ |
|---|---|
| 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.24399#EZ6U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Star-convex Voronoi cell NRQB06C2PP
| URI | m2://inv/NRQB06C2PP |
|---|---|
| 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.08656#I28T, Star-convex Voronoi cell (definition). In JJC4DXX4ZR/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
NRQDH2J69Z NRQDH2J69Z
| URI | m2://inv/NRQDH2J69Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#NA9J (statement). In GXHKRV5BPY/e1, corollary 4.13
History
- 2026-10-29: add by m2/v0.4.10
Chow's moving lemma NRQDHW3SD9
| URI | m2://inv/NRQDHW3SD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow's moving lemma, Chow's moving lemma (statement). Also Wikidata Q5105491
History
- 2026-11-02: add by m2/dev
salve veritate NRQFNHFAEZ
| URI | m2://inv/NRQFNHFAEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IDYY, salve veritate (definition)
History
- 2026-11-02: add by m2/dev
NRQMRSHFNK NRQMRSHFNK
| URI | m2://inv/NRQMRSHFNK |
|---|---|
| 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.25367#4K91 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NRQP4D83JB NRQP4D83JB
| URI | m2://inv/NRQP4D83JB |
|---|---|
| Kind | statement |
| 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 2609.27420#UALP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalization NRQWWTEKYK
| URI | m2://inv/NRQWWTEKYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible fraction#9C9X, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Star height problem NRR6D8QKG1
| URI | m2://inv/NRR6D8QKG1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star height problem, Star height problem (problem). Also Wikidata Q7601219
History
- 2026-11-02: add by m2/dev
Probability of error NRRBAR3M6F
| URI | m2://inv/NRRBAR3M6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UX0Z, Probability of error (definition)
History
- 2026-11-02: add by m2/dev
NRRFZ8V23Q NRRFZ8V23Q
| URI | m2://inv/NRRFZ8V23Q |
|---|---|
| Kind | definition |
| 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 1809.06512#4D9O (definition). In RY2X22P6XW/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
One-sided Bernstein's inequality NRRMTA8W1B
| URI | m2://inv/NRRMTA8W1B |
|---|---|
| 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.22338#0XXL, One-sided Bernstein's inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition NRRRV6GW5G
| URI | m2://inv/NRRRV6GW5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion#Q7AS, Definition (definition)
History
- 2026-11-02: add by m2/dev
NRRSNV14J2 NRRSNV14J2
| URI | m2://inv/NRRSNV14J2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
Jean Ladrière NRRSRE6V0D
| URI | m2://inv/NRRSRE6V0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Ladrière, Jean Ladrière (topic). Also Wikidata Q3172938
History
- 2026-11-02: add by m2/dev
Central and first-cusp stabilizers for \(\Gamma_0(T)\ NRS3FW8YTA
| URI | m2://inv/NRS3FW8YTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.25925#6ZCQ, Central and first-cusp stabilizers for \(\Gamma_0(T)\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Converse of Shannon's capacity theorem NRS6ZHEEWH
| URI | m2://inv/NRS6ZHEEWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary symmetric channel#D1JC, Converse of Shannon's capacity theorem (statement)
History
- 2026-11-02: add by m2/dev
Spectral clustering NRSC9W70AE
| URI | m2://inv/NRSC9W70AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral clustering, Spectral clustering (definition). Also Wikidata Q2976589
History
- 2026-11-02: add by m2/dev
Fell bundles over groupoids NRSDTP3WP3
| URI | m2://inv/NRSDTP3WP3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#KBXI, Fell bundles over groupoids (example)
History
- 2026-11-01: add by m2/v0.6.15
Nuclear Gelfand pair NRSNG0A9KG
| URI | m2://inv/NRSNG0A9KG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14920#VI12, Nuclear Gelfand pair (definition). In 1F8ENX770M/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
NRST62FVFB NRST62FVFB
| URI | m2://inv/NRST62FVFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.0174#IUDR (statement). In 4P97F3GPJC/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
List of Chinese mathematicians NRT0BFAYEN
| URI | m2://inv/NRT0BFAYEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians, List of Chinese mathematicians (topic). Also Wikidata Q6567106
History
- 2026-11-02: add by m2/dev
NRT288PE0K NRT288PE0K
| URI | m2://inv/NRT288PE0K |
|---|---|
| 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.26041#LTQI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Full-blooded Platonism NRT3Z14G1B
| URI | m2://inv/NRT3Z14G1B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Platonism#2KJG, Full-blooded Platonism (unknown)
History
- 2026-11-02: add by m2/dev
Jim K. Omura NRT4B3JQVR
| URI | m2://inv/NRT4B3JQVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SOAA, Jim K. Omura (unknown)
History
- 2026-11-02: add by m2/dev
Smoothing spline NRT5BQK2M4
| URI | m2://inv/NRT5BQK2M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothing spline, Smoothing spline (definition). Also Wikidata Q7546460
History
- 2026-11-02: add by m2/dev
Irwin I. Shapiro NRT5E00E4H
| URI | m2://inv/NRT5E00E4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#KKP9, Irwin I. Shapiro (unknown)
History
- 2026-11-02: add by m2/dev
Forcing (mathematics) NRTASH7H0V
| URI | m2://inv/NRTASH7H0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#IGJB, Forcing (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Demographics of Tanzania NRTCWQAGG7
| URI | m2://inv/NRTCWQAGG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Tanzania, Demographics of Tanzania (definition). Also Wikidata Q2667349
History
- 2026-11-02: add by m2/dev
David Naccache NRTGP17RVD
| URI | m2://inv/NRTGP17RVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Naccache, David Naccache (topic). Also Wikidata Q3018520
History
- 2026-11-02: add by m2/dev
Ring (mathematics) NRTPM3RDYB
| URI | m2://inv/NRTPM3RDYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#QMWY, Ring (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
NRTX4ZB4G9 NRTX4ZB4G9
| URI | m2://inv/NRTX4ZB4G9 |
|---|---|
| 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 2605.00407#414R (statement). In TVFD0G3F2W/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
Sylvie Paycha NRV5JZJCK5
| URI | m2://inv/NRV5JZJCK5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6529413, Sylvie Paycha (unknown). Also nLab Sylvie Paycha
- wikipedia: Wikipedia Sylvie Paycha, Sylvie Paycha (topic). Also Wikidata Q6529413
History
- 2026-10-26: add by m2/dev
NRV6A1613R NRV6A1613R
| URI | m2://inv/NRV6A1613R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#VVPB (statement). In MM8P5CJR18/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.12
Electromagnetic attack NRV7Y9SJ92
| URI | m2://inv/NRV7Y9SJ92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic attack, Electromagnetic attack (definition). Also Wikidata Q25305279
History
- 2026-11-02: add by m2/dev
NRVC7YP5C4 NRVC7YP5C4
| URI | m2://inv/NRVC7YP5C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#F4P7 (statement). In 2HSB99DW4M/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.6
Generalizations NRVEZK60KK
| URI | m2://inv/NRVEZK60KK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (discrete mathematics)#OOY7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Main theorem, cb-norm version NRVGC4JWKJ
| URI | m2://inv/NRVGC4JWKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.40214#F4ZJ, Main theorem, cb-norm version (statement). In XD603HRHKC/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Gottfried Köthe NRVS1SEZWY
| URI | m2://inv/NRVS1SEZWY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gottfried Köthe, Gottfried Köthe (topic). Also Wikidata Q90312
History
- 2026-11-02: add by m2/dev
Popular Fallacies NRVTW02HE2
| URI | m2://inv/NRVTW02HE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popular Fallacies, Popular Fallacies (definition). Also Wikidata Q7229692
History
- 2026-11-02: add by m2/dev
Limit cardinal NRWAXYS0RX
| URI | m2://inv/NRWAXYS0RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit cardinal, Limit cardinal (definition). Also Wikidata Q1771501
History
- 2026-11-02: add by m2/dev
NRWCJNW63S NRWCJNW63S
| URI | m2://inv/NRWCJNW63S |
|---|---|
| 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.20758#PF41 (statement). In PG0B4PH9YH/e1, fact 2.14
History
- 2026-10-27: add by m2/v0.4.2
Vivanti–Pringsheim theorem NRWFFQAQNA
| URI | m2://inv/NRWFFQAQNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vivanti–Pringsheim theorem, Vivanti–Pringsheim theorem (statement). Also Wikidata Q97380239
History
- 2026-11-02: add by m2/dev
NRWSQSJWNQ NRWSQSJWNQ
| URI | m2://inv/NRWSQSJWNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.09176#A6PZ (statement). In BANPR56FBR/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Volume loss for independent columns NRWVX9D9W9
| URI | m2://inv/NRWVX9D9W9 |
|---|---|
| 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.05498#V0T0, Volume loss for independent columns (statement). In TJT32RQ9GC/e1, lemma 6.9
History
- 2026-10-29: add by m2/v0.4.10
NRX1BZQ28B NRX1BZQ28B
| URI | m2://inv/NRX1BZQ28B |
|---|---|
| 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.10233#CI7F (statement). In QR9WE79ERQ/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Matching NRX3ZBYZHP
| URI | m2://inv/NRX3ZBYZHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching (statistics), Matching (definition). Also Wikidata Q1321061
History
- 2026-11-02: add by m2/dev
Averaging argument NRX6150J5S
| URI | m2://inv/NRX6150J5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Averaging argument, Averaging argument (definition). Also Wikidata Q4828282
History
- 2026-11-02: add by m2/dev
Critical mixed-arithmetic four-point theorem NRX80B7E67
| URI | m2://inv/NRX80B7E67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.27970#DBT9, Critical mixed-arithmetic four-point theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties NRXC07ZHV8
| URI | m2://inv/NRXC07ZHV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slender group#85US, Properties (statement)
History
- 2026-11-02: add by m2/dev
NRXC6PJ9F8 NRXC6PJ9F8
| URI | m2://inv/NRXC6PJ9F8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#TPEW (statement). In M0SQY5EZN5/e1, theorem 2.7.11
History
- 2026-10-27: add by m2/v0.3.5
Harmonic function NRXF29KZ7J
| URI | m2://inv/NRXF29KZ7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#GOS3, Harmonic function (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#7S81, Harmonic function (definition)
History
- 2026-11-02: add by m2/dev
Tangent-secant theorem NRXQ9VTPTY
| URI | m2://inv/NRXQ9VTPTY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#COP1, Tangent-secant theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples NRXVCWAPWG
| URI | m2://inv/NRXVCWAPWG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#33LA, Examples (example)
History
- 2026-11-02: add by m2/dev
NRXX5DM35R NRXX5DM35R
| URI | m2://inv/NRXX5DM35R |
|---|---|
| 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#5UVS (statement). In 2VHV0RNTNV/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
NRY1ZTFTRX NRY1ZTFTRX
| URI | m2://inv/NRY1ZTFTRX |
|---|---|
| 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.01812#B34Z (statement). In FQPVSYXAGC/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
focus NRY55PYHGC
| URI | m2://inv/NRY55PYHGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ONC2, focus (definition)
History
- 2026-11-02: add by m2/dev
John E. Osborn NRYEHMDCP8
| URI | m2://inv/NRYEHMDCP8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John E. Osborn (mathematician), John E. Osborn (topic). Also Wikidata Q6230867
History
- 2026-11-02: add by m2/dev
Allan J. C. Cunningham NRYGC3ZDFB
| URI | m2://inv/NRYGC3ZDFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allan J. C. Cunningham, Allan J. C. Cunningham (topic). Also Wikidata Q339267
History
- 2026-11-02: add by m2/dev
Laplace's approximation NRYQVJNTGT
| URI | m2://inv/NRYQVJNTGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace's approximation, Laplace's approximation (definition). Also Wikidata Q115806048
History
- 2026-11-02: add by m2/dev
integral operator NRYRGY476E
| URI | m2://inv/NRYRGY476E |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 30C45 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43230999, integral operator (topic)
- wikipedia: Wikipedia Integral operator, Integral operator (definition). Also Wikidata Q43230999
History
- 2026-10-26: add by m2/dev
NRYTAQ3M8H NRYTAQ3M8H
| URI | m2://inv/NRYTAQ3M8H |
|---|---|
| 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.19709#H1PM (statement). In 57PQWSSZMY/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Crypt NRZ1AXCTPD
| URI | m2://inv/NRZ1AXCTPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypt (Unix), Crypt (definition). Also Wikidata Q4356250
History
- 2026-11-02: add by m2/dev
Neutral geometry NRZ46MQDKQ
| URI | m2://inv/NRZ46MQDKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#UN7O, Neutral geometry (definition)
History
- 2026-11-02: add by m2/dev
Journal of Cryptology NRZ5TAYR13
| URI | m2://inv/NRZ5TAYR13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Cryptology, Journal of Cryptology (topic). Also Wikidata Q743119
History
- 2026-11-02: add by m2/dev
NRZ7CZHJ19 NRZ7CZHJ19
| URI | m2://inv/NRZ7CZHJ19 |
|---|---|
| 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.13392#GAXY (statement). In 2FVND41HVS/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
NRZG3A0N7V NRZG3A0N7V
| URI | m2://inv/NRZG3A0N7V |
|---|---|
| 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 2605.17536#KZMP (statement). In TG15VZ0P8R/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
NRZJ84MG1X NRZJ84MG1X
| URI | m2://inv/NRZJ84MG1X |
|---|---|
| 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 2208.06310#QF3I (statement). In 9YR0E0T9XA/e1, proposition 5.8
History
- 2026-10-27: add by m2/v0.3.5
James Robins NRZN86H1ZG
| URI | m2://inv/NRZN86H1ZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Robins, James Robins (topic). Also Wikidata Q6142277
History
- 2026-11-02: add by m2/dev