Inventory rows 8A
The cards of the rows of the inventory whose ids start with 8A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8A0A6M2KXA 8A0A6M2KXA
| URI | m2://inv/8A0A6M2KXA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-13 (example). In E9HS8K3A52, example, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
reverse 8A0BDB5F1V
| URI | m2://inv/8A0BDB5F1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#LBB4, reverse (definition)
History
- 2026-11-02: add by m2/dev
8A0D8NWP6S 8A0D8NWP6S
| URI | m2://inv/8A0D8NWP6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#30NH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Picone identity 8A0G3VNQ2F
| URI | m2://inv/8A0G3VNQ2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picone identity#TU61, Picone identity (statement)
History
- 2026-11-02: add by m2/dev
Exsphere 8A0GZV2E42
| URI | m2://inv/8A0GZV2E42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exsphere (polyhedra), Exsphere (definition). Also Wikidata Q5421773
History
- 2026-11-02: add by m2/dev
8A0MWG0DC4 8A0MWG0DC4
| URI | m2://inv/8A0MWG0DC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#YHN4 (statement). In PA6JQDSKQT/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Definition 8A0NBBE42C
| URI | m2://inv/8A0NBBE42C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew normal distribution#J1IY, Definition (definition)
History
- 2026-11-02: add by m2/dev
8A0NYWW84F 8A0NYWW84F
| URI | m2://inv/8A0NYWW84F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26450#A8EU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lawrence Shepp 8A0PZWHFQM
| URI | m2://inv/8A0PZWHFQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AJKK, Lawrence Shepp (unknown)
History
- 2026-11-02: add by m2/dev
8A0QW2NGS6 8A0QW2NGS6
| URI | m2://inv/8A0QW2NGS6 |
|---|---|
| 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.12810#ZKY4 (statement). In DR35633CPN/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
8A0ZHVBKW7 8A0ZHVBKW7
| URI | m2://inv/8A0ZHVBKW7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#K5QK (example). In QHFP0837Q8/e1, example 5.12
History
- 2026-10-29: add by m2/v0.4.12
Bauschinger effect 8A11H8WV9J
| URI | m2://inv/8A11H8WV9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bauschinger effect, Bauschinger effect (definition). Also Wikidata Q811864
History
- 2026-11-02: add by m2/dev
8A1276N3Z1 8A1276N3Z1
| URI | m2://inv/8A1276N3Z1 |
|---|---|
| Kind | example |
| 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.21388#ZYUM (example). In 3X4E9KSVWV/e1, example 2.4
History
- 2026-10-27: add by m2/v0.4.2
Mirror Theorem 8A17FA5W2B
| URI | m2://inv/8A17FA5W2B |
|---|---|
| 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.10557#2XLR, Mirror Theorem (statement). In D2MXWDTHWS/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.10
Properties 8A1CW6VEQ5
| URI | m2://inv/8A1CW6VEQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional sphere#UFXL, Properties (statement)
History
- 2026-11-02: add by m2/dev
8A1EV3QV4A 8A1EV3QV4A
| URI | m2://inv/8A1EV3QV4A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#PRXR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Parallel OR 8A1FRWF87M
| URI | m2://inv/8A1FRWF87M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical disjunction#5UYO, Parallel OR (unknown)
History
- 2026-11-02: add by m2/dev
Shi--Frankl--Qian 8A1FYE503T
| URI | m2://inv/8A1FYE503T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#3J4V, Shi--Frankl--Qian (statement). In 43TBS9P2PX/e1, theorem 9.5
History
- 2026-10-28: add by m2/v0.4.2
8A1H4Y2QTX 8A1H4Y2QTX
| URI | m2://inv/8A1H4Y2QTX |
|---|---|
| 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 2609.33124#MQS1 (definition). In P27HYGQDAN/e1, definition 8
History
- 2026-10-30: add by m2/v0.4.12
8A1WTJQMGX 8A1WTJQMGX
| URI | m2://inv/8A1WTJQMGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#7FOJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
8A1YK5QXSV 8A1YK5QXSV
| URI | m2://inv/8A1YK5QXSV |
|---|---|
| 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 2609.28011#ZZFX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Per-block contraction 8A27ZKX9VE
| URI | m2://inv/8A27ZKX9VE |
|---|---|
| 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.14988#4DQ5, Per-block contraction (statement). In B29M4E6KGC/e1, lemma H.8
History
- 2026-10-28: add by m2/v0.4.2
Esther Seiden 8A2968127K
| URI | m2://inv/8A2968127K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esther Seiden, Esther Seiden (topic). Also Wikidata Q43117286
History
- 2026-11-02: add by m2/dev
homogeneous equation 8A2G6BFH44
| URI | m2://inv/8A2G6BFH44 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.5.3/homogeneous-equation, homogeneous equation (concept). In E9HS8K3A52, index, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
One sided nearly incompressible fields $\bb$ and $\rho$-weak solutions 8A2HR45GSF
| URI | m2://inv/8A2HR45GSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17129#K3TS, One sided nearly incompressible fields $\bb$ and $\rho$-weak solutions (definition). In TCZWAMNYCV/e1, definition 6.16
History
- 2026-10-28: add by m2/v0.4.2
Constructions 8A2K9NPNSK
| URI | m2://inv/8A2K9NPNSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600-cell#VWS4, Constructions (definition)
History
- 2026-11-02: add by m2/dev
8A2NN21MSQ 8A2NN21MSQ
| URI | m2://inv/8A2NN21MSQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
8A2PRT6PGY 8A2PRT6PGY
| URI | m2://inv/8A2PRT6PGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02585#TCFR (statement). In V0KBBY82SY/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
8A39VYN962 8A39VYN962
| URI | m2://inv/8A39VYN962 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#C1L2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DPP ordered trace and conditional unordered descent 8A3R9N7FZ5
| URI | m2://inv/8A3R9N7FZ5 |
|---|---|
| Kind | statement |
| 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 2609.27799#VRCX, DPP ordered trace and conditional unordered descent (statement)
History
- 2026-11-01: add by m2/v0.6.15
8A3VZAM7K5 8A3VZAM7K5
| URI | m2://inv/8A3VZAM7K5 |
|---|---|
| Kind | definition |
| 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#5GBZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
8A3W83ZX77 8A3W83ZX77
| URI | m2://inv/8A3W83ZX77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#XDN8 (statement). In H72E12TYHA/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Walther von Dyck 8A3XNMZFR5
| URI | m2://inv/8A3XNMZFR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walther von Dyck, Walther von Dyck (topic). Also Wikidata Q65180
History
- 2026-11-02: add by m2/dev
8A41ZR87ZG 8A41ZR87ZG
| URI | m2://inv/8A41ZR87ZG |
|---|---|
| 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.25843#M5BT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 8A45JJJCYM
| URI | m2://inv/8A45JJJCYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TFNP#MUE1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Lagrange's trigonometric identities 8A4A92C5RJ
| URI | m2://inv/8A4A92C5RJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#3XG6, Lagrange's trigonometric identities (unknown)
History
- 2026-11-02: add by m2/dev
Relation between Theorems one and two 8A4HJ88RT3
| URI | m2://inv/8A4HJ88RT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stars and bars (combinatorics)#C5Q5, Relation between Theorems one and two (statement)
History
- 2026-11-02: add by m2/dev
deck transformation 8A4NT2W2EV
| URI | m2://inv/8A4NT2W2EV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78506954, deck transformation (unknown). Also MathWorld DeckTransformation, nLab deck transformation
History
- 2026-10-26: add by m2/dev
8A4Y63ZRXZ 8A4Y63ZRXZ
| URI | m2://inv/8A4Y63ZRXZ |
|---|---|
| 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 2502.02777#EMSJ (statement). In D8T5GDXERW/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
8A4Z6KA4SN 8A4Z6KA4SN
| URI | m2://inv/8A4Z6KA4SN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem-2 (statement). In N54F33XE07, lem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Definition 8A50E2TXFE
| URI | m2://inv/8A50E2TXFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State space (computer science)#WUCL, Definition (definition)
History
- 2026-11-02: add by m2/dev
8A518NB6GS 8A518NB6GS
| URI | m2://inv/8A518NB6GS |
|---|---|
| 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.07190#7Q5B (statement). In ZWS6Q4467X/e1, lemma D.7
History
- 2026-10-29: add by m2/v0.4.10
Band sum 8A52ZHHF2M
| URI | m2://inv/8A52ZHHF2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band sum, Band sum (definition). Also Wikidata Q4854282
History
- 2026-11-02: add by m2/dev
8A53YTNRSC 8A53YTNRSC
| URI | m2://inv/8A53YTNRSC |
|---|---|
| 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.20568#OEMS (statement). In BCD0ATARNZ/e1, corollary 3.18
History
- 2026-10-27: add by m2/v0.4.2
Space of continuous functions on a compact space 8A5DH97JAF
| URI | m2://inv/8A5DH97JAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space of continuous functions on a compact space, Space of continuous functions on a compact space (definition). Also Wikidata Q5165477
History
- 2026-11-02: add by m2/dev
Frobenius on the completed limit 8A5E2MF856
| URI | m2://inv/8A5E2MF856 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#4VAK, Frobenius on the completed limit (statement). In 328KGRNN0W/e1, proposition 5.10
History
- 2026-10-30: add by m2/v0.4.12
impredicativity 8A5FW65H83
| URI | m2://inv/8A5FW65H83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3149511, impredicativity (unknown). Also MathWorld Impredicative
- wikipedia: Wikipedia Impredicativity, Impredicativity (definition). Also Wikidata Q3149511
History
- 2026-10-26: add by m2/dev
Complex master estimate 8A5KTCJWTJ
| URI | m2://inv/8A5KTCJWTJ |
|---|---|
| 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.29605#6T2S, Complex master estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
8A5T3PNCP2 8A5T3PNCP2
| URI | m2://inv/8A5T3PNCP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#PMIS (statement). In ESDKTYDHC8/e1, corollary 18
History
- 2026-10-29: add by m2/v0.4.12
Dyadic tensor 8A5VQXFNRH
| URI | m2://inv/8A5VQXFNRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#FOWT, Dyadic tensor (definition)
History
- 2026-11-02: add by m2/dev
8A5ZM3JDE3 8A5ZM3JDE3
| URI | m2://inv/8A5ZM3JDE3 |
|---|---|
| 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.32946#M9BO (statement). In 6AEBXNK614/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Marcia Ascher 8A5ZPSSM56
| URI | m2://inv/8A5ZPSSM56 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcia Ascher, Marcia Ascher (topic). Also Wikidata Q59527594
History
- 2026-11-02: add by m2/dev
knaves 8A5ZXV8AN2
| URI | m2://inv/8A5ZXV8AN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VILT, knaves (definition)
History
- 2026-11-02: add by m2/dev
cyclic permutation 8A60HEMC84
| URI | m2://inv/8A60HEMC84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212130, cyclic permutation (unknown). Also MathWorld CircularPermutation, MathWorld CyclicPermutation, nLab cyclic permutation
- wikipedia: Wikipedia Cyclic permutation, Cyclic permutation (definition). Also Wikidata Q212130
History
- 2026-10-26: add by m2/dev
8A6E2PP2VC 8A6E2PP2VC
| URI | m2://inv/8A6E2PP2VC |
|---|---|
| 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.03488#3GWD (definition). In 9GXR1WEYWT/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.12
New Zealand 8A6G9V03W1
| URI | m2://inv/8A6G9V03W1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q664, New Zealand (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/New_Zealand
History
- 2026-10-26: add by m2/dev
Applications 8A6MBCPBM3
| URI | m2://inv/8A6MBCPBM3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite function#69VP, Applications (example)
History
- 2026-11-02: add by m2/dev
polynomial remainder 8A6PWN4MEY
| URI | m2://inv/8A6PWN4MEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141145067, polynomial remainder (unknown). Also MathWorld PolynomialRemainder
History
- 2026-10-26: add by m2/dev
Lagrange reversion theorem 8A6Q59K6JY
| URI | m2://inv/8A6Q59K6JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#VAT5, Lagrange reversion theorem (statement)
History
- 2026-11-02: add by m2/dev
8A6Z2RE7A8 8A6Z2RE7A8
| URI | m2://inv/8A6Z2RE7A8 |
|---|---|
| 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 1804.06366#1FYW (definition). In 89XYDVXG38/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Proxy 8A6ZJ1XXMM
| URI | m2://inv/8A6ZJ1XXMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proxy (statistics), Proxy (definition). Also Wikidata Q1432581
History
- 2026-11-02: add by m2/dev
8A74WD4FYT 8A74WD4FYT
| URI | m2://inv/8A74WD4FYT |
|---|---|
| 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 1011.1990#D716 (statement). In GV0JBN5DWQ/e1, theorem B.5
History
- 2026-10-27: add by m2/v0.3.5
Von Klitzing constant 8A794TGHZW
| URI | m2://inv/8A794TGHZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#TVEP, Von Klitzing constant (definition)
History
- 2026-11-02: add by m2/dev
Definition 8A7NTKJ80E
| URI | m2://inv/8A7NTKJ80E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR#LQRO, Definition (definition)
History
- 2026-11-02: add by m2/dev
8A7PAB6X98 8A7PAB6X98
| URI | m2://inv/8A7PAB6X98 |
|---|---|
| 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 2309.08900#TGHU (statement). In 8X74NB6XBC/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
8A7SMFY57Q 8A7SMFY57Q
| URI | m2://inv/8A7SMFY57Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#T5J5 (statement). In CY1FE8W1ZW/e1, lemma 0.214
History
- 2026-10-27: add by m2/v0.3.5
Dieciocho Airport 8A7W7KCA2N
| URI | m2://inv/8A7W7KCA2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PBM0, Dieciocho Airport (unknown)
History
- 2026-11-02: add by m2/dev
equiangular polygon 8A7YEKW2HD
| URI | m2://inv/8A7YEKW2HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2543717, equiangular polygon (unknown). Also MathWorld EquiangularPolygon
- wikipedia: Wikipedia Equiangular polygon, Equiangular polygon (definition). Also Wikidata Q2543717
History
- 2026-10-26: add by m2/dev
8A8B6M357J 8A8B6M357J
| URI | m2://inv/8A8B6M357J |
|---|---|
| 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.22077#92QQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
8A8B83NRES 8A8B83NRES
| URI | m2://inv/8A8B83NRES |
|---|---|
| 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 2207.11097#CZKG (definition). In 13H5BTAXHF/e1, definition 26
History
- 2026-10-27: add by m2/v0.3.5
8A8KR7JPP3 8A8KR7JPP3
| URI | m2://inv/8A8KR7JPP3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#B1LV (definition). In GYMGDQS25R/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem 8A8XM27SAK
| URI | m2://inv/8A8XM27SAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensions of symmetric operators#F9GI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8A8XS6Y05S 8A8XS6Y05S
| URI | m2://inv/8A8XS6Y05S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-89 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Check digit 8A8YCVJMZD
| URI | m2://inv/8A8YCVJMZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#L9E4, Check digit (unknown)
History
- 2026-11-02: add by m2/dev
8A9651DDPF 8A9651DDPF
| URI | m2://inv/8A9651DDPF |
|---|---|
| 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.15360#04TV (statement). In DJCXDQQK7Y/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
8A99Z5Z511 8A99Z5Z511
| URI | m2://inv/8A99Z5Z511 |
|---|---|
| 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 2610.16245#ANYP (conjecture). In 60CQJN845D/e1, conjecture 1
History
- 2026-10-28: add by m2/v0.4.2
operator, linear 8A9HSK8VFM
| URI | m2://inv/8A9HSK8VFM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.1.3/operator-linear, operator, linear (concept). In E59CDZA4DP, index, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
8A9RN3XQE0 8A9RN3XQE0
| URI | m2://inv/8A9RN3XQE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14888#JR4X (statement). In GN3ZT9DAD9/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
The insertion routine 8A9VBA9HCY
| URI | m2://inv/8A9VBA9HCY |
|---|---|
| Kind | definition |
| 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.10474#FNTF, The insertion routine (definition). In MB29RAAQMG/e1, definition 4.11
History
- 2026-10-29: add by m2/v0.4.10
Herbert Busemann 8A9WPSGFMS
| URI | m2://inv/8A9WPSGFMS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Busemann, Herbert Busemann (topic). Also Wikidata Q214326
History
- 2026-11-02: add by m2/dev
Generalizations 8A9YM2VNRE
| URI | m2://inv/8A9YM2VNRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seven-dimensional cross product#R9LQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Intrinsic synchronized existence 8AA7TGFGZS
| URI | m2://inv/8AA7TGFGZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32812#BAZ5, Intrinsic synchronized existence (statement). In 8VC72S13ER/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
8AAE53EJ09 8AAE53EJ09
| URI | m2://inv/8AAE53EJ09 |
|---|---|
| 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.37897#WNEZ (statement). In RBQ5FNCVNZ/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
8AAEFB262D 8AAEFB262D
| URI | m2://inv/8AAEFB262D |
|---|---|
| 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#B6B3 (statement). In E7W2HDNEKJ/e1, theorem 5.14
History
- 2026-10-30: add by m2/v0.4.12
Example 8AAEVJ1HYB
| URI | m2://inv/8AAEVJ1HYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood ratios in diagnostic testing#1XFU, Example (example)
History
- 2026-11-02: add by m2/dev
D. F. M. Strauss 8AAG0X2K46
| URI | m2://inv/8AAG0X2K46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D. F. M. Strauss, D. F. M. Strauss (topic). Also Wikidata Q5203586
History
- 2026-11-02: add by m2/dev
Kolmogorov integral 8AAJCZXYYK
| URI | m2://inv/8AAJCZXYYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov integral, Kolmogorov integral (definition). Also Wikidata Q5638607
History
- 2026-11-02: add by m2/dev
Halperin, I. 8AAJN5C01P
| URI | m2://inv/8AAJN5C01P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#7CWM, Halperin, I. (unknown)
History
- 2026-11-02: add by m2/dev
8AAKD5ZD5A 8AAKD5ZD5A
| URI | m2://inv/8AAKD5ZD5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#KJFV (statement). In XD603HRHKC/e1, proposition C.3
History
- 2026-10-30: add by m2/v0.4.12
8AAS8MEVB8 8AAS8MEVB8
| URI | m2://inv/8AAS8MEVB8 |
|---|---|
| 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 2108.06308#9OSJ (statement). In F8BXF46972/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Luxembourg Mathematical Society 8AAVXCY6HA
| URI | m2://inv/8AAVXCY6HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#9EJJ, Luxembourg Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Toba Khedoori 8AAXK8G0TG
| URI | m2://inv/8AAXK8G0TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#KMQI, Toba Khedoori (unknown)
History
- 2026-11-02: add by m2/dev
Countable range and cone constancy 8AB3YNWSQT
| URI | m2://inv/8AB3YNWSQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#EPYC, Countable range and cone constancy (statement). In TTNKABAYVB/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
George Phillips 8AB90JEK8P
| URI | m2://inv/8AB90JEK8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Phillips (orientalist), George Phillips (topic). Also Wikidata Q18546847
History
- 2026-11-02: add by m2/dev
8ABDZHDYRA 8ABDZHDYRA
| URI | m2://inv/8ABDZHDYRA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
Brauer–Nesbitt theorem 8ABJY035Q7
| URI | m2://inv/8ABJY035Q7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4YPS, Brauer–Nesbitt theorem (statement)
History
- 2026-11-02: add by m2/dev
Transverse energy on the target annulus 8ABK35Z8GA
| URI | m2://inv/8ABK35Z8GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#YATL, Transverse energy on the target annulus (statement). In XKXG49TNXH/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.6
Definitions and examples 8ABQCD35PW
| URI | m2://inv/8ABQCD35PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered Bell number#XGH2, Definitions and examples (definition)
History
- 2026-11-02: add by m2/dev
Definition 8ABR86AQ2K
| URI | m2://inv/8ABR86AQ2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linking number#CSXO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 8AC2PFAG36
| URI | m2://inv/8AC2PFAG36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete partial order#NNGK, Examples (example)
History
- 2026-11-02: add by m2/dev
8ACAQ3Y0BZ 8ACAQ3Y0BZ
| URI | m2://inv/8ACAQ3Y0BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.23972#7CQC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 8ACC7DDBJX
| URI | m2://inv/8ACC7DDBJX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center (category theory)#99V1, Examples (example)
History
- 2026-11-02: add by m2/dev
Tilting module 8ACDS09TSF
| URI | m2://inv/8ACDS09TSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#7UM3, Tilting module (definition). In 6G1KBA0SXV/e1, definition 4.4
History
- 2026-10-31: add by m2/v0.5.6
8ACF4BEZSY 8ACF4BEZSY
| URI | m2://inv/8ACF4BEZSY |
|---|---|
| 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.06544#RMJQ (statement). In VCRB27RMN6/e1, proposition 15.2
History
- 2026-10-29: add by m2/v0.4.10
Toomre's stability criterion 8ACHA0FGEZ
| URI | m2://inv/8ACHA0FGEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toomre's stability criterion, Toomre's stability criterion (statement). Also Wikidata Q18353297
History
- 2026-11-02: add by m2/dev
Comparison of formulas 8ACNEG28NP
| URI | m2://inv/8ACNEG28NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tau (mathematics)#WJKJ, Comparison of formulas (statement)
History
- 2026-11-02: add by m2/dev
Definition 8ACPNXCFG8
| URI | m2://inv/8ACPNXCFG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom permutation#P7F5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bogdanov map 8ACPXRND8X
| URI | m2://inv/8ACPXRND8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22906850, Bogdanov map (unknown). Also MathWorld BogdanovMap
- wikipedia: Wikipedia Bogdanov map, Bogdanov map (definition). Also Wikidata Q22906850
History
- 2026-10-26: add by m2/dev
Examples of affine varieties 8ACY3J51XJ
| URI | m2://inv/8ACY3J51XJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#example-1, Examples of affine varieties (example). In RZP28ERRZV, example, section 19.1
History
- 2026-11-01: add by m2/v0.6.13
catenary 8AD08AFK5Q
| URI | m2://inv/8AD08AFK5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#NIB0, catenary (definition)
History
- 2026-11-02: add by m2/dev
8AD0CS2NG1 8AD0CS2NG1
| URI | m2://inv/8AD0CS2NG1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#BIS5 (definition). In RY2X22P6XW/e1, definition 41
History
- 2026-10-27: add by m2/v0.3.5
First Borel–Cantelli lemma 8AD4BS2MQJ
| URI | m2://inv/8AD4BS2MQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic limit#GMM3, First Borel–Cantelli lemma (statement)
History
- 2026-11-02: add by m2/dev
Definitions 8AD5WHQA7P
| URI | m2://inv/8AD5WHQA7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear multistep method#KYE3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Cruciform curve 8AD9VZMS19
| URI | m2://inv/8AD9VZMS19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#AC3B, Cruciform curve (definition)
- wikipedia: Wikipedia List of curves#80ZV, Cruciform curve (definition)
History
- 2026-11-02: add by m2/dev
Examples 8ADB88Z1PW
| URI | m2://inv/8ADB88Z1PW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial game theory#00I9, Examples (example)
History
- 2026-11-02: add by m2/dev
Aryabhata 8ADEGRRPT9
| URI | m2://inv/8ADEGRRPT9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#12BE, Aryabhata (topic)
- wikipedia: Wikipedia List of publications in mathematics#VATM, Aryabhata (topic)
History
- 2026-11-02: add by m2/dev
Liouville function 8ADEPJMMSF
| URI | m2://inv/8ADEPJMMSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Liouville function 07NN4VNYWM |
Mentions
- wikidata: Wikidata Q385019, Liouville function (unknown). Also MathWorld LiouvilleFunction
- wikipedia: Wikipedia Liouville function, Liouville function (definition). Also Wikidata Q385019
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Semantic weakening gives semantic substitution 8ADFMP39WP
| URI | m2://inv/8ADFMP39WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#AKOV, Semantic weakening gives semantic substitution (statement). In CPYWHRTPKC/e1, lemma 6.35
History
- 2026-10-27: add by m2/v0.4.2
8ADJ0X9GD1 8ADJ0X9GD1
| URI | m2://inv/8ADJ0X9GD1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/finiteaxiomatizability.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 73.7
History
- 2026-11-01: add by m2/v0.6.13
Volodymyr Levytsky 8ADSVN7FM1
| URI | m2://inv/8ADSVN7FM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volodymyr Levytsky, Volodymyr Levytsky (topic). Also Wikidata Q12117372
History
- 2026-11-02: add by m2/dev
8ADSZREN19 8ADSZREN19
| URI | m2://inv/8ADSZREN19 |
|---|---|
| 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#7FG8 (statement). In 39VAB08YDJ/e1, theorem 4.12
History
- 2026-10-28: add by m2/v0.4.2
One-dimensional projected convex order 8AE0H8KSF1
| URI | m2://inv/8AE0H8KSF1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07404#CXLW, One-dimensional projected convex order (definition). In VAJ9MBT3SJ/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Hamiltonian cycle polynomial 8AE4BYPXXD
| URI | m2://inv/8AE4BYPXXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian cycle polynomial, Hamiltonian cycle polynomial (definition). Also Wikidata Q85765577
History
- 2026-11-02: add by m2/dev
8AEDJV1ZGV 8AEDJV1ZGV
| URI | m2://inv/8AEDJV1ZGV |
|---|---|
| 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.11082#LT31 (statement). In GFPFFN0BXV/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.3
Stefan–Boltzmann law 8AEG4MS98J
| URI | m2://inv/8AEG4MS98J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planck's law#07VH, Stefan–Boltzmann law (statement)
History
- 2026-11-02: add by m2/dev
8AEW3K9MGE 8AEW3K9MGE
| URI | m2://inv/8AEW3K9MGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#VQGI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Characterization 8AF1XVPVFB
| URI | m2://inv/8AF1XVPVFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erlang distribution#2XU8, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Example 8AF9YP7P7T
| URI | m2://inv/8AF9YP7P7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rouché–Capelli theorem#BSME, Example (example)
History
- 2026-11-02: add by m2/dev
Transport and parabolic estimates 8AFB37ETR9
| URI | m2://inv/8AFB37ETR9 |
|---|---|
| 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.04894#TQ2V, Transport and parabolic estimates (statement). In AZZ35SDENN/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
8AFMXZFSX8 8AFMXZFSX8
| URI | m2://inv/8AFMXZFSX8 |
|---|---|
| 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.39855#7M9C (statement). In E1KFX0NW51/e1, fact A.2
History
- 2026-10-30: add by m2/v0.4.12
8AFRZ978VV 8AFRZ978VV
| URI | m2://inv/8AFRZ978VV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30685#42NB (definition). In WNNNWV7741/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Semi-s-cobordism 8AFSDZY6GJ
| URI | m2://inv/8AFSDZY6GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-s-cobordism, Semi-s-cobordism (definition). Also Wikidata Q7449321
History
- 2026-11-02: add by m2/dev
Landry--Minsky--Taylor 8AFZ940WGP
| URI | m2://inv/8AFZ940WGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.10558#JWN8, Landry--Minsky--Taylor (statement). In GYSF9JXQCH/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Examples 8AG1ZY1YTJ
| URI | m2://inv/8AG1ZY1YTJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic dimension#S9C0, Examples (example)
History
- 2026-11-02: add by m2/dev
8AG2V700MW 8AG2V700MW
| URI | m2://inv/8AG2V700MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14555#NWNH (statement). In NHW0VEJ09F/e1, proposition B.1
History
- 2026-10-28: add by m2/v0.4.2
Global solution on a bounded open domain 8AG45F5NVJ
| URI | m2://inv/8AG45F5NVJ |
|---|---|
| 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.33033#NXVP, Global solution on a bounded open domain (statement). In AJWBAHJ8VD/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
8AG55VA69F 8AG55VA69F
| URI | m2://inv/8AG55VA69F |
|---|---|
| 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.19260#HDC7 (statement). In PWXT7J9JX3/e1, proposition 7.13
History
- 2026-10-28: add by m2/v0.4.2
8AGE4X4AC8 8AGE4X4AC8
| URI | m2://inv/8AGE4X4AC8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2405.14678#TOVT (example). In 9ZSNSJRJ5N/e1, example 10
History
- 2026-10-27: add by m2/v0.4.2
Radial Convexity 8AGPB7AYV9
| URI | m2://inv/8AGPB7AYV9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#0GIH, Radial Convexity (definition)
History
- 2026-11-02: add by m2/v0.6.18
FK-space 8AGQ97QZSM
| URI | m2://inv/8AGQ97QZSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FK-space, FK-space (definition). Also Wikidata Q5426006
History
- 2026-11-02: add by m2/dev
Weak-form NTK: existence, nullspace, and rank 8AGYV0Q4JR
| URI | m2://inv/8AGYV0Q4JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#F6A0, Weak-form NTK: existence, nullspace, and rank (statement). In 6FY8BVP1F3/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
8AH00HPXTK 8AH00HPXTK
| URI | m2://inv/8AH00HPXTK |
|---|---|
| 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 alg-geom/9506022#0Y0T (statement). In AQGEM4XAKD/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
8AHJV6D6R3 8AHJV6D6R3
| URI | m2://inv/8AHJV6D6R3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#95MN (statement). In JQFPH09JG8/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Independence 8AHM5GJKFZ
| URI | m2://inv/8AHM5GJKFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence (mathematical logic), Independence (definition). Also Wikidata Q2705017
History
- 2026-11-02: add by m2/dev
8AHR2BY895 8AHR2BY895
| URI | m2://inv/8AHR2BY895 |
|---|---|
| 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.01932#8JO1 (statement). In XDKWW6NR0K/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
8AJ07TH0A2 8AJ07TH0A2
| URI | m2://inv/8AJ07TH0A2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#I2L7 (statement). In ZJQB9W60T6/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Fubini's theorem on differentiation 8AJ3HM9H04
| URI | m2://inv/8AJ3HM9H04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1841237, Fubini's theorem on differentiation (statement). Also Wikidata Q1841237
- thousand_plus: thousand_plus Q1841237, Fubini's theorem on differentiation (statement). Also Wikidata Q1841237, Wikipedia Fubini's theorem on differentiation
- wikipedia: Wikipedia Fubini's theorem on differentiation, Fubini's theorem on differentiation (statement). Also Wikidata Q1841237
History
- 2026-10-26: add by m2/dev
Properties 8AJAXPH1BC
| URI | m2://inv/8AJAXPH1BC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-rank matrix approximations#JM59, Properties (statement)
History
- 2026-11-02: add by m2/dev
8AJMGFJ6P5 8AJMGFJ6P5
| URI | m2://inv/8AJMGFJ6P5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#6YGK (example). In J99CBQ3QYD/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
Adaptation of Lemma 2.5 of Le Roux--Wolff 8AJMN5H7S0
| URI | m2://inv/8AJMN5H7S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#I606, Adaptation of Lemma 2.5 of Le Roux--Wolff (statement). In 2GD6NWJVRM/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
8AJPTAD363 8AJPTAD363
| URI | m2://inv/8AJPTAD363 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#LNB6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
438 (number) 8AJSMHHXQZ
| URI | m2://inv/8AJSMHHXQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#K60Y, 438 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Graded factorization 8AJW0VRG33
| URI | m2://inv/8AJW0VRG33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#U589, Graded factorization (statement). In N06J7GC05Q/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
connect 8AKCRCMSWV
| URI | m2://inv/8AKCRCMSWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#XUXZ, connect (definition)
History
- 2026-11-02: add by m2/dev
Minimax theorem 8AKDC1VMGD
| URI | m2://inv/8AKDC1VMGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LRNZ, Minimax theorem (statement)
History
- 2026-11-02: add by m2/dev
Principle of Carathéodory 8AKGBJ8GK0
| URI | m2://inv/8AKGBJ8GK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#KCRV, Principle of Carathéodory (statement)
History
- 2026-11-02: add by m2/dev
Eikonal equation 8AKPSBN44M
| URI | m2://inv/8AKPSBN44M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#VRUX, Eikonal equation (definition)
History
- 2026-11-02: add by m2/dev
8AKVAY5WYF 8AKVAY5WYF
| URI | m2://inv/8AKVAY5WYF |
|---|---|
| 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 2510.02019#ICS4 (statement). In PD607VXPY3/e1, corollary 18
History
- 2026-10-27: add by m2/v0.3.5
8AKYHNP22P 8AKYHNP22P
| URI | m2://inv/8AKYHNP22P |
|---|---|
| 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.17817#XPWZ (statement). In M8TSJ24RC2/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Common-core floor and load-balancing envelope 8AM5NF7RGQ
| URI | m2://inv/8AM5NF7RGQ |
|---|---|
| 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.21523#GHBM, Common-core floor and load-balancing envelope (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fuhrmann circle 8AM5QWX7ZC
| URI | m2://inv/8AM5QWX7ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#FKL3, Fuhrmann circle (definition)
History
- 2026-11-02: add by m2/dev
8AMA93Q0EK 8AMA93Q0EK
| URI | m2://inv/8AMA93Q0EK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#DYXN (definition)
History
- 2026-11-02: add by m2/v0.6.17
Endowment effect 8AMAQRRNRN
| URI | m2://inv/8AMAQRRNRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endowment effect, Endowment effect (definition). Also Wikidata Q1340861
History
- 2026-11-02: add by m2/dev
Perpetual Expansion Preserving Gravity 8AN218A8MA
| URI | m2://inv/8AN218A8MA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#3DKM, Perpetual Expansion Preserving Gravity (definition). In 5E9G06XJKC/e1, definition D.8
History
- 2026-10-28: add by m2/v0.4.2
Six Cross Roads 8AN5JN8531
| URI | m2://inv/8AN5JN8531 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5YUO, Six Cross Roads (unknown)
History
- 2026-11-02: add by m2/dev
8AN5QD2BJ6 8AN5QD2BJ6
| URI | m2://inv/8AN5QD2BJ6 |
|---|---|
| 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.32651#30PV (statement). In WFJXSE3VDT/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
Ramon Picarte Mujica 8AN5V52ND7
| URI | m2://inv/8AN5V52ND7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramon Picarte Mujica, Ramon Picarte Mujica (topic). Also Wikidata Q6099944
History
- 2026-11-02: add by m2/dev
Regularized restriction of AKSZ fields 8ANCW2NTYJ
| URI | m2://inv/8ANCW2NTYJ |
|---|---|
| Kind | statement |
| 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 2609.27799#D11G, Regularized restriction of AKSZ fields (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coarea-type locality 8ANER4MAE9
| URI | m2://inv/8ANER4MAE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#X0MZ, Coarea-type locality (statement). In KM3Q791JY0/e1, lemma 3.32
History
- 2026-10-27: add by m2/v0.4.2
8ANGHY954B 8ANGHY954B
| URI | m2://inv/8ANGHY954B |
|---|---|
| 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.13618#C1K0 (statement). In XDQAEGH345/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 8ANPXAA333
| URI | m2://inv/8ANPXAA333 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seifert–Van Kampen theorem#K0W9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Outcome-regression remainder 8ANWVW2J2J
| URI | m2://inv/8ANWVW2J2J |
|---|---|
| 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.20772#EVE6, Outcome-regression remainder (statement)
History
- 2026-11-02: add by m2/v0.6.18
Reynolds number 8AP3CZQQZT
| URI | m2://inv/8AP3CZQQZT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q178932, Reynolds number (concept). Also EoM Reynolds_number
- wikipedia: Wikipedia Reynolds number, Reynolds number (definition). Also Wikidata Q178932
History
- 2026-10-26: add by m2/dev
Theorem 2 8AP43WN8BA
| URI | m2://inv/8AP43WN8BA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation code#Z8AQ, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Bayesian neural network 8AP7FQ6Q7C
| URI | m2://inv/8AP7FQ6Q7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural network (machine learning)#WSG1, Bayesian neural network (unknown)
History
- 2026-11-02: add by m2/dev
Immersion 8APAX3PDB1
| URI | m2://inv/8APAX3PDB1 |
|---|---|
| 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.08987#PQSF, Immersion (statement). In 2NRRESN3HR/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.10
Exclamation mark 8APJMG8WNQ
| URI | m2://inv/8APJMG8WNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclamation mark, Exclamation mark (definition). Also Wikidata Q166764
History
- 2026-11-02: add by m2/dev
Notation 8AQ3NE342D
| URI | m2://inv/8AQ3NE342D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eventually (mathematics)#JKH9, Notation (definition)
History
- 2026-11-02: add by m2/dev
8AQC0P35ZB 8AQC0P35ZB
| URI | m2://inv/8AQC0P35ZB |
|---|---|
| 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.17258#MMZT (statement). In F4M67ZVBF2/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
8AQQB6MNTH 8AQQB6MNTH
| URI | m2://inv/8AQQB6MNTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31768#ADOB (statement). In WC7ZECEE3P/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
8AQSMQ985T 8AQSMQ985T
| URI | m2://inv/8AQSMQ985T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Joan L. Richards 8AR1QG803Z
| URI | m2://inv/8AR1QG803Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan L. Richards, Joan L. Richards (topic). Also Wikidata Q98925739
History
- 2026-11-02: add by m2/dev
8AR5P450ZP 8AR5P450ZP
| URI | m2://inv/8AR5P450ZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#HMI8 (statement). In W3G9Z9B32N/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Constant-information PCRB fixed point 8AR6XSRR82
| URI | m2://inv/8AR6XSRR82 |
|---|---|
| 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.36143#H25O, Constant-information PCRB fixed point (statement). In 6T2TWKQMJ8/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Gopinath Kallianpur 8ARF24ESXE
| URI | m2://inv/8ARF24ESXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#R5CB, Gopinath Kallianpur (topic)
History
- 2026-11-02: add by m2/dev
8ARKYKNT37 8ARKYKNT37
| URI | m2://inv/8ARKYKNT37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#28GI (statement). In FT5TKY10T8/e1, theorem 9.3
History
- 2026-10-30: add by m2/v0.4.12
Joan Garfield 8ARMS7K0D6
| URI | m2://inv/8ARMS7K0D6 |
|---|---|
| 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#RXJQ, Joan Garfield (topic)
History
- 2026-11-02: add by m2/dev
Definitions 8ARQ5VXBCV
| URI | m2://inv/8ARQ5VXBCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular space#J7H8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Williamson's Normal Form 8ARSSSSD9Y
| URI | m2://inv/8ARSSSSD9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04583#ZIAC, Williamson's Normal Form (statement). In Y6774ZB8TE/e1, theorem B.3
History
- 2026-10-29: add by m2/v0.4.12
8ARVGVGPZ8 8ARVGVGPZ8
| URI | m2://inv/8ARVGVGPZ8 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#VAVX (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
8ARXMJP7H6 8ARXMJP7H6
| URI | m2://inv/8ARXMJP7H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#31DK (statement). In WJD9YPGGYH/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
8ASHR8XEMQ 8ASHR8XEMQ
| URI | m2://inv/8ASHR8XEMQ |
|---|---|
| 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.32338#CPEG (statement). In HVY45JQRNK/e1, lemma 2.8
History
- 2026-10-31: add by m2/v0.5.6
definition, by pattern matching 8ASXGK1KK6
| URI | m2://inv/8ASXGK1KK6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/definition-by-pattern-matching, definition, by pattern matching (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Morse Function 8ASXYSP7CM
| URI | m2://inv/8ASXYSP7CM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#NOM9, Morse Function (definition). In BAEDMM7YM5/e1, definition 8
History
- 2026-10-29: add by m2/v0.4.12
8ATE8TEA0K 8ATE8TEA0K
| URI | m2://inv/8ATE8TEA0K |
|---|---|
| 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.11939#TCCH (statement). In DQMEN40FZV/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.3
8ATPQFKSD3 8ATPQFKSD3
| URI | m2://inv/8ATPQFKSD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#PIF1 (statement). In WRE0P7V6Z3/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Principle of bivalence 8AV2P565AP
| URI | m2://inv/8AV2P565AP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of bivalence, Principle of bivalence (statement). Also Wikidata Q2110857
History
- 2026-11-02: add by m2/dev
Theorem 8AV3QMBYYR
| URI | m2://inv/8AV3QMBYYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercer's theorem#3LRO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Monotone likelihood ratio 8AV5QAMG7A
| URI | m2://inv/8AV5QAMG7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OB38, Monotone likelihood ratio (definition)
History
- 2026-11-02: add by m2/dev
Adapted 8AVAJTEJ4G
| URI | m2://inv/8AVAJTEJ4G |
|---|---|
| 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.11834#H9CJ, Adapted (statement). In SMC03CWP4R/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.3
Polynomial expansion and separator theorems 8AVDS4QYRD
| URI | m2://inv/8AVDS4QYRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded expansion#R5PJ, Polynomial expansion and separator theorems (statement)
History
- 2026-11-02: add by m2/dev
8AVFSX6B2N 8AVFSX6B2N
| URI | m2://inv/8AVFSX6B2N |
|---|---|
| Kind | definition |
| 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.23994#A048 (definition)
History
- 2026-11-02: add by m2/v0.6.17
8AVNKV061G 8AVNKV061G
| URI | m2://inv/8AVNKV061G |
|---|---|
| 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.38838#EPTL (statement). In 3EH8M9GWTX/e1, corollary 3.9
History
- 2026-10-30: add by m2/v0.4.12
8AVT39PEGA 8AVT39PEGA
| URI | m2://inv/8AVT39PEGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#GSD8 (statement). In QR9WE79ERQ/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
pinch point 8AVZB5D04K
| URI | m2://inv/8AVZB5D04K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7194894, pinch point (unknown). Also MathWorld PinchPoint
- wikipedia: Wikipedia Pinch point (mathematics), Pinch point (definition). Also Wikidata Q7194894
History
- 2026-10-26: add by m2/dev
Examples 8AW1YAY3H2
| URI | m2://inv/8AW1YAY3H2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat equation#5RO0, Examples (example)
History
- 2026-11-02: add by m2/dev
8AW7XKKFRH 8AW7XKKFRH
| URI | m2://inv/8AW7XKKFRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.38068#023W (statement). In 67GE5M1GGD/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
Vorticity equation 8AW9C2WH00
| URI | m2://inv/8AW9C2WH00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vorticity equation, Vorticity equation (definition). Also Wikidata Q3730817
History
- 2026-11-02: add by m2/dev
Gap--angle bound for trace-zero stability 8AWDSEYFQ4
| URI | m2://inv/8AWDSEYFQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12017#CWY1, Gap--angle bound for trace-zero stability (statement). In WW04MP0NAZ/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
8AWF3RHF0E 8AWF3RHF0E
| URI | m2://inv/8AWF3RHF0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#TUWU (statement). In V6EPE8XHAD/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
2 31 polytope 8AWMFZA9KR
| URI | m2://inv/8AWMFZA9KR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 31 polytope, 2 31 polytope (object). Also Wikidata Q4633287
History
- 2026-11-02: add by m2/dev
Generalizations 8AWSX9HRNA
| URI | m2://inv/8AWSX9HRNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bivariegated graph#M4YD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Stefan Banach 8AWTG52BW5
| URI | m2://inv/8AWTG52BW5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of functional analysis topics#9TV5, Stefan Banach (topic)
History
- 2026-11-02: add by m2/dev
Jehan Adam 8AX5VZ8V8N
| URI | m2://inv/8AX5VZ8V8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jehan Adam, Jehan Adam (topic). Also Wikidata Q3709787
History
- 2026-11-02: add by m2/dev
8AXE1B48F2 8AXE1B48F2
| URI | m2://inv/8AXE1B48F2 |
|---|---|
| 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.38838#ECFJ (statement). In 3EH8M9GWTX/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
8AXK2D5E2B 8AXK2D5E2B
| URI | m2://inv/8AXK2D5E2B |
|---|---|
| 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.38659#MTOG (statement). In DCJ23ZYXGK/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
8AXM24CV5J 8AXM24CV5J
| URI | m2://inv/8AXM24CV5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#JFH0 (statement). In 9TR5E527P5/e1, lemma 6.19
History
- 2026-10-29: add by m2/v0.4.10
Herman Valentiner 8AXMSQ7KM3
| URI | m2://inv/8AXMSQ7KM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman Valentiner, Herman Valentiner (topic). Also Wikidata Q5740293
History
- 2026-11-02: add by m2/dev
hairy ball theorem 8AXWVBK3AF
| URI | m2://inv/8AXWVBK3AF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 4 |
| Outcome | open |
| Node | Hairy ball theorem Z49RAKVCWG |
Mentions
- mathlib_1000: mathlib_1000 Q1077741, Hairy ball theorem (statement). Also Wikidata Q1077741
- thousand_plus: thousand_plus Q1077741, Hairy ball theorem (statement). Also Wikidata Q1077741, Wikipedia Hairy ball theorem
- wikidata: Wikidata Q1077741, hairy ball theorem (statement). Also MathWorld HairyBallTheorem
- wikipedia: Wikipedia Hairy ball theorem, Hairy ball theorem (statement). Also Wikidata Q1077741
History
- 2026-10-26: add by m2/dev
Steven Zucker 8AXZ8B7SXF
| URI | m2://inv/8AXZ8B7SXF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0XNS, Steven Zucker (topic)
History
- 2026-11-02: add by m2/dev
No uniform rate on $\R$ for the OU dynamics 8AY1VHKZ7C
| URI | m2://inv/8AY1VHKZ7C |
|---|---|
| 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.32585#ODX2, No uniform rate on $\R$ for the OU dynamics (statement). In FJFJ3WR1SS/e1, proposition 7.8
History
- 2026-10-31: add by m2/v0.5.6
8AY8JVBEMM 8AY8JVBEMM
| URI | m2://inv/8AY8JVBEMM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2303.09207#GK0Q (example). In 9DQKY7KGE8/e1, example A.16
History
- 2026-10-31: add by m2/v0.5.6
8AYB1CWZGQ 8AYB1CWZGQ
| URI | m2://inv/8AYB1CWZGQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#0SGV (example)
History
- 2026-11-02: add by m2/v0.6.17
Hidden Field Equations 8AYDPG0C4B
| URI | m2://inv/8AYDPG0C4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden Field Equations, Hidden Field Equations (definition). Also Wikidata Q3135226
History
- 2026-11-02: add by m2/dev
Wet bias 8AYJQDDZ2Y
| URI | m2://inv/8AYJQDDZ2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wet bias, Wet bias (definition). Also Wikidata Q17089732
History
- 2026-11-02: add by m2/dev
8AYN8A68DC 8AYN8A68DC
| URI | m2://inv/8AYN8A68DC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#VRIS (example). In KM2FWKP93A/e1, example 7.4
History
- 2026-10-27: add by m2/v0.4.0
8AYRD0RF0Q 8AYRD0RF0Q
| URI | m2://inv/8AYRD0RF0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#WXJ6 (statement). In XJ59TDP4HA/e1, fact 3.5
History
- 2026-10-28: add by m2/v0.4.2
SUBEXP 8AYSWNMC45
| URI | m2://inv/8AYSWNMC45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#9JSH, SUBEXP (unknown)
History
- 2026-11-02: add by m2/dev
8AYVSKFSFK 8AYVSKFSFK
| URI | m2://inv/8AYVSKFSFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.08714#F8V4 (statement). In A3RAXBSWA5/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.3.5
polite number 8AYYYFTJ3J
| URI | m2://inv/8AYYYFTJ3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7210138, polite number (object). Also OEIS A138591
- wikipedia: Wikipedia Polite number, Polite number (definition). Also Wikidata Q7210138
History
- 2026-10-26: add by m2/dev
Rachel Ward 8AZ89GKFCF
| URI | m2://inv/8AZ89GKFCF |
|---|---|
| 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#N01L, Rachel Ward (topic)
History
- 2026-11-02: add by m2/dev