Inventory rows 8B
The cards of the rows of the inventory whose ids start with 8B. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8B00Y72S04 8B00Y72S04
| URI | m2://inv/8B00Y72S04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25564#B31N (statement)
History
- 2026-11-01: add by m2/v0.6.15
8B019542X8 8B019542X8
| URI | m2://inv/8B019542X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#P8WJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Canonical analysis 8B038YQEA3
| URI | m2://inv/8B038YQEA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical analysis, Canonical analysis (definition). Also Wikidata Q5033360
History
- 2026-11-02: add by m2/dev
Stochastic Eulerian Lagrangian method 8B08SBW7V8
| URI | m2://inv/8B08SBW7V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic Eulerian Lagrangian method, Stochastic Eulerian Lagrangian method (definition). Also Wikidata Q7617806
History
- 2026-11-02: add by m2/dev
Zero-error clique-entropy converse 8B0FWE6GFN
| URI | m2://inv/8B0FWE6GFN |
|---|---|
| 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.08202#C2G2, Zero-error clique-entropy converse (statement). In N7XJ16700B/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
8B0KMMCP8Q 8B0KMMCP8Q
| URI | m2://inv/8B0KMMCP8Q |
|---|---|
| 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.09129#CL8Y (statement). In Z1RZSF68XZ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
3-category 8B0M5H2J2W
| URI | m2://inv/8B0M5H2J2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-category, 3-category (definition). Also Wikidata Q134455143
History
- 2026-11-02: add by m2/dev
Fekete constant 8B16QF3MDB
| URI | m2://inv/8B16QF3MDB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal radius#U36R, Fekete constant (unknown)
History
- 2026-11-02: add by m2/dev
Bonus Lemma 8B1A4X6H0Q
| URI | m2://inv/8B1A4X6H0Q |
|---|---|
| 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 2212.05398#CPDI, Bonus Lemma (statement). In WQKQ8438M7/e1, lemma 1.12
History
- 2026-10-27: add by m2/v0.3.5
8B1SFC3V3S 8B1SFC3V3S
| URI | m2://inv/8B1SFC3V3S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
8B1SMR1Z24 8B1SMR1Z24
| URI | m2://inv/8B1SMR1Z24 |
|---|---|
| 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.04835#7TFN (statement). In P6PHR4W23S/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.12
8B1YW8TPXY 8B1YW8TPXY
| URI | m2://inv/8B1YW8TPXY |
|---|---|
| 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 2606.00589#PGGR (statement). In C8JAGP8VCQ/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.3.5
8B20C49QE0 8B20C49QE0
| URI | m2://inv/8B20C49QE0 |
|---|---|
| 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.09989#LJ4F (statement). In 4KZA07H3GE/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Discrete time 8B272MVW1D
| URI | m2://inv/8B272MVW1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3L9R, Discrete time (definition)
History
- 2026-11-02: add by m2/dev
8B2BGGGY7R 8B2BGGGY7R
| URI | m2://inv/8B2BGGGY7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#OIIO (statement). In 8T90H89HNB/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
axiom, strong collection 8B2C4TKSBX
| URI | m2://inv/8B2C4TKSBX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/axiom-strong-collection, axiom, strong collection (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Equivariance of $\Xi$ 8B2FCH6WHY
| URI | m2://inv/8B2FCH6WHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36237#M1XK, Equivariance of $\Xi$ (statement). In JNBMSFE14N/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
8B2HBWDVG8 8B2HBWDVG8
| URI | m2://inv/8B2HBWDVG8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1507.03803#32CZ (example). In MMJT4R2MSS/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
8B2XRQ5QEZ 8B2XRQ5QEZ
| URI | m2://inv/8B2XRQ5QEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-24 (statement). In VNMV985MXX, prop, section B
History
- 2026-11-01: add by m2/v0.6.13
8B3196XQR3 8B3196XQR3
| URI | m2://inv/8B3196XQR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#FVFR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Knuth's up-arrow notation 8B31VA6FHZ
| URI | m2://inv/8B31VA6FHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q908427, Knuth's up-arrow notation (unknown). Also MathWorld KnuthUp-ArrowNotation
- wikipedia: Wikipedia Knuth's up-arrow notation, Knuth's up-arrow notation (definition). Also Wikidata Q908427
History
- 2026-10-26: add by m2/dev
Howard Levene 8B3A5SCRNQ
| URI | m2://inv/8B3A5SCRNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VOUR, Howard Levene (unknown)
History
- 2026-11-02: add by m2/dev
Mirror symmetry 8B3EZA02AJ
| URI | m2://inv/8B3EZA02AJ |
|---|---|
| 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.25015#5O4B, Mirror symmetry (statement)
History
- 2026-11-01: add by m2/v0.6.15
8B3FBYW9V3 8B3FBYW9V3
| URI | m2://inv/8B3FBYW9V3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-52 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
Binomial theorem 8B3KGZS774
| URI | m2://inv/8B3KGZS774 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli's inequality#3WS4, Binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
8B3R0TCTEZ 8B3R0TCTEZ
| URI | m2://inv/8B3R0TCTEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#OUD2 (statement). In 8SVVEVGMNE/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
8B3XP2JBH0 8B3XP2JBH0
| URI | m2://inv/8B3XP2JBH0 |
|---|---|
| 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.05708#25V6 (statement). In 3BJPFGJNSS/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Algorithms 8B3YPB2M81
| URI | m2://inv/8B3YPB2M81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid graph#TUP6, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Properties 8B3ZM62DPK
| URI | m2://inv/8B3ZM62DPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes flow#Y8X8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Rectified 24-cell honeycomb 8B3ZW8RBBD
| URI | m2://inv/8B3ZW8RBBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 24-cell honeycomb, Rectified 24-cell honeycomb (definition). Also Wikidata Q7303153
History
- 2026-11-02: add by m2/dev
8B4005SQFG 8B4005SQFG
| URI | m2://inv/8B4005SQFG |
|---|---|
| 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#K6NL (statement). In 3VZ55B2N0D/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
8B40CZS3FJ 8B40CZS3FJ
| URI | m2://inv/8B40CZS3FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#YAC0 (statement). In 4PGTZ19B26/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Properties of Isolation Forest 8B42KKSB2Z
| URI | m2://inv/8B42KKSB2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isolation forest#LPKG, Properties of Isolation Forest (statement)
History
- 2026-11-02: add by m2/dev
8B49RJNBJP 8B49RJNBJP
| URI | m2://inv/8B49RJNBJP |
|---|---|
| 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 2405.05684#RHS8 (statement). In 1PR73ECTZB/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Example 8B4A32HWQX
| URI | m2://inv/8B4A32HWQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squared deviations from the mean#3HHO, Example (example)
History
- 2026-11-02: add by m2/dev
8B4AQS7TRJ 8B4AQS7TRJ
| URI | m2://inv/8B4AQS7TRJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 71.11
History
- 2026-11-01: add by m2/v0.6.13
8B4BHQQPKC 8B4BHQQPKC
| URI | m2://inv/8B4BHQQPKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#YS5T (statement). In X765ZXXVC3/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.12
8B4CTSS1DN 8B4CTSS1DN
| URI | m2://inv/8B4CTSS1DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#BKMD (statement). In DPT4P2BTEW/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
8B4EV1DQEA 8B4EV1DQEA
| URI | m2://inv/8B4EV1DQEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#ex-1 (example). In PKGMM3P5QY, ex, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
8B4F3JKM3N 8B4F3JKM3N
| URI | m2://inv/8B4F3JKM3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05276#1Y76 (statement). In 4C5XHYTRT2/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
8B4RNFTQC7 8B4RNFTQC7
| URI | m2://inv/8B4RNFTQC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:equiv-contr-hae (statement). In N54F33XE07, thm, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
8B54G96798 8B54G96798
| URI | m2://inv/8B54G96798 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#BVWD (statement). In 79H1DEK4M9/e1, theorem 5.9
History
- 2026-10-29: add by m2/v0.4.10
8B54JJ7HG0 8B54JJ7HG0
| URI | m2://inv/8B54JJ7HG0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-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.13100#FJA4 (definition). In CC6S1HVK0T/e1, definition 6.6
History
- 2026-10-28: add by m2/v0.4.2
8B58EA1HHQ 8B58EA1HHQ
| URI | m2://inv/8B58EA1HHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05672#VHZJ (statement). In BQGX0XE2A6/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
8B58NFAE79 8B58NFAE79
| URI | m2://inv/8B58NFAE79 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/theories.tex#ex-5 (example). In PKGMM3P5QY, ex, section 13.3
History
- 2026-11-01: add by m2/v0.6.13
8B5APHKP5C 8B5APHKP5C
| URI | m2://inv/8B5APHKP5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11829#67O5 (statement). In 76DK6SPN88/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
8B5J8MKVQM 8B5J8MKVQM
| URI | m2://inv/8B5J8MKVQM |
|---|---|
| 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.11517#LPJR (statement). In 87NF85QAKT/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
De Giorgi Lemma 8B5N4E6JCT
| URI | m2://inv/8B5N4E6JCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#UR0P, De Giorgi Lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
Karl Menger 8B5PTZEJ7N
| URI | m2://inv/8B5PTZEJ7N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Menger, Karl Menger (topic). Also Wikidata Q93690
History
- 2026-11-02: add by m2/dev
stratified 8B5X245PGN
| URI | m2://inv/8B5X245PGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#TM9Y, stratified (definition)
History
- 2026-11-02: add by m2/dev
8B62ZDDV78 8B62ZDDV78
| URI | m2://inv/8B62ZDDV78 |
|---|---|
| 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 2401.05118#JC0G (statement). In BT0T0QS2TN/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.0
Andrew Ehrenberg 8B682DCCGV
| URI | m2://inv/8B682DCCGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#98DD, Andrew Ehrenberg (topic)
History
- 2026-11-02: add by m2/dev
Approximation of local quadratic variation by realized variation 8B6AEKAK89
| URI | m2://inv/8B6AEKAK89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05864#UOR4, Approximation of local quadratic variation by realized variation (statement). In 31QPXWDZSH/e1, lemma B.8
History
- 2026-10-29: add by m2/v0.4.10
Green–Lagrange strain 8B6KD1XJZZ
| URI | m2://inv/8B6KD1XJZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#E0NH, Green–Lagrange strain (definition)
History
- 2026-11-02: add by m2/dev
Incidence matrix 8B6MX7FM2D
| URI | m2://inv/8B6MX7FM2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#N6AA, Incidence matrix (definition)
History
- 2026-11-02: add by m2/dev
Norman L. Biggs 8B6RF1E9C5
| URI | m2://inv/8B6RF1E9C5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman L. Biggs, Norman L. Biggs (topic). Also Wikidata Q7052455
History
- 2026-11-02: add by m2/dev
Law of comparative judgment 8B6RFWA645
| URI | m2://inv/8B6RFWA645 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of comparative judgment, Law of comparative judgment (statement). Also Wikidata Q2992415
History
- 2026-11-02: add by m2/dev
Implementable persistent sampler 8B6VPX1G7M
| URI | m2://inv/8B6VPX1G7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#NOBB, Implementable persistent sampler (statement). In TP61DYMBMK/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Support values on minimal obstructions 8B6ZTCJE9M
| URI | m2://inv/8B6ZTCJE9M |
|---|---|
| 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.10002#AQ3Y, Support values on minimal obstructions (statement). In 5ZYWF6HAXJ/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.10
list of integrals 8B77WVC29G
| URI | m2://inv/8B77WVC29G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#RH0C, list of integrals (definition)
History
- 2026-11-02: add by m2/dev
8B7DDM1593 8B7DDM1593
| URI | m2://inv/8B7DDM1593 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#O3JN (statement). In GMRT5GHBZS/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
Descent (category theory) 8B7G2BP902
| URI | m2://inv/8B7G2BP902 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#SQ5H, Descent (category theory) (definition)
History
- 2026-11-02: add by m2/dev
8B7G3R4M45 8B7G3R4M45
| URI | m2://inv/8B7G3R4M45 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#BG5W (example). In TWPE10CZ1S/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
8B7GZHNCBA 8B7GZHNCBA
| URI | m2://inv/8B7GZHNCBA |
|---|---|
| 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.08753#LFCU (statement). In J9P361Z1CX/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Definition 8B7NXMR39D
| URI | m2://inv/8B7NXMR39D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewness#LHBG, Definition (definition)
History
- 2026-11-02: add by m2/dev
8B818VPWTB 8B818VPWTB
| URI | m2://inv/8B818VPWTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#RP4H (statement). In 9JHMTYGWFQ/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Elwyn Berlekamp 8B8285W0H2
| URI | m2://inv/8B8285W0H2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elwyn Berlekamp, Elwyn Berlekamp (topic). Also Wikidata Q1314603
History
- 2026-11-02: add by m2/dev
Constraint system 8B84J9N856
| URI | m2://inv/8B84J9N856 |
|---|---|
| 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.20478#CNWQ, Constraint system (definition)
History
- 2026-11-02: add by m2/v0.6.18
8B8CZR4GD0 8B8CZR4GD0
| URI | m2://inv/8B8CZR4GD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#9LOQ (statement). In PG0B4PH9YH/e1, proposition 5.20
History
- 2026-10-27: add by m2/v0.4.2
Dewey, Davis Rich 8B8GJSDT1H
| URI | m2://inv/8B8GJSDT1H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AXR1, Dewey, Davis Rich (unknown)
History
- 2026-11-02: add by m2/dev
Bloch's conductor formula 8B8GS2S22Q
| URI | m2://inv/8B8GS2S22Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localized Chern class#B8KY, Bloch's conductor formula (statement)
History
- 2026-11-02: add by m2/dev
Towards a loss for KRRR 8B8J6SNJ4S
| URI | m2://inv/8B8J6SNJ4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#K3AU, Towards a loss for KRRR (statement). In T9HZXHTQBJ/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
8B8M1P0EZW 8B8M1P0EZW
| URI | m2://inv/8B8M1P0EZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#A0U3 (statement). In 25B3WHEKH2/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.4.2
8B8TJJQWW0 8B8TJJQWW0
| URI | m2://inv/8B8TJJQWW0 |
|---|---|
| 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.00625#W13W (statement). In BGA625B7W1/e1, corollary 2.8
History
- 2026-10-30: add by m2/v0.4.12
Lower bound 8B96S3AZTF
| URI | m2://inv/8B96S3AZTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10095#3N4P, Lower bound (statement). In 2TSKFPTS0T/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Bell curve 8B9H0WAHTC
| URI | m2://inv/8B9H0WAHTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#78IV, Bell curve (definition)
History
- 2026-11-02: add by m2/dev
British thermal unit 8B9JFQR9GH
| URI | m2://inv/8B9JFQR9GH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211580, British thermal unit (definition). Also ProofWiki Definition:British_Thermal_Unit
History
- 2026-10-26: add by m2/dev
Poincaré sphere (optics) 8B9NZ9XF8W
| URI | m2://inv/8B9NZ9XF8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#R4K6, Poincaré sphere (optics) (unknown)
History
- 2026-11-02: add by m2/dev
$k$-indecomposable weighted design 8B9VP6V5VJ
| URI | m2://inv/8B9VP6V5VJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#4GEB, $k$-indecomposable weighted design (definition). In TBYTWR87F3/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
8B9VY3V2HW 8B9VY3V2HW
| URI | m2://inv/8B9VY3V2HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#OBQ9 (statement). In 9VG7PNZHZT/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
8B9W8JXE7Y 8B9W8JXE7Y
| URI | m2://inv/8B9W8JXE7Y |
|---|---|
| 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.26386#9ODJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Otto Hesse 8BA37C22RX
| URI | m2://inv/8BA37C22RX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MNDY, Otto Hesse (topic)
History
- 2026-11-02: add by m2/dev
8BA3M663XN 8BA3M663XN
| URI | m2://inv/8BA3M663XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#6SL1 (statement). In H71AJ341B3/e1, lemma 6.11
History
- 2026-10-31: add by m2/v0.5.6
more than seven faces 8BAAPYNBBG
| URI | m2://inv/8BAAPYNBBG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#14C0, more than seven faces (conjecture)
History
- 2026-11-02: add by m2/dev
8BADKFBA1C 8BADKFBA1C
| URI | m2://inv/8BADKFBA1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#COIN (statement)
History
- 2026-11-01: add by m2/v0.6.15
8BAGKC4QWP 8BAGKC4QWP
| URI | m2://inv/8BAGKC4QWP |
|---|---|
| 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 2504.00267#4KM5 (definition). In 38XJWDZ2PH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Giraud subcategory 8BAGRMYY6N
| URI | m2://inv/8BAGRMYY6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giraud subcategory, Giraud subcategory (definition). Also Wikidata Q25303775
History
- 2026-11-02: add by m2/dev
A centered susceptibility bound 8BAJ7JA6G4
| URI | m2://inv/8BAJ7JA6G4 |
|---|---|
| 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.22301#1M9L, A centered susceptibility bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
8BAJFMMN71 8BAJFMMN71
| URI | m2://inv/8BAJFMMN71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#J0DB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Positive links and slice-torus invariants 8BAKB8F88A
| URI | m2://inv/8BAKB8F88A |
|---|---|
| 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#YU5V, Positive links and slice-torus invariants (statement). In 8TRCP1482Q/e1, theorem B.29
History
- 2026-10-29: add by m2/v0.4.10
Palatini variation 8BAQV0CRR2
| URI | m2://inv/8BAQV0CRR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palatini variation, Palatini variation (definition). Also Wikidata Q17104967
History
- 2026-11-02: add by m2/dev
Alejandro C. Frery 8BB0FKNE13
| URI | m2://inv/8BB0FKNE13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alejandro C. Frery, Alejandro C. Frery (topic). Also Wikidata Q51137850
History
- 2026-11-02: add by m2/dev
8BBCSXH50B 8BBCSXH50B
| URI | m2://inv/8BBCSXH50B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#VNPT (statement). In NSP90G5XCQ/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.12
8BBHEYW2QT 8BBHEYW2QT
| URI | m2://inv/8BBHEYW2QT |
|---|---|
| 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.35950#VKWD (statement). In BZN1G5W5FX/e1, lemma 11.2
History
- 2026-10-30: add by m2/v0.4.12
Applications 8BBJV6BFS8
| URI | m2://inv/8BBJV6BFS8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casey's theorem#MQNJ, Applications (example)
History
- 2026-11-02: add by m2/dev
unit cube 8BBSYCA7AY
| URI | m2://inv/8BBSYCA7AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2072112, unit cube (unknown). Also MathWorld UnitCube
- wikipedia: Wikipedia Unit cube, Unit cube (definition). Also Wikidata Q2072112
History
- 2026-10-26: add by m2/dev
Terminology 8BBSYSPCH4
| URI | m2://inv/8BBSYSPCH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent (Galois theory)#SKCN, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Consistency condition 8BBX5S0609
| URI | m2://inv/8BBX5S0609 |
|---|---|
| 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.24185#8VUM, Consistency condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Winsorized mean 8BC63M2PTY
| URI | m2://inv/8BC63M2PTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XTML, Winsorized mean (definition)
History
- 2026-11-02: add by m2/dev
Sierpinski tetrahedron 8BC9HKGQ3G
| URI | m2://inv/8BC9HKGQ3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński triangle#LMXT, Sierpinski tetrahedron (unknown)
History
- 2026-11-02: add by m2/dev
8BC9N4P3Z6 8BC9N4P3Z6
| URI | m2://inv/8BC9N4P3Z6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/frame-completeness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.1
History
- 2026-11-01: add by m2/v0.6.13
8BCAKGP6ZT 8BCAKGP6ZT
| URI | m2://inv/8BCAKGP6ZT |
|---|---|
| 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.37846#2MRC (definition). In DCA0M1EE4A/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
8BCARPJC8V 8BCARPJC8V
| URI | m2://inv/8BCARPJC8V |
|---|---|
| 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.23994#GFW9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Valentine Bargmann 8BCD4PDZ09
| URI | m2://inv/8BCD4PDZ09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TSON, Valentine Bargmann (topic)
History
- 2026-11-02: add by m2/dev
8BCGQRV9CY 8BCGQRV9CY
| URI | m2://inv/8BCGQRV9CY |
|---|---|
| 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.30407#W9EY (statement). In HNY6N561H5/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
8BCHMMWNYM 8BCHMMWNYM
| URI | m2://inv/8BCHMMWNYM |
|---|---|
| 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.02642#ZRCD (statement). In VMWV58VWKN/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
8BD14C26BP 8BD14C26BP
| URI | m2://inv/8BD14C26BP |
|---|---|
| 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.11047#SIGG (statement). In MNQAZ70XTH/e1, corollary 11.2
History
- 2026-10-28: add by m2/v0.4.3
Detection of steganography 8BD7QWN335
| URI | m2://inv/8BD7QWN335 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steganography#6NWE, Detection of steganography (unknown)
History
- 2026-11-02: add by m2/dev
Murphy's law 8BD9NNXE3K
| URI | m2://inv/8BD9NNXE3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murphy's law, Murphy's law (statement). Also Wikidata Q188908
History
- 2026-11-02: add by m2/dev
Hughes-Oliver, Jacqueline 8BDF9RD666
| URI | m2://inv/8BDF9RD666 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BKJM, Hughes-Oliver, Jacqueline (unknown)
History
- 2026-11-02: add by m2/dev
join 8BDHJHYTHA
| URI | m2://inv/8BDHJHYTHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Join ZEETZHV69Y |
Mentions
- wikidata: Wikidata Q3183033, join (unknown). Also EoM Join, MathWorld SpaceJoin, nLab join of topological spaces
- wikipedia: Wikipedia Join (topology), Join (definition). Also Wikidata Q3183033
History
- 2026-10-26: add by m2/dev
Milnor map 8BDJR5BHPF
| URI | m2://inv/8BDJR5BHPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#MHSE, Milnor map (definition)
History
- 2026-11-02: add by m2/dev
Heptadecagram 8BDXFDYRRX
| URI | m2://inv/8BDXFDYRRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heptadecagon#VXMR, Heptadecagram (unknown)
History
- 2026-11-02: add by m2/dev
8BE096E837 8BE096E837
| URI | m2://inv/8BE096E837 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/randvar.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 69.6
History
- 2026-11-01: add by m2/v0.6.13
weak n-category 8BE3PRX4BC
| URI | m2://inv/8BE3PRX4BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7977957, weak n-category (unknown). Also EoM Higher-dimensional_category
- wikipedia: Wikipedia Weak n-category, Weak n-category (definition). Also Wikidata Q7977957
History
- 2026-10-26: add by m2/dev
Carl Anton Bretschneider 8BEE34EVHQ
| URI | m2://inv/8BEE34EVHQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Anton Bretschneider, Carl Anton Bretschneider (topic). Also Wikidata Q215867
History
- 2026-11-02: add by m2/dev
8BEF4625NR 8BEF4625NR
| URI | m2://inv/8BEF4625NR |
|---|---|
| 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.22825#7GAM (definition)
History
- 2026-11-02: add by m2/v0.6.17
Product--Whitney conifold class 8BEJCJ47V7
| URI | m2://inv/8BEJCJ47V7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#7K1X, Product--Whitney conifold class (definition)
History
- 2026-11-01: add by m2/v0.6.15
Yuli Eidelman 8BER9JSGQV
| URI | m2://inv/8BER9JSGQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q112474134, Yuli Eidelman (unknown). Also ProofWiki Mathematician:Yuli_Eidelman
History
- 2026-10-26: add by m2/dev
Brigitte Servatius 8BF0TAAM8G
| URI | m2://inv/8BF0TAAM8G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F13J, Brigitte Servatius (topic)
History
- 2026-11-02: add by m2/dev
8BF3Q9B1WW 8BF3Q9B1WW
| URI | m2://inv/8BF3Q9B1WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#XVJ9 (statement). In B6PCH930FV/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
The commutativity hypothesis is genuine 8BF55NNCWK
| URI | m2://inv/8BF55NNCWK |
|---|---|
| Kind | example |
| 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.01329#A5ND, The commutativity hypothesis is genuine (example). In 7XEVYJKJ5C/e1, example 4.4
History
- 2026-10-29: add by m2/v0.4.12
Explicit formulas 8BF8KP89BK
| URI | m2://inv/8BF8KP89BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bures metric#3TSS, Explicit formulas (statement)
History
- 2026-11-02: add by m2/dev
Jarzynski's equality with survival for SL-to-ASL ratio 8BFB1CVQ9E
| URI | m2://inv/8BFB1CVQ9E |
|---|---|
| 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.30590#C7GN, Jarzynski's equality with survival for SL-to-ASL ratio (statement). In WYE2JVEZBT/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
Christiane Tretter 8BFBGTAGT8
| URI | m2://inv/8BFBGTAGT8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christiane Tretter, Christiane Tretter (topic). Also Wikidata Q86530753
History
- 2026-11-02: add by m2/dev
8BFG6DEEYQ 8BFG6DEEYQ
| URI | m2://inv/8BFG6DEEYQ |
|---|---|
| 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.29943#TZAF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 8BFN5ZREJ5
| URI | m2://inv/8BFN5ZREJ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wang tile#9Z0M, Applications (example)
History
- 2026-11-02: add by m2/dev
8BFPM1WGPH 8BFPM1WGPH
| URI | m2://inv/8BFPM1WGPH |
|---|---|
| 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.14841#9DNL (statement). In 6V5HP8W1ZG/e1, theorem 20
History
- 2026-10-28: add by m2/v0.4.2
David Hedgley 8BFT8CNZNW
| URI | m2://inv/8BFT8CNZNW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Hedgley, David Hedgley (topic). Also Wikidata Q19878714
History
- 2026-11-02: add by m2/dev
8BG1S1QHM6 8BG1S1QHM6
| URI | m2://inv/8BG1S1QHM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14839#KCHU (statement). In CYB41667NA/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
8BG2VEDYY8 8BG2VEDYY8
| URI | m2://inv/8BG2VEDYY8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.07695#T02W (definition). In 8Z47D12KSX/e1, definition 8.3
History
- 2026-10-29: add by m2/v0.4.10
Regular embedding 8BG3NVK4Q1
| URI | m2://inv/8BG3NVK4Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular embedding, Regular embedding (definition). Also Wikidata Q25099324
History
- 2026-11-02: add by m2/dev
8BG43NS454 8BG43NS454
| URI | m2://inv/8BG43NS454 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2108.01302#XXB6 (statement). In KTQS6YPA4E/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
8BGGW7CQKY 8BGGW7CQKY
| URI | m2://inv/8BGGW7CQKY |
|---|---|
| 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 2204.01121#V2YQ (statement). In 1HP57QXBGF/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Oloid 8BGK9Z6D31
| URI | m2://inv/8BGK9Z6D31 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2IWN, Oloid (unknown)
History
- 2026-11-02: add by m2/dev
Bill Johnson 8BGY1ZWMJK
| URI | m2://inv/8BGY1ZWMJK |
|---|---|
| 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#EDZF, Bill Johnson (topic)
History
- 2026-11-02: add by m2/dev
Mary Ellen Rudin 8BH0DDJ4Q3
| URI | m2://inv/8BH0DDJ4Q3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Ellen Rudin, Mary Ellen Rudin (topic). Also Wikidata Q450235
History
- 2026-11-02: add by m2/dev
8BH0YVA7WP 8BH0YVA7WP
| URI | m2://inv/8BH0YVA7WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#S7XG (statement). In CC6S1HVK0T/e1, theorem 9.10
History
- 2026-10-28: add by m2/v0.4.2
8BH1V12EEV 8BH1V12EEV
| URI | m2://inv/8BH1V12EEV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0812.1600#M90R (definition). In 7Z12QX7837/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
type, of lists 8BHMTPS9F9
| URI | m2://inv/8BHMTPS9F9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/type-of-lists, type, of lists (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
defunctionalization 8BHWPD40JZ
| URI | m2://inv/8BHWPD40JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5251733, defunctionalization (unknown). Also nLab defunctionalization
History
- 2026-10-26: add by m2/dev
Terminology 8BJ1V9GRRN
| URI | m2://inv/8BJ1V9GRRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Science, technology, engineering, and mathematics#PIL7, Terminology (definition)
History
- 2026-11-02: add by m2/dev
List of integration and measure theory topics 8BJ64N3PHY
| URI | m2://inv/8BJ64N3PHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics, List of integration and measure theory topics (topic). Also Wikidata Q6624131
History
- 2026-11-02: add by m2/dev
8BJ82C3T8R 8BJ82C3T8R
| URI | m2://inv/8BJ82C3T8R |
|---|---|
| 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.29227#CJPY (statement)
History
- 2026-11-01: add by m2/v0.6.15
8BJ8N2J13Z 8BJ8N2J13Z
| URI | m2://inv/8BJ8N2J13Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.33704#X9TO (statement). In STRVMT83HE/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
8BJAN9D7C9 8BJAN9D7C9
| URI | m2://inv/8BJAN9D7C9 |
|---|---|
| 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.33124#65I5 (statement). In P27HYGQDAN/e1, theorem 31
History
- 2026-10-30: add by m2/v0.4.12
Glaeser's continuity theorem 8BJBCQ7VFZ
| URI | m2://inv/8BJBCQ7VFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glaeser's continuity theorem, Glaeser's continuity theorem (statement). Also Wikidata Q3527084
History
- 2026-11-02: add by m2/dev
Silvio Micali 8BJC3QV9YT
| URI | m2://inv/8BJC3QV9YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FUWT, Silvio Micali (unknown)
History
- 2026-11-02: add by m2/dev
8BJGQCQBV4 8BJGQCQBV4
| URI | m2://inv/8BJGQCQBV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#CE7F (statement). In XCSQ27P0XW/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.0
8BJHYTVSEC 8BJHYTVSEC
| URI | m2://inv/8BJHYTVSEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18377#AWBZ (statement). In KYJJMC50SJ/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
pretopological space 8BJJX82SWN
| URI | m2://inv/8BJJX82SWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7242162, pretopological space (unknown). Also nLab pretopological space
- wikipedia: Wikipedia Pretopological space, Pretopological space (definition). Also Wikidata Q7242162
History
- 2026-10-26: add by m2/dev
8BJPP1QXAW 8BJPP1QXAW
| URI | m2://inv/8BJPP1QXAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#Z55X (statement). In 5ZPSZFE08Q/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.10
8BJS8VKG7Q 8BJS8VKG7Q
| URI | m2://inv/8BJS8VKG7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00798#OPLJ (statement). In FANG3A8NZ9/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
8BJSRFGGFR 8BJSRFGGFR
| URI | m2://inv/8BJSRFGGFR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#02B8 (definition). In 9NVKKW8HDH/e1, definition 3.18
History
- 2026-10-28: add by m2/v0.4.2
Lieb-Robinson bounds for finite-range interactions 8BK1YB8MVT
| URI | m2://inv/8BK1YB8MVT |
|---|---|
| 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.12731#SCYU, Lieb-Robinson bounds for finite-range interactions (statement). In 2NCV1M6WYS/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
8BK2BTK3Z3 8BK2BTK3Z3
| URI | m2://inv/8BK2BTK3Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03336#TJSQ (statement). In 4ZD20W8BVF/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Strominger–Yau–Zaslow conjecture 8BKASED865
| URI | m2://inv/8BKASED865 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirror symmetry (string theory)#F2HP, Strominger–Yau–Zaslow conjecture (statement)
History
- 2026-11-02: add by m2/dev
8BKGGV25FB 8BKGGV25FB
| URI | m2://inv/8BKGGV25FB |
|---|---|
| Kind | statement |
| 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 2102.10460#2URG (statement). In 3N20HKKXTJ/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Michael Brin Prize in Dynamical Systems 8BKKC9EEE4
| URI | m2://inv/8BKKC9EEE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Brin Prize in Dynamical Systems, Michael Brin Prize in Dynamical Systems (definition). Also Wikidata Q23055136
History
- 2026-11-02: add by m2/dev
Decorrelation theory 8BKPR3HXGK
| URI | m2://inv/8BKPR3HXGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decorrelation theory, Decorrelation theory (definition). Also Wikidata Q3984122
History
- 2026-11-02: add by m2/dev
Moritz Allé 8BKS4YDSXH
| URI | m2://inv/8BKS4YDSXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moritz Allé, Moritz Allé (topic). Also Wikidata Q6912382
History
- 2026-11-02: add by m2/dev
8BMEXHD4SH 8BMEXHD4SH
| URI | m2://inv/8BMEXHD4SH |
|---|---|
| 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 2609.34013#ZSHU (statement). In 3TA3P3CWSJ/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
8BMKTEVAPR 8BMKTEVAPR
| URI | m2://inv/8BMKTEVAPR |
|---|---|
| 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 2609.31331#DGGI (statement). In TWB64HRHWZ/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Paul Kelly 8BMQJ70Z3M
| URI | m2://inv/8BMQJ70Z3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Kelly (mathematician), Paul Kelly (topic). Also Wikidata Q15438787
History
- 2026-11-02: add by m2/dev
8BMT582523 8BMT582523
| URI | m2://inv/8BMT582523 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#PUKH (statement)
History
- 2026-11-02: add by m2/v0.6.17
8BMY37XG8P 8BMY37XG8P
| URI | m2://inv/8BMY37XG8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#3VQ2 (statement). In M2X9TEYRPC/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
AF+BG theorem 8BMYMWEXJV
| URI | m2://inv/8BMYMWEXJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526969, AF+BG theorem (statement). Also Wikidata Q3526969
- thousand_plus: thousand_plus Q3526969, AF+BG theorem (statement). Also Wikidata Q3526969, Wikipedia AF+BG theorem
- wikidata: Wikidata Q3526969, AF+BG theorem (statement). Also MathWorld NoethersFundamentalTheorem
- wikipedia: Wikipedia AF+BG theorem, AF+BG theorem (statement). Also Wikidata Q3526969
History
- 2026-10-26: add by m2/dev
Geometrically 8BMZ2Y1ZPD
| URI | m2://inv/8BMZ2Y1ZPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrically (algebraic geometry), Geometrically (definition). Also Wikidata Q85763061
History
- 2026-11-02: add by m2/dev
Properties 8BNFFRGZ5B
| URI | m2://inv/8BNFFRGZ5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong Nash equilibrium#881W, Properties (statement)
History
- 2026-11-02: add by m2/dev
stream function 8BNQQNA150
| URI | m2://inv/8BNQQNA150 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 76D05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2029236, stream function (topic)
- wikipedia: Wikipedia Stream function, Stream function (definition). Also Wikidata Q2029236
History
- 2026-10-26: add by m2/dev
8BNSRNHASV 8BNSRNHASV
| URI | m2://inv/8BNSRNHASV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
Patrick Brosnan 8BNSV23VAK
| URI | m2://inv/8BNSV23VAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Brosnan, Patrick Brosnan (topic). Also Wikidata Q7146157
History
- 2026-11-02: add by m2/dev
8BP0MJ4Z78 8BP0MJ4Z78
| URI | m2://inv/8BP0MJ4Z78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.00407#CQ6D (statement). In TVFD0G3F2W/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
8BP5C6A4QE 8BP5C6A4QE
| URI | m2://inv/8BP5C6A4QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#E7Y9 (statement). In BDN507RN7J/e1, proposition 3.1.15
History
- 2026-10-30: add by m2/v0.4.12
8BP6EQM9M4 8BP6EQM9M4
| URI | m2://inv/8BP6EQM9M4 |
|---|---|
| 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.24353#DQ78 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hess, Irene 8BPCZPA8D1
| URI | m2://inv/8BPCZPA8D1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N263, Hess, Irene (topic)
History
- 2026-11-02: add by m2/dev
Alfred Frölicher 8BPH8ADD8P
| URI | m2://inv/8BPH8ADD8P |
|---|---|
| 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 Q4722697, Alfred Frölicher (unknown). Also nLab Alfred Frölicher
- wikipedia: Wikipedia Alfred Frölicher, Alfred Frölicher (topic). Also Wikidata Q4722697
History
- 2026-10-26: add by m2/dev
8BPMB6EXK8 8BPMB6EXK8
| URI | m2://inv/8BPMB6EXK8 |
|---|---|
| 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.04993#P11K (statement). In JQBWZPXKAV/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.12
8BQ2H1E00M 8BQ2H1E00M
| URI | m2://inv/8BQ2H1E00M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#52TR (statement)
History
- 2026-11-01: add by m2/v0.6.15
8BQ65PN1F6 8BQ65PN1F6
| URI | m2://inv/8BQ65PN1F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#E51U (statement). In XK6H7F2F13/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Restricted repair contraction 8BQARHB0VX
| URI | m2://inv/8BQARHB0VX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11038#L511, Restricted repair contraction (statement). In RY8QBYR4SE/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.3
Holly McPeak 8BQRWSNMBQ
| URI | m2://inv/8BQRWSNMBQ |
|---|---|
| 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#5CG8, Holly McPeak (unknown)
History
- 2026-11-02: add by m2/dev
8BQV065JC1 8BQV065JC1
| URI | m2://inv/8BQV065JC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.09422#QQF8 (statement). In MS7M2BJS9X/e1, lemma 7.19
History
- 2026-10-29: add by m2/v0.4.10
8BRE77FWB1 8BRE77FWB1
| URI | m2://inv/8BRE77FWB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2307.06098#JO3M (statement). In DK1V8M7DS4/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Monotonicity of subdifferentials 8BRF6MTEG1
| URI | m2://inv/8BRF6MTEG1 |
|---|---|
| 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#XGD3, Monotonicity of subdifferentials (statement). In KM3Q791JY0/e1, lemma 4.24
History
- 2026-10-27: add by m2/v0.4.2
8BRM6638JV 8BRM6638JV
| URI | m2://inv/8BRM6638JV |
|---|---|
| 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.07608#EANO (statement). In X8FQD4TEVG/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
Corkscrew 8BRRXEN4QN
| URI | m2://inv/8BRRXEN4QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corkscrew (program), Corkscrew (definition). Also Wikidata Q5170870
History
- 2026-11-02: add by m2/dev
8BRSZ5HD5X 8BRSZ5HD5X
| URI | m2://inv/8BRSZ5HD5X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#QSAI (definition). In X1KWTAA3M2/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
verbal subgroup 8BRYVJ85JK
| URI | m2://inv/8BRYVJ85JK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7920943, verbal subgroup (unknown). Also EoM Verbal_subgroup
- wikipedia: Wikipedia Verbal subgroup, Verbal subgroup (definition). Also Wikidata Q7920943
History
- 2026-10-26: add by m2/dev
Electromagnetic scattering 8BS19135JE
| URI | m2://inv/8BS19135JE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattering#B99D, Electromagnetic scattering (unknown)
History
- 2026-11-02: add by m2/dev
Dyadic reconstruction 8BS34JR58F
| URI | m2://inv/8BS34JR58F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#4OJI, Dyadic reconstruction (statement). In 9YAE8FNQST/e1, theorem 19.9
History
- 2026-10-30: add by m2/v0.4.12
Strong normality of the multiple Hermite system 8BS6QHME3F
| URI | m2://inv/8BS6QHME3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#YXLJ, Strong normality of the multiple Hermite system (statement)
History
- 2026-11-02: add by m2/v0.6.17
8BSC5067XE 8BSC5067XE
| URI | m2://inv/8BSC5067XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19208#BD8Y (statement). In Z4R05936J8/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Dmitri Anosov 8BSH6XJ5P1
| URI | m2://inv/8BSH6XJ5P1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZNN8, Dmitri Anosov (topic)
History
- 2026-11-02: add by m2/dev
8BSJFZ4FGB 8BSJFZ4FGB
| URI | m2://inv/8BSJFZ4FGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22281#7WTQ (statement). In G7MBQFYR81/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
The Wild Numbers 8BSTZYNPR9
| URI | m2://inv/8BSTZYNPR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Wild Numbers, The Wild Numbers (definition). Also Wikidata Q24255731
History
- 2026-11-02: add by m2/dev
1 000 000 000 000 000 000 8BSV01F05E
| URI | m2://inv/8BSV01F05E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#EJFK, 1 000 000 000 000 000 000 (unknown)
History
- 2026-11-02: add by m2/dev
Paul T. Bateman 8BSXES5WQB
| URI | m2://inv/8BSXES5WQB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YXAV, Paul T. Bateman (topic)
History
- 2026-11-02: add by m2/dev
Yulij Ilyashenko 8BSY47BPHP
| URI | m2://inv/8BSY47BPHP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yulij Ilyashenko, Yulij Ilyashenko (topic). Also Wikidata Q4200050
History
- 2026-11-02: add by m2/dev
8BT2M89DMN 8BT2M89DMN
| URI | m2://inv/8BT2M89DMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.19791#XQJR (statement). In AVDB4KJ6XB/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
8BT7JBWNK4 8BT7JBWNK4
| URI | m2://inv/8BT7JBWNK4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 40.2
History
- 2026-11-01: add by m2/v0.6.13
8BTEAKVRDJ 8BTEAKVRDJ
| URI | m2://inv/8BTEAKVRDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#G1RN (statement). In XXQAW3ZBDF/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
Alexandre Tsybakov 8BTGNPK2WX
| URI | m2://inv/8BTGNPK2WX |
|---|---|
| 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#S4W2, Alexandre Tsybakov (unknown)
History
- 2026-11-02: add by m2/dev
8BTGQZNZG7 8BTGQZNZG7
| URI | m2://inv/8BTGQZNZG7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-112 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Symmetric product 8BTKWHTM0A
| URI | m2://inv/8BTKWHTM0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric product (topology), Symmetric product (definition). Also Wikidata Q16999980
History
- 2026-11-02: add by m2/dev
8BTWBQHHR2 8BTWBQHHR2
| URI | m2://inv/8BTWBQHHR2 |
|---|---|
| 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.03062#OJRI (statement). In 5H7985A5SD/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Theorem 8BTWK8F3MV
| URI | m2://inv/8BTWK8F3MV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy–Wolff theorem#KDU9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Morera 8BTXFR2YHR
| URI | m2://inv/8BTXFR2YHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#7ZXW, Morera (definition)
History
- 2026-11-02: add by m2/dev
Examples 8BTYBJ4DHJ
| URI | m2://inv/8BTYBJ4DHJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#1BP5, Examples (example)
History
- 2026-11-02: add by m2/dev
Annuaire Pontifical Catholique 8BV7FBJR01
| URI | m2://inv/8BV7FBJR01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annuario Pontificio#2A8W, Annuaire Pontifical Catholique (unknown)
History
- 2026-11-02: add by m2/dev
Löb's theorem 8BVAJGREM7
| URI | m2://inv/8BVAJGREM7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Löb's theorem 3HD30YG3DG |
Mentions
- mathlib_1000: mathlib_1000 Q204884, Löb's theorem (statement). Also Wikidata Q204884
- thousand_plus: thousand_plus Q204884, Löb's theorem (statement). Also Wikidata Q204884, Wikipedia Löb's theorem
- wikidata: Wikidata Q204884, Löb's theorem (statement). Also nLab Löb's theorem
- wikipedia: Wikipedia Löb's theorem, Löb's theorem (statement). Also Wikidata Q204884
History
- 2026-10-26: add by m2/dev
Joseph Berkson 8BVBF6EF5A
| URI | m2://inv/8BVBF6EF5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Berkson, Joseph Berkson (topic). Also Wikidata Q6281486
History
- 2026-11-02: add by m2/dev
8BVDVXPFBV 8BVDVXPFBV
| URI | m2://inv/8BVDVXPFBV |
|---|---|
| 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.09570#HOPM (statement). In 6QAW01629C/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
8BVMBKXQ3S 8BVMBKXQ3S
| URI | m2://inv/8BVMBKXQ3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.02686#61OX (statement). In 5QWPNXQ32J/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
8BVN7D2395 8BVN7D2395
| URI | m2://inv/8BVN7D2395 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35339#G2YY (unknown). In JT998WJYJJ/e1, unknown 1
History
- 2026-10-30: add by m2/v0.4.12
8BVZY7J2TF 8BVZY7J2TF
| URI | m2://inv/8BVZY7J2TF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#QLLD (definition). In 4WPYBTARS2/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.12
8BW59B8Y4M 8BW59B8Y4M
| URI | m2://inv/8BW59B8Y4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#85Z0 (statement). In B6PCH930FV/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
8BW5BZAG2A 8BW5BZAG2A
| URI | m2://inv/8BW5BZAG2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:esosurj-postcomp-faithful (statement). In N54F33XE07, lem, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
8BW8RT3835 8BW8RT3835
| URI | m2://inv/8BW8RT3835 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#MZM0 (example). In P7KT88N75Q/e1, example 1.4
History
- 2026-10-29: add by m2/v0.4.10
8BWDG4QSEP 8BWDG4QSEP
| URI | m2://inv/8BWDG4QSEP |
|---|---|
| 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.35920#3CMD (statement). In 5D5HW98PTH/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
8BWEBZHS45 8BWEBZHS45
| URI | m2://inv/8BWEBZHS45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05512#28NW (statement). In 2F0KX51XKM/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
8BWMGPAYM6 8BWMGPAYM6
| URI | m2://inv/8BWMGPAYM6 |
|---|---|
| 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 0903.1569#IGFL (statement). In ZM7WZ2A9H2/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Brouwerian lattice 8BWPAH4ANM
| URI | m2://inv/8BWPAH4ANM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudocomplement#XU87, Brouwerian lattice (unknown)
History
- 2026-11-02: add by m2/dev
Kawamata[42 8BWR71ZDFV
| URI | m2://inv/8BWR71ZDFV |
|---|---|
| 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.27800#I1HO, Kawamata[42 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Derivation of the Aronsson-type $k$-th order PDE from the semi-differential 8BWRHPMFVC
| URI | m2://inv/8BWRHPMFVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#HPUD, Derivation of the Aronsson-type $k$-th order PDE from the semi-differential (statement)
History
- 2026-11-01: add by m2/v0.6.15
8BX90XGWRP 8BX90XGWRP
| URI | m2://inv/8BX90XGWRP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-4 (example). In E9HS8K3A52, example, section 9.1.5
History
- 2026-11-01: add by m2/v0.6.13
Jan Trlifaj 8BXA0G5SBQ
| URI | m2://inv/8BXA0G5SBQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Trlifaj, Jan Trlifaj (topic). Also Wikidata Q57412623
History
- 2026-11-02: add by m2/dev
Euler–Lagrange equation 8BXCW6J7S0
| URI | m2://inv/8BXCW6J7S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Euler–Lagrange equation PS0VV149ET |
Mentions
- wikidata: Wikidata Q875744, Euler–Lagrange equation (definition). Also MathWorld Euler-LagrangeDifferentialEquation, ProofWiki Definition:Euler-Lagrange_Equation
- wikipedia: Wikipedia Euler–Lagrange equation, Euler–Lagrange equation (definition). Also Wikidata Q875744
History
- 2026-10-26: add by m2/dev
string 8BXHNK0DTS
| URI | m2://inv/8BXHNK0DTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#66UZ, string (definition)
History
- 2026-11-02: add by m2/dev
Incremental noise cost 8BXSJNJ38Z
| URI | m2://inv/8BXSJNJ38Z |
|---|---|
| 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.21271#2JO4, Incremental noise cost (statement)
History
- 2026-11-02: add by m2/v0.6.18
8BXT2T011F 8BXT2T011F
| URI | m2://inv/8BXT2T011F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
formal power series 8BY93JNSJY
| URI | m2://inv/8BY93JNSJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Formal power series 033WGN00BF |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > power series, power series (unknown). Also Mathlib PowerSeries
- wikidata: Wikidata Q1003025, formal power series (unknown). Also Mathlib PowerSeries, MathWorld FormalPowerSeries
- wikipedia: Wikipedia Formal power series, Formal power series (definition). Also Wikidata Q1003025
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8BYC8K7Q1J 8BYC8K7Q1J
| URI | m2://inv/8BYC8K7Q1J |
|---|---|
| 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.12012#F591 (statement). In 1RXGXBQAHS/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
8BYPBPG120 8BYPBPG120
| URI | m2://inv/8BYPBPG120 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23834#YOYI (statement)
History
- 2026-11-02: add by m2/v0.6.17
search problem 8BYT7A6KDX
| URI | m2://inv/8BYT7A6KDX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2362762, search problem (unknown). Also MathWorld Searching
- wikipedia: Wikipedia Search problem, Search problem (problem). Also Wikidata Q2362762
History
- 2026-10-26: add by m2/dev
Acyclic model 8BYY0QJJ4M
| URI | m2://inv/8BYY0QJJ4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4677985, Acyclic models theorem (statement). Also Wikidata Q4677985
- thousand_plus: thousand_plus Q4677985, Acyclic models theorem (statement). Also Wikidata Q4677985, Wikipedia Acyclic models theorem
- wikipedia: Wikipedia Acyclic model, Acyclic model (definition). Also Wikidata Q4677985
History
- 2026-10-26: add by m2/dev
Roger Lee Berger 8BZA2SZ5EZ
| URI | m2://inv/8BZA2SZ5EZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#99E2, Roger Lee Berger (unknown)
History
- 2026-11-02: add by m2/dev
Truncated order-6 hexagonal tiling 8BZFGWDMGB
| URI | m2://inv/8BZFGWDMGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-6 hexagonal tiling, Truncated order-6 hexagonal tiling (definition). Also Wikidata Q7847901
History
- 2026-11-02: add by m2/dev
Data collection 8BZNMXNQ33
| URI | m2://inv/8BZNMXNQ33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F9UH, Data collection (definition)
History
- 2026-11-02: add by m2/dev
8BZSNVSZP8 8BZSNVSZP8
| URI | m2://inv/8BZSNVSZP8 |
|---|---|
| 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.15405#RZHN (statement). In 9QCYCXVF5W/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
8BZXASVWDF 8BZXASVWDF
| URI | m2://inv/8BZXASVWDF |
|---|---|
| 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#L23Q (statement). In V06H8BAGEH/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.3
The case $(a,b)=(4,5)$ 8BZYRG0V9T
| URI | m2://inv/8BZYRG0V9T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#5RPY, The case $(a,b)=(4,5)$ (example)
History
- 2026-11-02: add by m2/v0.6.18
8BZZKBHC8P 8BZZKBHC8P
| URI | m2://inv/8BZZKBHC8P |
|---|---|
| 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.25390#4N1H (statement)
History
- 2026-11-01: add by m2/v0.6.15