Inventory rows J1
The cards of the rows of the inventory whose ids start with J1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Chinese Mathematical Olympiad J1038Y24AD
| URI | m2://inv/J1038Y24AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#GKV4, Chinese Mathematical Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
J1073X0KPG J1073X0KPG
| URI | m2://inv/J1073X0KPG |
|---|---|
| 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.36423#T44I (statement). In Q5Z178SAHP/e1, theorem 8.1
History
- 2026-10-30: add by m2/v0.4.12
J107FAHFZT J107FAHFZT
| URI | m2://inv/J107FAHFZT |
|---|---|
| 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 2610.21866#1SNR (statement). In Q3NMYW8ANH/e1, lemma 1.7
History
- 2026-10-27: add by m2/v0.4.2
J108NMREA0 J108NMREA0
| URI | m2://inv/J108NMREA0 |
|---|---|
| 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.10338#QWW2 (statement). In WZ3GXRAB00/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
J10NC8RFAH J10NC8RFAH
| URI | m2://inv/J10NC8RFAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17940#G9Y8 (statement). In MMW4J61SKS/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
J1100W9D0X J1100W9D0X
| URI | m2://inv/J1100W9D0X |
|---|---|
| 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 2608.23797#D5OV (statement). In PZCA01JXVR/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.3.5
ISO 31-11 J111XVJP4Y
| URI | m2://inv/J111XVJP4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISO 31-11, ISO 31-11 (definition). Also Wikidata Q3510991
History
- 2026-11-02: add by m2/dev
non-sampling error J113VC72D8
| URI | m2://inv/J113VC72D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#SDHQ, non-sampling error (definition)
History
- 2026-11-02: add by m2/dev
List of teachers of Nyaya J116STZKHG
| URI | m2://inv/J116STZKHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya, List of teachers of Nyaya (topic). Also Wikidata Q6642501
History
- 2026-11-02: add by m2/dev
J11AW9WK6M J11AW9WK6M
| URI | m2://inv/J11AW9WK6M |
|---|---|
| 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.26600#97FO (statement)
History
- 2026-11-01: add by m2/v0.6.15
J11G5C2K1S J11G5C2K1S
| URI | m2://inv/J11G5C2K1S |
|---|---|
| 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 2609.25656#FEMS (example)
History
- 2026-11-01: add by m2/v0.6.15
J11S5A9W6H J11S5A9W6H
| URI | m2://inv/J11S5A9W6H |
|---|---|
| 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.20273#FYSA (statement). In AEGHDSD5S7/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Convex analysis J1208569N1
| URI | m2://inv/J1208569N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#3I4S, Convex analysis (definition)
History
- 2026-11-02: add by m2/dev
J1221C4ACW J1221C4ACW
| URI | m2://inv/J1221C4ACW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1709.04968#C8BN (statement). In BEX59Q3DE4/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
EISPACK J12323FVMA
| URI | m2://inv/J12323FVMA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#5FYB, EISPACK (unknown)
History
- 2026-11-02: add by m2/dev
Duckworth, Frank J123F8AVNK
| URI | m2://inv/J123F8AVNK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R75Q, Duckworth, Frank (topic)
History
- 2026-11-02: add by m2/dev
Exact finite dual J123KG8QFQ
| URI | m2://inv/J123KG8QFQ |
|---|---|
| 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#UQUM, Exact finite dual (statement). In 9YAE8FNQST/e1, proposition 19.10
History
- 2026-10-30: add by m2/v0.4.12
Examples J124VCVTGX
| URI | m2://inv/J124VCVTGX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Underactuation#QZ7R, Examples (example)
History
- 2026-11-02: add by m2/dev
Paul W. Holland J127X1W4T1
| URI | m2://inv/J127X1W4T1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul W. Holland, Paul W. Holland (topic). Also Wikidata Q62092952
History
- 2026-11-02: add by m2/dev
Flood fill J12DY5A7K5
| URI | m2://inv/J12DY5A7K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flood fill, Flood fill (definition). Also Wikidata Q1196156
History
- 2026-11-02: add by m2/dev
convergent, improper integral J12JW574Q5
| URI | m2://inv/J12JW574Q5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.5/convergent-improper-integral, convergent, improper integral (concept). In E59CDZA4DP, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Caristi fixed-point theorem J12QCSJMMC
| URI | m2://inv/J12QCSJMMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YWRX, Caristi fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
J12QHSRTZS J12QHSRTZS
| URI | m2://inv/J12QHSRTZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#UBFF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Israel Gelfand J12TBETCQ8
| URI | m2://inv/J12TBETCQ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EF7O, Israel Gelfand (topic)
History
- 2026-11-02: add by m2/dev
Soundness J12TC683J6
| URI | m2://inv/J12TC683J6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#IEY7, Soundness (statement). In D2247CRPPE/e1, theorem 21
History
- 2026-10-30: add by m2/v0.4.12
J1310568FW J1310568FW
| URI | m2://inv/J1310568FW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#T1KI (definition). In 9EMCPF1F2T/e1, definition 9
History
- 2026-10-29: add by m2/v0.4.10
J134W6KBNM J134W6KBNM
| URI | m2://inv/J134W6KBNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#ZN74 (statement). In ZH0PFTZ12Y/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
Ehrenfest paradox J1361XNDT2
| URI | m2://inv/J1361XNDT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfest paradox, Ehrenfest paradox (statement). Also Wikidata Q988429
History
- 2026-11-02: add by m2/dev
J138KAX6NF J138KAX6NF
| URI | m2://inv/J138KAX6NF |
|---|---|
| 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.12486#4NW7 (statement). In CWQ2YHT24E/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
J13931ZAHR J13931ZAHR
| URI | m2://inv/J13931ZAHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.28289#1GGV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Timoleon Argyropoulos J13D48X959
| URI | m2://inv/J13D48X959 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timoleon Argyropoulos, Timoleon Argyropoulos (topic). Also Wikidata Q12885368
History
- 2026-11-02: add by m2/dev
Babenko–Beckner inequality J13ENNBN4K
| URI | m2://inv/J13ENNBN4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#YCFU, Babenko–Beckner inequality (statement)
History
- 2026-11-02: add by m2/dev
Courtney Lyder J13F8SVY5X
| URI | m2://inv/J13F8SVY5X |
|---|---|
| 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#LCYQ, Courtney Lyder (unknown)
History
- 2026-11-02: add by m2/dev
Droz-Farny line theorem J13H3R84GG
| URI | m2://inv/J13H3R84GG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#M67L, Droz-Farny line theorem (statement)
History
- 2026-11-02: add by m2/dev
J13YQCXR40 J13YQCXR40
| URI | m2://inv/J13YQCXR40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#G47L (statement). In 8TSZ2E32K3/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.3
Gérald Tenenbaum J13ZNA6E8P
| URI | m2://inv/J13ZNA6E8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BFEP, Gérald Tenenbaum (topic)
History
- 2026-11-02: add by m2/dev
Breiman, Leo J144R28X46
| URI | m2://inv/J144R28X46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A779, Breiman, Leo (topic)
History
- 2026-11-02: add by m2/dev
J1475Y5HEC J1475Y5HEC
| URI | m2://inv/J1475Y5HEC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
J14C6CCEBJ J14C6CCEBJ
| URI | m2://inv/J14C6CCEBJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
J14CP2RHGM J14CP2RHGM
| URI | m2://inv/J14CP2RHGM |
|---|---|
| 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.19273#DRFK (statement). In T3BY4TXYT4/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
J14EHWKSE9 J14EHWKSE9
| URI | m2://inv/J14EHWKSE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Partial fractions in integration J14T11TAP9
| URI | m2://inv/J14T11TAP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#FW1I, Partial fractions in integration (definition)
History
- 2026-11-02: add by m2/dev
Quantum Liouville equation J14TSEYKDD
| URI | m2://inv/J14TSEYKDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density matrix#MGIM, Quantum Liouville equation (unknown)
History
- 2026-11-02: add by m2/dev
J14ZFJ1CMC J14ZFJ1CMC
| URI | m2://inv/J14ZFJ1CMC |
|---|---|
| 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.36113#VDPU (statement). In FSGSVD0XYH/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
Conditional \epower ceiling J1526TR2DV
| URI | m2://inv/J1526TR2DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#WSA7, Conditional \epower ceiling (statement)
History
- 2026-11-01: add by m2/v0.6.15
Laver function J153A25H4M
| URI | m2://inv/J153A25H4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laver function, Laver function (definition). Also Wikidata Q6502572
History
- 2026-11-02: add by m2/dev
J159QR75ST J159QR75ST
| URI | m2://inv/J159QR75ST |
|---|---|
| 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.06556#IMZM (statement). In KW8C7VE9XR/e1, theorem 22
History
- 2026-10-29: add by m2/v0.4.10
J15Q6HGAWR J15Q6HGAWR
| URI | m2://inv/J15Q6HGAWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#9TB2 (statement). In WAXS6FS388/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
J15Q88TZFF J15Q88TZFF
| URI | m2://inv/J15Q88TZFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_graph.ptx#example-2 (example). In QKM9DD2H56, example, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
J15RXP2GKC J15RXP2GKC
| URI | m2://inv/J15RXP2GKC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
J15T5WQ7FW J15T5WQ7FW
| URI | m2://inv/J15T5WQ7FW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#9M2F (statement). In PRVQPSBVHK/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.10
J165ADYWBS J165ADYWBS
| URI | m2://inv/J165ADYWBS |
|---|---|
| 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.31102#4IP3 (definition). In 7CADATJMAA/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Bayes-optimal linear propagation J168KENM3C
| URI | m2://inv/J168KENM3C |
|---|---|
| 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.04989#D4F1, Bayes-optimal linear propagation (statement). In 1T4SYTCKW8/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
discrete probability distribution J16N901J4B
| URI | m2://inv/J16N901J4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26898117, discrete probability distribution (unknown). Also MathWorld DiscreteDistribution
History
- 2026-10-26: add by m2/dev
Cone point escapes J16NR3M4S5
| URI | m2://inv/J16NR3M4S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#5SDI, Cone point escapes (statement). In X1AGBB90EH/e1, proposition 7.20
History
- 2026-10-28: add by m2/v0.4.2
existence of algebraic closure of a field J16Q3WVH53
| URI | m2://inv/J16Q3WVH53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > existence of algebraic closure of a field, existence of algebraic closure of a field (unknown). Also Mathlib AlgebraicClosure
History
- 2026-10-26: add by m2/dev
recurrence J1711D06A2
| URI | m2://inv/J1711D06A2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/recurrence, recurrence (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Applications J17491EMWC
| URI | m2://inv/J17491EMWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multifractal system#JL73, Applications (example)
History
- 2026-11-02: add by m2/dev
String-searching algorithm J175FCKMMS
| URI | m2://inv/J175FCKMMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String-searching algorithm, String-searching algorithm (definition). Also Wikidata Q374040
History
- 2026-11-02: add by m2/dev
Definition J176CZ8T13
| URI | m2://inv/J176CZ8T13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power residue symbol#DX3Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formulation J17QHM8YHD
| URI | m2://inv/J17QHM8YHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monodomain model#G8EI, Formulation (definition)
History
- 2026-11-02: add by m2/dev
J17QP0T8BN J17QP0T8BN
| URI | m2://inv/J17QP0T8BN |
|---|---|
| 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.09494#CCCA (statement). In H297EPZQQB/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Variable structure system J17SVFRMH5
| URI | m2://inv/J17SVFRMH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable structure system, Variable structure system (definition). Also Wikidata Q7915741
History
- 2026-11-02: add by m2/dev
Complete characterization of Fock zero sets J183V8S861
| URI | m2://inv/J183V8S861 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#3R4S, Complete characterization of Fock zero sets (statement). In HGTFJ325A4/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Michal Malinský J184HH1RGQ
| URI | m2://inv/J184HH1RGQ |
|---|---|
| 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 Q59484927, Michal Malinský (unknown). Also nLab Michal Malinský
History
- 2026-10-26: add by m2/dev
Architectonic and catoptric tessellation J1873W85PZ
| URI | m2://inv/J1873W85PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Architectonic and catoptric tessellation, Architectonic and catoptric tessellation (definition). Also Wikidata Q17002312
History
- 2026-11-02: add by m2/dev
Yule–Simon distribution J188X4P3P6
| URI | m2://inv/J188X4P3P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TTK0, Yule–Simon distribution (definition)
History
- 2026-11-02: add by m2/dev
J190T0ER7H J190T0ER7H
| URI | m2://inv/J190T0ER7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#QRHG (statement). In ZBQX9341RV/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Snark conjecture J1950H7FHJ
| URI | m2://inv/J1950H7FHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snark (graph theory)#HWA9, Snark conjecture (statement)
History
- 2026-11-02: add by m2/dev
J19TXW8KHH J19TXW8KHH
| URI | m2://inv/J19TXW8KHH |
|---|---|
| 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.22090#J0VH (statement). In NKJWGF050C/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.0
Shift matrix J19Y8ZXFTW
| URI | m2://inv/J19Y8ZXFTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift matrix, Shift matrix (definition). Also Wikidata Q7496248
History
- 2026-11-02: add by m2/dev
J19ZCDEFJM J19ZCDEFJM
| URI | m2://inv/J19ZCDEFJM |
|---|---|
| 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 2304.03611#S701 (statement). In 75E8ZB1CBV/e1, proposition 3.3.1
History
- 2026-10-27: add by m2/v0.4.0
J1A1N03JMS J1A1N03JMS
| URI | m2://inv/J1A1N03JMS |
|---|---|
| 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.22090#4ZE6 (statement). In NKJWGF050C/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
Definitions J1A8M761C9
| URI | m2://inv/J1A8M761C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order topology (functional analysis)#IXY5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Nagata, Zariski) J1A8RED1VD
| URI | m2://inv/J1A8RED1VD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic power of an ideal#URLE, Theorem (Nagata, Zariski) (statement)
History
- 2026-11-02: add by m2/dev
Krull's separation lemma J1AFVBYNBD
| URI | m2://inv/J1AFVBYNBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#GVXT, Krull's separation lemma (statement)
History
- 2026-11-02: add by m2/dev
J1AJEMZDT3 J1AJEMZDT3
| URI | m2://inv/J1AJEMZDT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#AKE3 (statement). In B8A6BPP922/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
J1ANQETQTK J1ANQETQTK
| URI | m2://inv/J1ANQETQTK |
|---|---|
| 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.16877#DTF6 (statement). In YY4KFNMPC0/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
J1AYRTP2EJ J1AYRTP2EJ
| URI | m2://inv/J1AYRTP2EJ |
|---|---|
| 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.19573#MMN2 (statement). In NM6Z2R61CN/e1, lemma
History
- 2026-10-28: add by m2/v0.4.2
Source Transform J1BA37BSJS
| URI | m2://inv/J1BA37BSJS |
|---|---|
| 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.20316#TOGA, Source Transform (statement)
History
- 2026-11-02: add by m2/v0.6.18
Constructions J1BAP4RTC6
| URI | m2://inv/J1BAP4RTC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desargues graph#YJS9, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Galton–Watson process J1BB7P5ZK5
| URI | m2://inv/J1BB7P5ZK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#S0MU, Galton–Watson process (unknown)
History
- 2026-11-02: add by m2/dev
Formula J1BCBHHPXX
| URI | m2://inv/J1BCBHHPXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square pyramidal number#SO4T, Formula (statement)
History
- 2026-11-02: add by m2/dev
J1BCEXTCKQ J1BCEXTCKQ
| URI | m2://inv/J1BCEXTCKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#KQDJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples J1BE6KG82A
| URI | m2://inv/J1BE6KG82A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haagerup property#OCXC, Examples (example)
History
- 2026-11-02: add by m2/dev
Statements of laws J1BJEP0PPX
| URI | m2://inv/J1BJEP0PPX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic operation#V6XM, Statements of laws (statement)
History
- 2026-11-02: add by m2/dev
Definition J1BSDE4H42
| URI | m2://inv/J1BSDE4H42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra integral#N9DR, Definition (definition)
History
- 2026-11-02: add by m2/dev
J1BXRDGP2E J1BXRDGP2E
| URI | m2://inv/J1BXRDGP2E |
|---|---|
| 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#OP0F (statement). In MS7M2BJS9X/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Hydra game J1BYERPP0F
| URI | m2://inv/J1BYERPP0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydra game, Hydra game (definition). Also Wikidata Q108607774
History
- 2026-11-02: add by m2/dev
J1BZP2YY6F J1BZP2YY6F
| URI | m2://inv/J1BZP2YY6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.16834#OOB0 (statement). In Q0DTV6PJJW/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Delaunay triangulation J1C97HSGWY
| URI | m2://inv/J1C97HSGWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#48R9, Delaunay triangulation (definition)
- wikipedia: Wikipedia List of mathematical shapes#G3Z2, Delaunay triangulation (definition)
- wikipedia: Wikipedia List of combinatorial computational geometry topics#088H, Delaunay triangulation (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#F2JY, Delaunay triangulation (definition)
History
- 2026-11-02: add by m2/dev
J1C9H7NEHK J1C9H7NEHK
| URI | m2://inv/J1C9H7NEHK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#XA5I (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
J1CPGKMHX3 J1CPGKMHX3
| URI | m2://inv/J1CPGKMHX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#proposition-3 (statement). In RZP28ERRZV, proposition, section 33.3.2
History
- 2026-11-01: add by m2/v0.6.13
Definition J1CX7439PQ
| URI | m2://inv/J1CX7439PQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire space#O0JP, Definition (definition)
History
- 2026-11-02: add by m2/dev
781 (number) J1CYYYAR6H
| URI | m2://inv/J1CYYYAR6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#67FF, 781 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Extension Lemma J1CZWJZC61
| URI | m2://inv/J1CZWJZC61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03488#JB0V, Extension Lemma (statement). In 9GXR1WEYWT/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Application to Bieberbach conjecture J1DBDAK810
| URI | m2://inv/J1DBDAK810 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna's criterion#DAOD, Application to Bieberbach conjecture (statement)
History
- 2026-11-02: add by m2/dev
Musikalisches Würfelspiel J1DC1B1DR7
| URI | m2://inv/J1DC1B1DR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Musikalisches Würfelspiel, Musikalisches Würfelspiel (definition). Also Wikidata Q905441
History
- 2026-11-02: add by m2/dev
J1DP4FNKS2 J1DP4FNKS2
| URI | m2://inv/J1DP4FNKS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#thm:monotonic_bounded (statement). In RZP28ERRZV, theorem, section 32.3
History
- 2026-11-01: add by m2/v0.6.13
Product topology J1E01J3X9N
| URI | m2://inv/J1E01J3X9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#16XW, Product topology (statement)
History
- 2026-11-02: add by m2/v0.6.18
Contraction Theorem for Analytic Functions J1E67WKNQ3
| URI | m2://inv/J1E67WKNQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#OS08, Contraction Theorem for Analytic Functions (statement)
History
- 2026-11-02: add by m2/dev
William Sidis J1E9GN4X5G
| URI | m2://inv/J1E9GN4X5G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TB3S, William Sidis (topic)
History
- 2026-11-02: add by m2/dev
J1EGNN8M42 J1EGNN8M42
| URI | m2://inv/J1EGNN8M42 |
|---|---|
| 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.29918#BF14 (statement)
History
- 2026-11-01: add by m2/v0.6.15
J1EQHERE95 J1EQHERE95
| URI | m2://inv/J1EQHERE95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00364#75I3 (statement). In ANR3DHYQPQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Trigonometric tables J1EXKE4YZ7
| URI | m2://inv/J1EXKE4YZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YN7I, Trigonometric tables (definition)
History
- 2026-11-02: add by m2/dev
Examples J1EZY0FD95
| URI | m2://inv/J1EZY0FD95 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General recursive function#8IIN, Examples (example)
History
- 2026-11-02: add by m2/dev
J1F0FCR09F J1F0FCR09F
| URI | m2://inv/J1F0FCR09F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#WNVM (statement). In BT6E9BXXF3/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Boolean satisfiability problem J1F4F26J4J
| URI | m2://inv/J1F4F26J4J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#TE0I, Boolean satisfiability problem (problem)
- wikipedia: Wikipedia List of Boolean algebra topics#G8CY, Boolean satisfiability problem (problem)
History
- 2026-11-02: add by m2/dev
Shashikumar Chitre J1F9DKDK7B
| URI | m2://inv/J1F9DKDK7B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shashikumar Chitre, Shashikumar Chitre (topic). Also Wikidata Q17488996
History
- 2026-11-02: add by m2/dev
J1FGA923H5 J1FGA923H5
| URI | m2://inv/J1FGA923H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#0GOW (statement). In 9PXXGQ978Z/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Obstruction theory J1FPVQTHHF
| URI | m2://inv/J1FPVQTHHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#YLRL, Obstruction theory (definition)
History
- 2026-11-02: add by m2/dev
probability axioms J1FQ0JNN4B
| URI | m2://inv/J1FQ0JNN4B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Probability axioms 0DAX8PMAJ4 |
Mentions
- wikidata: Wikidata Q974605, probability axioms (unknown). Also MathWorld ProbabilityAxioms
- wikipedia: Wikipedia Probability axioms, Probability axioms (statement). Also Wikidata Q974605
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
The location-aware transport cost J1FWAJGY8B
| URI | m2://inv/J1FWAJGY8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#PIYF, The location-aware transport cost (statement). In FTPW1SZ8D3/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
J1FX2QQE5X J1FX2QQE5X
| URI | m2://inv/J1FX2QQE5X |
|---|---|
| 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 0909.2893#4UVH (statement). In JQ4JYAXCMK/e1, lemma 27
History
- 2026-10-27: add by m2/v0.3.5
Faltings' product theorem J1FXA6A70A
| URI | m2://inv/J1FXA6A70A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faltings' product theorem, Faltings' product theorem (statement). Also Wikidata Q5432814
History
- 2026-11-02: add by m2/dev
J1GAH028RF J1GAH028RF
| URI | m2://inv/J1GAH028RF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 80.6
History
- 2026-11-01: add by m2/v0.6.13
G. Frobenius J1GAXY6DFZ
| URI | m2://inv/J1GAXY6DFZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#0BGR, G. Frobenius (topic)
History
- 2026-11-02: add by m2/dev
J1GF7P1CEW J1GF7P1CEW
| URI | m2://inv/J1GF7P1CEW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 50.8
History
- 2026-11-01: add by m2/v0.6.13
Infrared bound J1GFQ7N330
| URI | m2://inv/J1GFQ7N330 |
|---|---|
| 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 1905.02785#QAVV, Infrared bound (statement). In PF9KV74Q02/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Multidimensional scaling J1GKTQFVBB
| URI | m2://inv/J1GKTQFVBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UA1Q, Multidimensional scaling (definition)
- wikipedia: Wikipedia List of graphical methods#PDLG, Multidimensional scaling (definition)
History
- 2026-11-02: add by m2/dev
Restriction estimate J1GY45JY51
| URI | m2://inv/J1GY45JY51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#9N5S, Restriction estimate (statement). In JBAQ7DTW7B/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Lucas's theorem J1GYWJE7N2
| URI | m2://inv/J1GYWJE7N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX, 13-XX |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Lucas's theorem 0RY4GGMEQG |
Mentions
- arxiv: arXiv 2601.15403#2U3O, Lucas's Theorem (statement). In BSWNH3NW1M/e1, theorem 4.1
- mathlib_1000: mathlib_1000 Q1186808, Lucas's theorem (statement). Also Mathlib Choose.lucas_theorem, Wikidata Q1186808
- thousand_plus: thousand_plus Q1186808, Lucas's theorem (statement). Also Mathlib Choose.lucas_theorem, Wikidata Q1186808, Wikipedia Lucas's theorem
- wikipedia: Wikipedia Lucas's theorem, Lucas's theorem (statement). Also Wikidata Q1186808
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
Fair item allocation J1H3S0T6AJ
| URI | m2://inv/J1H3S0T6AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fair item allocation, Fair item allocation (definition). Also Wikidata Q24963341
History
- 2026-11-02: add by m2/dev
J1HB5F2071 J1HB5F2071
| URI | m2://inv/J1HB5F2071 |
|---|---|
| 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 2409.20170#ZZAI (definition). In QXJP79APHN/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
J1HBXKFRTK J1HBXKFRTK
| URI | m2://inv/J1HBXKFRTK |
|---|---|
| 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 2509.21444#QNJD (statement). In CTVPA2FQT1/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.0
Allen Shields J1HC6NR2HM
| URI | m2://inv/J1HC6NR2HM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5VR0, Allen Shields (unknown)
History
- 2026-11-02: add by m2/dev
demonstration J1HG1RNMVQ
| URI | m2://inv/J1HG1RNMVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#K4FJ, demonstration (definition)
History
- 2026-11-02: add by m2/dev
Sigurd Angenent J1HJB0GD4S
| URI | m2://inv/J1HJB0GD4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigurd Angenent, Sigurd Angenent (topic). Also Wikidata Q20990857
History
- 2026-11-02: add by m2/dev
J1HZ18S4R6 J1HZ18S4R6
| URI | m2://inv/J1HZ18S4R6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#0ZXO (definition). In AQX7DGD360/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Evans Harrell J1HZJKV62Z
| URI | m2://inv/J1HZJKV62Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evans Harrell, Evans Harrell (topic). Also Wikidata Q59658596
History
- 2026-11-02: add by m2/dev
J1HZZ7V8MA J1HZZ7V8MA
| URI | m2://inv/J1HZZ7V8MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06066#LKBA (statement). In V2YFQ5RF6V/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Constantine Dafermos J1J056C6VG
| URI | m2://inv/J1J056C6VG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constantine Dafermos, Constantine Dafermos (topic). Also Wikidata Q5163802
History
- 2026-11-02: add by m2/dev
Applications of sequential analysis J1J55R9WKS
| URI | m2://inv/J1J55R9WKS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential analysis#JXH8, Applications of sequential analysis (example)
History
- 2026-11-02: add by m2/dev
J1J8M8M5YH J1J8M8M5YH
| URI | m2://inv/J1J8M8M5YH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#ZSGU (definition)
History
- 2026-11-02: add by m2/v0.6.18
Constantin Teleman J1J99XN1VT
| URI | m2://inv/J1J99XN1VT |
|---|---|
| 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#EGSP, Constantin Teleman (topic)
History
- 2026-11-02: add by m2/dev
BG J1JA9SZCXT
| URI | m2://inv/J1JA9SZCXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#RENJ, BG (definition)
History
- 2026-11-02: add by m2/dev
counterexample J1JGFKG3FJ
| URI | m2://inv/J1JGFKG3FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MYXE, counterexample (definition)
History
- 2026-11-02: add by m2/dev
J1JMK5X64C J1JMK5X64C
| URI | m2://inv/J1JMK5X64C |
|---|---|
| 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 2312.06581#P3AV (statement). In WXJ2V3HA2R/e1, lemma G.6
History
- 2026-10-27: add by m2/v0.3.5
Adjacent angle J1JT1N2W12
| URI | m2://inv/J1JT1N2W12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle#R2KX, Adjacent angle (unknown)
History
- 2026-11-02: add by m2/dev
Examples J1K4GHKHSJ
| URI | m2://inv/J1K4GHKHSJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditary ring#C1WE, Examples (example)
History
- 2026-11-02: add by m2/dev
J1K7R5XZPF J1K7R5XZPF
| URI | m2://inv/J1K7R5XZPF |
|---|---|
| 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 2206.11809#ELN1 (statement). In YQXYSNW78V/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.5
J1K84TPQQP J1K84TPQQP
| URI | m2://inv/J1K84TPQQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22685#R1T5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
J1KBX5V41B J1KBX5V41B
| URI | m2://inv/J1KBX5V41B |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37920#M62E (conjecture). In GZPF8R6BBF/e1, conjecture 6.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms J1KGF35DWJ
| URI | m2://inv/J1KGF35DWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc routing#337J, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
J1KKFT4XMT J1KKFT4XMT
| URI | m2://inv/J1KKFT4XMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#5MTI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Time-varying covariate J1KPGB4NBY
| URI | m2://inv/J1KPGB4NBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-varying covariate, Time-varying covariate (definition). Also Wikidata Q16957064
History
- 2026-11-02: add by m2/dev
J1KRKFYHZR J1KRKFYHZR
| URI | m2://inv/J1KRKFYHZR |
|---|---|
| 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#JQ75 (statement). In MNQAZ70XTH/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.3
J1M1WS74N1 J1M1WS74N1
| URI | m2://inv/J1M1WS74N1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12116#MJZX (definition). In WB3F0S794F/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Definition J1M4007ZX5
| URI | m2://inv/J1M4007ZX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta rectangular distribution#KAUG, Definition (definition)
History
- 2026-11-02: add by m2/dev
J1M5NPVNPJ J1M5NPVNPJ
| URI | m2://inv/J1M5NPVNPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12810#XWME (statement). In DR35633CPN/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
J1MBTJWVN0 J1MBTJWVN0
| URI | m2://inv/J1MBTJWVN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05032#BWQZ (statement). In DDNK8D4359/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Existence of recovering meshes J1MDNDF244
| URI | m2://inv/J1MDNDF244 |
|---|---|
| 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.00117#BNIX, Existence of recovering meshes (statement). In 4G2BDP206S/e1, proposition 15
History
- 2026-10-30: add by m2/v0.4.12
J1MJAC441H J1MJAC441H
| URI | m2://inv/J1MJAC441H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21768#VD54 (statement). In VD53W58DS1/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.2
J1MSBEJYCS J1MSBEJYCS
| URI | m2://inv/J1MSBEJYCS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#3KLY (example). In 8XAKGH8S2D/e1, example 5.1
History
- 2026-10-29: add by m2/v0.4.10
Uses J1MVCWYJZM
| URI | m2://inv/J1MVCWYJZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blind signature#UOUG, Uses (example)
History
- 2026-11-02: add by m2/dev
EAX mode J1MYKEP6QW
| URI | m2://inv/J1MYKEP6QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EAX mode, EAX mode (definition). Also Wikidata Q2377141
History
- 2026-11-02: add by m2/dev
multivariate analysis J1N0QC0X5D
| URI | m2://inv/J1N0QC0X5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3331475, multivariate analysis (unknown). Also MathWorld MultivariateAnalysis
History
- 2026-10-26: add by m2/dev
A faithful invariant state without uniqueness J1N21EN636
| URI | m2://inv/J1N21EN636 |
|---|---|
| Kind | example |
| 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.13358#MGA4, A faithful invariant state without uniqueness (example). In QHT28GABDG/e1, example 4.4
History
- 2026-10-28: add by m2/v0.4.2
J1N2TWY6QA J1N2TWY6QA
| URI | m2://inv/J1N2TWY6QA |
|---|---|
| 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 2609.32300#CMOT (statement). In VNE8N0D2FB/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Optical equivalence theorem J1N4EKAHPA
| URI | m2://inv/J1N4EKAHPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7098850, Optical equivalence theorem (statement). Also Wikidata Q7098850
- thousand_plus: thousand_plus Q7098850, Optical equivalence theorem (statement). Also Wikidata Q7098850, Wikipedia Optical equivalence theorem
- wikipedia: Wikipedia Optical equivalence theorem, Optical equivalence theorem (statement). Also Wikidata Q7098850
History
- 2026-10-26: add by m2/dev
J1N5JMAT7N J1N5JMAT7N
| URI | m2://inv/J1N5JMAT7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#AX1W (statement). In EBNXA84CPM/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
J1NC7ZE858 J1NC7ZE858
| URI | m2://inv/J1NC7ZE858 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.07710#ZBNA (statement). In WD3CVPPH6H/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
tensor density J1NCJMQ0V4
| URI | m2://inv/J1NCJMQ0V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q904927, tensor density (unknown). Also MathWorld TensorDensity
- wikipedia: Wikipedia Tensor density, Tensor density (definition). Also Wikidata Q904927
History
- 2026-10-26: add by m2/dev
Envelope (mathematics) J1NDHW7CWG
| URI | m2://inv/J1NDHW7CWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#EENR, Envelope (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Francis Joseph Murray J1NX5PXFBJ
| URI | m2://inv/J1NX5PXFBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Joseph Murray, Francis Joseph Murray (topic). Also Wikidata Q381349
History
- 2026-11-02: add by m2/dev
John Aitchison J1NZ2KWVXA
| URI | m2://inv/J1NZ2KWVXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Aitchison, John Aitchison (topic). Also Wikidata Q14946814
History
- 2026-11-02: add by m2/dev
J1PE8NY4KJ J1PE8NY4KJ
| URI | m2://inv/J1PE8NY4KJ |
|---|---|
| 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.22374#88WU (statement)
History
- 2026-11-02: add by m2/v0.6.17
P-rep J1PFTYTFRP
| URI | m2://inv/J1PFTYTFRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L4RI, P-rep (definition)
History
- 2026-11-02: add by m2/dev
Sampling risk J1PG94C5BM
| URI | m2://inv/J1PG94C5BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling risk, Sampling risk (definition). Also Wikidata Q7410167
History
- 2026-11-02: add by m2/dev
Variations J1PG9PPGWZ
| URI | m2://inv/J1PG9PPGWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Age of the captain#TO9R, Variations (statement)
History
- 2026-11-02: add by m2/dev
Strong regularity of the block graph J1PQJCGDZR
| URI | m2://inv/J1PQJCGDZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#79L5, Strong regularity of the block graph (statement). In 9NVKKW8HDH/e1, proposition 3.15
History
- 2026-10-28: add by m2/v0.4.2
Euler's formula J1PRRZQTE0
| URI | m2://inv/J1PRRZQTE0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.4.2/euler-s-formula, Euler's formula (concept). In E59CDZA4DP, index, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem J1PWZMVQ0G
| URI | m2://inv/J1PWZMVQ0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler divergence#PI8E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
J1Q2BD889W J1Q2BD889W
| URI | m2://inv/J1Q2BD889W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-12 (example). In E9HS8K3A52, example, section 7.2.6
History
- 2026-11-01: add by m2/v0.6.13
Representation J1QD2TKAK8
| URI | m2://inv/J1QD2TKAK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean planes in three-dimensional space#B73W, Representation (definition)
History
- 2026-11-02: add by m2/dev
rank J1QFEH45Y5
| URI | m2://inv/J1QFEH45Y5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.5.3/rank, rank (concept). In 649HGZKE96, index, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
Special cases J1QHE7VEEP
| URI | m2://inv/J1QHE7VEEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limaçon#QPAH, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Vanishing direction and primal infeasibility J1QXV0TP44
| URI | m2://inv/J1QXV0TP44 |
|---|---|
| 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.18428#LQGY, Vanishing direction and primal infeasibility (statement). In 6BGSQT7SV8/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Carmichael's theorem J1R04V3WPQ
| URI | m2://inv/J1R04V3WPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GHNV, Carmichael's theorem (statement)
History
- 2026-11-02: add by m2/dev
Brahmagupta theorem J1R26N7CEG
| URI | m2://inv/J1R26N7CEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1425308, Brahmagupta theorem (statement). Also Wikidata Q1425308
- thousand_plus: thousand_plus Q1425308, Brahmagupta theorem (statement). Also Wikidata Q1425308, Wikipedia Brahmagupta theorem
- wikidata: Wikidata Q1425308, Brahmagupta theorem (statement). Also MathWorld BrahmaguptasTheorem
- wikipedia: Wikipedia Brahmagupta theorem, Brahmagupta theorem (statement). Also Wikidata Q1425308
History
- 2026-10-26: add by m2/dev
Quasitransitive relation J1RA9W3803
| URI | m2://inv/J1RA9W3803 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitransitive relation, Quasitransitive relation (definition). Also Wikidata Q7269539
History
- 2026-11-02: add by m2/dev
J1RE5MVG0P J1RE5MVG0P
| URI | m2://inv/J1RE5MVG0P |
|---|---|
| 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.14099#R4RS (statement). In D77GXFTKFH/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
Asymptotic scattering relation J1RFH2HARQ
| URI | m2://inv/J1RFH2HARQ |
|---|---|
| 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 2503.08018#EJSS, Asymptotic scattering relation (statement). In TN93YFN45W/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.4.0
Properties J1RH6KHRB8
| URI | m2://inv/J1RH6KHRB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant line bundle#JWMS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bolza surface J1RKXFHA3S
| URI | m2://inv/J1RKXFHA3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#XMTV, Bolza surface (definition)
- wikipedia: Wikipedia List of differential geometry topics#3RAX, Bolza surface (definition)
History
- 2026-11-02: add by m2/dev
Computational complexity of mathematical operations J1RQRA0RY2
| URI | m2://inv/J1RQRA0RY2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational complexity of mathematical operations, Computational complexity of mathematical operations (conjecture). Also Wikidata Q5157305
History
- 2026-11-02: add by m2/dev
J1RR4CZWY5 J1RR4CZWY5
| URI | m2://inv/J1RR4CZWY5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#prop:derivfacts (statement). In PKGMM3P5QY, prop, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
J1RZFHGD8X J1RZFHGD8X
| URI | m2://inv/J1RZFHGD8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17518#TW6V (statement). In YA4JEWTVS4/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
CW complex J1S7WDAX7V
| URI | m2://inv/J1S7WDAX7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | CW complex 5W95QFHXPR |
Mentions
- wikidata: Wikidata Q189061, CW complex (unknown). Also EoM CW-complex, MathWorld CW-Complex, nLab CW complex
- wikipedia: Wikipedia CW complex, CW complex (definition). Also Wikidata Q189061
History
- 2026-10-26: add by m2/dev
Solutions of a general quartic equation J1SAR2PW5Q
| URI | m2://inv/J1SAR2PW5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0E8P, Solutions of a general quartic equation (definition)
History
- 2026-11-02: add by m2/dev
J1SDDZT2VK J1SDDZT2VK
| URI | m2://inv/J1SDDZT2VK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goormaghtigh conjecture#6DCX (problem)
History
- 2026-11-02: add by m2/dev
J1SDHQ8E3W J1SDHQ8E3W
| URI | m2://inv/J1SDHQ8E3W |
|---|---|
| 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 2512.19872#DYC8 (statement). In DG9TF5X0EG/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.0
J1SDSM3BMS J1SDSM3BMS
| URI | m2://inv/J1SDSM3BMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16821#5AQM (statement). In EFSGMHG5BW/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
J1SEBDCZ5N J1SEBDCZ5N
| URI | m2://inv/J1SEBDCZ5N |
|---|---|
| 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.37593#3WDX (statement). In YTF96VHKAH/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Samir Saker J1SFC8HM2X
| URI | m2://inv/J1SFC8HM2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samir Saker, Samir Saker (topic). Also Wikidata Q102274577
History
- 2026-11-02: add by m2/dev
Johann Jacob Heber J1SJWVJY2T
| URI | m2://inv/J1SJWVJY2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#MYRW, Johann Jacob Heber (unknown)
History
- 2026-11-02: add by m2/dev
Dedekind valuation J1SQF9GK69
| URI | m2://inv/J1SQF9GK69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (algebra)#XU39, Dedekind valuation (unknown)
History
- 2026-11-02: add by m2/dev
Harry Trotter J1SQYZV9S1
| URI | m2://inv/J1SQYZV9S1 |
|---|---|
| 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#4UL5, Harry Trotter (unknown)
History
- 2026-11-02: add by m2/dev
J1SX20VFMQ J1SX20VFMQ
| URI | m2://inv/J1SX20VFMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#VY4X (statement). In 80S2NP05HJ/e1, theorem 2.21
History
- 2026-10-27: add by m2/v0.4.0
Mary Cartwright J1T55SKDPW
| URI | m2://inv/J1T55SKDPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MMCV, Mary Cartwright (topic)
History
- 2026-11-02: add by m2/dev
Rows of odd-indexed Lucas numbers J1T7T02WK2
| URI | m2://inv/J1T7T02WK2 |
|---|---|
| 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.05776#LCMP, Rows of odd-indexed Lucas numbers (statement). In AFSG70BF7S/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.10
J1THFJB5BK J1THFJB5BK
| URI | m2://inv/J1THFJB5BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#E9K6 (statement). In RW315W172S/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Examples J1THGEG9EZ
| URI | m2://inv/J1THGEG9EZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy extension property#U9O8, Examples (example)
History
- 2026-11-02: add by m2/dev
Graphics Layout Engine J1TN17TXYR
| URI | m2://inv/J1TN17TXYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphics Layout Engine, Graphics Layout Engine (definition). Also Wikidata Q1258116
History
- 2026-11-02: add by m2/dev
J1TNTY7S94 J1TNTY7S94
| URI | m2://inv/J1TNTY7S94 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-10 (proof). In N54F33XE07, proof, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Construction J1TP1TAVJZ
| URI | m2://inv/J1TP1TAVJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catanese surface#GYA2, Construction (definition)
History
- 2026-11-02: add by m2/dev
J1TP4AY76D J1TP4AY76D
| URI | m2://inv/J1TP4AY76D |
|---|---|
| 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.16731#EG7K (statement). In D68KBZQ4Q6/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Mnëv's universality theorem J1TQ152XQQ
| URI | m2://inv/J1TQ152XQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mnëv's universality theorem, Mnëv's universality theorem (statement). Also Wikidata Q6885951
History
- 2026-11-02: add by m2/dev
Metric formulas J1TQC11736
| URI | m2://inv/J1TQC11736 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trirectangular tetrahedron#W79Y, Metric formulas (statement)
History
- 2026-11-02: add by m2/dev
Analytic flows on fixed bounded time intervals J1TTRBDP5N
| URI | m2://inv/J1TTRBDP5N |
|---|---|
| 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.14065#4K16, Analytic flows on fixed bounded time intervals (statement). In PV7V3X78JH/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Six Mile Grove Township, Swift County, Minnesota J1TW46KQFZ
| URI | m2://inv/J1TW46KQFZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#L4NI, Six Mile Grove Township, Swift County, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
J1V0CS4DKP J1V0CS4DKP
| URI | m2://inv/J1V0CS4DKP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#ex:model-K-of-Q (example). In PKGMM3P5QY, ex, section 49.2
History
- 2026-11-01: add by m2/v0.6.13
J1VEGRRYBQ J1VEGRRYBQ
| URI | m2://inv/J1VEGRRYBQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#G3QG (definition)
History
- 2026-11-01: add by m2/v0.6.15
Heinrich Martin Weber J1VJ93Y7ND
| URI | m2://inv/J1VJ93Y7ND |
|---|---|
| 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#DTVL, Heinrich Martin Weber (topic)
- wikipedia: Wikipedia List of German mathematicians#5ZBY, Heinrich Martin Weber (topic)
History
- 2026-11-02: add by m2/dev
\texorpdfstring{$\ell^2$}{l2} control J1VK997ET4
| URI | m2://inv/J1VK997ET4 |
|---|---|
| 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 2606.02312#DJF4, \texorpdfstring{$\ell^2$}{l2} control (statement). In 1SZV94R22Y/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
J1VWHTX1VQ J1VWHTX1VQ
| URI | m2://inv/J1VWHTX1VQ |
|---|---|
| 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.30203#VKMS (statement)
History
- 2026-11-01: add by m2/v0.6.15
J1VX2F4BSD J1VX2F4BSD
| URI | m2://inv/J1VX2F4BSD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#SH3R (definition). In YQT2APQPWD/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Begriffsschrift J1VXF3XGV3
| URI | m2://inv/J1VXF3XGV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Begriffsschrift, Begriffsschrift (definition). Also Wikidata Q814390
History
- 2026-11-02: add by m2/dev
J1VY35A81W J1VY35A81W
| URI | m2://inv/J1VY35A81W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.09840#NT0P (statement). In Y7TWHSF2HC/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.5
J1VYX70GGJ J1VYX70GGJ
| URI | m2://inv/J1VYX70GGJ |
|---|---|
| Kind | problem |
| 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.35642#9FUY (problem). In D905BX98TP/e1, problem A
History
- 2026-10-30: add by m2/v0.4.12
Assumption $A(\theta)$ J1W8QQFYS4
| URI | m2://inv/J1W8QQFYS4 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28200#ICVG, Assumption $A(\theta)$ (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Fluctuation process J1WAR1P3VY
| URI | m2://inv/J1WAR1P3VY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#A8BA, Fluctuation process (definition). In 17ACAG0N9C/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
J1WF9TXG99 J1WF9TXG99
| URI | m2://inv/J1WF9TXG99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#VSLF (statement). In 9B5TNEBJHV/e1, lemma 2.26
History
- 2026-10-29: add by m2/v0.4.10
J1WHXNYZMV J1WHXNYZMV
| URI | m2://inv/J1WHXNYZMV |
|---|---|
| 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 2308.02672#7P14 (statement). In ETRT1R1CQ8/e1, corollary 8.1
History
- 2026-10-27: add by m2/v0.4.0
Semantic --- \textsc{$\Pi$-Wf J1WYK9E8FH
| URI | m2://inv/J1WYK9E8FH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#UN9K, Semantic --- \textsc{$\Pi$-Wf (statement). In CPYWHRTPKC/e1, lemma 7.39
History
- 2026-10-27: add by m2/v0.4.2
Absorbing Markov chain J1X6ZR5H5X
| URI | m2://inv/J1X6ZR5H5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6CHV, Absorbing Markov chain (definition)
History
- 2026-11-02: add by m2/dev
Cryptocat J1X7YTQNJR
| URI | m2://inv/J1X7YTQNJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocat, Cryptocat (definition). Also Wikidata Q3005864
History
- 2026-11-02: add by m2/dev
Hermite–Hadamard inequality J1XHRD81F1
| URI | m2://inv/J1XHRD81F1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#JMFX, Hermite–Hadamard inequality (statement)
History
- 2026-11-02: add by m2/dev
J1XJEFT9DA J1XJEFT9DA
| URI | m2://inv/J1XJEFT9DA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#1H05 (definition). In PT5PBPCS3P/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Baruch Lindau J1XPF9FMDP
| URI | m2://inv/J1XPF9FMDP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baruch Lindau, Baruch Lindau (topic). Also Wikidata Q6675110
History
- 2026-11-02: add by m2/dev
horizontal composition J1XS9KEMEN
| URI | m2://inv/J1XS9KEMEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PW0F, horizontal composition (definition)
History
- 2026-11-02: add by m2/dev
Example J1XT0PXS0V
| URI | m2://inv/J1XT0PXS0V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-box#U845, Example (example)
History
- 2026-11-02: add by m2/dev
Bernard Dwork J1XW1R3D94
| URI | m2://inv/J1XW1R3D94 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard Dwork, Bernard Dwork (topic). Also Wikidata Q726692
History
- 2026-11-02: add by m2/dev
Six Mile, South Carolina J1XYX82SW8
| URI | m2://inv/J1XYX82SW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3NOT, Six Mile, South Carolina (unknown)
History
- 2026-11-02: add by m2/dev
Dini test J1XZDK2QGQ
| URI | m2://inv/J1XZDK2QGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini test, Dini test (definition). Also Wikidata Q898252
History
- 2026-11-02: add by m2/dev
David Eugene Smith J1Y3JKWGGR
| URI | m2://inv/J1Y3JKWGGR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Eugene Smith, David Eugene Smith (topic). Also Wikidata Q1174369
History
- 2026-11-02: add by m2/dev
Tensor product of fields J1Y4GYZTZ2
| URI | m2://inv/J1Y4GYZTZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of fields, Tensor product of fields (definition). Also Wikidata Q340145
History
- 2026-11-02: add by m2/dev
Florin Diacu J1Y8WBJT1G
| URI | m2://inv/J1Y8WBJT1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florin Diacu, Florin Diacu (topic). Also Wikidata Q5461835
History
- 2026-11-02: add by m2/dev
List of things named after Arthur Cayley J1YB9J2WZF
| URI | m2://inv/J1YB9J2WZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley, List of things named after Arthur Cayley (topic). Also Wikidata Q6643275
History
- 2026-11-02: add by m2/dev
J1YJMRV1CT J1YJMRV1CT
| URI | m2://inv/J1YJMRV1CT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#RP7W (definition). In 2PP4XRVS0J/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
J1YPEKNK7C J1YPEKNK7C
| URI | m2://inv/J1YPEKNK7C |
|---|---|
| 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.19088#ZND8 (statement). In 90QTB4CC31/e1, corollary 3.40
History
- 2026-10-28: add by m2/v0.4.2
Definition J1YVA2TDVK
| URI | m2://inv/J1YVA2TDVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratonovich integral#5Q50, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joella Gipson J1YW8CPJZ7
| URI | m2://inv/J1YW8CPJZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joella Gipson, Joella Gipson (topic). Also Wikidata Q12892051
History
- 2026-11-02: add by m2/dev
J1Z7YB10TN J1Z7YB10TN
| URI | m2://inv/J1Z7YB10TN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#defn-2 (definition). In E59CDZA4DP, defn, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
J1ZB0T22XN J1ZB0T22XN
| URI | m2://inv/J1ZB0T22XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#definition-1 (definition). In RZP28ERRZV, definition, section 96.2
History
- 2026-11-01: add by m2/v0.6.13
J1ZJ82JAK1 J1ZJ82JAK1
| URI | m2://inv/J1ZJ82JAK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#6VKE (statement). In 4R1MMSAAVK/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
J1ZKJVDB03 J1ZKJVDB03
| URI | m2://inv/J1ZKJVDB03 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#NBFS (unknown). In QNBFHFZ3H0/e1, unknown 3
History
- 2026-10-28: add by m2/v0.4.2
J1ZV1CZYP8 J1ZV1CZYP8
| URI | m2://inv/J1ZV1CZYP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.23072#T3PF (statement). In FW08HEAPKW/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5