Inventory rows XJ
The cards of the rows of the inventory whose ids start with XJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
XJ040QMN6E XJ040QMN6E
| URI | m2://inv/XJ040QMN6E |
|---|---|
| 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.16225#LMRA (statement). In H3DJV9YQW1/e1, corollary 4.19
History
- 2026-10-28: add by m2/v0.4.2
Dominic Joyce XJ06P7NPWZ
| URI | m2://inv/XJ06P7NPWZ |
|---|---|
| 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 Q1237590, Dominic Joyce (unknown). Also nLab Dominic Joyce
- wikipedia: Wikipedia Dominic Joyce, Dominic Joyce (topic). Also Wikidata Q1237590
History
- 2026-10-26: add by m2/dev
XJ076FRE66 XJ076FRE66
| URI | m2://inv/XJ076FRE66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#L55W (statement). In 1FJKW4WGEN/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
XJ08NA14TV XJ08NA14TV
| URI | m2://inv/XJ08NA14TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#VJPF (statement). In GMRT5GHBZS/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
recursive relation XJ0FM0BA5H
| URI | m2://inv/XJ0FM0BA5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TNWY, recursive relation (definition)
History
- 2026-11-02: add by m2/dev
Theorem XJ0FQCZC2T
| URI | m2://inv/XJ0FQCZC2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#5DL9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
maps of order complexes XJ0HG59PJF
| URI | m2://inv/XJ0HG59PJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#G4KG, maps of order complexes (statement). In PF5JJ9DS8Q/e1, proposition 5.3.2
History
- 2026-10-28: add by m2/v0.4.2
XJ0SEMBBAN XJ0SEMBBAN
| URI | m2://inv/XJ0SEMBBAN |
|---|---|
| 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 2504.09464#OMS2 (statement). In RN1XRCS2CH/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.6
molecular mass XJ0X4QB5MK
| URI | m2://inv/XJ0X4QB5MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182854, molecular mass (definition). Also ProofWiki Definition:Molecular_Weight
History
- 2026-10-26: add by m2/dev
XJ11E5FWES XJ11E5FWES
| URI | m2://inv/XJ11E5FWES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22528#67HI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Moses Maier XJ12AZT9T9
| URI | m2://inv/XJ12AZT9T9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Wittgenstein#MPPC, Moses Maier (unknown)
History
- 2026-11-02: add by m2/dev
folium XJ12XZ6PDS
| URI | m2://inv/XJ12XZ6PDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12794951, folium (unknown). Also MathWorld Folium
History
- 2026-10-26: add by m2/dev
XJ13456184 XJ13456184
| URI | m2://inv/XJ13456184 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#07L0 (statement). In JW8HH6EPG2/e1, lemma 3.27
History
- 2026-10-29: add by m2/v0.4.10
Grubbs's test for outliers XJ15AXV1H0
| URI | m2://inv/XJ15AXV1H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IWLM, Grubbs's test for outliers (definition)
History
- 2026-11-02: add by m2/dev
XJ1A073RX7 XJ1A073RX7
| URI | m2://inv/XJ1A073RX7 |
|---|---|
| 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#AFQS (statement). In T8F19ZGHF3/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
Automated abductive reasoning XJ1FVFAQ0H
| URI | m2://inv/XJ1FVFAQ0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abductive reasoning#V4ZP, Automated abductive reasoning (unknown)
History
- 2026-11-02: add by m2/dev
Exterior trace isomorphism XJ1FZCHV97
| URI | m2://inv/XJ1FZCHV97 |
|---|---|
| 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.11077#SCHX, Exterior trace isomorphism (statement). In 4333A6G5K5/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Polyakov action XJ1HTXVC35
| URI | m2://inv/XJ1HTXVC35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1048763, Polyakov action (unknown). Also nLab Polyakov action
- wikipedia: Wikipedia Polyakov action, Polyakov action (definition). Also Wikidata Q1048763
History
- 2026-10-26: add by m2/dev
Erich Leo Lehmann XJ1J424D00
| URI | m2://inv/XJ1J424D00 |
|---|---|
| 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#9L1W, Erich Leo Lehmann (topic)
History
- 2026-11-02: add by m2/dev
Sargan–Hansen test XJ1R4SGQ5P
| URI | m2://inv/XJ1R4SGQ5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sargan–Hansen test, Sargan–Hansen test (definition). Also Wikidata Q7423887
History
- 2026-11-02: add by m2/dev
XJ2263TN1J XJ2263TN1J
| URI | m2://inv/XJ2263TN1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#TWHI (statement). In M98F6VRPZ2/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
XJ2332JQDE XJ2332JQDE
| URI | m2://inv/XJ2332JQDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08027#5RG8 (statement). In YF3CEQDXGQ/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
XJ27AGV4BK XJ27AGV4BK
| URI | m2://inv/XJ27AGV4BK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-125 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Ariel Durant XJ2A6Y5FG1
| URI | m2://inv/XJ2A6Y5FG1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#054Z, Ariel Durant (unknown)
History
- 2026-11-02: add by m2/dev
XJ2CC3V3FG XJ2CC3V3FG
| URI | m2://inv/XJ2CC3V3FG |
|---|---|
| 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.10968#TG8U (statement). In KJRV9ZW833/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
Quantitative functional CLT for fixed projections of nonlinear SA XJ2JYAG1DT
| URI | m2://inv/XJ2JYAG1DT |
|---|---|
| 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.40338#TEZL, Quantitative functional CLT for fixed projections of nonlinear SA (statement). In K5H6GS0SGQ/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Enriques surface XJ2MNRG2WW
| URI | m2://inv/XJ2MNRG2WW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enriques surface, Enriques surface (definition). Also Wikidata Q5379864
History
- 2026-11-02: add by m2/dev
XJ2RN3V0SZ XJ2RN3V0SZ
| URI | m2://inv/XJ2RN3V0SZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-2 (example). In Y91XFCEVHQ, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Wallace Givens XJ2VSA791Y
| URI | m2://inv/XJ2VSA791Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wallace Givens, Wallace Givens (topic). Also Wikidata Q93134
History
- 2026-11-02: add by m2/dev
Real and integer-multiplicity rectifiable $k$-current XJ2Z9N7WJT
| URI | m2://inv/XJ2Z9N7WJT |
|---|---|
| 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 2609.24451#01TR, Real and integer-multiplicity rectifiable $k$-current (definition)
History
- 2026-11-01: add by m2/v0.6.15
Etemadi's inequality XJ37K8QEHQ
| URI | m2://inv/XJ37K8QEHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Etemadi's inequality, Etemadi's inequality (statement). Also Wikidata Q5402566
History
- 2026-11-02: add by m2/dev
Milnor–Thurston kneading theory XJ3FRKTDWZ
| URI | m2://inv/XJ3FRKTDWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor–Thurston kneading theory, Milnor–Thurston kneading theory (definition). Also Wikidata Q17103861
History
- 2026-11-02: add by m2/dev
XJ3GM73CPE XJ3GM73CPE
| URI | m2://inv/XJ3GM73CPE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#GJPA (definition). In 9YR0E0T9XA/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
XJ3JRE1DM4 XJ3JRE1DM4
| URI | m2://inv/XJ3JRE1DM4 |
|---|---|
| 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.13833#8R2N (statement). In VD4JP4HVBX/e1, proposition 10.10
History
- 2026-10-28: add by m2/v0.4.2
Cassels' conjecture XJ3P0PH7B1
| URI | m2://inv/XJ3P0PH7B1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer sum#NN8Q, Cassels' conjecture (statement)
History
- 2026-11-02: add by m2/dev
XJ3TGNZ8ET XJ3TGNZ8ET
| URI | m2://inv/XJ3TGNZ8ET |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 31.5
History
- 2026-11-01: add by m2/v0.6.13
XJ3VT9S3W5 XJ3VT9S3W5
| URI | m2://inv/XJ3VT9S3W5 |
|---|---|
| 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.12576#PVWC (statement). In BVAWVRS3R9/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
S. G. Dani XJ3VTF7G80
| URI | m2://inv/XJ3VTF7G80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. G. Dani, S. G. Dani (topic). Also Wikidata Q7387480
History
- 2026-11-02: add by m2/dev
Fujiwara Matsusaburo XJ3YYKXQQY
| URI | m2://inv/XJ3YYKXQQY |
|---|---|
| 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#PFXZ, Fujiwara Matsusaburo (topic)
History
- 2026-11-02: add by m2/dev
XJ3Z4EK2WP XJ3Z4EK2WP
| URI | m2://inv/XJ3Z4EK2WP |
|---|---|
| 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.35186#N1HV (statement). In VFNPANY3HD/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
XJ41CQC9PD XJ41CQC9PD
| URI | m2://inv/XJ41CQC9PD |
|---|---|
| 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.11043#LXDE (statement). In R3NJYPZH52/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Theorem XJ45YMFE25
| URI | m2://inv/XJ45YMFE25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topologies on spaces of linear maps#A63R, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XJ48PE18Y1 XJ48PE18Y1
| URI | m2://inv/XJ48PE18Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#FQKU (statement). In 41NFABHFXH/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
Tarski's circle-squaring problem XJ49E64WT7
| URI | m2://inv/XJ49E64WT7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's circle-squaring problem, Tarski's circle-squaring problem (problem). Also Wikidata Q926112
History
- 2026-11-02: add by m2/dev
Concentration inequalities XJ4BY28JY2
| URI | m2://inv/XJ4BY28JY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#JO1V, Concentration inequalities (statement)
History
- 2026-11-02: add by m2/v0.6.17
XJ4XMHKKHQ XJ4XMHKKHQ
| URI | m2://inv/XJ4XMHKKHQ |
|---|---|
| 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.12014#6J4H (statement). In DR7BK4CQ0V/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.3
XJ5AVGENNW XJ5AVGENNW
| URI | m2://inv/XJ5AVGENNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#P74A (definition). In F7TDYCHCSE/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Andrey Markov XJ5BJ0CD5A
| URI | m2://inv/XJ5BJ0CD5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#W6SA, Andrey Markov (topic)
History
- 2026-11-02: add by m2/dev
Krewski, Dan XJ5CJXRCRD
| URI | m2://inv/XJ5CJXRCRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#K86W, Krewski, Dan (unknown)
History
- 2026-11-02: add by m2/dev
XJ5GW2X44Q XJ5GW2X44Q
| URI | m2://inv/XJ5GW2X44Q |
|---|---|
| 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.28597#Y227 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hopf Fibration XJ5HTKC4KD
| URI | m2://inv/XJ5HTKC4KD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:hopf-fibration, Hopf Fibration (statement). In N54F33XE07, thm, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
John R. F. Jeffreys XJ5XFC9WVX
| URI | m2://inv/XJ5XFC9WVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John R. F. Jeffreys, John R. F. Jeffreys (topic). Also Wikidata Q836648
History
- 2026-11-02: add by m2/dev
African Women in Mathematics Association XJ60R5RG72
| URI | m2://inv/XJ60R5RG72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia African Women in Mathematics Association, African Women in Mathematics Association (definition). Also Wikidata Q65922751
History
- 2026-11-02: add by m2/dev
XJ64E5J3HQ XJ64E5J3HQ
| URI | m2://inv/XJ64E5J3HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#VMGI (statement). In CB35ZBBBPT/e1, proposition 3.4
History
- 2026-10-31: add by m2/v0.5.6
Type shifter XJ64RDJ6HQ
| URI | m2://inv/XJ64RDJ6HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type shifter, Type shifter (definition). Also Wikidata Q105637967
History
- 2026-11-02: add by m2/dev
XJ6BDEWTG0 XJ6BDEWTG0
| URI | m2://inv/XJ6BDEWTG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#defn-4 (definition). In E59CDZA4DP, defn, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
Reciprocal determinant identity XJ6JBKZKHQ
| URI | m2://inv/XJ6JBKZKHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25925#IFVE, Reciprocal determinant identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
XJ6R3P2DKV XJ6R3P2DKV
| URI | m2://inv/XJ6R3P2DKV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9712012#R9QM (problem). In EMVG53N4XJ/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
XJ6ZH46P3S XJ6ZH46P3S
| URI | m2://inv/XJ6ZH46P3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 24.4
History
- 2026-11-01: add by m2/v0.6.13
Formal definition XJ72EJ6VYH
| URI | m2://inv/XJ72EJ6VYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pullback bundle#POQ8, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
XJ7AA7SMQA XJ7AA7SMQA
| URI | m2://inv/XJ7AA7SMQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#TSQ1 (statement). In WAXS6FS388/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
XJ7C4XGMHW XJ7C4XGMHW
| URI | m2://inv/XJ7C4XGMHW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#ex-3 (example). In PKGMM3P5QY, ex, section 82.5
History
- 2026-11-01: add by m2/v0.6.13
XJ7E3SQDC4 XJ7E3SQDC4
| URI | m2://inv/XJ7E3SQDC4 |
|---|---|
| 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.07040#XA3M (statement). In KMNXNW7FHP/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
XJ7HB0V3Z5 XJ7HB0V3Z5
| URI | m2://inv/XJ7HB0V3Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#PJEL (statement). In 2XBYZ1QP22/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.5
period XJ7HF71J2Q
| URI | m2://inv/XJ7HF71J2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#Z9VW, period (definition)
History
- 2026-11-02: add by m2/dev
Extremal orders of an arithmetic function XJ7MYAW32A
| URI | m2://inv/XJ7MYAW32A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremal orders of an arithmetic function, Extremal orders of an arithmetic function (definition). Also Wikidata Q5422300
History
- 2026-11-02: add by m2/dev
G. E. Uhlenbeck XJ7P8XVXK7
| URI | m2://inv/XJ7P8XVXK7 |
|---|---|
| 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#PNXV, G. E. Uhlenbeck (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations XJ7RED1KAV
| URI | m2://inv/XJ7RED1KAV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic sum#PX9B, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Frame rate XJ7SWBP30R
| URI | m2://inv/XJ7SWBP30R |
|---|---|
| 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#AIGU, Frame rate (unknown)
History
- 2026-11-02: add by m2/dev
Reinforcement learning XJ85Y113B5
| URI | m2://inv/XJ85Y113B5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinforcement learning, Reinforcement learning (topic). Also Wikidata Q830687
History
- 2026-11-02: add by m2/dev
XJ87H2CV6R XJ87H2CV6R
| URI | m2://inv/XJ87H2CV6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#B8JQ (statement). In V8MYP6MBAZ/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
Compound of five tetrahemihexahedra XJ8A2K0YX9
| URI | m2://inv/XJ8A2K0YX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five tetrahemihexahedra, Compound of five tetrahemihexahedra (definition). Also Wikidata Q5156865
History
- 2026-11-02: add by m2/dev
Examples XJ8BJFKAYP
| URI | m2://inv/XJ8BJFKAYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mechanics#03TZ, Examples (example)
History
- 2026-11-02: add by m2/dev
absolutely continuous XJ8DQQD961
| URI | m2://inv/XJ8DQQD961 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#1E5D, absolutely continuous (definition)
History
- 2026-11-02: add by m2/dev
XJ8J8JF8AN XJ8J8JF8AN
| URI | m2://inv/XJ8J8JF8AN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#9Y49 (example). In 9EMCPF1F2T/e1, example 31
History
- 2026-10-29: add by m2/v0.4.10
Grundlagen der Mathematik XJ8R9DKZAJ
| URI | m2://inv/XJ8R9DKZAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grundlagen der Mathematik, Grundlagen der Mathematik (definition). Also Wikidata Q5612089
History
- 2026-11-02: add by m2/dev
ten-pin bowling XJ8W2DF41J
| URI | m2://inv/XJ8W2DF41J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q172809, ten-pin bowling (unknown). Also MathWorld Bowling
History
- 2026-10-26: add by m2/dev
XJ8XYG6GPG XJ8XYG6GPG
| URI | m2://inv/XJ8XYG6GPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#IC9I (statement). In A3VQ2TNRKK/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
XJ931ERCSY XJ931ERCSY
| URI | m2://inv/XJ931ERCSY |
|---|---|
| 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.17408#FXQD (statement). In QR8H4M1X4N/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Michael Vogelius XJ93AH71TN
| URI | m2://inv/XJ93AH71TN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Vogelius, Michael Vogelius (topic). Also Wikidata Q30064751
History
- 2026-11-02: add by m2/dev
Definition 2.1. XJ93N5PTVG
| URI | m2://inv/XJ93N5PTVG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.16884#6DY3, Definition 2.1. (definition). In B984KNW591/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
XJ980QB0AR XJ980QB0AR
| URI | m2://inv/XJ980QB0AR |
|---|---|
| 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.31907#LA84 (definition). In 6B2PCEGCYZ/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Examples XJ9F7CS82S
| URI | m2://inv/XJ9F7CS82S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V-optimal histograms#1UHS, Examples (example)
History
- 2026-11-02: add by m2/dev
XJ9SD9XD0X XJ9SD9XD0X
| URI | m2://inv/XJ9SD9XD0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#W3CO (statement)
History
- 2026-11-02: add by m2/v0.6.18
maximal torus XJ9VXHBYPS
| URI | m2://inv/XJ9VXHBYPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Maximal torus 3JVGZVVTB0 |
Mentions
- wikidata: Wikidata Q1000120, maximal torus (unknown). Also MathWorld MaximalTorus, nLab maximal torus
- wikipedia: Wikipedia Maximal torus, Maximal torus (definition). Also Wikidata Q1000120
History
- 2026-10-26: add by m2/dev
Absence of phase transition on infinite-mean Galton--Watson trees XJ9WARGVV6
| URI | m2://inv/XJ9WARGVV6 |
|---|---|
| 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.08149#R7DZ, Absence of phase transition on infinite-mean Galton--Watson trees (statement). In E128PFR76Q/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
witness, to the truth of a proposition XJ9WPW5EG3
| URI | m2://inv/XJ9WPW5EG3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/witness-to-the-truth-of-a-proposition, witness, to the truth of a proposition (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
XJ9XXP8Y3Z XJ9XXP8Y3Z
| URI | m2://inv/XJ9XXP8Y3Z |
|---|---|
| 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.09721#MTAI (statement). In 7MZ1MS2N11/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
XJA0EBASCK XJA0EBASCK
| URI | m2://inv/XJA0EBASCK |
|---|---|
| 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 2110.02281#PMET (statement). In KDBFPMN1A6/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Primal certificate XJAAJVNMXV
| URI | m2://inv/XJAAJVNMXV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#A5M9, Primal certificate (definition). In JY6RYSNXMJ/e1, definition 9
History
- 2026-10-29: add by m2/v0.4.10
Atmospheric Environment XJATCA08NG
| URI | m2://inv/XJATCA08NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#WQHD, Atmospheric Environment (unknown)
History
- 2026-11-02: add by m2/dev
Inverse probability weighting XJAXNQ1SY8
| URI | m2://inv/XJAXNQ1SY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse probability weighting, Inverse probability weighting (definition). Also Wikidata Q17058619
History
- 2026-11-02: add by m2/dev
PKCS 11 XJAYJ4YW9D
| URI | m2://inv/XJAYJ4YW9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PKCS 11, PKCS 11 (definition). Also Wikidata Q4046206
History
- 2026-11-02: add by m2/dev
XJB0824FHH XJB0824FHH
| URI | m2://inv/XJB0824FHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#PIU6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
XJBAP9S3XC XJBAP9S3XC
| URI | m2://inv/XJBAP9S3XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#4DUU (statement). In CB35ZBBBPT/e1, corollary 2.9
History
- 2026-10-31: add by m2/v0.5.6
XJBMDA9Q1T XJBMDA9Q1T
| URI | m2://inv/XJBMDA9Q1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21274#UFSJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Finite-difference time-domain method XJBW9J4KG1
| URI | m2://inv/XJBW9J4KG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-difference time-domain method, Finite-difference time-domain method (definition). Also Wikidata Q1417308
History
- 2026-11-02: add by m2/dev
XJBXTFJTA9 XJBXTFJTA9
| URI | m2://inv/XJBXTFJTA9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#N87O (example). In YVK8EFSYNJ/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
XJBYA4K8YV XJBYA4K8YV
| URI | m2://inv/XJBYA4K8YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#192W (statement). In NQFYT2M6YZ/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Dyson conjecture XJCADX7X9X
| URI | m2://inv/XJCADX7X9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5319505, Zeilberger–Bressoud theorem (statement). Also Wikidata Q5319505
- thousand_plus: thousand_plus Q5319505, Zeilberger–Bressoud theorem (statement). Also Wikidata Q5319505, Wikipedia Zeilberger–Bressoud theorem
- wikipedia: Wikipedia Dyson conjecture, Dyson conjecture (statement). Also Wikidata Q5319505
History
- 2026-10-26: add by m2/dev
XJCFVNXX32 XJCFVNXX32
| URI | m2://inv/XJCFVNXX32 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.25897#O4IM (definition)
History
- 2026-11-01: add by m2/v0.6.15
XJCJFWMKFN XJCJFWMKFN
| URI | m2://inv/XJCJFWMKFN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#II9K (definition). In RB5QBG3MJY/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
XJCV38096X XJCV38096X
| URI | m2://inv/XJCV38096X |
|---|---|
| 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 1103.1038#NTT2 (statement). In T9VMNNPS0H/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.6
XJCX6R1ZXY XJCX6R1ZXY
| URI | m2://inv/XJCX6R1ZXY |
|---|---|
| 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#I3QI (statement). In T8F19ZGHF3/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
XJD85YT5ZG XJD85YT5ZG
| URI | m2://inv/XJD85YT5ZG |
|---|---|
| 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.14458#14CT (statement). In WJ76MVYAZQ/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
XJDAT5SCYS XJDAT5SCYS
| URI | m2://inv/XJDAT5SCYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#IE89 (statement). In PQNYA0C510/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
XJDC54J62G XJDC54J62G
| URI | m2://inv/XJDC54J62G |
|---|---|
| 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#FGZV (statement). In TTRSZVT4VX/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Global analysis XJDCXFW0G9
| URI | m2://inv/XJDCXFW0G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BPYP, Global analysis (definition)
History
- 2026-11-02: add by m2/dev
XJDKW0NZAF XJDKW0NZAF
| URI | m2://inv/XJDKW0NZAF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-99 (exercise). In E9HS8K3A52, exercise, section 4.7.1
History
- 2026-11-01: add by m2/v0.6.13
Geman, Donald XJDPWRJZHB
| URI | m2://inv/XJDPWRJZHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#K0BT, Geman, Donald (topic)
History
- 2026-11-02: add by m2/dev
XJDVXYM2MH XJDVXYM2MH
| URI | m2://inv/XJDVXYM2MH |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#EWJT (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Consequences of earlier results XJE6HVT6YV
| URI | m2://inv/XJE6HVT6YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19243#I7AZ, Consequences of earlier results (statement). In 8CSXBTYKDT/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
XJEB1B6FBE XJEB1B6FBE
| URI | m2://inv/XJEB1B6FBE |
|---|---|
| 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.11905#ZBOV (statement). In QQFXT31CA5/e1, proposition 8.8
History
- 2026-10-28: add by m2/v0.4.3
XJEG3N83HP XJEG3N83HP
| URI | m2://inv/XJEG3N83HP |
|---|---|
| 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 2508.13122#BFFJ (statement). In PX2GWH86PN/e1, lemma C.1
History
- 2026-10-27: add by m2/v0.3.5
XJEK2G3D3Q XJEK2G3D3Q
| URI | m2://inv/XJEK2G3D3Q |
|---|---|
| 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.10372#CQJP (statement). In P77W283VXT/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
trinomial coefficient XJF6DMKDTR
| URI | m2://inv/XJF6DMKDTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123472215, trinomial coefficient (unknown). Also MathWorld TrinomialCoefficient
History
- 2026-10-26: add by m2/dev
Factorial bounds XJFCEH2TT9
| URI | m2://inv/XJFCEH2TT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#9UV0, Factorial bounds (definition)
History
- 2026-11-02: add by m2/dev
XJFF87BYQC XJFF87BYQC
| URI | m2://inv/XJFF87BYQC |
|---|---|
| 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.11210#79R8 (statement). In CRFDGFZHBF/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.3
sequence, fiber XJFHH2P0YN
| URI | m2://inv/XJFHH2P0YN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/sequence-fiber, sequence, fiber (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
XJFJBAZ2E6 XJFJBAZ2E6
| URI | m2://inv/XJFJBAZ2E6 |
|---|---|
| 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.20444#GXKI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Decay with an upper Sobolev bound on damping XJFQ829K15
| URI | m2://inv/XJFQ829K15 |
|---|---|
| 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.15528#0H2M, Decay with an upper Sobolev bound on damping (statement). In G9GEE64N32/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
Schwartz kernel theorem XJFX3A5G2A
| URI | m2://inv/XJFX3A5G2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1276318, Schwartz kernel theorem (statement). Also Wikidata Q1276318
- thousand_plus: thousand_plus Q1276318, Schwartz kernel theorem (statement). Also Wikidata Q1276318, Wikipedia Schwartz kernel theorem
- wikipedia: Wikipedia Schwartz kernel theorem, Schwartz kernel theorem (statement). Also Wikidata Q1276318
History
- 2026-10-26: add by m2/dev
Coppersmith method XJFX7TKGJM
| URI | m2://inv/XJFX7TKGJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coppersmith method, Coppersmith method (definition). Also Wikidata Q2460488
History
- 2026-11-02: add by m2/dev
Gibbs' H-theorem XJFYMD9E6N
| URI | m2://inv/XJFYMD9E6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-theorem#BRIT, Gibbs' H-theorem (statement)
History
- 2026-11-02: add by m2/dev
XJFZX1QJHP XJFZX1QJHP
| URI | m2://inv/XJFZX1QJHP |
|---|---|
| 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.38493#VXQZ (statement). In WTA8VGP6B1/e1, corollary 2.5
History
- 2026-10-30: add by m2/v0.4.12
Generalized gamma distribution XJG5PYCJDY
| URI | m2://inv/XJG5PYCJDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X2CC, Generalized gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
James Ivory XJG6H2JTSN
| URI | m2://inv/XJG6H2JTSN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Ivory (mathematician), James Ivory (topic). Also Wikidata Q497656
History
- 2026-11-02: add by m2/dev
XJG7GX9ZW3 XJG7GX9ZW3
| URI | m2://inv/XJG7GX9ZW3 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#CXD1 (statement). In 12JKZ8EN52/e1, statement 7.7.2
History
- 2026-10-27: add by m2/v0.3.5
Hyperbolastic functions XJG93JEM3V
| URI | m2://inv/XJG93JEM3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolastic functions, Hyperbolastic functions (definition). Also Wikidata Q96381522
History
- 2026-11-02: add by m2/dev
XJGDP6GA4Z XJGDP6GA4Z
| URI | m2://inv/XJGDP6GA4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#EFKT (statement). In VGJVFCDV8A/e1, proposition 2.16
History
- 2026-10-29: add by m2/v0.4.10
Prior knowledge for pattern recognition XJGJ6QWGYQ
| URI | m2://inv/XJGJ6QWGYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior knowledge for pattern recognition, Prior knowledge for pattern recognition (definition). Also Wikidata Q17146059
History
- 2026-11-02: add by m2/dev
XJGNAWG1EF XJGNAWG1EF
| URI | m2://inv/XJGNAWG1EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#E1CN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications XJGZ3TTBYP
| URI | m2://inv/XJGZ3TTBYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen's formula#4OIK, Applications (example)
History
- 2026-11-02: add by m2/dev
XJH1ETTF69 XJH1ETTF69
| URI | m2://inv/XJH1ETTF69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#GM1Z (statement). In 371P9QASSJ/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.2
XJH5ZV848D XJH5ZV848D
| URI | m2://inv/XJH5ZV848D |
|---|---|
| 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.18777#U9CW (statement). In TFZDPHDF7V/e1, corollary A.2
History
- 2026-10-27: add by m2/v0.3.6
Password cracking XJHCAC2KK6
| URI | m2://inv/XJHCAC2KK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password cracking, Password cracking (definition). Also Wikidata Q2746524
History
- 2026-11-02: add by m2/dev
XJHCF5E9X1 XJHCF5E9X1
| URI | m2://inv/XJHCF5E9X1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#7D8W (definition). In 1A01NFHBGA/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
Toothpick sequence XJHGP4CEQT
| URI | m2://inv/XJHGP4CEQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toothpick sequence, Toothpick sequence (definition). Also Wikidata Q5579775
History
- 2026-11-02: add by m2/dev
metre per second XJHKS73HVN
| URI | m2://inv/XJHKS73HVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182429, metre per second (definition). Also ProofWiki Definition:Velocity/Unit/Metre_per_Second
History
- 2026-10-26: add by m2/dev
Dice-Sørensen coefficient XJHTYV80BR
| URI | m2://inv/XJHTYV80BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dice-Sørensen coefficient, Dice-Sørensen coefficient (definition). Also Wikidata Q2613728
History
- 2026-11-02: add by m2/dev
Alternating direction implicit method XJHXANH2PR
| URI | m2://inv/XJHXANH2PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics#89MN, Alternating direction implicit method (definition)
History
- 2026-11-02: add by m2/dev
XJJ1AS58YH XJJ1AS58YH
| URI | m2://inv/XJJ1AS58YH |
|---|---|
| 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.29326#FT11 (statement). In 3F83V6VKKA/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.6
Adriano Garsia XJJ1X1D9YH
| URI | m2://inv/XJJ1X1D9YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#DOKZ, Adriano Garsia (topic)
History
- 2026-11-02: add by m2/dev
Bipartite hypergraph XJJ2QBFXCZ
| URI | m2://inv/XJJ2QBFXCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite hypergraph, Bipartite hypergraph (definition). Also Wikidata Q97356610
History
- 2026-11-02: add by m2/dev
A projection tube derived from $g$ XJJEWQV1EW
| URI | m2://inv/XJJEWQV1EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34099#PCAQ, A projection tube derived from $g$ (statement). In 4X2SAM9HR2/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Case (D) at $n=5$ XJJF01312K
| URI | m2://inv/XJJF01312K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#R7B5, Case (D) at $n=5$ (statement). In QPJ6FWG5HD/e1, proposition 2.44
History
- 2026-10-29: add by m2/v0.4.12
XJJFTBENRX XJJFTBENRX
| URI | m2://inv/XJJFTBENRX |
|---|---|
| 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.05312#YIOW (statement). In 1CMMK399WQ/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
quasicoherent sheaf XJJG88PVD4
| URI | m2://inv/XJJG88PVD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61040808, quasicoherent sheaf (definition). Also EoM Quasi-coherent_sheaf, nLab quasicoherent sheaf, ProofWiki Definition:Quasi-Coherent_Sheaf_of_Modules
History
- 2026-10-26: add by m2/dev
Generalizations XJJHZ9NN3F
| URI | m2://inv/XJJHZ9NN3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Minkowski–Siegel mass formula#WN38, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Generic root growth XJJN7D8MR9
| URI | m2://inv/XJJN7D8MR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#XGRB, Generic root growth (statement)
History
- 2026-11-01: add by m2/v0.6.15
Daniel McGee XJJNAZ14SD
| URI | m2://inv/XJJNAZ14SD |
|---|---|
| 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#ALT1, Daniel McGee (unknown)
History
- 2026-11-02: add by m2/dev
XJJPVXPNKV XJJPVXPNKV
| URI | m2://inv/XJJPVXPNKV |
|---|---|
| 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.01433#AXEZ (statement). In 160PQ7F1AS/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
XJJQ51M88B XJJQ51M88B
| URI | m2://inv/XJJQ51M88B |
|---|---|
| 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#SF7A (statement). In DQMEN40FZV/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
finitely generated ideal XJJT2BF1BG
| URI | m2://inv/XJJT2BF1BG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/finitely-generated-ideal, finitely generated ideal (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
XJJX353T4Y XJJX353T4Y
| URI | m2://inv/XJJX353T4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#FO6L (statement). In B5GGGWNJA6/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.3
XJK6K50HZA XJK6K50HZA
| URI | m2://inv/XJK6K50HZA |
|---|---|
| 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 2610.05611#D1O4 (definition). In QDTX6NXFEB/e1, definition 2.13
History
- 2026-10-29: add by m2/v0.4.10
XJK7DC9V4A XJK7DC9V4A
| URI | m2://inv/XJK7DC9V4A |
|---|---|
| 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.21975#CUM9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
XJKF4BEY9Y XJKF4BEY9Y
| URI | m2://inv/XJKF4BEY9Y |
|---|---|
| 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.17408#8BMY (statement). In QR8H4M1X4N/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
Stirling's formula XJKJZJ9F8R
| URI | m2://inv/XJKJZJ9F8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma function#QTS6, Stirling's formula (statement)
History
- 2026-11-02: add by m2/dev
XJKMZQPCBK XJKMZQPCBK
| URI | m2://inv/XJKMZQPCBK |
|---|---|
| Kind | statement |
| 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#F7II (statement). In V5PVKDKGGG/e1, proposition 1.6
History
- 2026-10-28: add by m2/v0.4.2
Nora Cate Schaeffer XJKN23VH16
| URI | m2://inv/XJKN23VH16 |
|---|---|
| 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#0CTA, Nora Cate Schaeffer (unknown)
History
- 2026-11-02: add by m2/dev
I'm entitled to my opinion XJKQQDHQHW
| URI | m2://inv/XJKQQDHQHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#NOSS, I'm entitled to my opinion (definition)
History
- 2026-11-02: add by m2/dev
Aleksander Spivakovsky XJKSS56X58
| URI | m2://inv/XJKSS56X58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksander Spivakovsky, Aleksander Spivakovsky (topic). Also Wikidata Q20070071
History
- 2026-11-02: add by m2/dev
XJKZ8JR2ZS XJKZ8JR2ZS
| URI | m2://inv/XJKZ8JR2ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#23NU (statement). In PA6JQDSKQT/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Logical intuition XJKZS8F4GF
| URI | m2://inv/XJKZS8F4GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical intuition, Logical intuition (definition). Also Wikidata Q55621151
History
- 2026-11-02: add by m2/dev
Examples XJM0DYA1JR
| URI | m2://inv/XJM0DYA1JR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration (geometry)#TO3B, Examples (example)
History
- 2026-11-02: add by m2/dev
Jean-Michel Bony XJM332H4DY
| URI | m2://inv/XJM332H4DY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Michel Bony, Jean-Michel Bony (topic). Also Wikidata Q1685068
History
- 2026-11-02: add by m2/dev
XJMMF264MX XJMMF264MX
| URI | m2://inv/XJMMF264MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2508.16102#2Z19 (statement). In 55QFMZQ5HM/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.6
Imre Simon XJMMVYXTZD
| URI | m2://inv/XJMMVYXTZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imre Simon, Imre Simon (topic). Also Wikidata Q1791165
History
- 2026-11-02: add by m2/dev
Jean Leray XJMMYND141
| URI | m2://inv/XJMMYND141 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TQKX, Jean Leray (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LBPF, Jean Leray (topic)
History
- 2026-11-02: add by m2/dev
XJN42Z4948 XJN42Z4948
| URI | m2://inv/XJN42Z4948 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#D44U (statement). In A3VQ2TNRKK/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
XJN92W5PW6 XJN92W5PW6
| URI | m2://inv/XJN92W5PW6 |
|---|---|
| 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.00525#3JLC (statement). In JN34PDDXH8/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Common modal axiom schemata XJNAXC8N0J
| URI | m2://inv/XJNAXC8N0J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke semantics#WA4R, Common modal axiom schemata (statement)
History
- 2026-11-02: add by m2/dev
Probability operad XJNCS1BNKP
| URI | m2://inv/XJNCS1BNKP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX, 62-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.15006#N4PL, Probability operad (definition). In 8XZGF33HQX/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
XJNN1FB7CD XJNN1FB7CD
| URI | m2://inv/XJNN1FB7CD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-56 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
linear regression XJNPVYKE5Y
| URI | m2://inv/XJNPVYKE5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 62Jxx |
| Sources | 2 |
| Outcome | open |
| Node | Linear regression 41FVC4P5JB |
Mentions
- wikidata: Wikidata Q10861030, linear regression (topic). Also EoM Linear_regression, MathWorld LinearRegression
- wikipedia: Wikipedia Linear regression, Linear regression (definition). Also Wikidata Q10861030
History
- 2026-10-26: add by m2/dev
Area up to $4\pi$ XJNQGXBH28
| URI | m2://inv/XJNQGXBH28 |
|---|---|
| Kind | conjecture |
| 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.35360#X2K8, Area up to $4\pi$ (conjecture). In 770AQ8T366/e1, conjecture 1.2
History
- 2026-10-30: add by m2/v0.4.12
Seven Lakes, North Carolina XJNSJ1QNWC
| URI | m2://inv/XJNSJ1QNWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#00TW, Seven Lakes, North Carolina (unknown)
History
- 2026-11-02: add by m2/dev
XJNV62JT6M XJNV62JT6M
| URI | m2://inv/XJNV62JT6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#CRXP (statement). In 672XAVEQ34/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Direct summands XJPAZ8QFA3
| URI | m2://inv/XJPAZ8QFA3 |
|---|---|
| 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.21043#IL4H, Direct summands (statement)
History
- 2026-11-02: add by m2/v0.6.18
Regular skew apeirohedron XJPBA3NMMW
| URI | m2://inv/XJPBA3NMMW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular skew apeirohedron, Regular skew apeirohedron (object). Also Wikidata Q23835933
History
- 2026-11-02: add by m2/dev
Definition XJPPMPA3T5
| URI | m2://inv/XJPPMPA3T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot thickness#G9TI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Iterative deepening depth-first search XJPQEW5XN5
| URI | m2://inv/XJPQEW5XN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative deepening depth-first search, Iterative deepening depth-first search (definition). Also Wikidata Q1675274
History
- 2026-11-02: add by m2/dev
calculus XJPQTWGBHF
| URI | m2://inv/XJPQTWGBHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q149972, calculus (topic). Also EoM Calculus, MathWorld Calculus, nLab calculus
- wikipedia: Wikipedia Calculus, Calculus (topic). Also Wikidata Q149972
History
- 2026-10-26: add by m2/dev
Charles Thorn XJPT7HCYNC
| URI | m2://inv/XJPT7HCYNC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#0P3Q, Charles Thorn (unknown)
History
- 2026-11-02: add by m2/dev
Julia Lane XJPVA4CX2T
| URI | m2://inv/XJPVA4CX2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Lane, Julia Lane (topic). Also Wikidata Q29570333
History
- 2026-11-02: add by m2/dev
Key exchange XJPVSG4HSW
| URI | m2://inv/XJPVSG4HSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#EJWU, Key exchange (definition)
History
- 2026-11-02: add by m2/dev
Gabriele Manfredi XJQ44N7NX5
| URI | m2://inv/XJQ44N7NX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriele Manfredi, Gabriele Manfredi (topic). Also Wikidata Q3565991
History
- 2026-11-02: add by m2/dev
Stephen Cook XJQ7DWFWAS
| URI | m2://inv/XJQ7DWFWAS |
|---|---|
| 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 Q62870, Stephen Cook (unknown). Also ProofWiki Mathematician:Stephen_Arthur_Cook
- wikipedia: Wikipedia Stephen Cook, Stephen Cook (topic). Also Wikidata Q62870
History
- 2026-10-26: add by m2/dev
XJQBFPF81X XJQBFPF81X
| URI | m2://inv/XJQBFPF81X |
|---|---|
| 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.33185#QU0L (statement). In QX30H2WNA7/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Properties XJQDA6HEAR
| URI | m2://inv/XJQDA6HEAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic symmetric function#6G5A, Properties (statement)
History
- 2026-11-02: add by m2/dev
XJQES8A97G XJQES8A97G
| URI | m2://inv/XJQES8A97G |
|---|---|
| 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 2203.06854#PJB2 (statement). In 7NE5NVT9KH/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Proth's theorem XJQF5RV7NA
| URI | m2://inv/XJQF5RV7NA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JFB2, Proth's theorem (statement)
History
- 2026-11-02: add by m2/dev
XJQGVFWP4Q XJQGVFWP4Q
| URI | m2://inv/XJQGVFWP4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#9FJE (statement)
History
- 2026-11-01: add by m2/v0.6.15
XJQJQ759K2 XJQJQ759K2
| URI | m2://inv/XJQJQ759K2 |
|---|---|
| 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.03384#NSF7 (definition). In J55JTTKG84/e1, definition 4.27
History
- 2026-10-29: add by m2/v0.4.12
XJQT09S509 XJQT09S509
| URI | m2://inv/XJQT09S509 |
|---|---|
| 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.37747#NIV2 (statement). In GEYDNVZEP7/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
A. M. Legendre XJQV33Z4KP
| URI | m2://inv/XJQV33Z4KP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#V6OG, A. M. Legendre (topic)
History
- 2026-11-02: add by m2/dev
Sturm's theorem XJR3QFJC64
| URI | m2://inv/XJR3QFJC64 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 4 |
| Outcome | open |
| Node | Sturm's theorem R44CV0KD9T |
Mentions
- mathlib_1000: mathlib_1000 Q1632301, Sturm's theorem (statement). Also Wikidata Q1632301
- thousand_plus: thousand_plus Q1632301, Sturm's theorem (statement). Also Wikidata Q1632301, Wikipedia Sturm's theorem
- wikidata: Wikidata Q1632301, Sturm's theorem (statement). Also MathWorld SturmTheorem
- wikipedia: Wikipedia Sturm's theorem, Sturm's theorem (statement). Also Wikidata Q1632301
History
- 2026-10-26: add by m2/dev
XJRG8SGSRY XJRG8SGSRY
| URI | m2://inv/XJRG8SGSRY |
|---|---|
| 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 2103.12669#WS85 (definition). In ZA6XNBA90V/e1, definition 1.21
History
- 2026-10-27: add by m2/v0.3.5
5280 (number) XJRGQF99NE
| URI | m2://inv/XJRGQF99NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5000 (number)#IT16, 5280 (number) (unknown)
History
- 2026-11-02: add by m2/dev
XJRH1SFTRD XJRH1SFTRD
| URI | m2://inv/XJRH1SFTRD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#39KW (definition). In 8FWK676AQX/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
three-point beam bending XJRK9GRV3V
| URI | m2://inv/XJRK9GRV3V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/7.4.4/three-point-beam-bending, three-point beam bending (concept). In E9HS8K3A52, index, section 7.4.4
History
- 2026-11-01: add by m2/v0.6.13
Reduced mass XJRNK6Q1BT
| URI | m2://inv/XJRNK6Q1BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced mass, Reduced mass (definition). Also Wikidata Q550046
History
- 2026-11-02: add by m2/dev
XJRQ5ZRBKZ XJRQ5ZRBKZ
| URI | m2://inv/XJRQ5ZRBKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#KGM6 (statement). In FYM5XFD9RR/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
XJRVM8VF64 XJRVM8VF64
| URI | m2://inv/XJRVM8VF64 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#2XW9 (definition). In K0DHYQC5B7/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
How many sightings before adding an instruction XJRZXWKN80
| URI | m2://inv/XJRZXWKN80 |
|---|---|
| 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.11007#02YQ, How many sightings before adding an instruction (statement). In MF0H78XZXC/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
XJS3M12QYV XJS3M12QYV
| URI | m2://inv/XJS3M12QYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#O3S9 (statement). In F71MS1F637/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Generalizations XJS68FNJAA
| URI | m2://inv/XJS68FNJAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic function#7RR6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
XJSAFAZBQN XJSAFAZBQN
| URI | m2://inv/XJSAFAZBQN |
|---|---|
| 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.19845#F88J (statement). In A8Y7B1MD91/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
XJSC3WMMBZ XJSC3WMMBZ
| URI | m2://inv/XJSC3WMMBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#8R8N (statement). In ZYGQAV8FD3/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
Variable rules analysis XJSNHJGCFB
| URI | m2://inv/XJSNHJGCFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K7D6, Variable rules analysis (definition)
History
- 2026-11-02: add by m2/dev
Separatedness XJSTC0WEVG
| URI | m2://inv/XJSTC0WEVG |
|---|---|
| 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 2103.12669#V6HE, Separatedness (statement). In ZA6XNBA90V/e1, theorem 0.5
History
- 2026-10-27: add by m2/v0.3.5
coefficients of power series XJSVNPZN72
| URI | m2://inv/XJSVNPZN72 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.1/coefficients-of-power-series, coefficients of power series (concept). In E9HS8K3A52, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Borel–de Siebenthal theory XJT1ZQ5FQZ
| URI | m2://inv/XJT1ZQ5FQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–de Siebenthal theory, Borel–de Siebenthal theory (definition). Also Wikidata Q17003628
History
- 2026-11-02: add by m2/dev
XJT2ZQC7RP XJT2ZQC7RP
| URI | m2://inv/XJT2ZQC7RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-4 (definition). In RZP28ERRZV, definition, section 89.3
History
- 2026-11-01: add by m2/v0.6.13
XJT9HBPBVR XJT9HBPBVR
| URI | m2://inv/XJT9HBPBVR |
|---|---|
| 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 2304.02722#8ON3 (definition). In AH7D55D3WV/e1, definition 20.1
History
- 2026-10-27: add by m2/v0.3.5
XJTF72NX3H XJTF72NX3H
| URI | m2://inv/XJTF72NX3H |
|---|---|
| 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 2504.00267#P8Y6 (statement). In 38XJWDZ2PH/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
XJTK8528EE XJTK8528EE
| URI | m2://inv/XJTK8528EE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Properties XJTR0ETP0D
| URI | m2://inv/XJTR0ETP0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexiewicz norm#VN6E, Properties (statement)
History
- 2026-11-02: add by m2/dev
XJTT9Y91G0 XJTT9Y91G0
| URI | m2://inv/XJTT9Y91G0 |
|---|---|
| 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.11210#8Y2Y (statement). In CRFDGFZHBF/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.3
Lifting theorem XJV30H31Y4
| URI | m2://inv/XJV30H31Y4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#5KYC, Lifting theorem (statement). In KM3Q791JY0/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
XJV5CG6WF9 XJV5CG6WF9
| URI | m2://inv/XJV5CG6WF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#TYVD (statement). In VNN52G3BRE/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
XJV64YE6J9 XJV64YE6J9
| URI | m2://inv/XJV64YE6J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#TCKC (statement)
History
- 2026-11-01: add by m2/v0.6.15
C2Net XJV76B3EPX
| URI | m2://inv/XJV76B3EPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C2Net, C2Net (definition). Also Wikidata Q5008093
History
- 2026-11-02: add by m2/dev
XJW46PCVZ2 XJW46PCVZ2
| URI | m2://inv/XJW46PCVZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#1WZ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wick's theorem XJWB48EPM4
| URI | m2://inv/XJWB48EPM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q850495, Wick's theorem (statement). Also Wikidata Q850495
- thousand_plus: thousand_plus Q850495, Wick's theorem (statement). Also Wikidata Q850495, Wikipedia Wick's theorem
- wikipedia: Wikipedia Wick's theorem, Wick's theorem (statement). Also Wikidata Q850495
History
- 2026-10-26: add by m2/dev
XJWFD2NVK2 XJWFD2NVK2
| URI | m2://inv/XJWFD2NVK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.16706#65VL (statement). In JSRVKPT87E/e1, proposition
History
- 2026-10-27: add by m2/v0.4.0
Singhi Navin M. XJWG3PZJE1
| URI | m2://inv/XJWG3PZJE1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#321J, Singhi Navin M. (topic)
History
- 2026-11-02: add by m2/dev
Whatsapp plus XJWG77NXRW
| URI | m2://inv/XJWG77NXRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WhatsApp#7HR8, Whatsapp plus (unknown)
History
- 2026-11-02: add by m2/dev
Discrete Fourier series XJWQVQ78NM
| URI | m2://inv/XJWQVQ78NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier series, Discrete Fourier series (definition). Also Wikidata Q15927242
History
- 2026-11-02: add by m2/dev
XJWRRVK7J3 XJWRRVK7J3
| URI | m2://inv/XJWRRVK7J3 |
|---|---|
| Kind | statement |
| 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.15593#YFMS (statement). In PREJREM4BB/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Crew, Fan, Koerts, Moore, \& Spirkl XJX8CMT7SN
| URI | m2://inv/XJX8CMT7SN |
|---|---|
| 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.21895#VCNE, Crew, Fan, Koerts, Moore, \& Spirkl (statement)
History
- 2026-11-02: add by m2/v0.6.17
First-order reduction XJXB2AWMXQ
| URI | m2://inv/XJXB2AWMXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order reduction, First-order reduction (definition). Also Wikidata Q5452200
History
- 2026-11-02: add by m2/dev
Cotton tensor XJXBKRT0C1
| URI | m2://inv/XJXBKRT0C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotton tensor, Cotton tensor (definition). Also Wikidata Q3518152
History
- 2026-11-02: add by m2/dev
XJXDKTGSGF XJXDKTGSGF
| URI | m2://inv/XJXDKTGSGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#GMM8 (statement). In XYCBKM4WKY/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.5
Raising Genius XJXKSMJG9Q
| URI | m2://inv/XJXKSMJG9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#EITD, Raising Genius (unknown)
History
- 2026-11-02: add by m2/dev
parent XJXM2HZ5M2
| URI | m2://inv/XJXM2HZ5M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#BD7X, parent (definition)
History
- 2026-11-02: add by m2/dev
Labyrinth XJXSH3H3N8
| URI | m2://inv/XJXSH3H3N8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#RHO2, Labyrinth (unknown)
History
- 2026-11-02: add by m2/dev
Orbit obstruction XJXYXWAJ8D
| URI | m2://inv/XJXYXWAJ8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.14859#OML5, Orbit obstruction (statement). In 8TPP7WC7K3/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
XJY2M3AQPG XJY2M3AQPG
| URI | m2://inv/XJY2M3AQPG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#0V9J (definition). In 9GMTVSTAVN/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
XJYDW0M6Z2 XJYDW0M6Z2
| URI | m2://inv/XJYDW0M6Z2 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#F5SI (unknown). In QNBFHFZ3H0/e1, unknown 21
History
- 2026-10-28: add by m2/v0.4.2
XJYJX5EDW2 XJYJX5EDW2
| URI | m2://inv/XJYJX5EDW2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
XJYT50BH27 XJYT50BH27
| URI | m2://inv/XJYT50BH27 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.08837#N4A1 (definition). In KBH265QSBT/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Strength XJYTE69321
| URI | m2://inv/XJYTE69321 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strength (mathematical logic), Strength (definition). Also Wikidata Q1989404
History
- 2026-11-02: add by m2/dev
XJYWY0VN9Z XJYWY0VN9Z
| URI | m2://inv/XJYWY0VN9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#cor:partition yields equivalence relation (statement). In P1C114YBXG, corollary, section G
History
- 2026-11-01: add by m2/v0.6.13
XJZ05NFKX9 XJZ05NFKX9
| URI | m2://inv/XJZ05NFKX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#BCOI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Principle of least action XJZ1NFEXKS
| URI | m2://inv/XJZ1NFEXKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#G4LS, Principle of least action (statement)
History
- 2026-11-02: add by m2/dev
Generalizations XJZ78GJ1MY
| URI | m2://inv/XJZ78GJ1MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ornstein–Uhlenbeck process#TXJW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Init XJZEGFQKVX
| URI | m2://inv/XJZEGFQKVX |
|---|---|
| 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 math/0003117#524M, Init (definition). In WD2NCBV9F0/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
XJZMJ0K844 XJZMJ0K844
| URI | m2://inv/XJZMJ0K844 |
|---|---|
| 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.10406#LL69 (statement). In VQA35Q7C00/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
XJZXZMBZZG XJZXZMBZZG
| URI | m2://inv/XJZXZMBZZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_intro.ptx#example-1 (example). In QKM9DD2H56, example, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13