Inventory rows X1
The cards of the rows of the inventory whose ids start with X1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition X103KR3STE
| URI | m2://inv/X103KR3STE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period (number theory)#AMSO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Morrey–Campanato space X103KW74N1
| URI | m2://inv/X103KW74N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morrey–Campanato space, Morrey–Campanato space (definition). Also Wikidata Q6913505
History
- 2026-11-02: add by m2/dev
Annalisa Buffa X104PBT3RZ
| URI | m2://inv/X104PBT3RZ |
|---|---|
| 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#AMG3, Annalisa Buffa (topic)
History
- 2026-11-02: add by m2/dev
X105XKBZ9A X105XKBZ9A
| URI | m2://inv/X105XKBZ9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22469#7JQ7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Newtonian potential X10BGZS8GX
| URI | m2://inv/X10BGZS8GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#KPBJ, Newtonian potential (definition)
History
- 2026-11-02: add by m2/dev
Finite time blow-up X10BS1GG1J
| URI | m2://inv/X10BS1GG1J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.30821#KT02, Finite time blow-up (example). In 1MZ9XBPTFQ/e1, example 6
History
- 2026-10-31: add by m2/v0.5.6
Applications X10CZYKD31
| URI | m2://inv/X10CZYKD31 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive control#FEBO, Applications (example)
History
- 2026-11-02: add by m2/dev
GOE spectrum X10GGTC5QD
| URI | m2://inv/X10GGTC5QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#O7FO, GOE spectrum (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chandrasekhar–Friedman–Schutz instability X10PNJ7G91
| URI | m2://inv/X10PNJ7G91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chandrasekhar–Friedman–Schutz instability, Chandrasekhar–Friedman–Schutz instability (definition). Also Wikidata Q124655742
History
- 2026-11-02: add by m2/dev
X10RPQG5Z3 X10RPQG5Z3
| URI | m2://inv/X10RPQG5Z3 |
|---|---|
| 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.30303#KJR5 (statement). In 2QJGSMSG5W/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Theorem 6 X10VHT15G4
| URI | m2://inv/X10VHT15G4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#COMV, Theorem 6 (statement)
History
- 2026-11-02: add by m2/dev
Weil cohomology theory X10XEK9PEM
| URI | m2://inv/X10XEK9PEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7980184, Weil cohomology theory (unknown). Also nLab Weil cohomology theory
- wikipedia: Wikipedia Weil cohomology theory, Weil cohomology theory (topic). Also Wikidata Q7980184
History
- 2026-10-26: add by m2/dev
X112K01BTQ X112K01BTQ
| URI | m2://inv/X112K01BTQ |
|---|---|
| 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 2103.02468#IX2T (statement). In Q7C6G66CWM/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
X1169CFC3E X1169CFC3E
| URI | m2://inv/X1169CFC3E |
|---|---|
| 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.20366#EJHM (statement)
History
- 2026-11-02: add by m2/v0.6.18
First law X116T7ZD1J
| URI | m2://inv/X116T7ZD1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamics#6LQW, First law (statement)
History
- 2026-11-02: add by m2/dev
X11TZNMWWP X11TZNMWWP
| URI | m2://inv/X11TZNMWWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#4W5C (statement). In 6NVP3YRWVA/e1, lemma 4.21
History
- 2026-10-29: add by m2/v0.4.10
X11VBAVN6F X11VBAVN6F
| URI | m2://inv/X11VBAVN6F |
|---|---|
| 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.30480#YLN4 (statement). In VP7MPRKH0M/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
X11YSYP9C5 X11YSYP9C5
| URI | m2://inv/X11YSYP9C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20916#FV9T (statement). In HV598NZW9X/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Symmetry X122MHW6MW
| URI | m2://inv/X122MHW6MW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombitetrahexagonal tiling#1OAV, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
X124YSJDKD X124YSJDKD
| URI | m2://inv/X124YSJDKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#RXJ9 (statement). In 317GZJ38HS/e1, lemma 5.17
History
- 2026-10-29: add by m2/v0.4.12
An Invisible Sign X12BV5FCQ0
| URI | m2://inv/X12BV5FCQ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#E27Y, An Invisible Sign (unknown)
History
- 2026-11-02: add by m2/dev
Equitable coloring X12DR2DCFW
| URI | m2://inv/X12DR2DCFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2984415, Hajnal–Szemerédi theorem (statement). Also Wikidata Q2984415
- thousand_plus: thousand_plus Q2984415, Hajnal–Szemerédi theorem (statement). Also Wikidata Q2984415, Wikipedia Hajnal–Szemerédi theorem
- wikipedia: Wikipedia Equitable coloring, Equitable coloring (definition). Also Wikidata Q2984415
History
- 2026-10-26: add by m2/dev
UpSet plot X12FFN1P22
| URI | m2://inv/X12FFN1P22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UpSet plot, UpSet plot (definition). Also Wikidata Q113127597
History
- 2026-11-02: add by m2/dev
X12FMNHFRG X12FMNHFRG
| URI | m2://inv/X12FMNHFRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#A3MB (statement). In PQHTR84RAJ/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.4.0
Exponential midpoint on a Gaussian target X12NX713Z5
| URI | m2://inv/X12NX713Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#96OE, Exponential midpoint on a Gaussian target (statement). In HTWSDDAWGS/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Fixed-point computation X12Y06NS1P
| URI | m2://inv/X12Y06NS1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point computation, Fixed-point computation (definition). Also Wikidata Q118906150
History
- 2026-11-02: add by m2/dev
Kenneth Brown X138QYP991
| URI | m2://inv/X138QYP991 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FFCJ, Kenneth Brown (topic)
History
- 2026-11-02: add by m2/dev
X13NNKD817 X13NNKD817
| URI | m2://inv/X13NNKD817 |
|---|---|
| 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.13850#RYGD (statement). In KJY735KSMF/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Quasi-bipartite graph X13ZWGGGBF
| URI | m2://inv/X13ZWGGGBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-bipartite graph, Quasi-bipartite graph (definition). Also Wikidata Q7269439
History
- 2026-11-02: add by m2/dev
X1425F8TNC X1425F8TNC
| URI | m2://inv/X1425F8TNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#71EO (statement). In ZPT9XCCAPQ/e1, lemma 2.2.8
History
- 2026-10-31: add by m2/v0.5.6
Jennifer Mueller X14Z77STEZ
| URI | m2://inv/X14Z77STEZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UEGV, Jennifer Mueller (topic)
History
- 2026-11-02: add by m2/dev
Timur Eneev X151Q5TSWY
| URI | m2://inv/X151Q5TSWY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timur Eneev, Timur Eneev (topic). Also Wikidata Q4531891
History
- 2026-11-02: add by m2/dev
List of wavelets X152YPZH85
| URI | m2://inv/X152YPZH85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet#QXLA, List of wavelets (unknown)
History
- 2026-11-02: add by m2/dev
X159ZF5HSN X159ZF5HSN
| URI | m2://inv/X159ZF5HSN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Lemma X15XG6NSR1
| URI | m2://inv/X15XG6NSR1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular ideal#QV7Q, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Plücker's Number X1620VHWFY
| URI | m2://inv/X1620VHWFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plücker formula#T4PG, Plücker's Number (unknown)
History
- 2026-11-02: add by m2/dev
Maximum size of an intersecting family X1641YYWGT
| URI | m2://inv/X1641YYWGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Maximum size of an intersecting family, Maximum size of an intersecting family (unknown). Also Mathlib Set.Intersecting.is_max_iff_card_eq
History
- 2026-10-26: add by m2/dev
X166TFJ520 X166TFJ520
| URI | m2://inv/X166TFJ520 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15504#PPB8 (statement). In AZ8SEW6HAV/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
X168AGXH8G X168AGXH8G
| URI | m2://inv/X168AGXH8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.01806#YD14 (statement). In 4FXW9CRBXX/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
X16CCSDPCK X16CCSDPCK
| URI | m2://inv/X16CCSDPCK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 69.5
History
- 2026-11-01: add by m2/v0.6.13
Uniqueness theorems X16KFD4NGW
| URI | m2://inv/X16KFD4NGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel summation#QLQW, Uniqueness theorems (statement)
History
- 2026-11-02: add by m2/dev
Alfréd Rényi X1729D6AAB
| URI | m2://inv/X1729D6AAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#364J, Alfréd Rényi (topic)
History
- 2026-11-02: add by m2/dev
Tame generalised Kummer varieties X175XFNJYD
| URI | m2://inv/X175XFNJYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#KBO8, Tame generalised Kummer varieties (statement). In FK89DQ9J4S/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
X17BKZ8GVE X17BKZ8GVE
| URI | m2://inv/X17BKZ8GVE |
|---|---|
| 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.28306#HV89 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Museum of Mathematics of Catalonia X17G57JA4Y
| URI | m2://inv/X17G57JA4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Museum of Mathematics of Catalonia, Museum of Mathematics of Catalonia (definition). Also Wikidata Q29458694
History
- 2026-11-02: add by m2/dev
Special cases X17KFXE9PP
| URI | m2://inv/X17KFXE9PP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computing the permanent#1XT4, Special cases (statement)
History
- 2026-11-02: add by m2/dev
X17QC48AQT X17QC48AQT
| URI | m2://inv/X17QC48AQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#EENY (statement). In TTRSZVT4VX/e1, theorem 2.21
History
- 2026-10-27: add by m2/v0.4.2
X17WRPF9FE X17WRPF9FE
| URI | m2://inv/X17WRPF9FE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#Z2YW (example)
History
- 2026-11-02: add by m2/v0.6.17
X17YBJNK58 X17YBJNK58
| URI | m2://inv/X17YBJNK58 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#example-1 (example). In E59CDZA4DP, example, section 11.1.1
History
- 2026-11-01: add by m2/v0.6.13
Amita Manatunga X184RNBXGP
| URI | m2://inv/X184RNBXGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#S5FY, Amita Manatunga (unknown)
History
- 2026-11-02: add by m2/dev
SGD for sequential training of a multiclass classifier X185S7MB7K
| URI | m2://inv/X185S7MB7K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26951#UQN6, SGD for sequential training of a multiclass classifier (example)
History
- 2026-11-01: add by m2/v0.6.15
Genius X1871508X3
| URI | m2://inv/X1871508X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#1SN5, Genius (definition)
History
- 2026-11-02: add by m2/dev
X1877DRPK4 X1877DRPK4
| URI | m2://inv/X1877DRPK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#R1HH (definition). In JQH3FHYPW3/e1, definition 2.28
History
- 2026-10-28: add by m2/v0.4.2
Weighted zero-chain reduction X1885YNW9B
| URI | m2://inv/X1885YNW9B |
|---|---|
| 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.33360#1SI7, Weighted zero-chain reduction (statement). In GH6FSDK4YB/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
X18EQHA6SS X18EQHA6SS
| URI | m2://inv/X18EQHA6SS |
|---|---|
| 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.25345#S1QA (statement)
History
- 2026-11-01: add by m2/v0.6.15
X18FRF3X6P X18FRF3X6P
| URI | m2://inv/X18FRF3X6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#1ILH (statement)
History
- 2026-11-01: add by m2/v0.6.15
X18PE8C61T X18PE8C61T
| URI | m2://inv/X18PE8C61T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#6W9W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oscillatory concentration on the ray X18R91FVRZ
| URI | m2://inv/X18R91FVRZ |
|---|---|
| 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.24962#JG9Q, Oscillatory concentration on the ray (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tanya Khovanova X18S0BBGG9
| URI | m2://inv/X18S0BBGG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R9KN, Tanya Khovanova (topic)
History
- 2026-11-02: add by m2/dev
X18W0YPW81 X18W0YPW81
| URI | m2://inv/X18W0YPW81 |
|---|---|
| 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.02216#KY98 (statement). In 34JGRZ2M5F/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Morris, Carl X18ZDDSJ25
| URI | m2://inv/X18ZDDSJ25 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XQD4, Morris, Carl (unknown)
History
- 2026-11-02: add by m2/dev
Uniform convexity and function range X195683EH2
| URI | m2://inv/X195683EH2 |
|---|---|
| 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.20687#EWV7, Uniform convexity and function range (definition)
History
- 2026-11-02: add by m2/v0.6.18
The branching vertex can be absent from every optimum X196KYRT9A
| URI | m2://inv/X196KYRT9A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.31535#YGR1, The branching vertex can be absent from every optimum (example). In BAWCMJQGVA/e1, example 6.8
History
- 2026-10-31: add by m2/v0.5.6
The additive identity annihilates ring elements X19AGH87C7
| URI | m2://inv/X19AGH87C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive identity#2TES, The additive identity annihilates ring elements (statement)
History
- 2026-11-02: add by m2/dev
Properties X19BG1MEVQ
| URI | m2://inv/X19BG1MEVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered triangular number#SV4F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Violet Cane X19E543KV6
| URI | m2://inv/X19E543KV6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Violet Cane, Violet Cane (topic). Also Wikidata Q137608690
History
- 2026-11-02: add by m2/dev
X19MRNV988 X19MRNV988
| URI | m2://inv/X19MRNV988 |
|---|---|
| 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 2507.05417#KF1Y (definition). In RGHZ863Q26/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Construction X19QR62ZC9
| URI | m2://inv/X19QR62ZC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schläfli double six#1EA8, Construction (definition)
History
- 2026-11-02: add by m2/dev
X19TZKZCD1 X19TZKZCD1
| URI | m2://inv/X19TZKZCD1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-3.xml#activity-2 (exercise). In 649HGZKE96, activity, section 7.3.2
History
- 2026-11-01: add by m2/v0.6.13
Parallel edges in top weight X19ZXAEHNP
| URI | m2://inv/X19ZXAEHNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#K39P, Parallel edges in top weight (statement). In Y1DR0DPWD0/e1, theorem 6.10
History
- 2026-10-29: add by m2/v0.4.12
Ultrafilter X1A1P503HQ
| URI | m2://inv/X1A1P503HQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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 2609.20683#Z5WK, Ultrafilter (definition)
History
- 2026-11-02: add by m2/v0.6.18
Variable star timing X1A422A462
| URI | m2://inv/X1A422A462 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of detecting exoplanets#M4YG, Variable star timing (unknown)
History
- 2026-11-02: add by m2/dev
Thredimensional Euclidean tesselation X1A6P5Y5KF
| URI | m2://inv/X1A6P5Y5KF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Honeycomb (geometry)#CDDX, Thredimensional Euclidean tesselation (unknown)
History
- 2026-11-02: add by m2/dev
X1A7K2B109 X1A7K2B109
| URI | m2://inv/X1A7K2B109 |
|---|---|
| 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.20153#8BMZ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Zorn's lemma X1A8WZGRB1
| URI | m2://inv/X1A8WZGRB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#XFG3, Zorn's lemma (statement)
- wikipedia: Wikipedia List of order theory topics#C4DI, Zorn's lemma (statement)
- wikipedia: Wikipedia List of abstract algebra topics#7IV2, Zorn's lemma (statement)
- wikipedia: Wikipedia List of axioms#1I1X, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
Exponential formula X1AA5MXFD4
| URI | m2://inv/X1AA5MXFD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#8903, Exponential formula (statement). In 77TK7M3B9Y/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
X1AMM6GXZG X1AMM6GXZG
| URI | m2://inv/X1AMM6GXZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37794#L8PL (statement). In ACFC6XHAMQ/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Sanderson's theorem X1AMP8RFF9
| URI | m2://inv/X1AMP8RFF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mildred Sanderson#0H6U, Sanderson's theorem (statement)
History
- 2026-11-02: add by m2/dev
Method X1AX0D6VY2
| URI | m2://inv/X1AX0D6VY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended correspondence analysis#PIN0, Method (definition)
History
- 2026-11-02: add by m2/dev
X1B3YMZJ33 X1B3YMZJ33
| URI | m2://inv/X1B3YMZJ33 |
|---|---|
| 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.20165#6GFV (statement). In QTD3BP5GA0/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
X1BE02FXY6 X1BE02FXY6
| URI | m2://inv/X1BE02FXY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#DBKT (statement). In BSWNH3NW1M/e1, corollary 9.34
History
- 2026-10-27: add by m2/v0.4.0
X1BH8EDHMB X1BH8EDHMB
| URI | m2://inv/X1BH8EDHMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#VTL8 (statement). In EVFX1R7ZDD/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
X1BP976ZJF X1BP976ZJF
| URI | m2://inv/X1BP976ZJF |
|---|---|
| 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.37425#8V35 (statement). In E02TSC01RN/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
A Passage to Infinity X1BRHSKMPJ
| URI | m2://inv/X1BRHSKMPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Passage to Infinity, A Passage to Infinity (definition). Also Wikidata Q4658719
History
- 2026-11-02: add by m2/dev
X1BTFAZPT2 X1BTFAZPT2
| URI | m2://inv/X1BTFAZPT2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#9YRK (problem). In 1KSE33PVS6/e1, problem 91
History
- 2026-10-30: add by m2/v0.4.12
X1C0W1E4WS X1C0W1E4WS
| URI | m2://inv/X1C0W1E4WS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
X1C737X1KN X1C737X1KN
| URI | m2://inv/X1C737X1KN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-6 (proof). In E59CDZA4DP, proof, section 8.2.1
History
- 2026-11-01: add by m2/v0.6.13
X1C7VN7126 X1C7VN7126
| URI | m2://inv/X1C7VN7126 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#OYVN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Screw theory X1CFV67F11
| URI | m2://inv/X1CFV67F11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Screw theory, Screw theory (definition). Also Wikidata Q7891441
History
- 2026-11-02: add by m2/dev
X1CJ2KATR4 X1CJ2KATR4
| URI | m2://inv/X1CJ2KATR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24584#ON6J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Barron space, bounded X1CQ84F8RA
| URI | m2://inv/X1CQ84F8RA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#HP96, Barron space, bounded (definition). In N91F15MHW1/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.3
maximal solutions X1CRAN35V9
| URI | m2://inv/X1CRAN35V9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > maximal solutions, maximal solutions (unknown)
History
- 2026-10-26: add by m2/dev
Guofang Wei X1D5ERT85A
| URI | m2://inv/X1D5ERT85A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guofang Wei, Guofang Wei (topic). Also Wikidata Q5619651
History
- 2026-11-02: add by m2/dev
Performance difference X1DBQWFJ6R
| URI | m2://inv/X1DBQWFJ6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35466#ZVXP, Performance difference (statement). In MVR35ZJPCC/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Commuting strong bulk dissipation X1DE74PF1C
| URI | m2://inv/X1DE74PF1C |
|---|---|
| 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.36016#ANMV, Commuting strong bulk dissipation (statement). In NAM9ZMPHZ9/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
X1DQJTW479 X1DQJTW479
| URI | m2://inv/X1DQJTW479 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#QUQU (definition). In D8QFZG5R1D/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.6
NS5-brane X1DSA0XEN9
| URI | m2://inv/X1DSA0XEN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1051696, NS5-brane (unknown). Also nLab NS5-brane
History
- 2026-10-26: add by m2/dev
An exact half-square partition X1DT8HPWQQ
| URI | m2://inv/X1DT8HPWQQ |
|---|---|
| Kind | example |
| 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#LLOU, An exact half-square partition (example). In 9YAE8FNQST/e1, example 19.12
History
- 2026-10-30: add by m2/v0.4.12
X1DW26YSP1 X1DW26YSP1
| URI | m2://inv/X1DW26YSP1 |
|---|---|
| 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.08382#5S1T (statement). In GYMGDQS25R/e1, proposition 6.17
History
- 2026-10-29: add by m2/v0.4.10
Daniel Gorenstein X1DW886141
| URI | m2://inv/X1DW886141 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LPV4, Daniel Gorenstein (topic)
History
- 2026-11-02: add by m2/dev
quantifier X1DZZESYQY
| URI | m2://inv/X1DZZESYQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VZ6H, quantifier (definition)
History
- 2026-11-02: add by m2/dev
X1E6K2KT4G X1E6K2KT4G
| URI | m2://inv/X1E6K2KT4G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#4143 (definition). In 1PR73ECTZB/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Constructions X1E7CFMX2G
| URI | m2://inv/X1E7CFMX2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cubic honeycomb#BZQZ, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Curved structures X1EFKDSZAZ
| URI | m2://inv/X1EFKDSZAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curved structures, Curved structures (definition). Also Wikidata Q130356882
History
- 2026-11-02: add by m2/dev
tree X1EH00TQVM
| URI | m2://inv/X1EH00TQVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#A19C, tree (definition)
History
- 2026-11-02: add by m2/dev
Max Simon X1EMER7J2W
| URI | m2://inv/X1EMER7J2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#OS3D, Max Simon (topic)
History
- 2026-11-02: add by m2/dev
Game of chance X1EQ5ECE1H
| URI | m2://inv/X1EQ5ECE1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SO14, Game of chance (definition)
- wikipedia: Wikipedia List of probability topics#JG6N, Game of chance (definition)
History
- 2026-11-02: add by m2/dev
Localization theorem X1EV9RPPQH
| URI | m2://inv/X1EV9RPPQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant algebraic K-theory#OSYE, Localization theorem (statement)
History
- 2026-11-02: add by m2/dev
X1EYA3S4MK X1EYA3S4MK
| URI | m2://inv/X1EYA3S4MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-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 2211.01586#EFFX (statement). In P39MF3ZJC0/e1, corollary A.4
History
- 2026-10-27: add by m2/v0.3.5
X1F07TATK9 X1F07TATK9
| URI | m2://inv/X1F07TATK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#SB5C (statement). In Z1RZSF68XZ/e1, fact 2.7
History
- 2026-10-29: add by m2/v0.4.10
Klein quartic X1F1BGZ92K
| URI | m2://inv/X1F1BGZ92K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TPE0, Klein quartic (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#2ZSL, Klein quartic (definition)
- wikipedia: Wikipedia List of things named after Felix Klein#CCTD, Klein quartic (definition)
History
- 2026-11-02: add by m2/dev
Properties X1F2H9YG19
| URI | m2://inv/X1F2H9YG19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Hartley transform#KFWC, Properties (statement)
History
- 2026-11-02: add by m2/dev
X1F4QJHXAD X1F4QJHXAD
| URI | m2://inv/X1F4QJHXAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#SLSY (statement). In RB5QBG3MJY/e1, theorem 5.8
History
- 2026-10-30: add by m2/v0.4.12
Fundamental identity II X1F6YYV2AR
| URI | m2://inv/X1F6YYV2AR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Jordan algebra#O4FN, Fundamental identity II (statement)
History
- 2026-11-02: add by m2/dev
Karatsuba multiplication X1F82E4CEW
| URI | m2://inv/X1F82E4CEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#8EVI, Karatsuba multiplication (definition)
History
- 2026-11-02: add by m2/dev
Eric Ellenbogen X1FG2TTT17
| URI | m2://inv/X1FG2TTT17 |
|---|---|
| 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#MHPM, Eric Ellenbogen (unknown)
History
- 2026-11-02: add by m2/dev
X1FGD5H8FE X1FGD5H8FE
| URI | m2://inv/X1FGD5H8FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#AJF2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Markov information source X1FXAB2S29
| URI | m2://inv/X1FXAB2S29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov information source, Markov information source (definition). Also Wikidata Q5636333
History
- 2026-11-02: add by m2/dev
Tate pairing X1G50FHDF1
| URI | m2://inv/X1G50FHDF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate pairing, Tate pairing (definition). Also Wikidata Q7687982
History
- 2026-11-02: add by m2/dev
X1G9T81ZGV X1G9T81ZGV
| URI | m2://inv/X1G9T81ZGV |
|---|---|
| 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 2208.07401#SPRO (statement). In GJD7HKCE56/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
Shape of first moment X1GFM6MWRF
| URI | m2://inv/X1GFM6MWRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#8A6U, Shape of first moment (statement). In T8F19ZGHF3/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Fidelity of quantum states X1GG86V95K
| URI | m2://inv/X1GG86V95K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fidelity of quantum states, Fidelity of quantum states (definition). Also Wikidata Q5446796
History
- 2026-11-02: add by m2/dev
transformations fixing a basis of directions X1GHKY4RAS
| URI | m2://inv/X1GHKY4RAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > transformations fixing a basis of directions, transformations fixing a basis of directions (unknown)
History
- 2026-10-26: add by m2/dev
Ticio Escobar X1GKJ5RAH8
| URI | m2://inv/X1GKJ5RAH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ticio Escobar, Ticio Escobar (topic). Also Wikidata Q2756335
History
- 2026-11-02: add by m2/dev
Arthur partners X1GMWGKBWV
| URI | m2://inv/X1GMWGKBWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#BXMJ, Arthur partners (statement). In H7DMRWBBJN/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Characterization X1GVX6621Q
| URI | m2://inv/X1GVX6621Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copositive matrix#IBR1, Characterization (statement)
History
- 2026-11-02: add by m2/dev
X1H3DDV5X0 X1H3DDV5X0
| URI | m2://inv/X1H3DDV5X0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#BPOR (definition). In V5PVKDKGGG/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
1 nm X1H4DF2072
| URI | m2://inv/X1H4DF2072 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#W92D, 1 nm (unknown)
History
- 2026-11-02: add by m2/dev
Statement X1H5BTGQ84
| URI | m2://inv/X1H5BTGQ84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of the cube#7AUB, Statement (statement)
History
- 2026-11-02: add by m2/dev
X1H6TH142B X1H6TH142B
| URI | m2://inv/X1H6TH142B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#7PIJ (example). In X3RFXWN6FW/e1, example 3.18
History
- 2026-10-27: add by m2/v0.3.6
Language of mathematics X1HJ2PZ6BT
| URI | m2://inv/X1HJ2PZ6BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language of mathematics, Language of mathematics (definition). Also Wikidata Q3217196
History
- 2026-11-02: add by m2/dev
Mary Beth Ruskai X1HN0T85D3
| URI | m2://inv/X1HN0T85D3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q6KH, Mary Beth Ruskai (topic)
History
- 2026-11-02: add by m2/dev
Tres Cantos X1HSWJ1NBG
| URI | m2://inv/X1HSWJ1NBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9PPE, Tres Cantos (unknown)
History
- 2026-11-02: add by m2/dev
Sharp diffusivity asymptotics X1J5MK5G4W
| URI | m2://inv/X1J5MK5G4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#RBVI, Sharp diffusivity asymptotics (statement). In DZ12XTTJSM/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Exploratory causal analysis X1J7NV5FPC
| URI | m2://inv/X1J7NV5FPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exploratory causal analysis, Exploratory causal analysis (topic). Also Wikidata Q65091348
History
- 2026-11-02: add by m2/dev
X1JMT38M0F X1JMT38M0F
| URI | m2://inv/X1JMT38M0F |
|---|---|
| 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 2504.14383#SV2P (statement). In QD0X3XJS6T/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
X1K3XS6M06 X1K3XS6M06
| URI | m2://inv/X1K3XS6M06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#VBRM (statement). In ZXQA7QH0H0/e1, proposition 2.19
History
- 2026-10-30: add by m2/v0.4.12
X1K6DEK1K0 X1K6DEK1K0
| URI | m2://inv/X1K6DEK1K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20916#NQEG (statement). In HV598NZW9X/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.4.2
Dispersion function X1K8ZRRQFR
| URI | m2://inv/X1K8ZRRQFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersion function, Dispersion function (definition). Also Wikidata Q139763727
History
- 2026-11-02: add by m2/dev
Akalanka X1KETEKQBR
| URI | m2://inv/X1KETEKQBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akalanka, Akalanka (topic). Also Wikidata Q11684738
History
- 2026-11-02: add by m2/dev
string topology X1KGN7A8HW
| URI | m2://inv/X1KGN7A8HW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7623999, string topology (unknown). Also nLab string topology
- wikipedia: Wikipedia String topology, String topology (topic). Also Wikidata Q7623999
History
- 2026-10-26: add by m2/dev
X1KGYS43H9 X1KGYS43H9
| URI | m2://inv/X1KGYS43H9 |
|---|---|
| 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.03384#NANB (statement). In J55JTTKG84/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.12
X1KHKB70M3 X1KHKB70M3
| URI | m2://inv/X1KHKB70M3 |
|---|---|
| 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.22002#9BC4 (statement). In JTND2BM263/e1, fact 4.1
History
- 2026-10-27: add by m2/v0.4.2
X1KK8BNZJ0 X1KK8BNZJ0
| URI | m2://inv/X1KK8BNZJ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Hahn problem X1KMFS7P70
| URI | m2://inv/X1KMFS7P70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General equilibrium theory#Z2ON, Hahn problem (unknown)
History
- 2026-11-02: add by m2/dev
X1KMKDXR6P X1KMKDXR6P
| URI | m2://inv/X1KMKDXR6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-2 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Finitely-presented module X1KR23YHRZ
| URI | m2://inv/X1KR23YHRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#CNM5, Finitely-presented module (definition)
History
- 2026-11-02: add by m2/dev
Minimax soft query-rank exponent X1M2FYG4JK
| URI | m2://inv/X1M2FYG4JK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#3LCV, Minimax soft query-rank exponent (definition)
History
- 2026-11-01: add by m2/v0.6.15
Benford's law X1M3Z5EZJM
| URI | m2://inv/X1M3Z5EZJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZHC1, Benford's law (statement)
History
- 2026-11-02: add by m2/dev
X1MMGMG3N3 X1MMGMG3N3
| URI | m2://inv/X1MMGMG3N3 |
|---|---|
| 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.08028#XW8L (statement). In Z19XDA8QY9/e1, corollary 20
History
- 2026-10-29: add by m2/v0.4.10
List of mathematical series X1N5Y1C6ZS
| URI | m2://inv/X1N5Y1C6ZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series, List of mathematical series (topic). Also Wikidata Q2480633
History
- 2026-11-02: add by m2/dev
X1N618ZNQ6 X1N618ZNQ6
| URI | m2://inv/X1N618ZNQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11939#RJL1 (statement). In DQMEN40FZV/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.3
spiral X1NEBGZ0QQ
| URI | m2://inv/X1NEBGZ0QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q189114, spiral (unknown). Also MathWorld Spiral
- wikipedia: Wikipedia Spiral, Spiral (definition). Also Wikidata Q189114
History
- 2026-10-26: add by m2/dev
Applications X1NSV0NDBV
| URI | m2://inv/X1NSV0NDBV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard three-lines theorem#5X6I, Applications (example)
History
- 2026-11-02: add by m2/dev
X1P0F3RRGC X1P0F3RRGC
| URI | m2://inv/X1P0F3RRGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#2MZK (statement)
History
- 2026-11-02: add by m2/v0.6.17
X1P1T34DNY X1P1T34DNY
| URI | m2://inv/X1P1T34DNY |
|---|---|
| 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 2609.35927#W40K (definition). In 7S0DWBCNS8/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Standard algorithms X1P34PPTGE
| URI | m2://inv/X1P34PPTGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard algorithms, Standard algorithms (definition). Also Wikidata Q7598328
History
- 2026-11-02: add by m2/dev
pp-wave spacetime X1P6PDG7EK
| URI | m2://inv/X1P6PDG7EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3966083, pp-wave spacetime (unknown). Also nLab pp-wave spacetime
- wikipedia: Wikipedia Pp-wave spacetime, Pp-wave spacetime (definition). Also Wikidata Q3966083
History
- 2026-10-26: add by m2/dev
binary data X1P6WW77K0
| URI | m2://inv/X1P6WW77K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#FG6P, binary data (definition)
History
- 2026-11-02: add by m2/dev
Stable roommates problem X1P9H89HGZ
| URI | m2://inv/X1P9H89HGZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable roommates problem, Stable roommates problem (problem). Also Wikidata Q3406260
History
- 2026-11-02: add by m2/dev
Hubert Lacoin X1P9K3ZJDS
| URI | m2://inv/X1P9K3ZJDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7EJX, Hubert Lacoin (unknown)
History
- 2026-11-02: add by m2/dev
X1PD9W2MJZ X1PD9W2MJZ
| URI | m2://inv/X1PD9W2MJZ |
|---|---|
| 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#TWGC (definition)
History
- 2026-11-01: add by m2/v0.6.15
X1PHYF4W4E X1PHYF4W4E
| URI | m2://inv/X1PHYF4W4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#857F (statement). In CY1FE8W1ZW/e1, corollary 0.62
History
- 2026-10-27: add by m2/v0.3.5
Urquhart's theorem X1PRE82P01
| URI | m2://inv/X1PRE82P01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ex-tangential quadrilateral#JFKY, Urquhart's theorem (statement)
History
- 2026-11-02: add by m2/dev
X1PWRP0Y6A X1PWRP0Y6A
| URI | m2://inv/X1PWRP0Y6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21994#9NC0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
X1PYX64A22 X1PYX64A22
| URI | m2://inv/X1PYX64A22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#DW97 (statement). In RYWAX33Z51/e1, lemma 6.3
History
- 2026-10-31: add by m2/v0.5.6
Three-point stabilizers in $\PSL(n,q)$ on projective space X1Q2ERVAPH
| URI | m2://inv/X1Q2ERVAPH |
|---|---|
| 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#6OQB, Three-point stabilizers in $\PSL(n,q)$ on projective space (statement). In 9NVKKW8HDH/e1, theorem 2.25
History
- 2026-10-28: add by m2/v0.4.2
Klein's inequality X1Q3K78RZX
| URI | m2://inv/X1Q3K78RZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#GWYJ, Klein's inequality (statement)
History
- 2026-11-02: add by m2/dev
X1Q49AE8N6 X1Q49AE8N6
| URI | m2://inv/X1Q49AE8N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#NQYQ (statement). In FCFD59D3T6/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
quadrinvariant X1Q7MS7FJA
| URI | m2://inv/X1Q7MS7FJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#C9Z9, quadrinvariant (definition)
History
- 2026-11-02: add by m2/dev
Stephen Timoshenko X1QCYZ624Q
| URI | m2://inv/X1QCYZ624Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y1H9, Stephen Timoshenko (unknown)
History
- 2026-11-02: add by m2/dev
X1QD10EH97 X1QD10EH97
| URI | m2://inv/X1QD10EH97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2507.20176#Z25U (statement). In CX4WDA2KAR/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
X1QDSBS2ES X1QDSBS2ES
| URI | m2://inv/X1QDSBS2ES |
|---|---|
| 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.14838#9QA4 (statement). In J7ZX3WWRQP/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
X1QF1S4GGJ X1QF1S4GGJ
| URI | m2://inv/X1QF1S4GGJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#BCPD (definition). In 9H45HQE7AZ/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
X1QH1D6H5E X1QH1D6H5E
| URI | m2://inv/X1QH1D6H5E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#ex_networkflow_update (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
Section 5.2.2 and Theorem 5.7 X1QHCKCGWR
| URI | m2://inv/X1QHCKCGWR |
|---|---|
| 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.23128#3A0U, Section 5.2.2 and Theorem 5.7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Marching cubes X1QP3JJ5W4
| URI | m2://inv/X1QP3JJ5W4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#B96V, Marching cubes (unknown)
History
- 2026-11-02: add by m2/dev
Ridge function X1QPCJYQJW
| URI | m2://inv/X1QPCJYQJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ridge function, Ridge function (definition). Also Wikidata Q104854997
History
- 2026-11-02: add by m2/dev
X1QTG8CDAS X1QTG8CDAS
| URI | m2://inv/X1QTG8CDAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#UKLZ (statement). In 2RC8WXQ9ET/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
X1QYAPX3WP X1QYAPX3WP
| URI | m2://inv/X1QYAPX3WP |
|---|---|
| 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 2609.21255#T9CW (statement)
History
- 2026-11-02: add by m2/v0.6.18
ring X1R74JN8F1
| URI | m2://inv/X1R74JN8F1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.1/ring, ring (concept). In N54F33XE07, index, section B.1
History
- 2026-11-01: add by m2/v0.6.13
X1RAHA2PZ3 X1RAHA2PZ3
| URI | m2://inv/X1RAHA2PZ3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apéry's constant#R06D (problem)
History
- 2026-11-02: add by m2/dev
X1RECPQK2H X1RECPQK2H
| URI | m2://inv/X1RECPQK2H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-37 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
X1RJ8T7WYG X1RJ8T7WYG
| URI | m2://inv/X1RJ8T7WYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#3B3E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nagayoshi Iwahori X1RJMXRE8C
| URI | m2://inv/X1RJMXRE8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11116947, Nagayoshi Iwahori (unknown). Also ProofWiki Mathematician:Nagayoshi_Iwahori
- wikipedia: Wikipedia Nagayoshi Iwahori, Nagayoshi Iwahori (topic). Also Wikidata Q11116947
History
- 2026-10-26: add by m2/dev
X1RZZ68VE8 X1RZZ68VE8
| URI | m2://inv/X1RZZ68VE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#D04J (statement). In 3N9E9T6AF5/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Theodor Schönemann X1S7CQ8KC0
| URI | m2://inv/X1S7CQ8KC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodor Schönemann, Theodor Schönemann (topic). Also Wikidata Q3523678
History
- 2026-11-02: add by m2/dev
X1SBTM2Q8J X1SBTM2Q8J
| URI | m2://inv/X1SBTM2Q8J |
|---|---|
| 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.09390#XCTK (statement). In 7SSKW778T8/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Quantitative success bound X1SCSG5ZEX
| URI | m2://inv/X1SCSG5ZEX |
|---|---|
| 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.08280#HEBA, Quantitative success bound (statement). In EGADPYP7R3/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Simple Lie group X1SDH6HYFW
| URI | m2://inv/X1SDH6HYFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#3UL6, Simple Lie group (definition)
History
- 2026-11-02: add by m2/dev
Examples X1SFXRQQ33
| URI | m2://inv/X1SFXRQQ33 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive integrated moving average#Q2JJ, Examples (example)
History
- 2026-11-02: add by m2/dev
X1T72VT2TX X1T72VT2TX
| URI | m2://inv/X1T72VT2TX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#5FXU (statement). In G7R61RPWE2/e1, theorem 4.12
History
- 2026-10-30: add by m2/v0.4.12
Raymond Pearl X1T855M4H8
| URI | m2://inv/X1T855M4H8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Pearl, Raymond Pearl (topic). Also Wikidata Q913632
History
- 2026-11-02: add by m2/dev
Susan G. Hilsenbeck X1TA038909
| URI | m2://inv/X1TA038909 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#165D, Susan G. Hilsenbeck (topic)
History
- 2026-11-02: add by m2/dev
X1TB2MW8ZC X1TB2MW8ZC
| URI | m2://inv/X1TB2MW8ZC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#30E6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
X1TFVKH8N0 X1TFVKH8N0
| URI | m2://inv/X1TFVKH8N0 |
|---|---|
| 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.20126#EDS3 (statement). In KVXDWX9B11/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
X1TKS7QVGQ X1TKS7QVGQ
| URI | m2://inv/X1TKS7QVGQ |
|---|---|
| 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.36389#IYQE (statement). In N1S169J2MV/e1, theorem 0.4
History
- 2026-10-30: add by m2/v0.4.12
Vladimir Gennadievich Sprindzuk X1TME3PNHQ
| URI | m2://inv/X1TME3PNHQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Gennadievich Sprindzuk, Vladimir Gennadievich Sprindzuk (topic). Also Wikidata Q1083950
History
- 2026-11-02: add by m2/dev
X1TQ3MEM54 X1TQ3MEM54
| URI | m2://inv/X1TQ3MEM54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15352#8CHY (statement). In R39P7AFXM8/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Obstruction to positive scalar representations X1TRYFGAGZ
| URI | m2://inv/X1TRYFGAGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.26066#TDX8, Obstruction to positive scalar representations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Correctness of decoding X1TYM92XC6
| URI | m2://inv/X1TYM92XC6 |
|---|---|
| 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.15631#GJAO, Correctness of decoding (statement). In AF465QFRGQ/e1, lemma V.3
History
- 2026-10-28: add by m2/v0.4.2
Galois theory for depth two extensions and a Main Theorem X1V0YKYZQJ
| URI | m2://inv/X1V0YKYZQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Depth of noncommutative subrings#N5C0, Galois theory for depth two extensions and a Main Theorem (statement)
History
- 2026-11-02: add by m2/dev
X1VDVWGWK9 X1VDVWGWK9
| URI | m2://inv/X1VDVWGWK9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#2DG4 (definition). In DAMYG8BFAK/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
X1VFBVPPRS X1VFBVPPRS
| URI | m2://inv/X1VFBVPPRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.20299#05Y1 (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Convergence of PINNs for infinity Laplace Problems X1VQFA2TGF
| URI | m2://inv/X1VQFA2TGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30809#W4TO, Convergence of PINNs for infinity Laplace Problems (statement). In KNXDEB3ED7/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
Countable set X1W3WYWHG6
| URI | m2://inv/X1W3WYWHG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#BGJM, Countable set (definition)
History
- 2026-11-02: add by m2/dev
Regularization Bias X1W7NW6CNT
| URI | m2://inv/X1W7NW6CNT |
|---|---|
| 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 2508.17181#OF60, Regularization Bias (statement). In 2QR18WK8KH/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.6
X1WAMDMMCP X1WAMDMMCP
| URI | m2://inv/X1WAMDMMCP |
|---|---|
| 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.35642#O4Z4 (statement). In D905BX98TP/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Generalizations X1WFB7CM67
| URI | m2://inv/X1WFB7CM67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute continuity#KJPC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Small world phenomenon X1WFBCACMH
| URI | m2://inv/X1WFBCACMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#PBDO, Small world phenomenon (unknown)
History
- 2026-11-02: add by m2/dev
Lindeberg's condition X1WMNQE0A5
| URI | m2://inv/X1WMNQE0A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lindeberg's condition VJ3BVREDWN |
Mentions
- wikidata: Wikidata Q1825985, Lindeberg's condition (statement). Also MathWorld LindebergCondition
- wikipedia: Wikipedia Lindeberg's condition, Lindeberg's condition (definition). Also Wikidata Q1825985
History
- 2026-10-26: add by m2/dev
full functor X1WN7AERXF
| URI | m2://inv/X1WN7AERXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33059348, full functor (definition). Also nLab full functor, ProofWiki Definition:Full_Functor
History
- 2026-10-26: add by m2/dev
X1WPFCM27J X1WPFCM27J
| URI | m2://inv/X1WPFCM27J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#J54C (definition)
History
- 2026-11-02: add by m2/v0.6.17
Statement of the theorem X1WSTHXCY8
| URI | m2://inv/X1WSTHXCY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity theorem for Riemann surfaces#4XXN, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
X1WV6PM2G2 X1WV6PM2G2
| URI | m2://inv/X1WV6PM2G2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#proof-1 (proof). In N54F33XE07, proof, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
X1X0KE0BAN X1X0KE0BAN
| URI | m2://inv/X1X0KE0BAN |
|---|---|
| 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.37450#LTL0 (statement). In FP05Z6EBV4/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
X1X2G6MFYB X1X2G6MFYB
| URI | m2://inv/X1X2G6MFYB |
|---|---|
| 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#5CCX (statement). In 75E8ZB1CBV/e1, proposition 5.1.2
History
- 2026-10-27: add by m2/v0.4.0
Hilbert–Schmidt theorem X1X89Z84JQ
| URI | m2://inv/X1X89Z84JQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2454, Hilbert–Schmidt theorem (statement)
History
- 2026-11-02: add by m2/dev
X1XA3JVX2F X1XA3JVX2F
| URI | m2://inv/X1XA3JVX2F |
|---|---|
| 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 2407.20385#S6LT (statement). In PZRSZ19KAH/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
X1XEWERGS0 X1XEWERGS0
| URI | m2://inv/X1XEWERGS0 |
|---|---|
| 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.17677#V5GD (statement). In 5E9G06XJKC/e1, lemma F.10
History
- 2026-10-28: add by m2/v0.4.2
Example X1XVWB8ZX0
| URI | m2://inv/X1XVWB8ZX0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floyd–Warshall algorithm#9JDN, Example (example)
History
- 2026-11-02: add by m2/dev
X1Y2740BRQ X1Y2740BRQ
| URI | m2://inv/X1Y2740BRQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-25 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
Bayesian tool for methylation analysis X1Y7GTJ81P
| URI | m2://inv/X1Y7GTJ81P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LL7D, Bayesian tool for methylation analysis (definition)
History
- 2026-11-02: add by m2/dev
dilemma X1YE8TDX1P
| URI | m2://inv/X1YE8TDX1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QTUH, dilemma (definition)
History
- 2026-11-02: add by m2/dev
X1YEBHM0AN X1YEBHM0AN
| URI | m2://inv/X1YEBHM0AN |
|---|---|
| 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 2506.18195#N29O (statement). In 6B8FNCHF1Z/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
Prandtl–Meyer function X1YG5T29H3
| URI | m2://inv/X1YG5T29H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prandtl–Meyer function, Prandtl–Meyer function (definition). Also Wikidata Q7238345
History
- 2026-11-02: add by m2/dev
George C. Tiao X1YGF863RH
| URI | m2://inv/X1YGF863RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#IX8H, George C. Tiao (topic)
History
- 2026-11-02: add by m2/dev
As I was going to St Ives X1YHJYHHJT
| URI | m2://inv/X1YHJYHHJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q719944, As I was going to St Ives (statement). Also MathWorld StIvesProblem, ProofWiki St._Ives_Problem
- wikipedia: Wikipedia As I was going to St Ives, As I was going to St Ives (definition). Also Wikidata Q719944
History
- 2026-10-26: add by m2/dev
Quantizers outside $\pi_S(K)$ X1YSXPKRHV
| URI | m2://inv/X1YSXPKRHV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#QPO4, Quantizers outside $\pi_S(K)$ (example). In BWJS3H55WH/e1, example 26
History
- 2026-10-27: add by m2/v0.3.5
Quahl X1YTSY39CN
| URI | m2://inv/X1YTSY39CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quahl, Quahl (definition). Also Wikidata Q108392576
History
- 2026-11-02: add by m2/dev
Quantum Locally Testable CSS Code (qLTC) {\protect\footnotemark X1YWZRTKAR
| URI | m2://inv/X1YWZRTKAR |
|---|---|
| Kind | definition |
| 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.00525#2ZSU, Quantum Locally Testable CSS Code (qLTC) {\protect\footnotemark (definition). In JN34PDDXH8/e1, definition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Superrigidity X1YZQVT3Y9
| URI | m2://inv/X1YZQVT3Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superrigidity, Superrigidity (definition). Also Wikidata Q7644121
History
- 2026-11-02: add by m2/dev
743 (Number) X1Z7BWSFNZ
| URI | m2://inv/X1Z7BWSFNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#15WB, 743 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
X1ZA0CVQ5Q X1ZA0CVQ5Q
| URI | m2://inv/X1ZA0CVQ5Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_prop-inject (example). In QKM9DD2H56, example, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
X1ZFJYCMSM X1ZFJYCMSM
| URI | m2://inv/X1ZFJYCMSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#KKIP (statement). In MB29RAAQMG/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Nicholas Pippenger X1ZFWW4B62
| URI | m2://inv/X1ZFWW4B62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#88WQ, Nicholas Pippenger (unknown)
History
- 2026-11-02: add by m2/dev
Bounded-entropy folded profile class X1ZNJ5B1SW
| URI | m2://inv/X1ZNJ5B1SW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#CH6W, Bounded-entropy folded profile class (definition). In 7MVPNFPRKB/e1, definition 11.1
History
- 2026-10-30: add by m2/v0.4.12
X1ZNJ9ZGDS X1ZNJ9ZGDS
| URI | m2://inv/X1ZNJ9ZGDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13734#AOG1 (statement). In XB23QP7GK9/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
X1ZWRA760T X1ZWRA760T
| URI | m2://inv/X1ZWRA760T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#4E38 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Examples X1ZXR1RVK3
| URI | m2://inv/X1ZXR1RVK3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted arithmetic mean#A4YZ, Examples (example)
History
- 2026-11-02: add by m2/dev