Inventory rows 8N
The cards of the rows of the inventory whose ids start with 8N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Convex position 8N001M2A0Q
| URI | m2://inv/8N001M2A0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex position, Convex position (definition). Also Wikidata Q17007762
History
- 2026-11-02: add by m2/dev
8N0G4286H8 8N0G4286H8
| URI | m2://inv/8N0G4286H8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19660#2D1H (statement). In YKVVY2BW1B/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Barak Weiss 8N0H0JKMRC
| URI | m2://inv/8N0H0JKMRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4QON, Barak Weiss (unknown)
History
- 2026-11-02: add by m2/dev
8N0XXQV837 8N0XXQV837
| URI | m2://inv/8N0XXQV837 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Law of Areas 8N13EV1ZD4
| URI | m2://inv/8N13EV1ZD4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular momentum#3YHV, Law of Areas (statement)
History
- 2026-11-02: add by m2/dev
8N1F70RDF0 8N1F70RDF0
| URI | m2://inv/8N1F70RDF0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#NWPZ (example). In 68AE571S4P/e1, example 4.8
History
- 2026-10-29: add by m2/v0.4.10
Karp's 21 NP-complete problems 8N1QNWES30
| URI | m2://inv/8N1QNWES30 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karp's 21 NP-complete problems, Karp's 21 NP-complete problems (problem). Also Wikidata Q1734364
History
- 2026-11-02: add by m2/dev
Formal definition 8N1Y7EGH61
| URI | m2://inv/8N1Y7EGH61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local outlier factor#PYHI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Algebraic parameters 8N20REB5ZY
| URI | m2://inv/8N20REB5ZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15700#ECP2, Algebraic parameters (statement). In S95MSZ7MDR/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
8N2DXCM10S 8N2DXCM10S
| URI | m2://inv/8N2DXCM10S |
|---|---|
| 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 2511.17751#XGRD (statement). In J39X0NB31S/e1, proposition 9.3
History
- 2026-10-27: add by m2/v0.3.5
hexecontahedron 8N2R599A9Y
| URI | m2://inv/8N2R599A9Y |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18207755, hexecontahedron (unknown). Also MathWorld Hexecontahedron
- wikipedia: Wikipedia Hexecontahedron, Hexecontahedron (object). Also Wikidata Q18207755
History
- 2026-10-26: add by m2/dev
David Masser 8N2RE1YJHG
| URI | m2://inv/8N2RE1YJHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YAVI, David Masser (topic)
History
- 2026-11-02: add by m2/dev
Example 8N2S9HY1RC
| URI | m2://inv/8N2S9HY1RC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomology#XILR, Example (example)
History
- 2026-11-02: add by m2/dev
8N2YHFZKYR 8N2YHFZKYR
| URI | m2://inv/8N2YHFZKYR |
|---|---|
| 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#UEWN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite order of ramification 8N2ZSX1BKM
| URI | m2://inv/8N2ZSX1BKM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#VZLO, Finite order of ramification (definition). In XK6H7F2F13/e1, definition 5.6
History
- 2026-10-30: add by m2/v0.4.12
Adriane Rini 8N35X6B7HF
| URI | m2://inv/8N35X6B7HF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#8BSO, Adriane Rini (unknown)
History
- 2026-11-02: add by m2/dev
8N360WNSQ0 8N360WNSQ0
| URI | m2://inv/8N360WNSQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#RKVW (statement). In 29EH04FH4B/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
L-theory 8N37VMJQCF
| URI | m2://inv/8N37VMJQCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#VQ2C, L-theory (definition)
History
- 2026-11-02: add by m2/dev
8N38HEQRQ6 8N38HEQRQ6
| URI | m2://inv/8N38HEQRQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.11545#C9TA (statement). In VN084GGZGK/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.3
8N38ZSX3JJ 8N38ZSX3JJ
| URI | m2://inv/8N38ZSX3JJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction.tex#prob-6 (exercise). In PKGMM3P5QY, prob, section 83.13
History
- 2026-11-01: add by m2/v0.6.13
8N39JY1S0E 8N39JY1S0E
| URI | m2://inv/8N39JY1S0E |
|---|---|
| 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.33679#1YZQ (statement). In 3N9E9T6AF5/e1, theorem 8.3
History
- 2026-10-30: add by m2/v0.4.12
8N3K3FEPEZ 8N3K3FEPEZ
| URI | m2://inv/8N3K3FEPEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#UHXO (statement). In 879ZDHVK7N/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.4.2
8N3PRY6ZCD 8N3PRY6ZCD
| URI | m2://inv/8N3PRY6ZCD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 90.3
History
- 2026-11-01: add by m2/v0.6.13
8N46PB2QR9 8N46PB2QR9
| URI | m2://inv/8N46PB2QR9 |
|---|---|
| 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 1905.00573#7F8U (statement). In 74RNQVBM2G/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.5
Bulk and true free energies 8N4FHJ2SZK
| URI | m2://inv/8N4FHJ2SZK |
|---|---|
| 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.32710#GUZC, Bulk and true free energies (statement). In KVYG6R7CGJ/e1, lemma 3.11
History
- 2026-10-31: add by m2/v0.5.6
Critical systems thinking 8N4FMYQKZW
| URI | m2://inv/8N4FMYQKZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#KQ2A, Critical systems thinking (unknown)
History
- 2026-11-02: add by m2/dev
8N4K221848 8N4K221848
| URI | m2://inv/8N4K221848 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
8N4K7X1MNM 8N4K7X1MNM
| URI | m2://inv/8N4K7X1MNM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#Y0KR (definition)
History
- 2026-11-02: add by m2/v0.6.17
8N4KSX90V7 8N4KSX90V7
| URI | m2://inv/8N4KSX90V7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:Dedekind (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
8N51NHAT4Y 8N51NHAT4Y
| URI | m2://inv/8N51NHAT4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#B8T8 (statement). In H71AJ341B3/e1, lemma 6.12
History
- 2026-10-31: add by m2/v0.5.6
8N5FNSPQ7C 8N5FNSPQ7C
| URI | m2://inv/8N5FNSPQ7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#WFYS (statement). In GJKRVZ5YN5/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
8N5RGGHM2D 8N5RGGHM2D
| URI | m2://inv/8N5RGGHM2D |
|---|---|
| Kind | conjecture |
| 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 2203.16333#VDU9 (conjecture). In GV2GPKN1F6/e1, conjecture 7
History
- 2026-10-27: add by m2/v0.3.5
8N5SM7QT5N 8N5SM7QT5N
| URI | m2://inv/8N5SM7QT5N |
|---|---|
| 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.22855#9U02 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Leau , Fatou 8N659S131R
| URI | m2://inv/8N659S131R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01520#FOJL, Leau , Fatou (statement). In GTZYR8QA3G/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
8N6FDWN71P 8N6FDWN71P
| URI | m2://inv/8N6FDWN71P |
|---|---|
| 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.08028#BT40 (statement). In Z19XDA8QY9/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
8N6PXXHK0B 8N6PXXHK0B
| URI | m2://inv/8N6PXXHK0B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.36332#KGPC (definition). In APK7X4MFAX/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
8N6T8ZBBQP 8N6T8ZBBQP
| URI | m2://inv/8N6T8ZBBQP |
|---|---|
| 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.21399#EDDN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jackie Stedall 8N74FTEPY2
| URI | m2://inv/8N74FTEPY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jackie Stedall, Jackie Stedall (topic). Also Wikidata Q6566859
History
- 2026-11-02: add by m2/dev
Generalizations 8N776PVAZ4
| URI | m2://inv/8N776PVAZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity of a permutation#RU2W, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Notation 8N7HB0FEXZ
| URI | m2://inv/8N7HB0FEXZ |
|---|---|
| Kind | definition |
| 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 Coset#S4ZU, Notation (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
8N7HEZV3J2 8N7HEZV3J2
| URI | m2://inv/8N7HEZV3J2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-58 (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
8N7M9FXBJD 8N7M9FXBJD
| URI | m2://inv/8N7M9FXBJD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14162#XVRA (example). In JC1XF1JE6J/e1, example 2.11
History
- 2026-10-27: add by m2/v0.3.5
8N7QQZA78X 8N7QQZA78X
| URI | m2://inv/8N7QQZA78X |
|---|---|
| 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 1904.09810#36DY (statement). In T1VFA7TXPA/e1, lemma 47
History
- 2026-10-27: add by m2/v0.3.5
8N7TJ9XF6F 8N7TJ9XF6F
| URI | m2://inv/8N7TJ9XF6F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
bar chart 8N7X0RZB8Y
| URI | m2://inv/8N7X0RZB8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1124595, bar chart (unknown). Also MathWorld BarChart
- wikipedia: Wikipedia Bar chart, Bar chart (definition). Also Wikidata Q1124595
History
- 2026-10-26: add by m2/dev
8N7Z9ZSGV3 8N7Z9ZSGV3
| URI | m2://inv/8N7Z9ZSGV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13957#V4QN (statement). In H1W6SNC2MJ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
8N8HAN2607 8N8HAN2607
| URI | m2://inv/8N8HAN2607 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#ROKD (statement)
History
- 2026-11-01: add by m2/v0.6.15
8N8JF7BVE7 8N8JF7BVE7
| URI | m2://inv/8N8JF7BVE7 |
|---|---|
| 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.21680#Z3JA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Victor Zarnowitz 8N8MJ1R82M
| URI | m2://inv/8N8MJ1R82M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VADN, Victor Zarnowitz (unknown)
History
- 2026-11-02: add by m2/dev
316 (number) 8N8MQ3DKB2
| URI | m2://inv/8N8MQ3DKB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#VXPD, 316 (number) (unknown)
History
- 2026-11-02: add by m2/dev
8N8YDKFFKC 8N8YDKFFKC
| URI | m2://inv/8N8YDKFFKC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#example-8 (example). In RZP28ERRZV, example, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
Euler irregular prime 8N985AAVY1
| URI | m2://inv/8N985AAVY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular prime#FDA0, Euler irregular prime (unknown)
History
- 2026-11-02: add by m2/dev
8N9EG7Q2NQ 8N9EG7Q2NQ
| URI | m2://inv/8N9EG7Q2NQ |
|---|---|
| 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.25896#6I35 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8N9G09K83V 8N9G09K83V
| URI | m2://inv/8N9G09K83V |
|---|---|
| Kind | statement |
| 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 2510.01873#ZNQR (statement). In FVZZDPEYNM/e1, theorem 1.4
- arxiv: arXiv 2609.23167#D5PD (statement)
History
- 2026-10-27: add by m2/v0.3.5
Signed seed 8N9H9DYJRS
| URI | m2://inv/8N9H9DYJRS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#3AGJ, Signed seed (definition). In REDG6QVHM3/e1, definition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Ronen Eldan 8N9NJMGMG5
| URI | m2://inv/8N9NJMGMG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronen Eldan, Ronen Eldan (topic). Also Wikidata Q102413869
History
- 2026-11-02: add by m2/dev
Mullvad Browser 8N9X5V2AGR
| URI | m2://inv/8N9X5V2AGR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mullvad#CHP1, Mullvad Browser (unknown)
History
- 2026-11-02: add by m2/dev
8N9XPWMC38 8N9XPWMC38
| URI | m2://inv/8N9XPWMC38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21635#C182 (statement). In BVA5MGH9FK/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
Horn clause 8NA0EB88NX
| URI | m2://inv/8NA0EB88NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#3HUS, Horn clause (definition)
History
- 2026-11-02: add by m2/dev
Generation Z and LGBT 8NA0WQVDP6
| URI | m2://inv/8NA0WQVDP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation Z#YVDX, Generation Z and LGBT (unknown)
History
- 2026-11-02: add by m2/dev
Naftali Botwin 8NA6X1FWFD
| URI | m2://inv/8NA6X1FWFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#6ONM, Naftali Botwin (unknown)
History
- 2026-11-02: add by m2/dev
8NAANP6CE8 8NAANP6CE8
| URI | m2://inv/8NAANP6CE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#8RAY (statement). In J7ZX3WWRQP/e1, theorem 2.22
History
- 2026-10-28: add by m2/v0.4.2
8NARWKSCPQ 8NARWKSCPQ
| URI | m2://inv/8NARWKSCPQ |
|---|---|
| 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.39706#W6CF (statement). In 79Y8JJMKP4/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Orlicz–Pettis theorem 8NAX5GZSEW
| URI | m2://inv/8NAX5GZSEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1621180, Orlicz–Pettis theorem (statement). Also Wikidata Q1621180
- thousand_plus: thousand_plus Q1621180, Orlicz–Pettis theorem (statement). Also Wikidata Q1621180, Wikipedia Orlicz–Pettis theorem
- wikipedia: Wikipedia Orlicz–Pettis theorem, Orlicz–Pettis theorem (statement). Also Wikidata Q1621180
History
- 2026-10-26: add by m2/dev
recurrence 8NAZE4K94G
| URI | m2://inv/8NAZE4K94G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/recurrence, recurrence (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
8NB19QC67F 8NB19QC67F
| URI | m2://inv/8NB19QC67F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.14253#931V (statement). In R7W38A039X/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.6
8NB4SCEWAP 8NB4SCEWAP
| URI | m2://inv/8NB4SCEWAP |
|---|---|
| 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 1612.08394#K57A (statement). In 1P8D88DKG5/e1, theorem 8.2
History
- 2026-10-27: add by m2/v0.3.5
Definition and properties 8NBA33PJWT
| URI | m2://inv/8NBA33PJWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Clifford algebra#19UH, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
obverse 8NBFEFJ022
| URI | m2://inv/8NBFEFJ022 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#94ON, obverse (definition)
History
- 2026-11-02: add by m2/dev
8NBHJYH9BF 8NBHJYH9BF
| URI | m2://inv/8NBHJYH9BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02870#E6TB (statement). In JJQQJ4KX94/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
8NBMTS6SNK 8NBMTS6SNK
| URI | m2://inv/8NBMTS6SNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#RPA0 (statement). In TNREX5GDK2/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Gabriel Andrew Dirac 8NBV7V6ASR
| URI | m2://inv/8NBV7V6ASR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HBSP, Gabriel Andrew Dirac (topic)
History
- 2026-11-02: add by m2/dev
8NC1H0R3SR 8NC1H0R3SR
| URI | m2://inv/8NC1H0R3SR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32033#6ESZ (definition). In 17W5G060QX/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Square-root Gronwall inequality 8NC2GA727R
| URI | m2://inv/8NC2GA727R |
|---|---|
| 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#SC33, Square-root Gronwall inequality (statement). In NHW0VEJ09F/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
8NC5XYVWHF 8NC5XYVWHF
| URI | m2://inv/8NC5XYVWHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#LG3F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm 8NC8KTXN50
| URI | m2://inv/8NC8KTXN50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci search technique#RZAP, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Theorem 8NCKV405M7
| URI | m2://inv/8NCKV405M7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyde theorem#BSAE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
matrix polynomial norm gaps 8ND0F485EE
| URI | m2://inv/8ND0F485EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.27458#UYGE, matrix polynomial norm gaps (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spatial anti-aliasing 8ND16Y5QHJ
| URI | m2://inv/8ND16Y5QHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#E1AJ, Spatial anti-aliasing (unknown)
History
- 2026-11-02: add by m2/dev
8NDC642B0P 8NDC642B0P
| URI | m2://inv/8NDC642B0P |
|---|---|
| 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.09300#TV8R (statement). In JP589KS01S/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
\bf Side information graph 8NDG8H4KWW
| URI | m2://inv/8NDG8H4KWW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#6Y5B, \bf Side information graph (definition). In N7XJ16700B/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Weak geodesic PDE 8NDKYSZ6S0
| URI | m2://inv/8NDKYSZ6S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06788#R7R1, Weak geodesic PDE (statement). In B2VE3JQZD3/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
8NDNG1PCVT 8NDNG1PCVT
| URI | m2://inv/8NDNG1PCVT |
|---|---|
| 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.14616#7OG6 (statement). In 17ACAG0N9C/e1, lemma 8.13
History
- 2026-10-28: add by m2/v0.4.2
Levi graph 8NDNRXDGP7
| URI | m2://inv/8NDNRXDGP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6535569, Levi graph (unknown). Also MathWorld LeviGraph
- wikipedia: Wikipedia Levi graph, Levi graph (definition). Also Wikidata Q6535569
History
- 2026-10-26: add by m2/dev
Generalized Wiener process 8NDQCJ3TSD
| URI | m2://inv/8NDQCJ3TSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Wiener process, Generalized Wiener process (definition). Also Wikidata Q5532459
History
- 2026-11-02: add by m2/dev
Properties 8NDQZMF089
| URI | m2://inv/8NDQZMF089 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski topology#GS8J, Properties (statement)
History
- 2026-11-02: add by m2/dev
RAFAEL LAHOZ-BELTRA 8NE1966D61
| URI | m2://inv/8NE1966D61 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57786497, RAFAEL LAHOZ-BELTRA (unknown). Also ProofWiki Mathematician:Rafael_Lahoz-Beltra
History
- 2026-10-26: add by m2/dev
Bounds on counts in the center list 8NE3D5S315
| URI | m2://inv/8NE3D5S315 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#3N1Q, Bounds on counts in the center list (statement). In 9QDRMZX8EY/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
8NE7NBY41Z 8NE7NBY41Z
| URI | m2://inv/8NE7NBY41Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0709.4546#FIXR (statement). In 7H5Q5M7W96/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Meier-Luenberger conditions 8NE8YW020W
| URI | m2://inv/8NE8YW020W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16249#O987, Meier-Luenberger conditions (statement). In JER0CZXTGF/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
8NE9C3CEHJ 8NE9C3CEHJ
| URI | m2://inv/8NE9C3CEHJ |
|---|---|
| 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 2303.13891#1NNF (statement). In TC91C5DGTG/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
The result 8NE9GY10GM
| URI | m2://inv/8NE9GY10GM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede's theorem#HFLY, The result (statement)
History
- 2026-11-02: add by m2/dev
Failure of natural-order nesting 8NEFXER3N8
| URI | m2://inv/8NEFXER3N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#MTN7, Failure of natural-order nesting (statement). In 4AQ48WSBDQ/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.10
Theorem 8NER47CJRX
| URI | m2://inv/8NER47CJRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path#KYNO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8NERC27788 8NERC27788
| URI | m2://inv/8NERC27788 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12819#CKL5 (statement). In JW8S0XEMWG/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.2
8NF0XA7GMH 8NF0XA7GMH
| URI | m2://inv/8NF0XA7GMH |
|---|---|
| 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 2510.23812#V3C7 (statement). In D8XZBXJPR5/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
Law of independent assortment 8NF7BQ5GBS
| URI | m2://inv/8NF7BQ5GBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mendelian inheritance#8IZX, Law of independent assortment (statement)
History
- 2026-11-02: add by m2/dev
Four exponentials conjecture 8NFAVBNK59
| URI | m2://inv/8NFAVBNK59 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5475668, Four exponentials conjecture (conjecture). Also MathWorld FourExponentialsConjecture
- wikipedia: Wikipedia Four exponentials conjecture, Four exponentials conjecture (conjecture). Also Wikidata Q5475668
History
- 2026-10-26: add by m2/dev
8NFF232C5D 8NFF232C5D
| URI | m2://inv/8NFF232C5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#YPWJ (statement). In 8XAKGH8S2D/e1, theorem E
History
- 2026-10-29: add by m2/v0.4.10
8NFFQ3XZD8 8NFFQ3XZD8
| URI | m2://inv/8NFFQ3XZD8 |
|---|---|
| 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.24544#FM0T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem of Gabriel and Zisman 8NFKTNBB8F
| URI | m2://inv/8NFKTNBB8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibration of simplicial sets#UNXX, Theorem of Gabriel and Zisman (statement)
History
- 2026-11-02: add by m2/dev
8NFT22RA7M 8NFT22RA7M
| URI | m2://inv/8NFT22RA7M |
|---|---|
| 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.27414#WW8T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 8NFW7N3EWH
| URI | m2://inv/8NFW7N3EWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#4LMA, Examples (example)
History
- 2026-11-02: add by m2/dev
8NFY3H21Y6 8NFY3H21Y6
| URI | m2://inv/8NFY3H21Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#PQNQ (statement). In 37S7MNMZ2F/e1, proposition 44
History
- 2026-10-27: add by m2/v0.3.5
Non-examples 8NG3799GY1
| URI | m2://inv/8NG3799GY1 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle center#SD4U, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
8NG4JPJ9DK 8NG4JPJ9DK
| URI | m2://inv/8NG4JPJ9DK |
|---|---|
| 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.37252#ABJU (statement). In E3EK0ESPA7/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
8NG8RVQT5K 8NG8RVQT5K
| URI | m2://inv/8NG8RVQT5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#EF4L (statement). In 7Z3KQRFEVG/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
8NG9QVJQWJ 8NG9QVJQWJ
| URI | m2://inv/8NG9QVJQWJ |
|---|---|
| Kind | definition |
| 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#31Q1 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Hilbert space 8NG9ZETM5H
| URI | m2://inv/8NG9ZETM5H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#ZVY1, Hilbert space (definition). In 5ZPQ60TM6J/e1, definition 18
History
- 2026-10-28: add by m2/v0.4.2
Examples 8NGPAMZ2HR
| URI | m2://inv/8NGPAMZ2HR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid algebra#2ND6, Examples (example)
History
- 2026-11-02: add by m2/dev
8NGTES3P47 8NGTES3P47
| URI | m2://inv/8NGTES3P47 |
|---|---|
| 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.03011#ZWMV (statement). In VE8FB6K8EN/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 8NGX3MR3XM
| URI | m2://inv/8NGX3MR3XM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline wavelet#R0UY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Value-sampled distribution 8NH3D1T2PP
| URI | m2://inv/8NH3D1T2PP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#I49Z, Value-sampled distribution (statement). In DHQWFJW02X/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
Partitioning cryptanalysis 8NH3R8PPC1
| URI | m2://inv/8NH3R8PPC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partitioning cryptanalysis, Partitioning cryptanalysis (definition). Also Wikidata Q7140656
History
- 2026-11-02: add by m2/dev
Proposition A.1. 8NH85XJP54
| URI | m2://inv/8NH85XJP54 |
|---|---|
| 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.21017#8XXO, Proposition A.1. (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vector Analysis 8NHWGHKFQ5
| URI | m2://inv/8NHWGHKFQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector Analysis, Vector Analysis (definition). Also Wikidata Q2362040
History
- 2026-11-02: add by m2/dev
8NHZ52NGXQ 8NHZ52NGXQ
| URI | m2://inv/8NHZ52NGXQ |
|---|---|
| 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.24845#0P4B (statement)
History
- 2026-11-01: add by m2/v0.6.15
A common base-field twist 8NJ0CTM1C2
| URI | m2://inv/8NJ0CTM1C2 |
|---|---|
| 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.30301#3CZ1, A common base-field twist (statement). In 7NS75J7HAM/e1, lemma 9.3
History
- 2026-10-31: add by m2/v0.5.6
8NJ23VV74D 8NJ23VV74D
| URI | m2://inv/8NJ23VV74D |
|---|---|
| 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 2011.06637#M9YV (statement). In KFCJ5CFP3G/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Concavity and Lipschitz continuity of the value function 8NJKQ9G9SE
| URI | m2://inv/8NJKQ9G9SE |
|---|---|
| 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.00033#H59U, Concavity and Lipschitz continuity of the value function (statement). In SHMMW4JXZ1/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Edyth May Sliffe Award 8NJM3X1SRK
| URI | m2://inv/8NJM3X1SRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edyth May Sliffe Award, Edyth May Sliffe Award (definition). Also Wikidata Q5346981
History
- 2026-11-02: add by m2/dev
Empirical eigenvalue comparability 8NJRZFRCEQ
| URI | m2://inv/8NJRZFRCEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#ETQP, Empirical eigenvalue comparability (statement). In 4HJK1986EJ/e1, lemma C.8
History
- 2026-10-29: add by m2/v0.4.10
Curl formula 8NJVRH6H0W
| URI | m2://inv/8NJVRH6H0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body#R9CA, Curl formula (statement)
History
- 2026-11-02: add by m2/dev
quantum mechanics 8NJW7WPADZ
| URI | m2://inv/8NJW7WPADZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q944, quantum mechanics (topic). Also nLab quantum mechanics, ProofWiki Definition:Quantum_Mechanics
- wikipedia: Wikipedia Quantum mechanics, Quantum mechanics (definition). Also Wikidata Q944
History
- 2026-10-26: add by m2/dev
Duas Estradas 8NJWSHEASX
| URI | m2://inv/8NJWSHEASX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LKCM, Duas Estradas (unknown)
History
- 2026-11-02: add by m2/dev
Section 8NKJF09VHM
| URI | m2://inv/8NKJF09VHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Section (category theory), Section (definition). Also Wikidata Q60727552
History
- 2026-11-02: add by m2/dev
Masatoshi Gündüz Ikeda 8NKK0F6P48
| URI | m2://inv/8NKK0F6P48 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NF77, Masatoshi Gündüz Ikeda (topic)
History
- 2026-11-02: add by m2/dev
Frobenius formula 8NKVDK9P4W
| URI | m2://inv/8NKVDK9P4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#TTAV, Frobenius formula (statement)
History
- 2026-11-02: add by m2/dev
8NM0A7D84D 8NM0A7D84D
| URI | m2://inv/8NM0A7D84D |
|---|---|
| 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-59 (exercise). In E9HS8K3A52, exercise, section 5.5.3
History
- 2026-11-01: add by m2/v0.6.13
8NM4391QKZ 8NM4391QKZ
| URI | m2://inv/8NM4391QKZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#PX4B (example). In RTE2C0PH4S/e1, example 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 8NMCERE12H
| URI | m2://inv/8NMCERE12H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonabelian Hodge correspondence#FZRH, Examples (example)
History
- 2026-11-02: add by m2/dev
8NMDX9DHGN 8NMDX9DHGN
| URI | m2://inv/8NMDX9DHGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15424#FHI5 (statement). In C4081PN64B/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Finsler–Hadwiger theorem 8NMEE0ACTK
| URI | m2://inv/8NMEE0ACTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15895894, Finsler–Hadwiger theorem (statement). Also Wikidata Q15895894
- thousand_plus: thousand_plus Q15895894, Finsler–Hadwiger theorem (statement). Also Wikidata Q15895894, Wikipedia Finsler–Hadwiger theorem
- wikidata: Wikidata Q15895894, Finsler–Hadwiger theorem (statement). Also MathWorld Finsler-HadwigerTheorem
- wikipedia: Wikipedia Finsler–Hadwiger theorem, Finsler–Hadwiger theorem (statement). Also Wikidata Q15895894
History
- 2026-10-26: add by m2/dev
noncommutative geometry 8NMM9RECVN
| URI | m2://inv/8NMM9RECVN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Noncommutative geometry PS2MR7P299 |
Mentions
- wikidata: Wikidata Q2746792, noncommutative geometry (topic). Also MathWorld NoncommutativeGeometry, nLab noncommutative geometry
- wikipedia: Wikipedia Noncommutative geometry, Noncommutative geometry (topic). Also Wikidata Q2746792
History
- 2026-10-26: add by m2/dev
8NMQ429B4C 8NMQ429B4C
| URI | m2://inv/8NMQ429B4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#PISH (statement). In CFJH0Q39FZ/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
8NMSSTPXQK 8NMSSTPXQK
| URI | m2://inv/8NMSSTPXQK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34013#835P (example). In 3TA3P3CWSJ/e1, example 3.11
History
- 2026-10-30: add by m2/v0.4.12
8NMTTWRV6F 8NMTTWRV6F
| URI | m2://inv/8NMTTWRV6F |
|---|---|
| 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 math/0411039#8Y97 (statement). In ZTBDXSKFFW/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.3.5
8NMWFZW0PK 8NMWFZW0PK
| URI | m2://inv/8NMWFZW0PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#AD7L (statement)
History
- 2026-11-02: add by m2/v0.6.17
8NMY7TTARW 8NMY7TTARW
| URI | m2://inv/8NMY7TTARW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#Z8F3 (statement). In F0E8YBV0Z0/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Debbie Cheng 8NMYTJ8TNR
| URI | m2://inv/8NMYTJ8TNR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debbie Cheng, Debbie Cheng (topic). Also Wikidata Q54260279
History
- 2026-11-02: add by m2/dev
8NN4DDEQXQ 8NN4DDEQXQ
| URI | m2://inv/8NN4DDEQXQ |
|---|---|
| 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.36909#2F9Z (statement). In S5SKFZB5WH/e1, corollary 1.3
History
- 2026-10-30: add by m2/v0.4.12
8NNKC9XCYR 8NNKC9XCYR
| URI | m2://inv/8NNKC9XCYR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-48 (exercise). In E59CDZA4DP, exercise, section 1.6.1
History
- 2026-11-01: add by m2/v0.6.13
cycle 8NNKVW1PHF
| URI | m2://inv/8NNKVW1PHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cycle 0Z05VCBQ7Y |
Mentions
- wikidata: Wikidata Q245595, cycle (unknown). Also MathWorld GraphCycle
- wikipedia: Wikipedia Cycle (graph theory), Cycle (definition). Also Wikidata Q245595
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Axiomatics of thermodynamics 8NNW8DTQBN
| URI | m2://inv/8NNW8DTQBN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamics#GWZ2, Axiomatics of thermodynamics (unknown)
History
- 2026-11-02: add by m2/dev
8NNWZV7CY3 8NNWZV7CY3
| URI | m2://inv/8NNWZV7CY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#5ULI (statement). In QG9ATXTKJ6/e1, proposition 1.6
History
- 2026-10-27: add by m2/v0.3.5
Significance of the Artin–Schreier theorem 8NNXN3CTMA
| URI | m2://inv/8NNXN3CTMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Schreier#7ZXR, Significance of the Artin–Schreier theorem (statement)
History
- 2026-11-02: add by m2/dev
8NNY6PGTA1 8NNY6PGTA1
| URI | m2://inv/8NNY6PGTA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10230#TNM5 (statement). In YS75517SF7/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
8NP3F30HEX 8NP3F30HEX
| URI | m2://inv/8NP3F30HEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#XEFM (statement). In B366ACYB37/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
8NP4W2W8K7 8NP4W2W8K7
| URI | m2://inv/8NP4W2W8K7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18740#NVFS (problem). In 82815Z5JR7/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Necklace polynomial 8NPABJA0BJ
| URI | m2://inv/8NPABJA0BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace polynomial, Necklace polynomial (definition). Also Wikidata Q6985582
History
- 2026-11-02: add by m2/dev
Valeria de Paiva 8NPAWYHKV0
| URI | m2://inv/8NPAWYHKV0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#L0O2, Valeria de Paiva (topic)
History
- 2026-11-02: add by m2/dev
8NPJZM0RAX 8NPJZM0RAX
| URI | m2://inv/8NPJZM0RAX |
|---|---|
| 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#EQH5 (statement). In WRE0P7V6Z3/e1, lemma 10.3
History
- 2026-10-30: add by m2/v0.4.12
Peter Rousseeuw 8NPMBCKNJQ
| URI | m2://inv/8NPMBCKNJQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Rousseeuw, Peter Rousseeuw (topic). Also Wikidata Q7176677
History
- 2026-11-02: add by m2/dev
8NPTE224SV 8NPTE224SV
| URI | m2://inv/8NPTE224SV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#G2CV (statement). In SVJYA0171G/e1, theorem 6.13
History
- 2026-10-30: add by m2/v0.4.12
Constructive function theory 8NPX3531SC
| URI | m2://inv/8NPX3531SC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#40E0, Constructive function theory (topic)
History
- 2026-11-02: add by m2/dev
Periodic mild solutions to linear equations 8NQ2EHZBZM
| URI | m2://inv/8NQ2EHZBZM |
|---|---|
| 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.11084#6BUJ, Periodic mild solutions to linear equations (statement). In VZ61XQ6QNX/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
One-step KL inequality 8NQ4130TED
| URI | m2://inv/8NQ4130TED |
|---|---|
| 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.20187#WAHD, One-step KL inequality (statement). In N280AVNNBY/e1, lemma B.6
History
- 2026-10-27: add by m2/v0.4.2
Integer sequence 8NQ7V6HXYB
| URI | m2://inv/8NQ7V6HXYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#XP8X, Integer sequence (definition)
History
- 2026-11-02: add by m2/dev
Properties 8NQCT50V7X
| URI | m2://inv/8NQCT50V7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely multiplicative function#WC2F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Reduced Khovanov homology 8NQHDAFNE8
| URI | m2://inv/8NQHDAFNE8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#88IT, Reduced Khovanov homology (definition). In 5EKTECQ2P1/e1, definition 2.15
History
- 2026-10-29: add by m2/v0.4.10
Linearity 8NQQSEKZGD
| URI | m2://inv/8NQQSEKZGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#K2MK, Linearity (statement). In 7GMD8J4200/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.2
8NQRNF0676 8NQRNF0676
| URI | m2://inv/8NQRNF0676 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10736#NFNS (statement). In NCYKB4QG5P/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.3
8NQWZ4S6YQ 8NQWZ4S6YQ
| URI | m2://inv/8NQWZ4S6YQ |
|---|---|
| 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.37439#X9PL (statement). In 8K7D3FKJDT/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
8NQZ1MEG19 8NQZ1MEG19
| URI | m2://inv/8NQZ1MEG19 |
|---|---|
| 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 2601.22681#6XWD (definition). In 68VEQQX68G/e1, definition 1.10
History
- 2026-10-27: add by m2/v0.4.0
8NRATHGGAN 8NRATHGGAN
| URI | m2://inv/8NRATHGGAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#TH0C (statement). In WAXS6FS388/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Optimality criterion 8NREJ6TT5R
| URI | m2://inv/8NREJ6TT5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5NOO, Optimality criterion (statement)
History
- 2026-11-02: add by m2/dev
8NRFB6V81Y 8NRFB6V81Y
| URI | m2://inv/8NRFB6V81Y |
|---|---|
| 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 2610.20558#URFI (statement). In 46370P3Y9S/e1, lemma 6.17
History
- 2026-10-27: add by m2/v0.4.2
Gage, Linda 8NRQ58ZHGG
| URI | m2://inv/8NRQ58ZHGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#CCV1, Gage, Linda (unknown)
History
- 2026-11-02: add by m2/dev
8NRSS60658 8NRSS60658
| URI | m2://inv/8NRSS60658 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19416#8YUU (statement). In TJVWQ0ZSGY/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Uniform Gaussian hierarchical cover 8NRTF4D23C
| URI | m2://inv/8NRTF4D23C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#5ALW, Uniform Gaussian hierarchical cover (statement). In 35925M9GJW/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.10
Edwards, A. W. F. 8NRX01DMSB
| URI | m2://inv/8NRX01DMSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4F1T, Edwards, A. W. F. (unknown)
History
- 2026-11-02: add by m2/dev
Émile Merlin 8NS09DPJ7W
| URI | m2://inv/8NS09DPJ7W |
|---|---|
| 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#66WT, Émile Merlin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZZN9, Émile Merlin (topic)
History
- 2026-11-02: add by m2/dev
Definition 8NS36PGMYH
| URI | m2://inv/8NS36PGMYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasisymmetric map#ZRWZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Outdegree bound 8NSGGN896X
| URI | m2://inv/8NSGGN896X |
|---|---|
| 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.01937#KVD2, Outdegree bound (statement). In BAEDMM7YM5/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.12
8NT34VVR0H 8NT34VVR0H
| URI | m2://inv/8NT34VVR0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#ICHD (statement)
History
- 2026-11-02: add by m2/v0.6.18
8NT3XNGKHW 8NT3XNGKHW
| URI | m2://inv/8NT3XNGKHW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#EPHX (example). In V97F4YZ8B0/e1, example 9.14
History
- 2026-10-28: add by m2/v0.4.2
8NT8N93YNV 8NT8N93YNV
| URI | m2://inv/8NT8N93YNV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#D13Y (example)
History
- 2026-11-01: add by m2/v0.6.15
Negami's conjecture 8NTAHD4FHJ
| URI | m2://inv/8NTAHD4FHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8QDT, Negami's conjecture (unknown)
History
- 2026-11-02: add by m2/dev
8NTHM27DVR 8NTHM27DVR
| URI | m2://inv/8NTHM27DVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#NDV0 (statement). In B366ACYB37/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.3.5
Example 8NTP4PJBX7
| URI | m2://inv/8NTP4PJBX7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearization#V6WG, Example (example)
History
- 2026-11-02: add by m2/dev
8NTSSEDTYV 8NTSSEDTYV
| URI | m2://inv/8NTSSEDTYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#50WB (statement). In 9B5TNEBJHV/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
International Council for Industrial and Applied Mathematics 8NTVWB1JHG
| URI | m2://inv/8NTVWB1JHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#2A11, International Council for Industrial and Applied Mathematics (definition)
History
- 2026-11-02: add by m2/dev
Operator networks with functional-calculus layers 8NV1ER04H8
| URI | m2://inv/8NV1ER04H8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#HTF6, Operator networks with functional-calculus layers (definition). In 6HMZ36ZBXA/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.2
8NV1KE4CS7 8NV1KE4CS7
| URI | m2://inv/8NV1KE4CS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#ZQK4 (statement). In 2VQ90WEZKB/e1, lemma 10.2
History
- 2026-10-30: add by m2/v0.4.12
Unconditional initial headroom and a same-run gain 8NV6H2K2JB
| URI | m2://inv/8NV6H2K2JB |
|---|---|
| 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.39408#18E2, Unconditional initial headroom and a same-run gain (statement). In T8E6F01RTM/e1, corollary U.4
History
- 2026-10-30: add by m2/v0.4.12
Generalizations 8NV7MHATNA
| URI | m2://inv/8NV7MHATNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satisfaction equilibrium#2I3O, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
History of the theorem 8NVBSD0FZB
| URI | m2://inv/8NVBSD0FZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Birkhoff–Witt theorem#7115, History of the theorem (statement)
History
- 2026-11-02: add by m2/dev
graded ring 8NVQQKAN3W
| URI | m2://inv/8NVQQKAN3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Graded ring 8KB4SQGC0C |
Mentions
- wikidata: Wikidata Q15534632, graded ring (unknown). Also MathWorld GradedAlgebra, MathWorld GradedRing
- wikipedia: Wikipedia Graded ring, Graded ring (definition). Also Wikidata Q15534632
History
- 2026-10-26: add by m2/dev
8NVSDSKY67 8NVSDSKY67
| URI | m2://inv/8NVSDSKY67 |
|---|---|
| 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 2103.12669#EHN7 (statement). In ZA6XNBA90V/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
8NVYR6Z3FF 8NVYR6Z3FF
| URI | m2://inv/8NVYR6Z3FF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-13 (exercise). In 649HGZKE96, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
induction, strong 8NW6BW2JN9
| URI | m2://inv/8NW6BW2JN9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.9/induction-strong, induction, strong (concept). In QKM9DD2H56, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
8NW92GAKNK 8NW92GAKNK
| URI | m2://inv/8NW92GAKNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:CabRcomplete (statement). In E59CDZA4DP, prop, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
Yevgraf Fyodorov 8NW94Q4Z2F
| URI | m2://inv/8NW94Q4Z2F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#2VGA, Yevgraf Fyodorov (unknown)
History
- 2026-11-02: add by m2/dev
8NWBF0V86E 8NWBF0V86E
| URI | m2://inv/8NWBF0V86E |
|---|---|
| Kind | definition |
| 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.31983#H8WN (definition). In K06R03KX8Y/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
8NWCWC51WD 8NWCWC51WD
| URI | m2://inv/8NWCWC51WD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.00137#N3N0 (statement). In NKW6YQ04QW/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
$\AaL(1,p^d)$ 8NWNQC1KD3
| URI | m2://inv/8NWNQC1KD3 |
|---|---|
| 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.15340#3LMK, $\AaL(1,p^d)$ (statement). In 9NVKKW8HDH/e1, theorem 2.98
History
- 2026-10-28: add by m2/v0.4.2
8NWQ9DKN56 8NWQ9DKN56
| URI | m2://inv/8NWQ9DKN56 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-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 2608.26046#BF0Q (definition). In 96S9DAC9F9/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Circumdiameter 8NWXDA0P0B
| URI | m2://inv/8NWXDA0P0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumcircle#SU62, Circumdiameter (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 8NWY58ST5V
| URI | m2://inv/8NWY58ST5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer fixed-point theorem#S9KG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Breusch–Godfrey test 8NX05YGTNJ
| URI | m2://inv/8NX05YGTNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SHMR, Breusch–Godfrey test (definition)
History
- 2026-11-02: add by m2/dev
Alternatives to passwords 8NX1M5DT6H
| URI | m2://inv/8NX1M5DT6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password#JK46, Alternatives to passwords (unknown)
History
- 2026-11-02: add by m2/dev
8NX3VFYVE3 8NX3VFYVE3
| URI | m2://inv/8NX3VFYVE3 |
|---|---|
| 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.20206#0SXZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tau cross 8NX73CSRYZ
| URI | m2://inv/8NX73CSRYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q607055, Tau cross (unknown). Also MathWorld SaintAnthonysCross
History
- 2026-10-26: add by m2/dev
Related conjectures 8NX8SEFGVJ
| URI | m2://inv/8NX8SEFGVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood conjecture#10I5, Related conjectures (statement)
History
- 2026-11-02: add by m2/dev
8NXS76B3QB 8NXS76B3QB
| URI | m2://inv/8NXS76B3QB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#29AB (statement). In 8MDK189ZMB/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
8NXSBQEV8K 8NXSBQEV8K
| URI | m2://inv/8NXSBQEV8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#63C6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8NY4013QC4 8NY4013QC4
| URI | m2://inv/8NY4013QC4 |
|---|---|
| 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.12108#R04X (statement). In JQH3FHYPW3/e1, theorem 3.16
History
- 2026-10-28: add by m2/v0.4.2
8NY60G81JJ 8NY60G81JJ
| URI | m2://inv/8NY60G81JJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#X1N9 (problem). In RK0ZMDJ23T/e1, problem 4.4.1
History
- 2026-10-31: add by m2/v0.5.6
8NYBC0ZV5Q 8NYBC0ZV5Q
| URI | m2://inv/8NYBC0ZV5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv hep-th/9409063#50BJ (statement). In 145ETYF9CG/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Directional contour deformation 8NYC146V7Q
| URI | m2://inv/8NYC146V7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23472#VRBS, Directional contour deformation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 8NYCQ71QKW
| URI | m2://inv/8NYCQ71QKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from silence#7Q1E, Examples (example)
History
- 2026-11-02: add by m2/dev
Clean nonsmooth composite oracle 8NYJKFRN2C
| URI | m2://inv/8NYJKFRN2C |
|---|---|
| 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.18555#8ZGN, Clean nonsmooth composite oracle (statement). In JPR62EY6A5/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
NSA encryption systems 8NYNNF5QN3
| URI | m2://inv/8NYNNF5QN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NSA encryption systems, NSA encryption systems (definition). Also Wikidata Q6955250
History
- 2026-11-02: add by m2/dev
Abram Besicovitch 8NYPJ0SA8P
| URI | m2://inv/8NYPJ0SA8P |
|---|---|
| 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 Q331089, Abram Besicovitch (unknown). Also ProofWiki Mathematician:Abram_Samoilovitch_Besicovitch
- wikipedia: Wikipedia Abram Besicovitch, Abram Besicovitch (topic). Also Wikidata Q331089
History
- 2026-10-26: add by m2/dev
Generalizations 8NYPV27Y8K
| URI | m2://inv/8NYPV27Y8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#L2SD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
8NZ07Y922R 8NZ07Y922R
| URI | m2://inv/8NZ07Y922R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#EX9U (statement). In RZWJ0AT8W5/e1, corollary A.3
History
- 2026-10-31: add by m2/v0.5.6
Parity of the inverse 8NZ6CNGC5J
| URI | m2://inv/8NZ6CNGC5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#RHNU, Parity of the inverse (statement). In 9YAE8FNQST/e1, proposition 31.9
History
- 2026-10-30: add by m2/v0.4.12
Limit superior 8NZCDH4RNT
| URI | m2://inv/8NZCDH4RNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#424K, Limit superior (definition)
History
- 2026-11-02: add by m2/dev
Plane stress 8NZEGP6ERC
| URI | m2://inv/8NZEGP6ERC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane stress, Plane stress (definition). Also Wikidata Q7201019
History
- 2026-11-02: add by m2/dev
8NZG4BTVJ4 8NZG4BTVJ4
| URI | m2://inv/8NZG4BTVJ4 |
|---|---|
| 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.20028#I7LL (statement)
History
- 2026-11-02: add by m2/v0.6.18
denominator 8NZGGZFFAB
| URI | m2://inv/8NZGGZFFAB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3044574, denominator (concept). Also EoM Denominator, MathWorld Denominator
History
- 2026-10-26: add by m2/dev
Wassily Hoeffding 8NZHDXME2S
| URI | m2://inv/8NZHDXME2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#STN3, Wassily Hoeffding (topic)
History
- 2026-11-02: add by m2/dev
8NZKEJCHGH 8NZKEJCHGH
| URI | m2://inv/8NZKEJCHGH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:contgermsnothausdorff (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Nucleic acid structure prediction 8NZMNRRYWX
| URI | m2://inv/8NZMNRRYWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleic acid structure prediction, Nucleic acid structure prediction (definition). Also Wikidata Q7068225
History
- 2026-11-02: add by m2/dev
8NZQFJTNTP 8NZQFJTNTP
| URI | m2://inv/8NZQFJTNTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#3S08 (statement). In CB89152EQW/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
8NZWG48DQF 8NZWG48DQF
| URI | m2://inv/8NZWG48DQF |
|---|---|
| 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.36186#O4GT (statement). In 30PQN6JP7W/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
8NZWK9GC5S 8NZWK9GC5S
| URI | m2://inv/8NZWK9GC5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#1NEC (statement). In GQQZNRYK15/e1, theorem 3.17
History
- 2026-10-31: add by m2/v0.5.6