Inventory rows F1
The cards of the rows of the inventory whose ids start with F1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
F1054FQ9P0 F1054FQ9P0
| URI | m2://inv/F1054FQ9P0 |
|---|---|
| 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.10527#77OR (statement). In 9AXPPWBA9R/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Algorithm F10FK1N17G
| URI | m2://inv/F10FK1N17G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard code#FNOV, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
General solution F10G5VZZDM
| URI | m2://inv/F10G5VZZDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12434#SZRC, General solution (statement). In YCRZC9SDCE/e1, lemma 10.3
History
- 2026-10-28: add by m2/v0.4.2
Hilbert--Schmidt inequality F10JG09BAX
| URI | m2://inv/F10JG09BAX |
|---|---|
| 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.20775#1APL, Hilbert--Schmidt inequality (statement). In XG27B81T0G/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Aleksandr Nekrasov F10MVEBVXW
| URI | m2://inv/F10MVEBVXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandr Nekrasov, Aleksandr Nekrasov (topic). Also Wikidata Q4316559
History
- 2026-11-02: add by m2/dev
F10NPNKJBV F10NPNKJBV
| URI | m2://inv/F10NPNKJBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/equivalence-relations.tex#def:equivalenceclass (definition). In PKGMM3P5QY, defn, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
arborescence F10P5CYGAM
| URI | m2://inv/F10P5CYGAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1520825, arborescence (unknown). Also MathWorld Arborescence
- wikipedia: Wikipedia Arborescence (graph theory), Arborescence (definition). Also Wikidata Q1520825
History
- 2026-10-26: add by m2/dev
F10WFKWZ4M F10WFKWZ4M
| URI | m2://inv/F10WFKWZ4M |
|---|---|
| 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 1806.05002#79Z8 (statement). In JBAQ7DTW7B/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
F10WTR2Y1M F10WTR2Y1M
| URI | m2://inv/F10WTR2Y1M |
|---|---|
| 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.21140#75KX (statement)
History
- 2026-11-02: add by m2/v0.6.18
F10Y4NECMN F10Y4NECMN
| URI | m2://inv/F10Y4NECMN |
|---|---|
| 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.20488#WM9T (statement)
History
- 2026-11-02: add by m2/v0.6.18
F10YH83PD2 F10YH83PD2
| URI | m2://inv/F10YH83PD2 |
|---|---|
| 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 2601.22681#1AZF (statement). In 68VEQQX68G/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.0
Connectivity contracts F10ZCYQTH0
| URI | m2://inv/F10ZCYQTH0 |
|---|---|
| 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.19912#1AWP, Connectivity contracts (definition)
History
- 2026-11-02: add by m2/v0.6.18
Formal statement F10ZNRZGZH
| URI | m2://inv/F10ZNRZGZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversality theorem#DAV1, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
F112G2YWKT F112G2YWKT
| URI | m2://inv/F112G2YWKT |
|---|---|
| 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.18377#KV72 (statement). In KYJJMC50SJ/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
F118WAX0ZT F118WAX0ZT
| URI | m2://inv/F118WAX0ZT |
|---|---|
| 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#QGTB (statement). In P7KT88N75Q/e1, lemma 1.7
History
- 2026-10-29: add by m2/v0.4.10
Katz--Long--Moody representation F11CMCGYSC
| URI | m2://inv/F11CMCGYSC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#NCCF, Katz--Long--Moody representation (definition)
History
- 2026-11-01: add by m2/v0.6.15
David A. Cox F11M8XGJGA
| URI | m2://inv/F11M8XGJGA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David A. Cox, David A. Cox (topic). Also Wikidata Q14460179
History
- 2026-11-02: add by m2/dev
N? F11MV60WR1
| URI | m2://inv/F11MV60WR1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular number#FDFB, N? (unknown)
History
- 2026-11-02: add by m2/dev
F11W5ZSHWX F11W5ZSHWX
| URI | m2://inv/F11W5ZSHWX |
|---|---|
| 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#B52V (statement). In TG15VZ0P8R/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
F11ZD3DGT4 F11ZD3DGT4
| URI | m2://inv/F11ZD3DGT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#BNK1 (statement). In CGA36VE1C5/e1, fact 3.8.4
History
- 2026-10-27: add by m2/v0.3.6
Entropic elasticity of an ideal chain F120K59QRQ
| URI | m2://inv/F120K59QRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal chain#E0J6, Entropic elasticity of an ideal chain (unknown)
History
- 2026-11-02: add by m2/dev
Formulation F12246NYAG
| URI | m2://inv/F12246NYAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypsometric equation#ZR2E, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Supported relative completion and Chern character F129RQSB1C
| URI | m2://inv/F129RQSB1C |
|---|---|
| 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.03520#4ALB, Supported relative completion and Chern character (statement). In CSRZ9CWK69/e1, theorem 8.15
History
- 2026-10-29: add by m2/v0.4.12
Nataša Pavlović F12JWZ399J
| URI | m2://inv/F12JWZ399J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nataša Pavlović, Nataša Pavlović (topic). Also Wikidata Q21822494
History
- 2026-11-02: add by m2/dev
Transect F12S8K91N3
| URI | m2://inv/F12S8K91N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transect, Transect (definition). Also Wikidata Q1447141
History
- 2026-11-02: add by m2/dev
Variations F12WYRFK4K
| URI | m2://inv/F12WYRFK4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphenocorona#WE8I, Variations (statement)
History
- 2026-11-02: add by m2/dev
Kan criterion for the existence of a left adjoint F13G722RZ0
| URI | m2://inv/F13G722RZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal criteria for adjoint functors#DMIO, Kan criterion for the existence of a left adjoint (statement)
History
- 2026-11-02: add by m2/dev
F13GVT1DH8 F13GVT1DH8
| URI | m2://inv/F13GVT1DH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24465#6GDG (statement)
History
- 2026-11-01: add by m2/v0.6.15
F13KR102BY F13KR102BY
| URI | m2://inv/F13KR102BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36306#7D4K (statement). In NHQEAVMJE1/e1, corollary 10
History
- 2026-10-30: add by m2/v0.4.12
John Stuart Hunter F13MM40973
| URI | m2://inv/F13MM40973 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Stuart Hunter, John Stuart Hunter (topic). Also Wikidata Q55991106
History
- 2026-11-02: add by m2/dev
F13NAV975M F13NAV975M
| URI | m2://inv/F13NAV975M |
|---|---|
| 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.36181#PAVX (statement). In 1KSE33PVS6/e1, proposition 83
History
- 2026-10-30: add by m2/v0.4.12
Credible interval F13YEH4FNE
| URI | m2://inv/F13YEH4FNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Credible interval, Credible interval (definition). Also Wikidata Q4439221
History
- 2026-11-02: add by m2/dev
Applications F13YWNXS6F
| URI | m2://inv/F13YWNXS6F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of large numbers#4FDM, Applications (example)
History
- 2026-11-02: add by m2/dev
F13Z7PMC5S F13Z7PMC5S
| URI | m2://inv/F13Z7PMC5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21915#96R3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations F147RAP2CG
| URI | m2://inv/F147RAP2CG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyform#QFOW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Proposition F148R2RB5R
| URI | m2://inv/F148R2RB5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal matrix#GDHN, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Alfred Foster F149PX8TKN
| URI | m2://inv/F149PX8TKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Foster (mathematician), Alfred Foster (topic). Also Wikidata Q22696509
History
- 2026-11-02: add by m2/dev
F14HN3KTEX F14HN3KTEX
| URI | m2://inv/F14HN3KTEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13556#XUTM (statement). In 5ZB8N3YY72/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
F14MCN89JT F14MCN89JT
| URI | m2://inv/F14MCN89JT |
|---|---|
| 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 2507.17002#PI5G (statement). In 2EEBP88T16/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
F14N45SFXT F14N45SFXT
| URI | m2://inv/F14N45SFXT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#NIHM (statement). In BDN507RN7J/e1, proposition 3.7.5
History
- 2026-10-30: add by m2/v0.4.12
Properties F14NVE4ZS5
| URI | m2://inv/F14NVE4ZS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta skeleton#HEAC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Mikhail Atallah F14SPE6PRJ
| URI | m2://inv/F14SPE6PRJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0ZR0, Mikhail Atallah (unknown)
History
- 2026-11-02: add by m2/dev
Basic spectral stability F14WF0QDWA
| URI | m2://inv/F14WF0QDWA |
|---|---|
| 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#74MC, Basic spectral stability (statement). In 4HJK1986EJ/e1, proposition C.3
History
- 2026-10-29: add by m2/v0.4.10
F14XBYRADK F14XBYRADK
| URI | m2://inv/F14XBYRADK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#OC6O (statement). In H7DMRWBBJN/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
F14YMEQ24B F14YMEQ24B
| URI | m2://inv/F14YMEQ24B |
|---|---|
| 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.21692#Z54B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cardinal number F153HKPNE0
| URI | m2://inv/F153HKPNE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#3KBN, Cardinal number (definition)
History
- 2026-11-02: add by m2/dev
F154D5W3WZ F154D5W3WZ
| URI | m2://inv/F154D5W3WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:zfc (statement). In N54F33XE07, thm, section C.5
History
- 2026-11-01: add by m2/v0.6.13
F154W8M55T F154W8M55T
| URI | m2://inv/F154W8M55T |
|---|---|
| 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.36411#IP01 (statement). In 9QG5CND2RQ/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Weak derivative F159MFDB81
| URI | m2://inv/F159MFDB81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak derivative, Weak derivative (definition). Also Wikidata Q2143116
History
- 2026-11-02: add by m2/dev
Quadruple product F15FC30M0S
| URI | m2://inv/F15FC30M0S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector algebra relations#APYO, Quadruple product (unknown)
History
- 2026-11-02: add by m2/dev
Properties F15NM1PC6K
| URI | m2://inv/F15NM1PC6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pulsatile flow#3XQ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
The theory of emergence of principles: verses 22 to 38 F15QVW1XJ9
| URI | m2://inv/F15QVW1XJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samkhyakarika#S21V, The theory of emergence of principles: verses 22 to 38 (statement)
History
- 2026-11-02: add by m2/dev
F15Z4DQ0GK F15Z4DQ0GK
| URI | m2://inv/F15Z4DQ0GK |
|---|---|
| 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.06466#QNT5 (statement). In 6W451V3N75/e1, proposition 10.2
History
- 2026-10-29: add by m2/v0.4.10
Phoolan Prasad F162MKC2QE
| URI | m2://inv/F162MKC2QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#MNGS, Phoolan Prasad (topic)
History
- 2026-11-02: add by m2/dev
Crit\`ere de Bowditch F1631NPNT4
| URI | m2://inv/F1631NPNT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#2JFQ, Crit\`ere de Bowditch (statement). In AY2MA29921/e1, theorem 04
History
- 2026-10-27: add by m2/v0.3.5
F164J4FAMQ F164J4FAMQ
| URI | m2://inv/F164J4FAMQ |
|---|---|
| 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 2609.30544#7YSA (statement). In CB35ZBBBPT/e1, proposition 4.6
History
- 2026-10-31: add by m2/v0.5.6
F165ERX75G F165ERX75G
| URI | m2://inv/F165ERX75G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.26723#CQ2G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ali Qushji F169XQ6N1Q
| URI | m2://inv/F169XQ6N1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#NG93, Ali Qushji (unknown)
History
- 2026-11-02: add by m2/dev
Dan Freed F16AEYJGHS
| URI | m2://inv/F16AEYJGHS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dan Freed, Dan Freed (topic). Also Wikidata Q1159066
History
- 2026-11-02: add by m2/dev
F16AJ6HJGA F16AJ6HJGA
| URI | m2://inv/F16AJ6HJGA |
|---|---|
| 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.28993#T358 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regression-kriging F16BMD3Z55
| URI | m2://inv/F16BMD3Z55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression-kriging, Regression-kriging (definition). Also Wikidata Q7309532
History
- 2026-11-02: add by m2/dev
red herring F16CPETW8D
| URI | m2://inv/F16CPETW8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#CL8Q, red herring (definition)
History
- 2026-11-02: add by m2/dev
Definition F16CTNBCRC
| URI | m2://inv/F16CTNBCRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berge equilibrium#R1YL, Definition (definition)
History
- 2026-11-02: add by m2/dev
F16J30C6X4 F16J30C6X4
| URI | m2://inv/F16J30C6X4 |
|---|---|
| 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.20077#DNY5 (statement). In W5XRKWDADE/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
F16KCNCJN0 F16KCNCJN0
| URI | m2://inv/F16KCNCJN0 |
|---|---|
| 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.12371#H4PT (statement). In 8TTFQH19QR/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Householder transformation F16V6XZ5CN
| URI | m2://inv/F16V6XZ5CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Householder transformation, Householder transformation (definition). Also Wikidata Q304490
History
- 2026-11-02: add by m2/dev
The construction F17GMA5YPV
| URI | m2://inv/F17GMA5YPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting field#T0ZK, The construction (definition)
History
- 2026-11-02: add by m2/dev
F17K9367JK F17K9367JK
| URI | m2://inv/F17K9367JK |
|---|---|
| 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.25004#DQIJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hertha Ayrton F17WQN9J8Z
| URI | m2://inv/F17WQN9J8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#0XG6, Hertha Ayrton (unknown)
History
- 2026-11-02: add by m2/dev
F17XQ52PG7 F17XQ52PG7
| URI | m2://inv/F17XQ52PG7 |
|---|---|
| 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.26152#Q7D3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Classification F187A93502
| URI | m2://inv/F187A93502 |
|---|---|
| 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.28501#U7QF, Classification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formulation F187DBX3AK
| URI | m2://inv/F187DBX3AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grinberg's theorem#FT05, Formulation (definition)
History
- 2026-11-02: add by m2/dev
F18AZ9C0SM F18AZ9C0SM
| URI | m2://inv/F18AZ9C0SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#KW1T (statement). In XXQAW3ZBDF/e1, lemma 8.3
History
- 2026-10-30: add by m2/v0.4.12
Jürg Peter Buser F18BBGSRWW
| URI | m2://inv/F18BBGSRWW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jürg Peter Buser, Jürg Peter Buser (topic). Also Wikidata Q1464582
History
- 2026-11-02: add by m2/dev
F18DTNCSBK F18DTNCSBK
| URI | m2://inv/F18DTNCSBK |
|---|---|
| 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.14377#RX72 (definition). In WEZPNET90D/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Charles Pisot F18GA04CGR
| URI | m2://inv/F18GA04CGR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Pisot, Charles Pisot (topic). Also Wikidata Q451763
History
- 2026-11-02: add by m2/dev
F18KS4M24M F18KS4M24M
| URI | m2://inv/F18KS4M24M |
|---|---|
| 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 2104.05191#I6LD (statement). In CCNH3FK8YZ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Symmetry F18P5HJ0NG
| URI | m2://inv/F18P5HJ0NG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiliagon#1SVQ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
symplectic manifold F18Z3N9FMD
| URI | m2://inv/F18Z3N9FMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Symplectic manifold CAN490EPRT |
Mentions
- wikidata: Wikidata Q1064500, symplectic manifold (unknown). Also EoM Symplectic_manifold, MathWorld SymplecticManifold, nLab symplectic manifold
- wikipedia: Wikipedia Symplectic manifold, Symplectic manifold (definition). Also Wikidata Q1064500
History
- 2026-10-26: add by m2/dev
F1964MKAPF F1964MKAPF
| URI | m2://inv/F1964MKAPF |
|---|---|
| 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 dg-ga/9612010#24S9 (statement). In CM39SWC4A6/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Definition F19DQYA9Q9
| URI | m2://inv/F19DQYA9Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shephard's lemma#AOYH, Definition (definition)
History
- 2026-11-02: add by m2/dev
F19HHMSVHP F19HHMSVHP
| URI | m2://inv/F19HHMSVHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#lemordsegments (statement). In PKGMM3P5QY, lem, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Lemma 1 (Decomposition Lemma) F19JSRAGSV
| URI | m2://inv/F19JSRAGSV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#2WGB, Lemma 1 (Decomposition Lemma) (statement)
History
- 2026-11-02: add by m2/dev
Perturbed Robin canonical-product estimate F19NJKFWXD
| URI | m2://inv/F19NJKFWXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14323#SIQM, Perturbed Robin canonical-product estimate (statement). In VAWEP32BEX/e1, lemma 10.1
History
- 2026-10-28: add by m2/v0.4.2
International Journal of Geometry F19PA4W5Y6
| URI | m2://inv/F19PA4W5Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Journal of Geometry, International Journal of Geometry (definition). Also Wikidata Q90823891
History
- 2026-11-02: add by m2/dev
K. S. Narain F19SZKGZMV
| URI | m2://inv/F19SZKGZMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#HG6M, K. S. Narain (unknown)
History
- 2026-11-02: add by m2/dev
Benedict Zuckermann F19WZJSTNA
| URI | m2://inv/F19WZJSTNA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#K184, Benedict Zuckermann (unknown)
History
- 2026-11-02: add by m2/dev
Census in the Dutch East Indies F1A1JR5P63
| URI | m2://inv/F1A1JR5P63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census in the Dutch East Indies, Census in the Dutch East Indies (definition). Also Wikidata Q115945689
History
- 2026-11-02: add by m2/dev
F1A2PWA9XA F1A2PWA9XA
| URI | m2://inv/F1A2PWA9XA |
|---|---|
| Kind | definition |
| 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.18101#GNEK (definition). In XXN6KKXPYF/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Li, C. C. F1A94NAMRE
| URI | m2://inv/F1A94NAMRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7W2O, Li, C. C. (unknown)
History
- 2026-11-02: add by m2/dev
color confinement F1AB4DTXT6
| URI | m2://inv/F1AB4DTXT6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q505724, color confinement (unknown). Also nLab confinement
History
- 2026-10-26: add by m2/dev
F1AB4KT2GF F1AB4KT2GF
| URI | m2://inv/F1AB4KT2GF |
|---|---|
| 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 2609.35180#1AZH (statement). In ZA34B1CR9M/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Mahabaduge and Simkin F1ACSN331E
| URI | m2://inv/F1ACSN331E |
|---|---|
| Kind | conjecture |
| 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.29943#5XD4, Mahabaduge and Simkin (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Dutch book F1AH48BEQS
| URI | m2://inv/F1AH48BEQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3KU0, Dutch book (definition)
- wikipedia: Wikipedia List of probability topics#P9DM, Dutch book (definition)
History
- 2026-11-02: add by m2/dev
F1AK0K477A F1AK0K477A
| URI | m2://inv/F1AK0K477A |
|---|---|
| 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.03754#US5P (statement). In J1Z9P0H13V/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
double vertical line F1AMTD3YGJ
| URI | m2://inv/F1AMTD3YGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11410467, double vertical line (unknown). Also MathWorld DoubleBar
History
- 2026-10-26: add by m2/dev
F1APNZDWFS F1APNZDWFS
| URI | m2://inv/F1APNZDWFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30746#7A3Q (statement). In WQEK6H3DZJ/e1, lemma
History
- 2026-10-31: add by m2/v0.5.6
F1AR0GS8G9 F1AR0GS8G9
| URI | m2://inv/F1AR0GS8G9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#4DRO (statement). In YQT2APQPWD/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
F1AR7DK5RX F1AR7DK5RX
| URI | m2://inv/F1AR7DK5RX |
|---|---|
| Kind | statement |
| 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#FMK0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
F1ARWCVKZ7 F1ARWCVKZ7
| URI | m2://inv/F1ARWCVKZ7 |
|---|---|
| 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.22081#OIJY (statement). In 7JATJ4VG9G/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
2014 Myanmar census F1B8KF561V
| URI | m2://inv/F1B8KF561V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2014 Myanmar census, 2014 Myanmar census (definition). Also Wikidata Q16157185
History
- 2026-11-02: add by m2/dev
F1B9A4XA4X F1B9A4XA4X
| URI | m2://inv/F1B9A4XA4X |
|---|---|
| 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.26262#IOZY (statement)
History
- 2026-11-01: add by m2/v0.6.15
descriptive set theory F1BE21QTFH
| URI | m2://inv/F1BE21QTFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03E15 |
| Sources | 2 |
| Outcome | open |
| Node | Descriptive set theory TF8HMVXKYC |
Mentions
- wikidata: Wikidata Q225869, descriptive set theory (topic). Also MathWorld DescriptiveSetTheory, nLab descriptive set theory, ProofWiki Definition:Descriptive_Set_Theory
- wikipedia: Wikipedia Descriptive set theory, Descriptive set theory (topic). Also Wikidata Q225869
History
- 2026-10-26: add by m2/dev
Third Creek Township, Gasconade County, Missouri F1BE3HA12D
| URI | m2://inv/F1BE3HA12D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MA4N, Third Creek Township, Gasconade County, Missouri (unknown)
History
- 2026-11-02: add by m2/dev
Minkowski's second theorem F1BGXHKSQ0
| URI | m2://inv/F1BGXHKSQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#K7YS, Minkowski's second theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition F1BHJ3Q6FZ
| URI | m2://inv/F1BHJ3Q6FZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy associative algebra#ERUQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Human subject research F1BKXD6FCX
| URI | m2://inv/F1BKXD6FCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#XX31, Human subject research (definition)
- wikipedia: Wikipedia List of statistics articles#0I1H, Human subject research (definition)
History
- 2026-11-02: add by m2/dev
F1BPMGAD8B F1BPMGAD8B
| URI | m2://inv/F1BPMGAD8B |
|---|---|
| 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 2512.07340#41NL (statement). In WXE3PVAZBT/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
F1BTYE0YQS F1BTYE0YQS
| URI | m2://inv/F1BTYE0YQS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#RF8J (definition)
History
- 2026-11-01: add by m2/v0.6.15
Scarlett Bellamy F1BXCZRS8X
| URI | m2://inv/F1BXCZRS8X |
|---|---|
| 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#DHZN, Scarlett Bellamy (unknown)
History
- 2026-11-02: add by m2/dev
F1C4JAKQXX F1C4JAKQXX
| URI | m2://inv/F1C4JAKQXX |
|---|---|
| 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.04772#5UHA (statement). In WW08CYN4D4/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Definitions F1CCD2J7T0
| URI | m2://inv/F1CCD2J7T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection non-emptiness problem#K7YF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
F1CE5ERE04 F1CE5ERE04
| URI | m2://inv/F1CE5ERE04 |
|---|---|
| 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#KNGC (statement). In CFJH0Q39FZ/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.2
F1CPHNHQNP F1CPHNHQNP
| URI | m2://inv/F1CPHNHQNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#KS5O (statement). In 9S7HGSEX6Q/e1, corollary 7.6
History
- 2026-10-28: add by m2/v0.4.2
"uniform cost model" F1CY2ZJ5JS
| URI | m2://inv/F1CY2ZJ5JS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of algorithms#SO9Y, "uniform cost model" (unknown)
History
- 2026-11-02: add by m2/dev
F1DC5HZBFR F1DC5HZBFR
| URI | m2://inv/F1DC5HZBFR |
|---|---|
| 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 2311.16252#M68H (statement). In 8AHN9GSRMR/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
F1DN08900R F1DN08900R
| URI | m2://inv/F1DN08900R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#8OZ1 (definition). In JCTD510XJ0/e1, definition 1.7
History
- 2026-10-30: add by m2/v0.4.12
F1DSKC75PV F1DSKC75PV
| URI | m2://inv/F1DSKC75PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/abstract-logics.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 47.3
History
- 2026-11-01: add by m2/v0.6.13
F1E076PHS0 F1E076PHS0
| URI | m2://inv/F1E076PHS0 |
|---|---|
| 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.35466#RS7M (statement). In MVR35ZJPCC/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
F1E2D70JHD F1E2D70JHD
| URI | m2://inv/F1E2D70JHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.13877#N67C (statement). In NBMA6DBKJG/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
F1E4K5D92E F1E4K5D92E
| URI | m2://inv/F1E4K5D92E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-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.18929#BZ2D (definition). In ZRJ2DZT6P1/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
F1E622ZJQS F1E622ZJQS
| URI | m2://inv/F1E622ZJQS |
|---|---|
| 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.15982#KGR1 (statement). In KB50SHR229/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
Length of a Weyl group element F1EMBAF80B
| URI | m2://inv/F1EMBAF80B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length of a Weyl group element, Length of a Weyl group element (definition). Also Wikidata Q16937449
History
- 2026-11-02: add by m2/dev
Lucky labeling F1EMV8XK9J
| URI | m2://inv/F1EMV8XK9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph labeling#26IA, Lucky labeling (unknown)
History
- 2026-11-02: add by m2/dev
Prime-power static local matrix elements F1EN3NMT2E
| URI | m2://inv/F1EN3NMT2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#0KEE, Prime-power static local matrix elements (statement). In 1QSV7EQE3T/e1, lemma S71
History
- 2026-10-28: add by m2/v0.4.2
Extensions F1ET9MA9BJ
| URI | m2://inv/F1ET9MA9BJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holditch's theorem#AT6C, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Method F1EVWMXQN0
| URI | m2://inv/F1EVWMXQN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dixon's factorization method#VUAT, Method (definition)
History
- 2026-11-02: add by m2/dev
F1EXE5SFZ6 F1EXE5SFZ6
| URI | m2://inv/F1EXE5SFZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#CWFT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tarski's high school algebra problem F1EY3JVQD7
| URI | m2://inv/F1EY3JVQD7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#UTTC, Tarski's high school algebra problem (problem)
History
- 2026-11-02: add by m2/dev
Stefan Bergman F1F2YH8SFC
| URI | m2://inv/F1F2YH8SFC |
|---|---|
| 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#SHNK, Stefan Bergman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YKIV, Stefan Bergman (topic)
History
- 2026-11-02: add by m2/dev
F1F5GWQJ3T F1F5GWQJ3T
| URI | m2://inv/F1F5GWQJ3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#P3DJ (statement). In DYBM6Q2K6R/e1, proposition B.1
History
- 2026-10-29: add by m2/v0.4.10
Special conformal transformation F1F5ZCXKJ0
| URI | m2://inv/F1F5ZCXKJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special conformal transformation, Special conformal transformation (definition). Also Wikidata Q7574802
History
- 2026-11-02: add by m2/dev
F1FC9FQY41 F1FC9FQY41
| URI | m2://inv/F1FC9FQY41 |
|---|---|
| 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 2610.21181#LH4D (statement). In 3D0GJXDY11/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.4.2
F1FGF5G5H7 F1FGF5G5H7
| URI | m2://inv/F1FGF5G5H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#KUF9 (statement). In DC01XRB5YE/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.3
Altitude (triangle) F1FM0VBTKX
| URI | m2://inv/F1FM0VBTKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#5EI0, Altitude (triangle) (definition)
History
- 2026-11-02: add by m2/dev
F1FM2TWBJ8 F1FM2TWBJ8
| URI | m2://inv/F1FM2TWBJ8 |
|---|---|
| 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.18740#DI2F (statement). In 82815Z5JR7/e1, corollary 7
History
- 2026-10-28: add by m2/v0.4.2
Peter Bergmann F1FMZ3G1M2
| URI | m2://inv/F1FMZ3G1M2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MQZ7, Peter Bergmann (unknown)
History
- 2026-11-02: add by m2/dev
F1FZ2G1EX5 F1FZ2G1EX5
| URI | m2://inv/F1FZ2G1EX5 |
|---|---|
| Kind | example |
| 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#IJ02 (example). In E4DJTPKHAX/e1, example 4.5
History
- 2026-10-27: add by m2/v0.4.2
F1G1AHKBG7 F1G1AHKBG7
| URI | m2://inv/F1G1AHKBG7 |
|---|---|
| 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.25004#TG3H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fundamental theorem of line integrals F1GG99GZ3F
| URI | m2://inv/F1GG99GZ3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean plane#P8LG, Fundamental theorem of line integrals (statement)
History
- 2026-11-02: add by m2/dev
Poincar\'e duality F1GHX943F2
| URI | m2://inv/F1GHX943F2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#7QFQ, Poincar\'e duality (statement). In HCTYW6VH87/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Charles Weibel F1GK2BYHVS
| URI | m2://inv/F1GK2BYHVS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JITL, Charles Weibel (topic)
History
- 2026-11-02: add by m2/dev
Élie Cartan F1GS1VWNS9
| URI | m2://inv/F1GS1VWNS9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#TXE8, Élie Cartan (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#QWPB, Élie Cartan (topic)
History
- 2026-11-02: add by m2/dev
F1GTD1ZM2M F1GTD1ZM2M
| URI | m2://inv/F1GTD1ZM2M |
|---|---|
| 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.13580#360S (problem). In KEQ57N9N7Z/e1, problem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Geoff Smith F1GTM8AK9W
| URI | m2://inv/F1GTM8AK9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoff Smith (mathematician), Geoff Smith (topic). Also Wikidata Q5534325
History
- 2026-11-02: add by m2/dev
F1GVSG63HG F1GVSG63HG
| URI | m2://inv/F1GVSG63HG |
|---|---|
| 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.11829#EIZJ (statement). In 76DK6SPN88/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
F1H15J3MZ8 F1H15J3MZ8
| URI | m2://inv/F1H15J3MZ8 |
|---|---|
| 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 2204.01073#NHY5 (definition). In W4TYN4PGE8/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Roberto Conti F1H7FWPW2G
| URI | m2://inv/F1H7FWPW2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roberto Conti (mathematician), Roberto Conti (topic). Also Wikidata Q3938714
History
- 2026-11-02: add by m2/dev
Gambling mathematics F1H7WAGJNP
| URI | m2://inv/F1H7WAGJNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gambling mathematics, Gambling mathematics (definition). Also Wikidata Q3635144
History
- 2026-11-02: add by m2/dev
F1HFZE5864 F1HFZE5864
| URI | m2://inv/F1HFZE5864 |
|---|---|
| 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.33771#SULN (statement). In ZXQA7QH0H0/e1, theorem 3.29
History
- 2026-10-30: add by m2/v0.4.12
Definition F1HQXMAV6X
| URI | m2://inv/F1HQXMAV6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor#LF92, Definition (definition)
History
- 2026-11-02: add by m2/dev
commuting graph F1HSYS7D5A
| URI | m2://inv/F1HSYS7D5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7OMV, commuting graph (definition)
History
- 2026-11-02: add by m2/dev
Alfred Tarski F1HT646VAS
| URI | m2://inv/F1HT646VAS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#EF5D, Alfred Tarski (topic)
History
- 2026-11-02: add by m2/dev
Properties F1HZ5SFVAF
| URI | m2://inv/F1HZ5SFVAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crown graph#D3CF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fodor's lemma for trees F1JAH9ZZ16
| URI | m2://inv/F1JAH9ZZ16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fodor's lemma#MV7V, Fodor's lemma for trees (statement)
History
- 2026-11-02: add by m2/dev
F1JCNBVE85 F1JCNBVE85
| URI | m2://inv/F1JCNBVE85 |
|---|---|
| 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.21322#WP5V (statement). In CNDA8DBEGD/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
Luciano Floridi F1JMVRM8SN
| URI | m2://inv/F1JMVRM8SN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WX0Y, Luciano Floridi (topic)
History
- 2026-11-02: add by m2/dev
F1K4TX8GH1 F1K4TX8GH1
| URI | m2://inv/F1K4TX8GH1 |
|---|---|
| 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 2610.02901#ITYN (statement). In NSP90G5XCQ/e1, lemma 2.24
History
- 2026-10-29: add by m2/v0.4.12
F1KFWFZ2BC F1KFWFZ2BC
| URI | m2://inv/F1KFWFZ2BC |
|---|---|
| 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 2404.06445#RGAW (statement). In 12JKZ8EN52/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.3.5
simplex F1KRAHPTCY
| URI | m2://inv/F1KRAHPTCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simplex YX1DJK2QAG |
Mentions
- wikidata: Wikidata Q331350, simplex (unknown). Also MathWorld Simplex
- wikipedia: Wikipedia Simplex, Simplex (definition). Also Wikidata Q331350
History
- 2026-10-26: add by m2/dev
contractible space F1KTJ2VXF7
| URI | m2://inv/F1KTJ2VXF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Contractible space R5WP8Z69Q8 |
Mentions
- wikidata: Wikidata Q230689, contractible space (definition). Also EoM Contractible_space, MathWorld Contractibility, MathWorld Contractible, nLab contractible space, ProofWiki Definition:Contractible_Space
- wikipedia: Wikipedia Contractible space, Contractible space (definition). Also Wikidata Q230689
History
- 2026-10-26: add by m2/dev
Definition F1KVVRMBNH
| URI | m2://inv/F1KVVRMBNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wide Mouth Frog protocol#379C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Suspicious coin F1KZG98V8P
| URI | m2://inv/F1KZG98V8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludic fallacy#DVYX, Suspicious coin (unknown)
History
- 2026-11-02: add by m2/dev
Ronald C. Read F1M4YG1XFA
| URI | m2://inv/F1M4YG1XFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald C. Read, Ronald C. Read (topic). Also Wikidata Q7364715
History
- 2026-11-02: add by m2/dev
Euler–Lagrange equations and Hamilton's principle F1M6FCF8AE
| URI | m2://inv/F1M6FCF8AE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian mechanics#2XN6, Euler–Lagrange equations and Hamilton's principle (statement)
History
- 2026-11-02: add by m2/dev
Finite-to-infinite lifting of critical-mode stabilization F1MBJP9ADW
| URI | m2://inv/F1MBJP9ADW |
|---|---|
| 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.34938#IT0V, Finite-to-infinite lifting of critical-mode stabilization (statement). In N57GZ5N6E1/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
F1MDF7WBVB F1MDF7WBVB
| URI | m2://inv/F1MDF7WBVB |
|---|---|
| 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.11679#PECQ (statement). In 30PZ8ZVR3A/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.3
F1MDWMWXTK F1MDWMWXTK
| URI | m2://inv/F1MDWMWXTK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-12 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Uniform Concentration along the Null Trajectory F1MF9JHNWM
| URI | m2://inv/F1MF9JHNWM |
|---|---|
| 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.16705#O5AH, Uniform Concentration along the Null Trajectory (statement). In B48YQVGAF5/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
F1MQY8MVMF F1MQY8MVMF
| URI | m2://inv/F1MQY8MVMF |
|---|---|
| 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 1012.0963#PJH2 (statement). In TSA766V8F8/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Applications F1MTDADW3Y
| URI | m2://inv/F1MTDADW3Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic assignment problem#GNIE, Applications (example)
History
- 2026-11-02: add by m2/dev
Paul Sally F1MVAARHKP
| URI | m2://inv/F1MVAARHKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q4UQ, Paul Sally (topic)
History
- 2026-11-02: add by m2/dev
possibility F1MYH9GZ8Y
| URI | m2://inv/F1MYH9GZ8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#XAAL, possibility (definition)
History
- 2026-11-02: add by m2/dev
Absolute continuity and metric speed F1MZPHNS2K
| URI | m2://inv/F1MZPHNS2K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#XSSU, Absolute continuity and metric speed (definition). In YXZX6Z8S6A/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
deck transformation F1N66B1S1W
| URI | m2://inv/F1N66B1S1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#H5IA, deck transformation (definition)
History
- 2026-11-02: add by m2/dev
F1N73N5B7H F1N73N5B7H
| URI | m2://inv/F1N73N5B7H |
|---|---|
| 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.36922#WP03 (statement). In BMHWE5QTTR/e1, proposition 1.6
History
- 2026-10-30: add by m2/v0.4.12
F1NEME9VSH F1NEME9VSH
| URI | m2://inv/F1NEME9VSH |
|---|---|
| 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.36411#ZEQ9 (statement). In 9QG5CND2RQ/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Third River Township, Itasca County, Minnesota F1NJKHY3M3
| URI | m2://inv/F1NJKHY3M3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#I5SD, Third River Township, Itasca County, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
F1NT29J6G3 F1NT29J6G3
| URI | m2://inv/F1NT29J6G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#GEDN (statement). In GAG532VMPF/e1, lemma 3.3.4
History
- 2026-10-27: add by m2/v0.3.5
Radó's theorem F1P2KCHGZD
| URI | m2://inv/F1P2KCHGZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TZSD, Radó's theorem (statement)
History
- 2026-11-02: add by m2/dev
F1P4FPQSCW F1P4FPQSCW
| URI | m2://inv/F1P4FPQSCW |
|---|---|
| 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.30113#O5IQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proposition 45; Problem 31 F1P50CX8TB
| URI | m2://inv/F1P50CX8TB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's theorem of revolving orbits#IZPC, Proposition 45; Problem 31 (statement)
History
- 2026-11-02: add by m2/dev
F1P9C3C5CV F1P9C3C5CV
| URI | m2://inv/F1P9C3C5CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#0MK4 (statement). In TWPE10CZ1S/e1, corollary 5.10
History
- 2026-10-27: add by m2/v0.3.5
Radius of convergence F1P9KA1X0V
| URI | m2://inv/F1P9KA1X0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#WZW2, Radius of convergence (definition)
- wikipedia: Wikipedia List of complex analysis topics#7OIN, Radius of convergence (definition)
History
- 2026-11-02: add by m2/dev
F1PC6G2M84 F1PC6G2M84
| URI | m2://inv/F1PC6G2M84 |
|---|---|
| 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#QGLM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affirmative conclusion from a negative premise F1PD1FZXYX
| URI | m2://inv/F1PD1FZXYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#NTYF, Affirmative conclusion from a negative premise (definition)
History
- 2026-11-02: add by m2/dev
Statements F1PDDKJVA6
| URI | m2://inv/F1PDDKJVA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James's theorem#TLOW, Statements (statement)
History
- 2026-11-02: add by m2/dev
Strangulated graph F1PJNAN74K
| URI | m2://inv/F1PJNAN74K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strangulated graph, Strangulated graph (definition). Also Wikidata Q7621644
History
- 2026-11-02: add by m2/dev
derivative, logarithm F1PKN1P19N
| URI | m2://inv/F1PKN1P19N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.3/derivative-logarithm, derivative, logarithm (concept). In 907G4C4EJ1, index, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
F1PW5CN2R4 F1PW5CN2R4
| URI | m2://inv/F1PW5CN2R4 |
|---|---|
| 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 2607.26169#8L4R (statement). In Q46QV3B0NF/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Least absolute deviations F1PYBP4ZTE
| URI | m2://inv/F1PYBP4ZTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3L7S, Least absolute deviations (definition)
History
- 2026-11-02: add by m2/dev
Bartholomew Lloyd F1Q4N6SWK7
| URI | m2://inv/F1Q4N6SWK7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartholomew Lloyd, Bartholomew Lloyd (topic). Also Wikidata Q16857893
History
- 2026-11-02: add by m2/dev
F1Q65BMB8K F1Q65BMB8K
| URI | m2://inv/F1Q65BMB8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21892#B472 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fold-and-cut theorem F1Q9BEYMGK
| URI | m2://inv/F1Q9BEYMGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fold-and-cut theorem, Fold-and-cut theorem (statement). Also Wikidata Q5464250
History
- 2026-11-02: add by m2/dev
F1QAYX794F F1QAYX794F
| URI | m2://inv/F1QAYX794F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-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.23464#SFTG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eduard Heis F1QCHGVDZG
| URI | m2://inv/F1QCHGVDZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduard Heis, Eduard Heis (topic). Also Wikidata Q74276
History
- 2026-11-02: add by m2/dev
F1QD6VTFA6 F1QD6VTFA6
| URI | m2://inv/F1QD6VTFA6 |
|---|---|
| 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.35204#1ZGV (statement). In 8ZZNDYK76B/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
Ulrich Kulisch F1QFAG3CYG
| URI | m2://inv/F1QFAG3CYG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YJ3Q, Ulrich Kulisch (topic)
History
- 2026-11-02: add by m2/dev
F1QGC23K2B F1QGC23K2B
| URI | m2://inv/F1QGC23K2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:ImplicationAsDisjuction (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Removal of the cutoff F1QK5SBMFM
| URI | m2://inv/F1QK5SBMFM |
|---|---|
| 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#4MG8, Removal of the cutoff (statement). In KVYG6R7CGJ/e1, lemma 3.23
History
- 2026-10-31: add by m2/v0.5.6
F1QTBN7JWM F1QTBN7JWM
| URI | m2://inv/F1QTBN7JWM |
|---|---|
| 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#38P9 (definition). In 9GMTVSTAVN/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Infinite binary tree F1QW8EMV5A
| URI | m2://inv/F1QW8EMV5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-1, Infinite binary tree (example). In RZP28ERRZV, example, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
Cauchy's criterion F1R4EA8WD0
| URI | m2://inv/F1R4EA8WD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nth-term test#8G9X, Cauchy's criterion (statement)
History
- 2026-11-02: add by m2/dev
Inequality-constrained minimization F1RJ5Y44M1
| URI | m2://inv/F1RJ5Y44M1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsoid method#DRPQ, Inequality-constrained minimization (statement)
History
- 2026-11-02: add by m2/dev
F1RK13F9P4 F1RK13F9P4
| URI | m2://inv/F1RK13F9P4 |
|---|---|
| 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.40207#Y5Y0 (statement). In JXTG8KP95P/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Alexander Jobson F1RM30WXF2
| URI | m2://inv/F1RM30WXF2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#FVU1, Alexander Jobson (unknown)
History
- 2026-11-02: add by m2/dev
F1RM69ZFEX F1RM69ZFEX
| URI | m2://inv/F1RM69ZFEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#TB4V (statement)
History
- 2026-11-01: add by m2/v0.6.15
F1RPNCZ86G F1RPNCZ86G
| URI | m2://inv/F1RPNCZ86G |
|---|---|
| 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-51 (exercise). In E59CDZA4DP, exercise, section 11.4.3
History
- 2026-11-01: add by m2/v0.6.13
F1RS2DQNJX F1RS2DQNJX
| URI | m2://inv/F1RS2DQNJX |
|---|---|
| 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 2510.12502#PQQI (statement). In 3A4K47Y9F2/e1, theorem 7.5
History
- 2026-10-27: add by m2/v0.4.0
$\QUS$ is a quasitopos F1RZMSVXKM
| URI | m2://inv/F1RZMSVXKM |
|---|---|
| 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#U9MX, $\QUS$ is a quasitopos (statement)
History
- 2026-11-01: add by m2/v0.6.15
F1SAAE3579 F1SAAE3579
| URI | m2://inv/F1SAAE3579 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 87.4
History
- 2026-11-01: add by m2/v0.6.13
Definitions F1SC0Y52HN
| URI | m2://inv/F1SC0Y52HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing number (graph theory)#IHJY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
F1SZ73MH6R F1SZ73MH6R
| URI | m2://inv/F1SZ73MH6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.27872#MVIQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heinrich Burkhardt F1SZH7CMMG
| URI | m2://inv/F1SZH7CMMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#SP03, Heinrich Burkhardt (topic)
History
- 2026-11-02: add by m2/dev
F1T54FHTP6 F1T54FHTP6
| URI | m2://inv/F1T54FHTP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#T5V2 (statement). In N91F15MHW1/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.3
F1TBN2WJJ4 F1TBN2WJJ4
| URI | m2://inv/F1TBN2WJJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#G0UV (statement). In BVAWVRS3R9/e1, corollary B
History
- 2026-10-28: add by m2/v0.4.2
Finite-time perturbation F1TF8FNXWX
| URI | m2://inv/F1TF8FNXWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24568#NO5O, Finite-time perturbation (statement)
History
- 2026-11-01: add by m2/v0.6.15
F1THV1E6Z2 F1THV1E6Z2
| URI | m2://inv/F1THV1E6Z2 |
|---|---|
| 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.23332#9MDC (statement)
History
- 2026-11-02: add by m2/v0.6.17
mathematical symbol F1TP7EKNZZ
| URI | m2://inv/F1TP7EKNZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10376408, mathematical symbol (unknown). Also EoM Mathematical_symbols
History
- 2026-10-26: add by m2/dev
Protected observed radii F1TTPKCM6T
| URI | m2://inv/F1TTPKCM6T |
|---|---|
| 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.15202#32X3, Protected observed radii (statement). In X1FPG0KYBM/e1, theorem W.1
History
- 2026-10-28: add by m2/v0.4.2
Reduced universe versus original corpus F1TTTDK98G
| URI | m2://inv/F1TTTDK98G |
|---|---|
| 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.19207#2SAU, Reduced universe versus original corpus (statement). In BH3R0BA3PC/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Hegelian phenomenology F1TW2RG71A
| URI | m2://inv/F1TW2RG71A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Wilhelm Friedrich Hegel#36D8, Hegelian phenomenology (unknown)
History
- 2026-11-02: add by m2/dev
Closed-form index of the GADC F1TZR3R3CD
| URI | m2://inv/F1TZR3R3CD |
|---|---|
| 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.27908#P37W, Closed-form index of the GADC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spherical wedge F1V126H959
| URI | m2://inv/F1V126H959 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#T6R0, Spherical wedge (definition)
History
- 2026-11-02: add by m2/dev
F1V9AT2P4H F1V9AT2P4H
| URI | m2://inv/F1V9AT2P4H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#proof-3 (proof). In RZP28ERRZV, proof, section 27.2.2
History
- 2026-11-01: add by m2/v0.6.13
F1VAKNZC5F F1VAKNZC5F
| URI | m2://inv/F1VAKNZC5F |
|---|---|
| Kind | example |
| 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#1KFI (example). In X2AEJAQEP8/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Elongated triangular prismatic honeycomb F1VF0GD6BN
| URI | m2://inv/F1VF0GD6BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YNFV, Elongated triangular prismatic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KU8A, Elongated triangular prismatic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
F1VN3S3GHX F1VN3S3GHX
| URI | m2://inv/F1VN3S3GHX |
|---|---|
| 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.07114#BKI5 (statement). In HP3TM356J6/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
glissette F1VSZ19EJC
| URI | m2://inv/F1VSZ19EJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30692703, glissette (unknown). Also MathWorld Glissette
- wikipedia: Wikipedia Glissette, Glissette (definition). Also Wikidata Q30692703
History
- 2026-10-26: add by m2/dev
Nonlinear Schrödinger equation F1VX2MTX4V
| URI | m2://inv/F1VX2MTX4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#E748, Nonlinear Schrödinger equation (definition)
History
- 2026-11-02: add by m2/dev
F1VYDVCXD8 F1VYDVCXD8
| URI | m2://inv/F1VYDVCXD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#GY5O (statement). In E7W2HDNEKJ/e1, lemma 6.32
History
- 2026-10-30: add by m2/v0.4.12
Signature F1VYG0TP2W
| URI | m2://inv/F1VYG0TP2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature (topology), Signature (definition). Also Wikidata Q7512811
History
- 2026-11-02: add by m2/dev
F1VZ8V7GJX F1VZ8V7GJX
| URI | m2://inv/F1VZ8V7GJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27270#27H6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexandrov topology F1W3519412
| URI | m2://inv/F1W3519412 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#80Z6, Alexandrov topology (definition)
- wikipedia: Wikipedia List of general topology topics#X35P, Alexandrov topology (definition)
- wikipedia: Wikipedia List of topologies#T4F1, Alexandrov topology (definition)
- wikipedia: Wikipedia List of examples in general topology#INAR, Alexandrov topology (definition)
History
- 2026-11-02: add by m2/dev
Examples F1WF2D7Q2Z
| URI | m2://inv/F1WF2D7Q2Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tightness of measures#6U56, Examples (example)
History
- 2026-11-02: add by m2/dev
Secondary polynomials F1WFM0S00X
| URI | m2://inv/F1WFM0S00X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secondary polynomials, Secondary polynomials (definition). Also Wikidata Q3395695
History
- 2026-11-02: add by m2/dev
complex matrix F1WRPKC0EW
| URI | m2://inv/F1WRPKC0EW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43144845, complex matrix (unknown). Also MathWorld ComplexMatrix
History
- 2026-10-26: add by m2/dev
Caroline Series F1WY06PCM2
| URI | m2://inv/F1WY06PCM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caroline Series, Caroline Series (topic). Also Wikidata Q1044564
History
- 2026-11-02: add by m2/dev
Electronic Colloquium on Computational Complexity F1X384B73C
| URI | m2://inv/F1X384B73C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic Colloquium on Computational Complexity, Electronic Colloquium on Computational Complexity (definition). Also Wikidata Q13515712
History
- 2026-11-02: add by m2/dev
F1X3J880Y9 F1X3J880Y9
| URI | m2://inv/F1X3J880Y9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
F1X8VEPGKN F1X8VEPGKN
| URI | m2://inv/F1X8VEPGKN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-8 (proof). In N54F33XE07, proof, section 9.5
History
- 2026-11-01: add by m2/v0.6.13
Universal logic F1XFSRQE0F
| URI | m2://inv/F1XFSRQE0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal logic, Universal logic (topic). Also Wikidata Q7894139
History
- 2026-11-02: add by m2/dev
Local Menas property F1XH5PXEN1
| URI | m2://inv/F1XH5PXEN1 |
|---|---|
| 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.09086#HTAG, Local Menas property (definition). In JPC86V77CH/e1, definition A.2
History
- 2026-10-29: add by m2/v0.4.10
Field-automorphism extensions of $\Ree(q)$ of cubic degree F1XJ389BBK
| URI | m2://inv/F1XJ389BBK |
|---|---|
| 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#9NKS, Field-automorphism extensions of $\Ree(q)$ of cubic degree (statement). In 9NVKKW8HDH/e1, theorem 2.74
History
- 2026-10-28: add by m2/v0.4.2
F1XKQB3F12 F1XKQB3F12
| URI | m2://inv/F1XKQB3F12 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1810.06028#6RCZ (definition). In ZPFHH6YJG3/e1, definition 4.10
History
- 2026-10-27: add by m2/v0.3.5
F1XR829RJD F1XR829RJD
| URI | m2://inv/F1XR829RJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2610.17482#X02O (statement). In BQQK9JDJ9F/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
F1XVC51Q69 F1XVC51Q69
| URI | m2://inv/F1XVC51Q69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#4AO7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
F1XW1EGPF5 F1XW1EGPF5
| URI | m2://inv/F1XW1EGPF5 |
|---|---|
| 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.14189#86ZE (statement). In 39VAB08YDJ/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
F1Y036B5E1 F1Y036B5E1
| URI | m2://inv/F1Y036B5E1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Korean numerals F1Y0AKS2J3
| URI | m2://inv/F1Y0AKS2J3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korean numerals, Korean numerals (definition). Also Wikidata Q182017
History
- 2026-11-02: add by m2/dev
F1Y2WW4JWT F1Y2WW4JWT
| URI | m2://inv/F1Y2WW4JWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24465#Y027 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multi-binomial theorem F1Y3CRX3AZ
| URI | m2://inv/F1Y3CRX3AZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial theorem#VYBC, Multi-binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Bart Preneel F1Y6T2E6SJ
| URI | m2://inv/F1Y6T2E6SJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G8GL, Bart Preneel (topic)
History
- 2026-11-02: add by m2/dev
Energy dichotomy for harmonic two-spheres F1Y74YEQX9
| URI | m2://inv/F1Y74YEQX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#MCVP, Energy dichotomy for harmonic two-spheres (statement). In 4GRNWWH88J/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
F1YBTC5SGM F1YBTC5SGM
| URI | m2://inv/F1YBTC5SGM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#0KA1 (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Density-primitive identity F1YE2BVRPB
| URI | m2://inv/F1YE2BVRPB |
|---|---|
| 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.24960#9KVL, Density-primitive identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
F1YEXR76HC F1YEXR76HC
| URI | m2://inv/F1YEXR76HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#Q87B (statement). In BVAWVRS3R9/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Applications F1YHMM440A
| URI | m2://inv/F1YHMM440A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone's theorem on one-parameter unitary groups#H4S2, Applications (example)
History
- 2026-11-02: add by m2/dev
Term model F1YN79NKV3
| URI | m2://inv/F1YN79NKV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#defn:termmodel, Term model (definition). In PKGMM3P5QY, defn, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
F1YS6M164V F1YS6M164V
| URI | m2://inv/F1YS6M164V |
|---|---|
| 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.31104#7ZRK (statement). In 67NFPNF39Y/e1, theorem 1.7
History
- 2026-10-31: add by m2/v0.5.6
straight angle F1YVKTVW93
| URI | m2://inv/F1YVKTVW93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3617415, straight angle (unknown). Also MathWorld StraightAngle
History
- 2026-10-26: add by m2/dev
Oracle inequality F1YXJSH8D4
| URI | m2://inv/F1YXJSH8D4 |
|---|---|
| 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.11760#939N, Oracle inequality (statement). In NBNERWXW53/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.3
Knowledge error F1Z2ENJ810
| URI | m2://inv/F1Z2ENJ810 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26258#A92T, Knowledge error (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chern connection F1Z82SDHHF
| URI | m2://inv/F1Z82SDHHF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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.11911#G5ZQ, Chern connection (definition). In 5BYE5NYB89/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.3
F1ZC0HETP2 F1ZC0HETP2
| URI | m2://inv/F1ZC0HETP2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20376#V2IH (definition). In DGTCGQX6YZ/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
Formulas for general n-dimensional functions F1ZCGT1TPJ
| URI | m2://inv/F1ZCGT1TPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#9E04, Formulas for general n-dimensional functions (statement)
History
- 2026-11-02: add by m2/dev
Ruth J. Williams F1ZG05P8Q9
| URI | m2://inv/F1ZG05P8Q9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#2U5Y, Ruth J. Williams (topic)
History
- 2026-11-02: add by m2/dev
F1ZMD68TRK F1ZMD68TRK
| URI | m2://inv/F1ZMD68TRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#49P0 (statement). In X47RYAZF8P/e1, corollary 5.22
History
- 2026-10-28: add by m2/v0.4.2
LU factorization with partial pivoting F1ZNBBP4JP
| URI | m2://inv/F1ZNBBP4JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#3QH3, LU factorization with partial pivoting (definition)
History
- 2026-11-02: add by m2/dev
F1ZQ7CKJ88 F1ZQ7CKJ88
| URI | m2://inv/F1ZQ7CKJ88 |
|---|---|
| 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.40345#DZQG (statement). In WK0PT95WW1/e1, theorem 4.10
History
- 2026-10-30: add by m2/v0.4.12
Rūsiņš Mārtiņš Freivalds F1ZSVMZZ5P
| URI | m2://inv/F1ZSVMZZ5P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rūsiņš Mārtiņš Freivalds, Rūsiņš Mārtiņš Freivalds (topic). Also Wikidata Q16351713
History
- 2026-11-02: add by m2/dev
John Aston F1ZVF1TMAB
| URI | m2://inv/F1ZVF1TMAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y0JZ, John Aston (topic)
History
- 2026-11-02: add by m2/dev
Creation of limits F1ZYBSSV4Z
| URI | m2://inv/F1ZYBSSV4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (category theory)#ZLGH, Creation of limits (unknown)
History
- 2026-11-02: add by m2/dev