Inventory rows YF
The cards of the rows of the inventory whose ids start with YF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Examples YF07XSFCGE
| URI | m2://inv/YF07XSFCGE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short-time Fourier transform#X2BC, Examples (example)
History
- 2026-11-02: add by m2/dev
YF09EVX8R0 YF09EVX8R0
| URI | m2://inv/YF09EVX8R0 |
|---|---|
| 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 1903.11969#95BV (statement). In 9N4EV3GRM7/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
YF0C2XSFNT YF0C2XSFNT
| URI | m2://inv/YF0C2XSFNT |
|---|---|
| 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.19300#3EZX (statement). In S6S4RD5VXJ/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Variants YF0H7HM4XW
| URI | m2://inv/YF0H7HM4XW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-category#PDG4, Variants (statement)
History
- 2026-11-02: add by m2/dev
Bochner--Martinelli integral formula YF0NZX97K3
| URI | m2://inv/YF0NZX97K3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/5.1/bochner-martinelli-integral-formula, Bochner--Martinelli integral formula (concept). In VNMV985MXX, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
YF0S4YWSMT YF0S4YWSMT
| URI | m2://inv/YF0S4YWSMT |
|---|---|
| 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#H5OR (statement). In WRE0P7V6Z3/e1, theorem 1.37
History
- 2026-10-30: add by m2/v0.4.12
YF16PDE33D YF16PDE33D
| URI | m2://inv/YF16PDE33D |
|---|---|
| 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.08664#8FBW (statement). In 1YY0P4ZS0T/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.10
YF1CEW9HM2 YF1CEW9HM2
| URI | m2://inv/YF1CEW9HM2 |
|---|---|
| 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.28669#VUKV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Read-once function YF1PV69516
| URI | m2://inv/YF1PV69516 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#IHJY, Read-once function (unknown)
History
- 2026-11-02: add by m2/dev
Non-parallel YF1Q81GFXZ
| URI | m2://inv/YF1Q81GFXZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.13347#FXDF, Non-parallel (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
YF23YB3G39 YF23YB3G39
| URI | m2://inv/YF23YB3G39 |
|---|---|
| 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#9ZMQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
\texttt{Lipschitz Lagrange multiplier YF24B9P2JS
| URI | m2://inv/YF24B9P2JS |
|---|---|
| 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.06343#OXB1, \texttt{Lipschitz Lagrange multiplier (statement). In R8176XJ535/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Two-path visitation YF27GBM68Y
| URI | m2://inv/YF27GBM68Y |
|---|---|
| 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.20414#8YPT, Two-path visitation (statement). In X2NNNW8CX5/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Determinate graph rewriting YF2BT1BYZW
| URI | m2://inv/YF2BT1BYZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph rewriting#VR2O, Determinate graph rewriting (unknown)
History
- 2026-11-02: add by m2/dev
YF2G5K0BHN YF2G5K0BHN
| URI | m2://inv/YF2G5K0BHN |
|---|---|
| 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.24412#YN7J (statement)
History
- 2026-11-01: add by m2/v0.6.15
YF2MQXWMG2 YF2MQXWMG2
| URI | m2://inv/YF2MQXWMG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#J91Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Joseph Blatchford YF2NZ3DHZF
| URI | m2://inv/YF2NZ3DHZF |
|---|---|
| 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#7DA2, Joseph Blatchford (unknown)
History
- 2026-11-02: add by m2/dev
YF2P3N580D YF2P3N580D
| URI | m2://inv/YF2P3N580D |
|---|---|
| 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.32033#4HAE (statement). In 17W5G060QX/e1, theorem 9.4
History
- 2026-10-31: add by m2/v0.5.6
Applications YF2Q8A6HX7
| URI | m2://inv/YF2Q8A6HX7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder set#OG94, Applications (example)
History
- 2026-11-02: add by m2/dev
Strong measure zero set YF31ZANH5Y
| URI | m2://inv/YF31ZANH5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong measure zero set, Strong measure zero set (definition). Also Wikidata Q25303791
History
- 2026-11-02: add by m2/dev
Øystein Ore YF33AZGBJ7
| URI | m2://inv/YF33AZGBJ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q329846, Øystein Ore (unknown). Also nLab Øystein Ore, ProofWiki Mathematician:Øystein_Ore
- wikipedia: Wikipedia Øystein Ore, Øystein Ore (topic). Also Wikidata Q329846
History
- 2026-10-26: add by m2/dev
YF33PYNDTK YF33PYNDTK
| URI | m2://inv/YF33PYNDTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#FJLN (statement). In WRMNCC8VBC/e1, lemma 42
History
- 2026-10-27: add by m2/v0.3.6
YF3GFDDKQQ YF3GFDDKQQ
| URI | m2://inv/YF3GFDDKQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#5JPW (statement). In R81S9R1XNR/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
Conjugate diameters YF3NZ8FYDW
| URI | m2://inv/YF3NZ8FYDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate diameters, Conjugate diameters (definition). Also Wikidata Q361892
History
- 2026-11-02: add by m2/dev
Vector bundles on algebraic curves YF3PQYFAPP
| URI | m2://inv/YF3PQYFAPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector bundles on algebraic curves, Vector bundles on algebraic curves (definition). Also Wikidata Q7917819
History
- 2026-11-02: add by m2/dev
YF3QCA8TN0 YF3QCA8TN0
| URI | m2://inv/YF3QCA8TN0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#H514 (definition). In 4F8QRV05BV/e1, definition 2.12
History
- 2026-10-30: add by m2/v0.4.12
YF3QD9ZY1N YF3QD9ZY1N
| URI | m2://inv/YF3QD9ZY1N |
|---|---|
| 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 2301.04933#WQZJ (example). In Q70CTMCJTP/e1, example 7.3
History
- 2026-10-27: add by m2/v0.3.5
YF3RS00T8S YF3RS00T8S
| URI | m2://inv/YF3RS00T8S |
|---|---|
| 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 2504.13328#ORVV (definition). In 736Q32FYCG/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Verner Emil Hoggatt Jr. YF44J7RQ2G
| URI | m2://inv/YF44J7RQ2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#57TW, Verner Emil Hoggatt Jr. (unknown)
History
- 2026-11-02: add by m2/dev
Mean value inequality YF47020EBZ
| URI | m2://inv/YF47020EBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#SCP9, Mean value inequality (statement)
History
- 2026-11-02: add by m2/dev
stochastic matrix YF48FD40ZJ
| URI | m2://inv/YF48FD40ZJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.5.2/stochastic-matrix, stochastic matrix (concept). In 649HGZKE96, index, section 4.5.2
History
- 2026-11-01: add by m2/v0.6.13
Examples YF4AAS8VXF
| URI | m2://inv/YF4AAS8VXF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duhamel's principle#5OTP, Examples (example)
History
- 2026-11-02: add by m2/dev
Hilbert modular form YF4E4HJMDJ
| URI | m2://inv/YF4E4HJMDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5761218, Hilbert modular form (unknown). Also nLab Hilbert modular form
- wikipedia: Wikipedia Hilbert modular form, Hilbert modular form (definition). Also Wikidata Q5761218
History
- 2026-10-26: add by m2/dev
L-estimator YF4G92H55P
| URI | m2://inv/YF4G92H55P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-estimator, L-estimator (definition). Also Wikidata Q6456129
History
- 2026-11-02: add by m2/dev
Lindemann–Weierstrass theorem YF4MW7YFK5
| URI | m2://inv/YF4MW7YFK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I2UN, Lindemann–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
YF4T5G5QCZ YF4T5G5QCZ
| URI | m2://inv/YF4T5G5QCZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Reverse perspective YF4XKT454S
| URI | m2://inv/YF4XKT454S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#WCMS, Reverse perspective (definition)
History
- 2026-11-02: add by m2/dev
Hereditarily countable set YF5180MFSE
| URI | m2://inv/YF5180MFSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditarily countable set, Hereditarily countable set (definition). Also Wikidata Q5737810
History
- 2026-11-02: add by m2/dev
Charles Neider YF58RMDS34
| URI | m2://inv/YF58RMDS34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#V0EB, Charles Neider (unknown)
History
- 2026-11-02: add by m2/dev
Liouville's theorem YF5ABW8AR3
| URI | m2://inv/YF5ABW8AR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZR49, Liouville's theorem (statement)
History
- 2026-11-02: add by m2/dev
Forney algorithm YF5BEWMH8X
| URI | m2://inv/YF5BEWMH8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forney algorithm, Forney algorithm (definition). Also Wikidata Q5470382
History
- 2026-11-02: add by m2/dev
Gilah Yelin Hirsch YF5KXJY5SN
| URI | m2://inv/YF5KXJY5SN |
|---|---|
| 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#0PDB, Gilah Yelin Hirsch (unknown)
History
- 2026-11-02: add by m2/dev
convex, geometrically YF5P8QMCQ9
| URI | m2://inv/YF5P8QMCQ9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.1/convex-geometrically, convex, geometrically (concept). In VNMV985MXX, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Snell's law YF5R8K1HS9
| URI | m2://inv/YF5R8K1HS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of variations#E9LE, Snell's law (statement)
History
- 2026-11-02: add by m2/dev
Parseval's theorem YF5S7QKKYN
| URI | m2://inv/YF5S7QKKYN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.8.6/parseval-s-theorem, Parseval's theorem (concept). In E59CDZA4DP, index, section 1.8.6
History
- 2026-11-01: add by m2/v0.6.13
YF5X2HX4XY YF5X2HX4XY
| URI | m2://inv/YF5X2HX4XY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#MNGF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions YF61ME0NNG
| URI | m2://inv/YF61ME0NNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial moment measure#PJQR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Separation of sample complexity YF6308Z6MF
| URI | m2://inv/YF6308Z6MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#5PJ3, Separation of sample complexity (statement). In 9MXMRKFKDW/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
YF642QYZ8X YF642QYZ8X
| URI | m2://inv/YF642QYZ8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2610.05986#3AXG (statement). In N5ZM8MXJXH/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.10
polycube YF65ND419G
| URI | m2://inv/YF65ND419G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1317394, polycube (unknown). Also MathWorld Polycube
- wikipedia: Wikipedia Polycube, Polycube (definition). Also Wikidata Q1317394
History
- 2026-10-26: add by m2/dev
YF69WBJEJ3 YF69WBJEJ3
| URI | m2://inv/YF69WBJEJ3 |
|---|---|
| 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 2610.20207#9NFZ (statement). In 1MPH7GCFJ2/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.2
Logit-normal distribution YF6AQDJ38A
| URI | m2://inv/YF6AQDJ38A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C13H, Logit-normal distribution (definition)
History
- 2026-11-02: add by m2/dev
YF6AZC6N74 YF6AZC6N74
| URI | m2://inv/YF6AZC6N74 |
|---|---|
| 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.19852#98EV (statement). In SPW2D8X2PG/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Density of generic feasible packings YF6FYZ2QNQ
| URI | m2://inv/YF6FYZ2QNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13962#A3AC, Density of generic feasible packings (statement). In 7NP5QKECVA/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
Moral statistics YF6JJ5PE81
| URI | m2://inv/YF6JJ5PE81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moral statistics, Moral statistics (definition). Also Wikidata Q6909133
History
- 2026-11-02: add by m2/dev
Generating a vector space YF6N9RC8ZA
| URI | m2://inv/YF6N9RC8ZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#HYZA, Generating a vector space (definition)
History
- 2026-11-02: add by m2/dev
YF742QHBPC YF742QHBPC
| URI | m2://inv/YF742QHBPC |
|---|---|
| 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 2605.29624#T9DS (statement). In TAD5A4R089/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Metrodorus YF76MRH91H
| URI | m2://inv/YF76MRH91H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#90BC, Metrodorus (topic)
History
- 2026-11-02: add by m2/dev
YF76SYF47Z YF76SYF47Z
| URI | m2://inv/YF76SYF47Z |
|---|---|
| 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.14914#CZ8A (statement). In CHC3T113Y4/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
YF79HMS59W YF79HMS59W
| URI | m2://inv/YF79HMS59W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#R3Y6 (statement). In DW7FVA587C/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
YF7ADAR7V9 YF7ADAR7V9
| URI | m2://inv/YF7ADAR7V9 |
|---|---|
| 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 2605.23846#806W (statement). In H72CXFWVPV/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Jin-Yi Cai YF7AMH0WG5
| URI | m2://inv/YF7AMH0WG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jin-Yi Cai, Jin-Yi Cai (topic). Also Wikidata Q62559624
History
- 2026-11-02: add by m2/dev
Fibonacci sequence YF7BP80VJ6
| URI | m2://inv/YF7BP80VJ6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.4/fibonacci-sequence, Fibonacci sequence (concept). In Y91XFCEVHQ, index, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
YF7CSH7J3G YF7CSH7J3G
| URI | m2://inv/YF7CSH7J3G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-75 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
defective matrix YF7FFYB3KV
| URI | m2://inv/YF7FFYB3KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5251123, defective matrix (unknown). Also MathWorld DefectiveMatrix
- wikipedia: Wikipedia Defective matrix, Defective matrix (definition). Also Wikidata Q5251123
History
- 2026-10-26: add by m2/dev
YF7PS4B1G1 YF7PS4B1G1
| URI | m2://inv/YF7PS4B1G1 |
|---|---|
| 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.20994#N6FE (statement). In E90KYMVZMR/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Turán sieve YF835QDPDP
| URI | m2://inv/YF835QDPDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#SME3, Turán sieve (definition)
History
- 2026-11-02: add by m2/dev
Notation YF85M63ZZC
| URI | m2://inv/YF85M63ZZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate's algorithm#FCPZ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Math-O-Vision YF85P75MN2
| URI | m2://inv/YF85P75MN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#5J8B, Math-O-Vision (definition)
History
- 2026-11-02: add by m2/dev
YF8B959Y74 YF8B959Y74
| URI | m2://inv/YF8B959Y74 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#A0X9 (definition). In VJTRH1S4JA/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
YF8BHK7RFZ YF8BHK7RFZ
| URI | m2://inv/YF8BHK7RFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#W2K1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Residual contraction YF8CWGYA08
| URI | m2://inv/YF8CWGYA08 |
|---|---|
| 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.19982#DIS8, Residual contraction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties YF8HVVQQT6
| URI | m2://inv/YF8HVVQQT6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hom functor#6NK1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wolfgang Lück YF8Q8383VG
| URI | m2://inv/YF8Q8383VG |
|---|---|
| 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#IEC7, Wolfgang Lück (topic)
- wikipedia: Wikipedia List of German mathematicians#ZX93, Wolfgang Lück (topic)
History
- 2026-11-02: add by m2/dev
Primary transform YF8T7WFR9R
| URI | m2://inv/YF8T7WFR9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#TZF1, Primary transform (statement). In 8PTDFHV8SQ/e1, theorem 14.6
History
- 2026-10-28: add by m2/v0.4.3
Semigroup with three elements YF906KP98X
| URI | m2://inv/YF906KP98X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup with three elements, Semigroup with three elements (definition). Also Wikidata Q25303827
History
- 2026-11-02: add by m2/dev
YF95R7KFFH YF95R7KFFH
| URI | m2://inv/YF95R7KFFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#215E (statement). In H3FDP8S1Z7/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
YF966JBJR5 YF966JBJR5
| URI | m2://inv/YF966JBJR5 |
|---|---|
| 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.02933#E7D9 (statement). In QSYZKPFRAN/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Volker Mehrmann YF9AWXED97
| URI | m2://inv/YF9AWXED97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volker Mehrmann, Volker Mehrmann (topic). Also Wikidata Q2531146
History
- 2026-11-02: add by m2/dev
Torsion (algebra) YF9M0R249W
| URI | m2://inv/YF9M0R249W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#P8J9, Torsion (algebra) (definition)
History
- 2026-11-02: add by m2/dev
YF9R35KA54 YF9R35KA54
| URI | m2://inv/YF9R35KA54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2502.14306#UGSO (statement). In ZNBQD5WH1M/e1, theorem 5.9
History
- 2026-10-27: add by m2/v0.3.5
Deligne YF9VBED306
| URI | m2://inv/YF9VBED306 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv hep-th/9409063#AXH8, Deligne (conjecture). In 145ETYF9CG/e1, conjecture Conjecture
History
- 2026-10-27: add by m2/v0.3.5
Bernoulli masked chain oracle YF9YQ9BA8W
| URI | m2://inv/YF9YQ9BA8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02355#F8ZA, Bernoulli masked chain oracle (definition). In 1AXXV9ZT11/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Outline of geometry YF9YVYEMHW
| URI | m2://inv/YF9YVYEMHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of geometry, Outline of geometry (topic). Also Wikidata Q7112649
History
- 2026-11-02: add by m2/dev
YFA2CPW087 YFA2CPW087
| URI | m2://inv/YFA2CPW087 |
|---|---|
| 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.10086#MSH3 (statement). In NP9X9CAK19/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Definitions YFA4E3YVDB
| URI | m2://inv/YFA4E3YVDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs involving the addition of natural numbers#C5HD, Definitions (definition)
History
- 2026-11-02: add by m2/dev
YFA630GCCF YFA630GCCF
| URI | m2://inv/YFA630GCCF |
|---|---|
| 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.05784#LHBH (statement). In 6NVP3YRWVA/e1, theorem 4.20
History
- 2026-10-29: add by m2/v0.4.10
Endre Boros YFA9P9EF86
| URI | m2://inv/YFA9P9EF86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endre Boros, Endre Boros (topic). Also Wikidata Q5376593
History
- 2026-11-02: add by m2/dev
YFAE5HE4R6 YFAE5HE4R6
| URI | m2://inv/YFAE5HE4R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11084#UHF0 (statement). In VZ61XQ6QNX/e1, proposition 1.1
History
- 2026-10-28: add by m2/v0.4.3
IF formulas YFAESHAQ4V
| URI | m2://inv/YFAESHAQ4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence-friendly logic#U2OB, IF formulas (statement)
History
- 2026-11-02: add by m2/dev
YFAFX4BQ8N YFAFX4BQ8N
| URI | m2://inv/YFAFX4BQ8N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 6.9.1
History
- 2026-11-01: add by m2/v0.6.13
YFAGT7Y4VW YFAGT7Y4VW
| URI | m2://inv/YFAGT7Y4VW |
|---|---|
| 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.07927#6SA7 (statement). In GKM19DHQTM/e1, lemma 6.25
History
- 2026-10-29: add by m2/v0.4.10
Granville--Lamzouri YFAMDTC8FT
| URI | m2://inv/YFAMDTC8FT |
|---|---|
| Kind | conjecture |
| 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#61I7, Granville--Lamzouri (conjecture). In 7JATJ4VG9G/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.0
Lie theory YFAWHYSDVC
| URI | m2://inv/YFAWHYSDVC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q357300, Lie theory (topic). Also nLab Lie theory, ProofWiki Definition:Lie_Theory
- wikipedia: Wikipedia Lie theory, Lie theory (topic). Also Wikidata Q357300
History
- 2026-10-26: add by m2/dev
Polar topology YFB7XMHDS5
| URI | m2://inv/YFB7XMHDS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#6EFN, Polar topology (definition)
- wikipedia: Wikipedia List of topologies#96HR, Polar topology (definition)
- wikipedia: Wikipedia List of topologies#Y3CQ, Polar topology (definition)
History
- 2026-11-02: add by m2/dev
YFB8B2HN9M YFB8B2HN9M
| URI | m2://inv/YFB8B2HN9M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
affine connection YFB8V94C3W
| URI | m2://inv/YFB8V94C3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Affine connection JX65KSVHSJ |
Mentions
- wikidata: Wikidata Q1371213, affine connection (unknown). Also nLab affine connection
- wikipedia: Wikipedia Affine connection, Affine connection (definition). Also Wikidata Q1371213
History
- 2026-10-26: add by m2/dev
YFBARXR7TS YFBARXR7TS
| URI | m2://inv/YFBARXR7TS |
|---|---|
| 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.17571#SSWP (statement). In SWFN2HCEE7/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
YFBCVW1Y9D YFBCVW1Y9D
| URI | m2://inv/YFBCVW1Y9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2408.01345#Q6DS (statement). In PT5PBPCS3P/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
YFBKP5CS7T YFBKP5CS7T
| URI | m2://inv/YFBKP5CS7T |
|---|---|
| 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.20825#MG1A (statement). In K9G02J8MXT/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
YFBNT092HX YFBNT092HX
| URI | m2://inv/YFBNT092HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#2E77 (statement). In 7V2PVZS04C/e1, lemma 1.3
History
- 2026-10-31: add by m2/v0.5.6
YFBQQMYYXE YFBQQMYYXE
| URI | m2://inv/YFBQQMYYXE |
|---|---|
| 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 2609.24943#0FG3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YFBWWP7AD1 YFBWWP7AD1
| URI | m2://inv/YFBWWP7AD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/functions-relations.tex#prop:graph-function (statement). In PKGMM3P5QY, prop, section 78.11
History
- 2026-11-01: add by m2/v0.6.13
YFBYB86VYY YFBYB86VYY
| URI | m2://inv/YFBYB86VYY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#LC8W (definition). In ETRT1R1CQ8/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.0
Theorem 4 in GHR YFC810G1SX
| URI | m2://inv/YFC810G1SX |
|---|---|
| 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.16657#OM5V, Theorem 4 in GHR (statement). In SRQ37RX6MK/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Most probable number YFCAZ7X70A
| URI | m2://inv/YFCAZ7X70A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QGFU, Most probable number (definition)
History
- 2026-11-02: add by m2/dev
⟖ YFCYDE4129
| URI | m2://inv/YFCYDE4129 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relational algebra#I25Q, ⟖ (unknown)
History
- 2026-11-02: add by m2/dev
Eknath Prabhakar Ghate YFCYS3VC6S
| URI | m2://inv/YFCYS3VC6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CWEZ, Eknath Prabhakar Ghate (topic)
History
- 2026-11-02: add by m2/dev
YFDE41MVX4 YFDE41MVX4
| URI | m2://inv/YFDE41MVX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14055#5GBW (statement). In AKMGN13HE1/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
YFDKRHPN6Q YFDKRHPN6Q
| URI | m2://inv/YFDKRHPN6Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit distance graph#EHRI (problem)
History
- 2026-11-02: add by m2/dev
Proposition YFDPDNN0M1
| URI | m2://inv/YFDPDNN0M1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic and separating vector#X70A, Proposition (statement)
History
- 2026-11-02: add by m2/dev
YFDXD9GNAG YFDXD9GNAG
| URI | m2://inv/YFDXD9GNAG |
|---|---|
| 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 0809.0068#2RQF (definition). In MBKYGM01FK/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.3.5
YFE7FQE4GV YFE7FQE4GV
| URI | m2://inv/YFE7FQE4GV |
|---|---|
| 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.29949#95B7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement YFE84JSPM4
| URI | m2://inv/YFE84JSPM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Yablo#IHYP, Statement (statement)
History
- 2026-11-02: add by m2/dev
Long exact sequence YFENFNSVJX
| URI | m2://inv/YFENFNSVJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact sequence#EPW3, Long exact sequence (unknown)
History
- 2026-11-02: add by m2/dev
YFENS7F4WE YFENS7F4WE
| URI | m2://inv/YFENS7F4WE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#NMIZ (statement). In H4CM84JVPC/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
YFEYZK3B0Q YFEYZK3B0Q
| URI | m2://inv/YFEYZK3B0Q |
|---|---|
| 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.18270#LQJ7 (statement). In CPDMYJ0NJV/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Hierarchy theory YFF4HRMQME
| URI | m2://inv/YFF4HRMQME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchy theory, Hierarchy theory (definition). Also Wikidata Q18349409
History
- 2026-11-02: add by m2/dev
YFFBCJDM2F YFFBCJDM2F
| URI | m2://inv/YFFBCJDM2F |
|---|---|
| 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 2308.09645#GDPB (statement). In HVDSC1GQRD/e1, fact 3.1
History
- 2026-10-27: add by m2/v0.3.5
YFFE2YYAHW YFFE2YYAHW
| URI | m2://inv/YFFE2YYAHW |
|---|---|
| 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.05506#08JI (statement). In FT53PMB1TE/e1, lemma 2.3.7
History
- 2026-10-29: add by m2/v0.4.10
YFFF74YT6J YFFF74YT6J
| URI | m2://inv/YFFF74YT6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.19669#OEHF (statement). In 1QPAA94Q76/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
Kamāl al-Dīn al-Fārisī YFFN903GW0
| URI | m2://inv/YFFN903GW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#ARY8, Kamāl al-Dīn al-Fārisī (unknown)
History
- 2026-11-02: add by m2/dev
Privacy amplification with continuous side information YFFNK69HTW
| URI | m2://inv/YFFNK69HTW |
|---|---|
| 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.12413#1KN1, Privacy amplification with continuous side information (statement). In 6EJ8J60SP8/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
Markov logic network YFFRPR63SQ
| URI | m2://inv/YFFRPR63SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov logic network, Markov logic network (definition). Also Wikidata Q6771324
History
- 2026-11-02: add by m2/dev
YFFSRNYE36 YFFSRNYE36
| URI | m2://inv/YFFSRNYE36 |
|---|---|
| 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.32104#8UT9 (statement). In YRJSYFXNM8/e1, theorem 4.8
History
- 2026-10-31: add by m2/v0.5.6
Theorem YFFVK95HEM
| URI | m2://inv/YFFVK95HEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Arnold representation theorem#JKAH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Herbrand quotient YFG9YWXN6N
| URI | m2://inv/YFG9YWXN6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#APT1, Herbrand quotient (definition)
History
- 2026-11-02: add by m2/dev
Marco Avellaneda YFGAHP599B
| URI | m2://inv/YFGAHP599B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marco Avellaneda (mathematician), Marco Avellaneda (topic). Also Wikidata Q28011773
History
- 2026-11-02: add by m2/dev
YFGBRNPK10 YFGBRNPK10
| URI | m2://inv/YFGBRNPK10 |
|---|---|
| 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 2310.14879#3J2I (statement). In 3VZ55B2N0D/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.4.0
Reflected monotonicity formula YFGETWY5HF
| URI | m2://inv/YFGETWY5HF |
|---|---|
| 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.04833#DL8R, Reflected monotonicity formula (statement). In AKB3CNDA0F/e1, proposition A.3
History
- 2026-10-29: add by m2/v0.4.12
Semi-Markov process YFGG15GZMK
| URI | m2://inv/YFGG15GZMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov renewal process#DPB7, Semi-Markov process (unknown)
History
- 2026-11-02: add by m2/dev
Samuel Vince YFGGZXZVGC
| URI | m2://inv/YFGGZXZVGC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Vince, Samuel Vince (topic). Also Wikidata Q1107977
History
- 2026-11-02: add by m2/dev
YFGJ3TM0KH YFGJ3TM0KH
| URI | m2://inv/YFGJ3TM0KH |
|---|---|
| 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.37124#MGI9 (definition). In 2QF1YG9DD0/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Abelian function YFGK1E4ED0
| URI | m2://inv/YFGK1E4ED0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian variety#GA2K, Abelian function (unknown)
History
- 2026-11-02: add by m2/dev
Directed multigraph (edges with own identity) YFGPP4C9RT
| URI | m2://inv/YFGPP4C9RT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multigraph#NC1F, Directed multigraph (edges with own identity) (statement)
History
- 2026-11-02: add by m2/dev
YFGRV0TV84 YFGRV0TV84
| URI | m2://inv/YFGRV0TV84 |
|---|---|
| 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.05784#JYZQ (statement). In 6NVP3YRWVA/e1, fact 4.11
History
- 2026-10-29: add by m2/v0.4.10
YFGYEEZRN9 YFGYEEZRN9
| URI | m2://inv/YFGYEEZRN9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#4PB5 (definition). In 8FWK676AQX/e1, definition 10
History
- 2026-10-28: add by m2/v0.4.2
External direct sum YFHBTERECC
| URI | m2://inv/YFHBTERECC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum#89MV, External direct sum (unknown)
History
- 2026-11-02: add by m2/dev
Diagonal magic cube YFHX4Z2XQX
| URI | m2://inv/YFHX4Z2XQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal magic cube, Diagonal magic cube (definition). Also Wikidata Q5270366
History
- 2026-11-02: add by m2/dev
YFHXTWE23Z YFHXTWE23Z
| URI | m2://inv/YFHXTWE23Z |
|---|---|
| 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#BAFF (statement). In E7W2HDNEKJ/e1, theorem 9.15
History
- 2026-10-30: add by m2/v0.4.12
YFHZSJDBDE YFHZSJDBDE
| URI | m2://inv/YFHZSJDBDE |
|---|---|
| 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#0BSX (statement). In JXTG8KP95P/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
YFJ40AT5VG YFJ40AT5VG
| URI | m2://inv/YFJ40AT5VG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21611#3HVV (problem)
History
- 2026-11-02: add by m2/v0.6.18
Extensions YFJ6M6QDB8
| URI | m2://inv/YFJ6M6QDB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential probability ratio test#9VU0, Extensions (statement)
History
- 2026-11-02: add by m2/dev
\textbf{Nonsmooth objective with nonconvex constraints YFJ8NEBAM5
| URI | m2://inv/YFJ8NEBAM5 |
|---|---|
| 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.34099#NIOF, \textbf{Nonsmooth objective with nonconvex constraints (statement). In 4X2SAM9HR2/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
YFJ9EE1YJQ YFJ9EE1YJQ
| URI | m2://inv/YFJ9EE1YJQ |
|---|---|
| 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.19251#C80Q (statement). In CSW6NG0FRN/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Exact general-contraction complexity, known $\gamma$ YFJAP962PM
| URI | m2://inv/YFJAP962PM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#L68O, Exact general-contraction complexity, known $\gamma$ (statement). In 7HXP270BD0/e1, corollary 5.10
History
- 2026-10-30: add by m2/v0.4.12
YFJHHYBV9T YFJHHYBV9T
| URI | m2://inv/YFJHHYBV9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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 2609.25080#D5N8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
convergence of power series YFJT00FSF0
| URI | m2://inv/YFJT00FSF0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.2/convergence-of-power-series, convergence of power series (concept). In VNMV985MXX, index, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
YFJWHEGCCX YFJWHEGCCX
| URI | m2://inv/YFJWHEGCCX |
|---|---|
| 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.12013#9GKA (statement). In 3V26T0265C/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Notations YFK72RTRV6
| URI | m2://inv/YFK72RTRV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal notation#8ZB0, Notations (definition)
History
- 2026-11-02: add by m2/dev
Eleven-dimensional supergravity YFK769KSEN
| URI | m2://inv/YFK769KSEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleven-dimensional supergravity, Eleven-dimensional supergravity (definition). Also Wikidata Q128602199
History
- 2026-11-02: add by m2/dev
Fritz Herzog YFKNNQP8AD
| URI | m2://inv/YFKNNQP8AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SU2H, Fritz Herzog (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZC8W, Fritz Herzog (unknown)
History
- 2026-11-02: add by m2/dev
YFKP5BED2N YFKP5BED2N
| URI | m2://inv/YFKP5BED2N |
|---|---|
| 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.27078#5NP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YFKS8H4EV6 YFKS8H4EV6
| URI | m2://inv/YFKS8H4EV6 |
|---|---|
| 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 2610.10511#XHBD (statement). In BTX64QG716/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Applications YFM2WQ3VR7
| URI | m2://inv/YFM2WQ3VR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher information#GGGQ, Applications (example)
History
- 2026-11-02: add by m2/dev
YFM2XWFQ6H YFM2XWFQ6H
| URI | m2://inv/YFM2XWFQ6H |
|---|---|
| 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 2108.09796#ERP8 (statement). In NAA7WFQN20/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Aleksei Pogorelov YFM5R3QRDH
| URI | m2://inv/YFM5R3QRDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#8EJT, Aleksei Pogorelov (unknown)
History
- 2026-11-02: add by m2/dev
Peter J. Bickel YFM5XD2GJ5
| URI | m2://inv/YFM5XD2GJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter J. Bickel, Peter J. Bickel (topic). Also Wikidata Q7174850
History
- 2026-11-02: add by m2/dev
Extensions YFMGTX2MHE
| URI | m2://inv/YFMGTX2MHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aumann's agreement theorem#QD9I, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Causal sets YFMHDPJ9MK
| URI | m2://inv/YFMHDPJ9MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal sets, Causal sets (definition). Also Wikidata Q1139715
History
- 2026-11-02: add by m2/dev
Disk-complement hole probability YFMQZMF7E0
| URI | m2://inv/YFMQZMF7E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#GXTA, Disk-complement hole probability (statement)
History
- 2026-11-01: add by m2/v0.6.15
YFN2GZAAZA YFN2GZAAZA
| URI | m2://inv/YFN2GZAAZA |
|---|---|
| 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.10365#A193 (statement). In PRVQPSBVHK/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Properties YFN8KQAMKM
| URI | m2://inv/YFN8KQAMKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tractrix#MTZ0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Betsy Becker YFNNCKAFWD
| URI | m2://inv/YFNNCKAFWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betsy Becker, Betsy Becker (topic). Also Wikidata Q38804470
History
- 2026-11-02: add by m2/dev
Standard model YFNVV5V685
| URI | m2://inv/YFNVV5V685 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard model (cryptography), Standard model (definition). Also Wikidata Q7598354
History
- 2026-11-02: add by m2/dev
Kullback's inequality YFNXG9PDNX
| URI | m2://inv/YFNXG9PDNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QXMR, Kullback's inequality (statement)
History
- 2026-11-02: add by m2/dev
The $\alpha$-index YFNXTY93WB
| URI | m2://inv/YFNXTY93WB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#15YL, The $\alpha$-index (definition). In WYDHWYFRFK/e1, definition 3.17
History
- 2026-10-31: add by m2/v0.5.6
Limit of a function YFP1K30C9Y
| URI | m2://inv/YFP1K30C9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#BRLO, Limit of a function (definition)
History
- 2026-11-02: add by m2/dev
Asymptotic Normality YFP50SFARG
| URI | m2://inv/YFP50SFARG |
|---|---|
| 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.20041#1328, Asymptotic Normality (statement)
History
- 2026-11-02: add by m2/v0.6.18
Enterprise feedback management YFPC3Q77BK
| URI | m2://inv/YFPC3Q77BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enterprise feedback management, Enterprise feedback management (definition). Also Wikidata Q2500101
History
- 2026-11-02: add by m2/dev
Covariance intersection YFPCT9Y2B8
| URI | m2://inv/YFPCT9Y2B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance intersection, Covariance intersection (definition). Also Wikidata Q5178898
History
- 2026-11-02: add by m2/dev
YFPDVXAJ7J YFPDVXAJ7J
| URI | m2://inv/YFPDVXAJ7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.33841#0R5X (statement). In 3CVQHT206K/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
Example YFPE5PGPSF
| URI | m2://inv/YFPE5PGPSF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean dimension#BECC, Example (example)
History
- 2026-11-02: add by m2/dev
Krull dimension YFPERJ2090
| URI | m2://inv/YFPERJ2090 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#61GC, Krull dimension (definition)
- wikipedia: Wikipedia List of abstract algebra topics#DQYY, Krull dimension (definition)
- wikipedia: Wikipedia List of commutative algebra topics#PVDQ, Krull dimension (definition)
History
- 2026-11-02: add by m2/dev
Market risk alone $\Rightarrow$ direct rebalancing is optimal YFPFH4SKFD
| URI | m2://inv/YFPFH4SKFD |
|---|---|
| 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.22459#EZQG, Market risk alone $\Rightarrow$ direct rebalancing is optimal (statement)
History
- 2026-11-02: add by m2/v0.6.17
YFPFRHRMJC YFPFRHRMJC
| URI | m2://inv/YFPFRHRMJC |
|---|---|
| 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.21668#9F3Y (definition)
History
- 2026-11-02: add by m2/v0.6.18
flow, value of YFPJDSYFS3
| URI | m2://inv/YFPJDSYFS3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.1/flow-value-of, flow, value of (concept). In QKM9DD2H56, index, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
Liberal bias YFPNBF83S7
| URI | m2://inv/YFPNBF83S7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Media bias#KRMC, Liberal bias (unknown)
History
- 2026-11-02: add by m2/dev
YFPP8MN15Q YFPP8MN15Q
| URI | m2://inv/YFPP8MN15Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#KPQB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Terence Tao YFPR23H5MQ
| URI | m2://inv/YFPR23H5MQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q295981, Terence Tao (unknown). Also nLab Terence Tao, ProofWiki Mathematician:Terence_Chi-Shen_Tao
- wikipedia: Wikipedia Terence Tao, Terence Tao (topic). Also Wikidata Q295981
History
- 2026-10-26: add by m2/dev
YFPT73S2TJ YFPT73S2TJ
| URI | m2://inv/YFPT73S2TJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19296#0TCE (definition). In WFR2WNW8NB/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Basic theorems YFPVZX7HQ2
| URI | m2://inv/YFPVZX7HQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus#AYKE, Basic theorems (statement)
History
- 2026-11-02: add by m2/dev
zonohedron YFQ0P1MB8K
| URI | m2://inv/YFQ0P1MB8K |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2485866, zonohedron (unknown). Also MathWorld Zonohedron
- wikipedia: Wikipedia Zonohedron, Zonohedron (object). Also Wikidata Q2485866
History
- 2026-10-26: add by m2/dev
YFQ6B5ZJ1H YFQ6B5ZJ1H
| URI | m2://inv/YFQ6B5ZJ1H |
|---|---|
| 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 2411.17412#QNXP (statement). In DPBHYJBGKD/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
YFQ8D41F8Y YFQ8D41F8Y
| URI | m2://inv/YFQ8D41F8Y |
|---|---|
| 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.14985#G7QS (statement). In DGXJW3SCBR/e1, theorem 41
History
- 2026-10-28: add by m2/v0.4.2
YFQ8NH29R3 YFQ8NH29R3
| URI | m2://inv/YFQ8NH29R3 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
YFQ9TM76NM YFQ9TM76NM
| URI | m2://inv/YFQ9TM76NM |
|---|---|
| Kind | problem |
| 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 1912.02769#6129 (problem). In JH7VQ2EC16/e1, problem 6.7
History
- 2026-10-27: add by m2/v0.3.5
Steiner YFQBZ0T014
| URI | m2://inv/YFQBZ0T014 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#Y4UN, Steiner (definition)
History
- 2026-11-02: add by m2/dev
Yuri Valentinovich Nesterenko YFQKGWFRNM
| URI | m2://inv/YFQKGWFRNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q4C0, Yuri Valentinovich Nesterenko (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KWBA, Yuri Valentinovich Nesterenko (topic)
History
- 2026-11-02: add by m2/dev
YFR4A5327G YFR4A5327G
| URI | m2://inv/YFR4A5327G |
|---|---|
| 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 2203.07710#811P (statement). In NESGAWA54K/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Generalizations of Taylor's theorem YFR5T0BMKR
| URI | m2://inv/YFR5T0BMKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#EHI1, Generalizations of Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
YFR9GJHWWF YFR9GJHWWF
| URI | m2://inv/YFR9GJHWWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07280#VCM7 (statement). In 1FJKW4WGEN/e1, corollary 1.9
History
- 2026-10-29: add by m2/v0.4.10
Multiplicative trace inequality YFRRAWB85K
| URI | m2://inv/YFRRAWB85K |
|---|---|
| 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.01504#3PK9, Multiplicative trace inequality (statement). In JAVB10Q2YZ/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
YFRW75C7DV YFRW75C7DV
| URI | m2://inv/YFRW75C7DV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babai's problem#NKD6 (problem)
History
- 2026-11-02: add by m2/dev
Constructions YFRWYQKHMJ
| URI | m2://inv/YFRWYQKHMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic spiral#R5UU, Constructions (definition)
History
- 2026-11-02: add by m2/dev
absorption YFRXX93N07
| URI | m2://inv/YFRXX93N07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#X11H, absorption (definition)
History
- 2026-11-02: add by m2/dev
Dalitz plot YFS997SQHJ
| URI | m2://inv/YFS997SQHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#R5UB, Dalitz plot (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition YFSYSD8XXV
| URI | m2://inv/YFSYSD8XXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diameter of a set#17PT, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Pivotal quantity YFT7V5Z75C
| URI | m2://inv/YFT7V5Z75C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pivotal quantity, Pivotal quantity (definition). Also Wikidata Q7199665
History
- 2026-11-02: add by m2/dev
YFTF7FTPYB YFTF7FTPYB
| URI | m2://inv/YFTF7FTPYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.13548#E8J0 (statement). In EQF1ZQ5K1S/e1, corollary 3.24
History
- 2026-10-27: add by m2/v0.4.0
YFTFZTK072 YFTFZTK072
| URI | m2://inv/YFTFZTK072 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#RRPT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mivar-based approach YFTKMNXZR3
| URI | m2://inv/YFTKMNXZR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mivar-based approach, Mivar-based approach (definition). Also Wikidata Q21664089
History
- 2026-11-02: add by m2/dev
G-ring YFTMHJPMR4
| URI | m2://inv/YFTMHJPMR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#IIVA, G-ring (definition)
History
- 2026-11-02: add by m2/dev
Dmitry Novikov YFTVQHE92V
| URI | m2://inv/YFTVQHE92V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T6JR, Dmitry Novikov (unknown)
History
- 2026-11-02: add by m2/dev
YFTYYKA2ZW YFTYYKA2ZW
| URI | m2://inv/YFTYYKA2ZW |
|---|---|
| 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.21278#4FBM (statement). In DCH1JJGGYH/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
YFV2EVN5VX YFV2EVN5VX
| URI | m2://inv/YFV2EVN5VX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#34YP (definition). In 6KR7Z5ETRY/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Orthogonality YFVCE7XS98
| URI | m2://inv/YFVCE7XS98 |
|---|---|
| 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.18154#MKHR, Orthogonality (statement). In 4W7ARR1DAR/e1, lemma G.4
History
- 2026-10-28: add by m2/v0.4.2
Antifragile YFVESHAX98
| URI | m2://inv/YFVESHAX98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antifragile (book), Antifragile (definition). Also Wikidata Q4774726
History
- 2026-11-02: add by m2/dev
Compact letter display YFVNDWPR9V
| URI | m2://inv/YFVNDWPR9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact letter display, Compact letter display (definition). Also Wikidata Q113947126
History
- 2026-11-02: add by m2/dev
YFVRH6QHX1 YFVRH6QHX1
| URI | m2://inv/YFVRH6QHX1 |
|---|---|
| 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.19192#QTJ6 (statement). In E53KCQ5029/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
EZ-Spot YFVTA8N9WT
| URI | m2://inv/YFVTA8N9WT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus series#1PDE, EZ-Spot (unknown)
History
- 2026-11-02: add by m2/dev
YFVTZ4W0PT YFVTZ4W0PT
| URI | m2://inv/YFVTZ4W0PT |
|---|---|
| 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 2610.11671#POH0 (statement). In V06H8BAGEH/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.3
64 states and continuous service YFVZE76F00
| URI | m2://inv/YFVZE76F00 |
|---|---|
| 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.25084#V3C5, 64 states and continuous service (statement)
History
- 2026-11-01: add by m2/v0.6.15
YFW1VAYKWG YFW1VAYKWG
| URI | m2://inv/YFW1VAYKWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#LP77 (statement). In V399QB419P/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
YFW4RYH1QN YFW4RYH1QN
| URI | m2://inv/YFW4RYH1QN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:ap-prod (statement). In N54F33XE07, thm, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
$\varepsilon$-pseudospectrum YFW57RVC53
| URI | m2://inv/YFW57RVC53 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01501#HVU2, $\varepsilon$-pseudospectrum (definition). In 8Q2PXZDGB5/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Weyl notation YFW7E5VZSA
| URI | m2://inv/YFW7E5VZSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#ORAL, Weyl notation (unknown)
History
- 2026-11-02: add by m2/dev
YFWAW65016 YFWAW65016
| URI | m2://inv/YFWAW65016 |
|---|---|
| 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 2210.02997#UI0R (definition). In KEXVYV0SNS/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
knots, } for links YFWD7XEE3K
| URI | m2://inv/YFWD7XEE3K |
|---|---|
| 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.10206#8MTJ, knots, } for links (statement). In 8TRCP1482Q/e1, proposition B.33
History
- 2026-10-29: add by m2/v0.4.10
Carmichael's totient function conjecture YFWE7AGXME
| URI | m2://inv/YFWE7AGXME |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#NZBG, Carmichael's totient function conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
YFWE8K90WZ YFWE8K90WZ
| URI | m2://inv/YFWE8K90WZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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 1209.5343#V75Z (definition). In 4SPYEGKZ8J/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
History State Subspace YFWJYQQF4F
| URI | m2://inv/YFWJYQQF4F |
|---|---|
| Kind | definition |
| 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.26769#MTGE, History State Subspace (definition)
History
- 2026-11-01: add by m2/v0.6.15
Craig Tracy YFWM7JSQX2
| URI | m2://inv/YFWM7JSQX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C427, Craig Tracy (unknown)
History
- 2026-11-02: add by m2/dev
Fine $B$-sweep YFWW9BQ827
| URI | m2://inv/YFWW9BQ827 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#YLHZ, Fine $B$-sweep (statement)
History
- 2026-11-02: add by m2/v0.6.17
Interdecile range YFWX2HZ4H3
| URI | m2://inv/YFWX2HZ4H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H5VL, Interdecile range (definition)
History
- 2026-11-02: add by m2/dev
YFWX33GTB4 YFWX33GTB4
| URI | m2://inv/YFWX33GTB4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-11 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Reedy YFX4MVEJ7N
| URI | m2://inv/YFX4MVEJ7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#NW9B, Reedy (definition)
History
- 2026-11-02: add by m2/dev
When $\beta \geq \frac{x(\log x)^{A/3}}{H^2}$ YFX5PP1PS6
| URI | m2://inv/YFX5PP1PS6 |
|---|---|
| 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.11487#1BD3, When $\beta \geq \frac{x(\log x)^{A/3}}{H^2}$ (statement). In 8S0K3Y25HM/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.3
YFX7NT9SNQ YFX7NT9SNQ
| URI | m2://inv/YFX7NT9SNQ |
|---|---|
| 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.19449#OWNJ (statement). In 8ZKPJ3CBDF/e1, theorem 3.19
History
- 2026-10-28: add by m2/v0.4.2
YFXF9M20Z1 YFXF9M20Z1
| URI | m2://inv/YFXF9M20Z1 |
|---|---|
| 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.06755#9ZFW (statement). In DKEX05SEXS/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.10
YFXHRJXY44 YFXHRJXY44
| URI | m2://inv/YFXHRJXY44 |
|---|---|
| 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.03835#ESV3 (statement). In KAYGQMQPGS/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
YFXM3EPAC2 YFXM3EPAC2
| URI | m2://inv/YFXM3EPAC2 |
|---|---|
| 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.19309#GE6Y (statement). In XKENQH35DW/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Uniform divisor comparison YFXNQ76CMD
| URI | m2://inv/YFXNQ76CMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#UDLT, Uniform divisor comparison (statement). In DHQWFJW02X/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Energy dissipation YFXW6JKSX4
| URI | m2://inv/YFXW6JKSX4 |
|---|---|
| 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#WCHA, Energy dissipation (statement). In KM3Q791JY0/e1, proposition 4.26
History
- 2026-10-27: add by m2/v0.4.2
Localization Processes and Schemes YFXZBGZ837
| URI | m2://inv/YFXZBGZ837 |
|---|---|
| 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#A4KJ, Localization Processes and Schemes (definition)
History
- 2026-11-02: add by m2/v0.6.17
David Williams YFXZS1V4BN
| URI | m2://inv/YFXZS1V4BN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#8HXQ, David Williams (topic)
History
- 2026-11-02: add by m2/dev
McKay's observation and the Conway–Norton conjecture YFYEG0N52M
| URI | m2://inv/YFYEG0N52M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monstrous moonshine#ES4Y, McKay's observation and the Conway–Norton conjecture (statement)
History
- 2026-11-02: add by m2/dev
YFYMQ3Y761 YFYMQ3Y761
| URI | m2://inv/YFYMQ3Y761 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#PJA8 (definition). In XGPZ0G9E1Q/e1, definition 7.16
History
- 2026-10-29: add by m2/v0.4.12
No-interaction theorem YFYNA1A0NE
| URI | m2://inv/YFYNA1A0NE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-interaction theorem, No-interaction theorem (statement). Also Wikidata Q140570706
History
- 2026-11-02: add by m2/dev
Steinerian YFYSG7HM3S
| URI | m2://inv/YFYSG7HM3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HH25, Steinerian (definition)
History
- 2026-11-02: add by m2/dev
YFYSQW76W6 YFYSQW76W6
| URI | m2://inv/YFYSQW76W6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#NOID (definition). In HX63A1PH1W/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.3
Data-flow diagram YFZ46ZQ9K7
| URI | m2://inv/YFZ46ZQ9K7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#VUS8, Data-flow diagram (unknown)
History
- 2026-11-02: add by m2/dev
Small dodecahemicosahedron YFZE70S2MV
| URI | m2://inv/YFZE70S2MV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#W6NY, Small dodecahemicosahedron (object)
History
- 2026-11-02: add by m2/dev
generation, of a type, inductive YFZF92S38C
| URI | m2://inv/YFZF92S38C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.1/generation-of-a-type-inductive, generation, of a type, inductive (concept). In N54F33XE07, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
YFZNTF1K4Z YFZNTF1K4Z
| URI | m2://inv/YFZNTF1K4Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#482G (definition). In TC5QA4AB4Z/e1, definition 4.22
History
- 2026-10-30: add by m2/v0.4.12
Riemann-Lebovitz formulation YFZQYGE2VW
| URI | m2://inv/YFZQYGE2VW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#NH3H, Riemann-Lebovitz formulation (unknown)
History
- 2026-11-02: add by m2/dev
Mary P. Dolciani YFZXX3V6D3
| URI | m2://inv/YFZXX3V6D3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary P. Dolciani, Mary P. Dolciani (topic). Also Wikidata Q6780472
History
- 2026-11-02: add by m2/dev