Inventory rows F0
The cards of the rows of the inventory whose ids start with F0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
F000AF45KB F000AF45KB
| URI | m2://inv/F000AF45KB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-11 (proof). In N54F33XE07, proof, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
F00G4FZJYD F00G4FZJYD
| URI | m2://inv/F00G4FZJYD |
|---|---|
| Kind | example |
| 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 2602.14912#R4EK (example). In A87BVH5DCM/e1, example 5.1
History
- 2026-10-27: add by m2/v0.3.5
Joanne Elliott F00R2QPH73
| URI | m2://inv/F00R2QPH73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1U2Q, Joanne Elliott (topic)
History
- 2026-11-02: add by m2/dev
F00VF0PTTD F00VF0PTTD
| URI | m2://inv/F00VF0PTTD |
|---|---|
| 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.36045#C60E (statement). In F0E8YBV0Z0/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
F00X039FF3 F00X039FF3
| URI | m2://inv/F00X039FF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.17737#ASBD (statement). In 8SXY7Y68HV/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
F010X7VYNY F010X7VYNY
| URI | m2://inv/F010X7VYNY |
|---|---|
| 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.33162#KS19 (statement). In RPC7VG3KHQ/e1, proposition 4.11
History
- 2026-10-30: add by m2/v0.4.12
F0110ZJZ2R F0110ZJZ2R
| URI | m2://inv/F0110ZJZ2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#DD84 (statement). In HGE2NCQW29/e1, theorem 8.2
History
- 2026-10-27: add by m2/v0.3.5
Conchoid F012QBSJRE
| URI | m2://inv/F012QBSJRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BHGI, Conchoid (definition)
- wikipedia: Wikipedia List of mathematical shapes#LNJC, Conchoid (definition)
- wikipedia: Wikipedia List of curves#YW14, Conchoid (definition)
History
- 2026-11-02: add by m2/dev
Fourier transform F01CJR7TGE
| URI | m2://inv/F01CJR7TGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#EBP7, Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Almeida–Pineda recurrent backpropagation F01MWQSW37
| URI | m2://inv/F01MWQSW37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#8QBR, Almeida–Pineda recurrent backpropagation (unknown)
History
- 2026-11-02: add by m2/dev
Idola fori F01P67TMWN
| URI | m2://inv/F01P67TMWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idola fori, Idola fori (definition). Also Wikidata Q12060670
History
- 2026-11-02: add by m2/dev
F01PHHK8VG F01PHHK8VG
| URI | m2://inv/F01PHHK8VG |
|---|---|
| Kind | statement |
| 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 2610.04895#KCXY (statement). In A7M06ZVYA8/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
F024KS3646 F024KS3646
| URI | m2://inv/F024KS3646 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21649#Y7FS (statement)
History
- 2026-11-02: add by m2/v0.6.18
F026ND5XT4 F026ND5XT4
| URI | m2://inv/F026ND5XT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#JU9D (statement). In 1PR73ECTZB/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Theorem F02744X9G6
| URI | m2://inv/F02744X9G6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal space#FIXZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Gibbs' inequality F027AVXSFP
| URI | m2://inv/F027AVXSFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08362#RXON, Gibbs' inequality (statement). In 7JHAD30NBB/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
F028WWN193 F028WWN193
| URI | m2://inv/F028WWN193 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20891#AWAM (statement). In WH55XAE8E2/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
Maximilian Simon F02CFTXRQR
| URI | m2://inv/F02CFTXRQR |
|---|---|
| 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#8XNN, Maximilian Simon (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GTOV, Maximilian Simon (topic)
History
- 2026-11-02: add by m2/dev
DOE mean plot F02CH4JW7W
| URI | m2://inv/F02CH4JW7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DOE mean plot, DOE mean plot (definition). Also Wikidata Q124005139
History
- 2026-11-02: add by m2/dev
F02CNVPBDT F02CNVPBDT
| URI | m2://inv/F02CNVPBDT |
|---|---|
| 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.39104#DAEB (statement). In V2NTW27MSJ/e1, theorem 2.17
History
- 2026-10-30: add by m2/v0.4.12
Free Riemann gas F02FBT19TZ
| URI | m2://inv/F02FBT19TZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#1JOV, Free Riemann gas (definition)
History
- 2026-11-02: add by m2/dev
polarity F02FZRBXXA
| URI | m2://inv/F02FZRBXXA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.12/polarity, polarity (concept). In N54F33XE07, index, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
F02JFJ1AN5 F02JFJ1AN5
| URI | m2://inv/F02JFJ1AN5 |
|---|---|
| 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.35597#PO0W (statement). In K424GCJ50P/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
F02V3T5Q6P F02V3T5Q6P
| URI | m2://inv/F02V3T5Q6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#AD4P (statement). In KQ8JPHDKKE/e1, theorem 9.8.1
History
- 2026-10-27: add by m2/v0.3.5
James Allister Jenkins F02WKCF5PZ
| URI | m2://inv/F02WKCF5PZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Allister Jenkins, James Allister Jenkins (topic). Also Wikidata Q22670581
History
- 2026-11-02: add by m2/dev
F032P6M8T1 F032P6M8T1
| URI | m2://inv/F032P6M8T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#G8EK (statement). In D8QFZG5R1D/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.6
The normal operator on the totally geodesic $S^5$ F03D8YE6AB
| URI | m2://inv/F03D8YE6AB |
|---|---|
| Kind | example |
| 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.00078#X3NY, The normal operator on the totally geodesic $S^5$ (example). In KXYGWSGP9M/e1, example 2.5
History
- 2026-10-30: add by m2/v0.4.12
Karen Hunger Parshall F03E965R3E
| URI | m2://inv/F03E965R3E |
|---|---|
| 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#L82C, Karen Hunger Parshall (topic)
History
- 2026-11-02: add by m2/dev
F03XQBGR7Y F03XQBGR7Y
| URI | m2://inv/F03XQBGR7Y |
|---|---|
| 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.21692#3ZQ6 (definition)
History
- 2026-11-02: add by m2/v0.6.18
F043YFAEXE F043YFAEXE
| URI | m2://inv/F043YFAEXE |
|---|---|
| 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 2112.05010#FFNH (statement). In 4SZNPS3Z00/e1, lemma E.1
History
- 2026-10-27: add by m2/v0.3.6
F044CTK81K F044CTK81K
| URI | m2://inv/F044CTK81K |
|---|---|
| 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 2609.39824#TQAP (statement). In REPGS464V6/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Properties F04CJKQPGG
| URI | m2://inv/F04CJKQPGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale algebra#Q326, Properties (statement)
History
- 2026-11-02: add by m2/dev
F04PYKZJZ4 F04PYKZJZ4
| URI | m2://inv/F04PYKZJZ4 |
|---|---|
| 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 2604.05177#NGPH (statement). In G04BKQV6YM/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Universal approximation theorem F04TDP508P
| URI | m2://inv/F04TDP508P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7894110, Universal approximation theorem (statement). Also Wikidata Q7894110
- thousand_plus: thousand_plus Q7894110, Universal approximation theorem (statement). Also Wikidata Q7894110, Wikipedia Universal approximation theorem
- wikipedia: Wikipedia Universal approximation theorem, Universal approximation theorem (statement). Also Wikidata Q7894110
History
- 2026-10-26: add by m2/dev
F04WW77JSB F04WW77JSB
| URI | m2://inv/F04WW77JSB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 17.7
History
- 2026-11-01: add by m2/v0.6.13
F04YSZ7GM3 F04YSZ7GM3
| URI | m2://inv/F04YSZ7GM3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/set-theory.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
Carathéodory F051BZNY0S
| URI | m2://inv/F051BZNY0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#2XKD, Carathéodory (definition)
History
- 2026-11-02: add by m2/dev
position F05923RQ6M
| URI | m2://inv/F05923RQ6M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.1.2/position, position (concept). In 907G4C4EJ1, index, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
Chiral polytope F05CDW66F6
| URI | m2://inv/F05CDW66F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5101834, Chiral polytope (unknown). Also MathWorld Chiral
- wikipedia: Wikipedia Chiral polytope, Chiral polytope (definition). Also Wikidata Q5101834
History
- 2026-10-26: add by m2/dev
F05KEW5MXM F05KEW5MXM
| URI | m2://inv/F05KEW5MXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18894#VL72 (statement). In TJ8B49K7F1/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Ralph Cohen F065MZNEJB
| URI | m2://inv/F065MZNEJB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JT3D, Ralph Cohen (topic)
History
- 2026-11-02: add by m2/dev
Logic and dialectic F06J1BGSX2
| URI | m2://inv/F06J1BGSX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic and dialectic, Logic and dialectic (definition). Also Wikidata Q25062655
History
- 2026-11-02: add by m2/dev
consistent system F06M87JNAX
| URI | m2://inv/F06M87JNAX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.4.1/consistent-system, consistent system (concept). In 649HGZKE96, index, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
F06T6PH4S0 F06T6PH4S0
| URI | m2://inv/F06T6PH4S0 |
|---|---|
| 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 2111.00832#561J (statement). In KM0XEAXFMF/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
F06W4S3R6F F06W4S3R6F
| URI | m2://inv/F06W4S3R6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#X8IK (statement). In WRE0P7V6Z3/e1, proposition 13.3
History
- 2026-10-30: add by m2/v0.4.12
Hexagonal bifrustum F06W9Z6A2F
| URI | m2://inv/F06W9Z6A2F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal bifrustum, Hexagonal bifrustum (object). Also Wikidata Q5748760
History
- 2026-11-02: add by m2/dev
Extensions F06YSEQ39K
| URI | m2://inv/F06YSEQ39K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann set theory#N0QT, Extensions (statement)
History
- 2026-11-02: add by m2/dev
system F06YVSCNC3
| URI | m2://inv/F06YVSCNC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#1AVS, system (definition)
History
- 2026-11-02: add by m2/dev
Flat module F071R1F6PG
| URI | m2://inv/F071R1F6PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#KOLW, Flat module (definition)
History
- 2026-11-02: add by m2/dev
McCullagh's parametrization of the Cauchy distributions F0720AD1K6
| URI | m2://inv/F0720AD1K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#89AD, McCullagh's parametrization of the Cauchy distributions (definition)
History
- 2026-11-02: add by m2/dev
F074Q0X75N F074Q0X75N
| URI | m2://inv/F074Q0X75N |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-16 (proof). In E59CDZA4DP, proof, section 11.3.1
History
- 2026-11-01: add by m2/v0.6.13
$\Op B=\Op D^\ast\Op D$ on $\Spc S(\R)$ F07BPPQNSF
| URI | m2://inv/F07BPPQNSF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14906#8QFA, $\Op B=\Op D^\ast\Op D$ on $\Spc S(\R)$ (example). In 1F8ENX770M/e1, example 3.10
History
- 2026-10-28: add by m2/v0.4.2
SVD backward formula in the degenerate case F07GMJZ9NP
| URI | m2://inv/F07GMJZ9NP |
|---|---|
| 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.32505#CV0F, SVD backward formula in the degenerate case (statement). In N8MYP1Z659/e1, theorem H.1
History
- 2026-10-31: add by m2/v0.5.6
F0821JHQQK F0821JHQQK
| URI | m2://inv/F0821JHQQK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Lebesgue measure F0872VCQ4N
| URI | m2://inv/F0872VCQ4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#PZE4, Lebesgue measure (definition)
History
- 2026-11-02: add by m2/dev
Matrix-Bernstein closure certificate F089AM78BN
| URI | m2://inv/F089AM78BN |
|---|---|
| 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.13951#129O, Matrix-Bernstein closure certificate (statement). In BDV8G2CV16/e1, theorem 18
History
- 2026-10-28: add by m2/v0.4.2
F08CCK2ST9 F08CCK2ST9
| URI | m2://inv/F08CCK2ST9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09897#QON5 (definition). In NYA085FW0M/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
F08QTHK8VF F08QTHK8VF
| URI | m2://inv/F08QTHK8VF |
|---|---|
| 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 2609.20961#QTIE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Concentration dimension F09GKT69XF
| URI | m2://inv/F09GKT69XF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration dimension, Concentration dimension (definition). Also Wikidata Q5158324
History
- 2026-11-02: add by m2/dev
black brane F09H43YEQT
| URI | m2://inv/F09H43YEQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q740956, black brane (unknown). Also nLab black brane
History
- 2026-10-26: add by m2/dev
Georges Reeb F09PG7B7S2
| URI | m2://inv/F09PG7B7S2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georges Reeb, Georges Reeb (topic). Also Wikidata Q478343
History
- 2026-11-02: add by m2/dev
F09V067VXB F09V067VXB
| URI | m2://inv/F09V067VXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#ZKVP (statement). In Q1XJ5VWE1N/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.10
Orthogonal collocation F09VGTC45M
| URI | m2://inv/F09VGTC45M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#CMI5, Orthogonal collocation (definition)
History
- 2026-11-02: add by m2/dev
F0A0XH245G F0A0XH245G
| URI | m2://inv/F0A0XH245G |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński number#PJFY (problem)
History
- 2026-11-02: add by m2/dev
Leech lattice F0A3HGHY4F
| URI | m2://inv/F0A3HGHY4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#O2WF, Leech lattice (definition)
History
- 2026-11-02: add by m2/dev
codeword F0A3QAVJVJ
| URI | m2://inv/F0A3QAVJVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135765337, codeword (unknown). Also MathWorld Codeword
History
- 2026-10-26: add by m2/dev
qLTC from a $(4,2)$-cubical complex F0A45JP4W4
| URI | m2://inv/F0A45JP4W4 |
|---|---|
| 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#UL3V, qLTC from a $(4,2)$-cubical complex (statement). In JN34PDDXH8/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
under GRH F0A49HJZ03
| URI | m2://inv/F0A49HJZ03 |
|---|---|
| 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#P1PS, under GRH (statement). In V8MYP6MBAZ/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
F0AAS8TFH2 F0AAS8TFH2
| URI | m2://inv/F0AAS8TFH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37524#7US7 (statement). In 4GTJAPF7Q3/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
F0ACZTV8CJ F0ACZTV8CJ
| URI | m2://inv/F0ACZTV8CJ |
|---|---|
| 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.18287#K83V (statement). In ZXZN6RMN38/e1, proposition 26
History
- 2026-10-28: add by m2/v0.4.2
F0AG27D31M F0AG27D31M
| URI | m2://inv/F0AG27D31M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#IK92 (example)
History
- 2026-11-01: add by m2/v0.6.15
Multiset F0AGAVF4GC
| URI | m2://inv/F0AGAVF4GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#Y432, Multiset (definition)
- wikipedia: Wikipedia List of types of sets#TN2P, Multiset (definition)
History
- 2026-11-02: add by m2/dev
F0AQRC4Y3E F0AQRC4Y3E
| URI | m2://inv/F0AQRC4Y3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#46HT (statement). In H8NGNDP0XT/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
Reentrant Gibbs states on $\Z^2{[H]}$ F0AWX2TAB0
| URI | m2://inv/F0AWX2TAB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#939E, Reentrant Gibbs states on $\Z^2{[H]}$ (statement). In P3RTT99C41/e1, theorem 9.1
History
- 2026-10-30: add by m2/v0.4.12
F0B5HW60NH F0B5HW60NH
| URI | m2://inv/F0B5HW60NH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#integralinterchange:thm (statement). In E59CDZA4DP, thm, section 9.2.2
History
- 2026-11-01: add by m2/v0.6.13
applicative functor F0B9JT65CV
| URI | m2://inv/F0B9JT65CV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25104369, applicative functor (unknown). Also nLab applicative functor
History
- 2026-10-26: add by m2/dev
F0BA1NJJ92 F0BA1NJJ92
| URI | m2://inv/F0BA1NJJ92 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#G52X (example)
History
- 2026-11-01: add by m2/v0.6.15
F0BB8T9W25 F0BB8T9W25
| URI | m2://inv/F0BB8T9W25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#3XVE (statement)
History
- 2026-11-01: add by m2/v0.6.15
The case without hysteresis F0BFJNPKKW
| URI | m2://inv/F0BFJNPKKW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18242#YY5W, The case without hysteresis (example). In VVC2FHQZZR/e1, example 6.8
History
- 2026-10-28: add by m2/v0.4.2
Relative constructibility robustness F0BGRBHCN6
| URI | m2://inv/F0BGRBHCN6 |
|---|---|
| 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.19283#QZAG, Relative constructibility robustness (statement). In 28BAGZRCKG/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
F0BK93VRNA F0BK93VRNA
| URI | m2://inv/F0BK93VRNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00775#ULDU (statement). In WVHA7H05QC/e1, theorem 2.14
History
- 2026-10-29: add by m2/v0.4.12
F0BVVJPTD7 F0BVVJPTD7
| URI | m2://inv/F0BVVJPTD7 |
|---|---|
| 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.18078#6CBE (statement). In YVK8EFSYNJ/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
F0BZFZBE36 F0BZFZBE36
| URI | m2://inv/F0BZFZBE36 |
|---|---|
| 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 2407.08004#UO14 (statement). In TYS65EG479/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Hajnal Andréka F0C10VBYKK
| URI | m2://inv/F0C10VBYKK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajnal Andréka, Hajnal Andréka (topic). Also Wikidata Q67544956
History
- 2026-11-02: add by m2/dev
spectral geometry F0C2BAJD0P
| URI | m2://inv/F0C2BAJD0P |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 58J50 |
| Sources | 2 |
| Outcome | open |
| Node | Spectral geometry QKAFRDPGE4 |
Mentions
- wikidata: Wikidata Q3123529, spectral geometry (topic). Also nLab spectral geometry
- wikipedia: Wikipedia Spectral geometry, Spectral geometry (topic). Also Wikidata Q3123529
History
- 2026-10-26: add by m2/dev
Definition F0C2GDW90R
| URI | m2://inv/F0C2GDW90R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre embedding#6745, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples F0C5CFNN8E
| URI | m2://inv/F0C5CFNN8E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher information metric#JXBB, Examples (example)
History
- 2026-11-02: add by m2/dev
F0C7X8ESK4 F0C7X8ESK4
| URI | m2://inv/F0C7X8ESK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#4PXF (statement). In 8XAKGH8S2D/e1, corollary 4.12
History
- 2026-10-29: add by m2/v0.4.10
F0CE202W1P F0CE202W1P
| URI | m2://inv/F0CE202W1P |
|---|---|
| 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 2310.14879#OKIU (definition). In 3VZ55B2N0D/e1, definition 5.10
History
- 2026-10-27: add by m2/v0.4.0
Margulis arithmeticity theorem F0CGR5FNWR
| URI | m2://inv/F0CGR5FNWR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic group#CWHO, Margulis arithmeticity theorem (statement)
History
- 2026-11-02: add by m2/dev
Niederreiter cryptosystem F0CW0A734B
| URI | m2://inv/F0CW0A734B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niederreiter cryptosystem, Niederreiter cryptosystem (definition). Also Wikidata Q17083061
History
- 2026-11-02: add by m2/dev
Zemor's decoding algorithm F0CXE56QDF
| URI | m2://inv/F0CXE56QDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zemor's decoding algorithm, Zemor's decoding algorithm (definition). Also Wikidata Q8068910
History
- 2026-11-02: add by m2/dev
Tame abstract elementary class F0CZ4CM28W
| URI | m2://inv/F0CZ4CM28W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tame abstract elementary class, Tame abstract elementary class (definition). Also Wikidata Q18204818
History
- 2026-11-02: add by m2/dev
Runcitruncated order-6 tetrahedral honeycomb F0CZN6FYQF
| URI | m2://inv/F0CZN6FYQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 tetrahedral honeycomb#IUC2, Runcitruncated order-6 tetrahedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
F0D0JGKP78 F0D0JGKP78
| URI | m2://inv/F0D0JGKP78 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/proofs-to-terms.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 60.6
History
- 2026-11-01: add by m2/v0.6.13
Mean value analysis F0D2E2RH6T
| URI | m2://inv/F0D2E2RH6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DJAL, Mean value analysis (definition)
History
- 2026-11-02: add by m2/dev
Upper bound from Seifert surfaces F0D35TQG8J
| URI | m2://inv/F0D35TQG8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#T7S8, Upper bound from Seifert surfaces (statement). In 8TRCP1482Q/e1, theorem B.7
History
- 2026-10-29: add by m2/v0.4.10
F0D3A4XR4J F0D3A4XR4J
| URI | m2://inv/F0D3A4XR4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10202#R0RP (statement). In ER06JKXR8B/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
indexed category F0D6TAY1E9
| URI | m2://inv/F0D6TAY1E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25099576, indexed category (unknown). Also nLab indexed category
- wikipedia: Wikipedia Indexed category, Indexed category (definition). Also Wikidata Q25099576
History
- 2026-10-26: add by m2/dev
Estimates for the smooth-denominator potential F0D9WGA87C
| URI | m2://inv/F0D9WGA87C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28306#BIV9, Estimates for the smooth-denominator potential (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem F0DDJF9BJ5
| URI | m2://inv/F0DDJF9BJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#OM7Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
quaternary F0DE8NY559
| URI | m2://inv/F0DE8NY559 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#G72E, quaternary (definition)
History
- 2026-11-02: add by m2/dev
F0DRZCQFPT F0DRZCQFPT
| URI | m2://inv/F0DRZCQFPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25739#9F5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lebesgue integrability condition F0DY7NW9BF
| URI | m2://inv/F0DY7NW9BF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann integral#Q3OH, Lebesgue integrability condition (unknown)
History
- 2026-11-02: add by m2/dev
Example F0E1V7TRW1
| URI | m2://inv/F0E1V7TRW1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instrumental variables#1MEH, Example (example)
History
- 2026-11-02: add by m2/dev
Aliquant F0EA191KJQ
| URI | m2://inv/F0EA191KJQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor#CTXS, Aliquant (unknown)
History
- 2026-11-02: add by m2/dev
Improved Tauberian converse Final Value Theorem F0EDW9DBHF
| URI | m2://inv/F0EDW9DBHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#RXG3, Improved Tauberian converse Final Value Theorem (statement)
History
- 2026-11-02: add by m2/dev
F0EFHW8YYD F0EFHW8YYD
| URI | m2://inv/F0EFHW8YYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-5 (example). In E59CDZA4DP, example, section 8.3.3
History
- 2026-11-01: add by m2/v0.6.13
Kenya National Bureau of Statistics F0EHZX90Z8
| URI | m2://inv/F0EHZX90Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenya National Bureau of Statistics, Kenya National Bureau of Statistics (definition). Also Wikidata Q6392669
History
- 2026-11-02: add by m2/dev
Repeatability F0EKEWBBB4
| URI | m2://inv/F0EKEWBBB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeatability, Repeatability (definition). Also Wikidata Q520171
History
- 2026-11-02: add by m2/dev
Euler's Gem F0EVVSN741
| URI | m2://inv/F0EVVSN741 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's Gem, Euler's Gem (definition). Also Wikidata Q96377440
History
- 2026-11-02: add by m2/dev
F0F1B2XFW8 F0F1B2XFW8
| URI | m2://inv/F0F1B2XFW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09483#V3UD (statement). In N1MQ8F9JN6/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Unit doublet F0F407VHBV
| URI | m2://inv/F0F407VHBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit doublet, Unit doublet (definition). Also Wikidata Q7887120
History
- 2026-11-02: add by m2/dev
word F0F452CNWE
| URI | m2://inv/F0F452CNWE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.1/word, word (concept). In Y91XFCEVHQ, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
F0FEPJGYHN F0FEPJGYHN
| URI | m2://inv/F0FEPJGYHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.12484#1ZU7 (statement). In GW23NX78SB/e1, lemma 4.24
History
- 2026-10-28: add by m2/v0.4.2
Applications F0FNBPM858
| URI | m2://inv/F0FNBPM858 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to the mathematics of general relativity#632V, Applications (example)
History
- 2026-11-02: add by m2/dev
F0FNSX10E1 F0FNSX10E1
| URI | m2://inv/F0FNSX10E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#QMIL (statement). In 9RBATD2Z1F/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Amer Iqbal F0FV44G7S2
| URI | m2://inv/F0FV44G7S2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4742444, Amer Iqbal (unknown). Also nLab Amer Iqbal
History
- 2026-10-26: add by m2/dev
F0FZMV6GZ6 F0FZMV6GZ6
| URI | m2://inv/F0FZMV6GZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#B6B5 (statement). In 6KR7Z5ETRY/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
F0GABGT35F F0GABGT35F
| URI | m2://inv/F0GABGT35F |
|---|---|
| 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.28011#E61X (definition)
History
- 2026-11-01: add by m2/v0.6.15
Session key F0GG14KEDW
| URI | m2://inv/F0GG14KEDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Session key, Session key (definition). Also Wikidata Q1755775
History
- 2026-11-02: add by m2/dev
An implication of Hilbert's basis theorem F0GJ5YGQZG
| URI | m2://inv/F0GJ5YGQZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#YBKD, An implication of Hilbert's basis theorem (statement). In 7ZBQ8WGQVB/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Retarded trace estimate F0GKXCXHD1
| URI | m2://inv/F0GKXCXHD1 |
|---|---|
| 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.24481#TCCP, Retarded trace estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
F0GTQWA4JZ F0GTQWA4JZ
| URI | m2://inv/F0GTQWA4JZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
Rayleigh mixture distribution F0GXVB3TF4
| URI | m2://inv/F0GXVB3TF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#FZMB, Rayleigh mixture distribution (definition)
History
- 2026-11-02: add by m2/dev
Tien-Yien Li F0H0RR791X
| URI | m2://inv/F0H0RR791X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#PQHZ, Tien-Yien Li (unknown)
History
- 2026-11-02: add by m2/dev
Examples F0H2PYQC2K
| URI | m2://inv/F0H2PYQC2K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model complete theory#2Y2W, Examples (example)
History
- 2026-11-02: add by m2/dev
F0H3Z5WVNS F0H3Z5WVNS
| URI | m2://inv/F0H3Z5WVNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#0OBL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fugue F0H75GFMDJ
| URI | m2://inv/F0H75GFMDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fugue (hash function), Fugue (definition). Also Wikidata Q5507301
History
- 2026-11-02: add by m2/dev
History and relation to Kuratowski's theorem F0HM8BGGHW
| URI | m2://inv/F0HM8BGGHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wagner's theorem#KH79, History and relation to Kuratowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
Degree raising and dimension padding F0HS17SV1D
| URI | m2://inv/F0HS17SV1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#CCYH, Degree raising and dimension padding (statement). In YCRZC9SDCE/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Truncated order-5 hexagonal tiling F0J5CEGH00
| URI | m2://inv/F0J5CEGH00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-5 hexagonal tiling, Truncated order-5 hexagonal tiling (definition). Also Wikidata Q17045389
History
- 2026-11-02: add by m2/dev
F0JE1VQPAS F0JE1VQPAS
| URI | m2://inv/F0JE1VQPAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-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.31919#7ZDG (statement). In RHN12PW9P9/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
F0JEGV8H90 F0JEGV8H90
| URI | m2://inv/F0JEGV8H90 |
|---|---|
| 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.28365#CUWI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tannakian category F0JJGJ9CW1
| URI | m2://inv/F0JJGJ9CW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7683609, Tannakian category (unknown). Also nLab Tannakian category
- wikipedia: Wikipedia Tannakian formalism, Tannakian formalism (definition). Also Wikidata Q7683609
History
- 2026-10-26: add by m2/dev
Sharp inverse on the closed simplex F0JM1990H9
| URI | m2://inv/F0JM1990H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#09KS, Sharp inverse on the closed simplex (statement). In 9YAE8FNQST/e1, theorem 31.7
History
- 2026-10-30: add by m2/v0.4.12
Odds F0JWXADQK4
| URI | m2://inv/F0JWXADQK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds, Odds (definition). Also Wikidata Q515895
History
- 2026-11-02: add by m2/dev
F0K3Z2Z1KG F0K3Z2Z1KG
| URI | m2://inv/F0K3Z2Z1KG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13898#VMSV (definition). In 44EVK9BPC9/e1, definition 1.8
History
- 2026-10-28: add by m2/v0.4.2
F0K7JWYN01 F0K7JWYN01
| URI | m2://inv/F0K7JWYN01 |
|---|---|
| Kind | problem |
| 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.21047#PRXP (problem)
History
- 2026-11-02: add by m2/v0.6.18
Sociedad Cubana de Matemática y Computación F0KA002ZTS
| URI | m2://inv/F0KA002ZTS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#M4J5, Sociedad Cubana de Matemática y Computación (unknown)
History
- 2026-11-02: add by m2/dev
Single stage transistor amplification F0KA2F7ZTW
| URI | m2://inv/F0KA2F7ZTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic gain model#IJDC, Single stage transistor amplification (unknown)
History
- 2026-11-02: add by m2/dev
Gopal Kanji F0KBX9ZVTX
| URI | m2://inv/F0KBX9ZVTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gopal Kanji, Gopal Kanji (topic). Also Wikidata Q58934202
History
- 2026-11-02: add by m2/dev
Exclusion of a rank-one cut on a threefold F0KM146ME5
| URI | m2://inv/F0KM146ME5 |
|---|---|
| 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.25762#U4XK, Exclusion of a rank-one cut on a threefold (statement)
History
- 2026-11-01: add by m2/v0.6.15
F0KSDMWR5S F0KSDMWR5S
| URI | m2://inv/F0KSDMWR5S |
|---|---|
| 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.20153#YWNN (statement). In EYB107TM4Q/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
F0KXXS5HJA F0KXXS5HJA
| URI | m2://inv/F0KXXS5HJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#5Z6P (statement). In Y8XQT02BBF/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Dvoretzky's theorem F0KY68XETB
| URI | m2://inv/F0KY68XETB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dvoretzky's theorem, Dvoretzky's theorem (statement). Also Wikidata Q5317821
History
- 2026-11-02: add by m2/dev
Kepler–Bouwkamp constant F0KZ62KWN0
| URI | m2://inv/F0KZ62KWN0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6393212, Kepler–Bouwkamp constant (object). Also MathWorld PolygonInscribing, OEIS A085365
- wikipedia: Wikipedia Kepler–Bouwkamp constant, Kepler–Bouwkamp constant (object). Also Wikidata Q6393212
History
- 2026-10-26: add by m2/dev
F0M13CQWZW F0M13CQWZW
| URI | m2://inv/F0M13CQWZW |
|---|---|
| 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 1001.0174#E002 (definition). In 4P97F3GPJC/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
F0M54HTQCQ F0M54HTQCQ
| URI | m2://inv/F0M54HTQCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#W2VN (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of aperiodic sets of tiles F0M7P4P6N3
| URI | m2://inv/F0M7P4P6N3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of aperiodic sets of tiles, List of aperiodic sets of tiles (topic). Also Wikidata Q6606036
History
- 2026-11-02: add by m2/dev
Static Universe F0M8G3XW5C
| URI | m2://inv/F0M8G3XW5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#E9UY, Static Universe (definition)
History
- 2026-11-02: add by m2/dev
F0MP31C7E1 F0MP31C7E1
| URI | m2://inv/F0MP31C7E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.21670#MYEE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Princeton University Mathematics Competition F0MQ235PRA
| URI | m2://inv/F0MQ235PRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Princeton University Mathematics Competition, Princeton University Mathematics Competition (definition). Also Wikidata Q141272991
History
- 2026-11-02: add by m2/dev
Examples F0MQD0VKKQ
| URI | m2://inv/F0MQD0VKKQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casting out nines#X4HA, Examples (example)
History
- 2026-11-02: add by m2/dev
F0MV3E2AX1 F0MV3E2AX1
| URI | m2://inv/F0MV3E2AX1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#BGHM (definition). In M0SQY5EZN5/e1, definition 1.1.7
History
- 2026-10-27: add by m2/v0.3.5
F0MWVDA68F F0MWVDA68F
| URI | m2://inv/F0MWVDA68F |
|---|---|
| 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 2207.12181#AWS4 (statement). In FSD8NE3XSR/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.0
Contradiction F0MZ8D5BYB
| URI | m2://inv/F0MZ8D5BYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contradiction, Contradiction (definition). Also Wikidata Q363948
History
- 2026-11-02: add by m2/dev
F0N4V8004C F0N4V8004C
| URI | m2://inv/F0N4V8004C |
|---|---|
| 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#IN4D (statement). In 7NE5NVT9KH/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
3DNow! extensions F0NC59KNE0
| URI | m2://inv/F0NC59KNE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3DNow!#PFIK, 3DNow! extensions (statement)
History
- 2026-11-02: add by m2/dev
F0NERQKFQW F0NERQKFQW
| URI | m2://inv/F0NERQKFQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#VAE7 (statement). In R2K4HZN8RW/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
F0NJTJ4086 F0NJTJ4086
| URI | m2://inv/F0NJTJ4086 |
|---|---|
| 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.03288#OSJJ (statement). In ZHP1MFSACN/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.12
F0NT9Q7HQ6 F0NT9Q7HQ6
| URI | m2://inv/F0NT9Q7HQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#324W (statement). In VWNB6QJWFN/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Minor-closed graph family F0P5FZ60NW
| URI | m2://inv/F0P5FZ60NW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph minor#VYJP, Minor-closed graph family (unknown)
History
- 2026-11-02: add by m2/dev
Ramanujan's sum F0P620RJ6W
| URI | m2://inv/F0P620RJ6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#MHQS, Ramanujan's sum (definition)
History
- 2026-11-02: add by m2/dev
square numbers F0P8E77NK0
| URI | m2://inv/F0P8E77NK0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/square-numbers, square numbers (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Stochastic block model F0PGMVVS0H
| URI | m2://inv/F0PGMVVS0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic block model, Stochastic block model (definition). Also Wikidata Q25053762
History
- 2026-11-02: add by m2/dev
Kretschmann scalar F0PHKJQ2EY
| URI | m2://inv/F0PHKJQ2EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kretschmann scalar, Kretschmann scalar (definition). Also Wikidata Q6436867
History
- 2026-11-02: add by m2/dev
plurisubharmonic F0PKMZBE4E
| URI | m2://inv/F0PKMZBE4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#7PXZ, plurisubharmonic (definition)
History
- 2026-11-02: add by m2/dev
Applications F0PNZKNF68
| URI | m2://inv/F0PNZKNF68 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile-parameterized distribution#GGDP, Applications (example)
History
- 2026-11-02: add by m2/dev
Longest common subsequence problem F0PT6DTPT2
| URI | m2://inv/F0PT6DTPT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#9LRP, Longest common subsequence problem (definition)
History
- 2026-11-02: add by m2/dev
Ferrero–Washington theorem F0PVTEBD76
| URI | m2://inv/F0PVTEBD76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IRW8, Ferrero–Washington theorem (statement)
History
- 2026-11-02: add by m2/dev
inverter F0PW23Z6RW
| URI | m2://inv/F0PW23Z6RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q664575, inverter (unknown). Also MathWorld NOT
- wikipedia: Wikipedia Inverter (logic gate), Inverter (definition). Also Wikidata Q664575
History
- 2026-10-26: add by m2/dev
identity function F0PX7F5QA6
| URI | m2://inv/F0PX7F5QA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Identity function 0FSNQ0GNCC |
Mentions
- wikidata: Wikidata Q321119, identity function (unknown). Also MathWorld IdentityFunction, MathWorld IdentityMap, MathWorld IdentityOperator, nLab identity function
- wikipedia: Wikipedia Identity function, Identity function (statement). Also Wikidata Q321119
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
multiplicity F0PYS20C1M
| URI | m2://inv/F0PYS20C1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#0MG5, multiplicity (definition)
History
- 2026-11-02: add by m2/dev
Gold's theorem F0QB3TCABG
| URI | m2://inv/F0QB3TCABG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language identification in the limit#XWQD, Gold's theorem (statement)
History
- 2026-11-02: add by m2/dev
Reconstruction of Bayes regret F0QD59J2EG
| URI | m2://inv/F0QD59J2EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11038#NDE9, Reconstruction of Bayes regret (statement). In RY8QBYR4SE/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Generalizations F0QEGZNYV5
| URI | m2://inv/F0QEGZNYV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffreys prior#JPK8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
F0QHNVN734 F0QHNVN734
| URI | m2://inv/F0QHNVN734 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38370#458B (statement). In SS645K80ZR/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
F0QNK2CAEQ F0QNK2CAEQ
| URI | m2://inv/F0QNK2CAEQ |
|---|---|
| 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 2204.01073#J97H (statement). In W4TYN4PGE8/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
F0QRFXGP41 F0QRFXGP41
| URI | m2://inv/F0QRFXGP41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#8LIH (statement). In F6C80AEXC1/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
F0QTV6V6NM F0QTV6V6NM
| URI | m2://inv/F0QTV6V6NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13103#N97C (statement). In GG2ZZV6KEQ/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
F0QV9PQZ7M F0QV9PQZ7M
| URI | m2://inv/F0QV9PQZ7M |
|---|---|
| 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 2404.06445#V9N5 (statement). In 12JKZ8EN52/e1, theorem 7.7
History
- 2026-10-27: add by m2/v0.3.5
F0R5WHXAQE F0R5WHXAQE
| URI | m2://inv/F0R5WHXAQE |
|---|---|
| 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 2011.07352#KAXZ (statement). In 3VPC1GGZ3E/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
F0RANZYACY F0RANZYACY
| URI | m2://inv/F0RANZYACY |
|---|---|
| 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.20758#U4J1 (definition). In PG0B4PH9YH/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Hindsight bias F0RKCPAQAH
| URI | m2://inv/F0RKCPAQAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#HR3B, Hindsight bias (unknown)
History
- 2026-11-02: add by m2/dev
Encryption principle F0RNKPBNYQ
| URI | m2://inv/F0RNKPBNYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polybius square#3T9W, Encryption principle (statement)
History
- 2026-11-02: add by m2/dev
Hans Hamburger F0RQB6JX4M
| URI | m2://inv/F0RQB6JX4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AFMV, Hans Hamburger (topic)
History
- 2026-11-02: add by m2/dev
Inventory theory F0RS0NW6WB
| URI | m2://inv/F0RS0NW6WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#2A97, Inventory theory (definition)
History
- 2026-11-02: add by m2/dev
F0S01PVPTN F0S01PVPTN
| URI | m2://inv/F0S01PVPTN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#ADLV (definition)
History
- 2026-11-02: add by m2/v0.6.18
salivating F0S33A9Y52
| URI | m2://inv/F0S33A9Y52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#CKNO, salivating (unknown)
History
- 2026-11-02: add by m2/dev
Estelle Basor F0S5X25YSJ
| URI | m2://inv/F0S5X25YSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estelle Basor, Estelle Basor (topic). Also Wikidata Q42688944
History
- 2026-11-02: add by m2/dev
Symmetry F0SAQBVSYY
| URI | m2://inv/F0SAQBVSYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic-octahedral honeycomb#NJON, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
F0SH4KD28Q F0SH4KD28Q
| URI | m2://inv/F0SH4KD28Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#JCCZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
T-schema F0SHAGGTW6
| URI | m2://inv/F0SHAGGTW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-schema, T-schema (definition). Also Wikidata Q442383
History
- 2026-11-02: add by m2/dev
F0SV8SF532 F0SV8SF532
| URI | m2://inv/F0SV8SF532 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-36 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
Blankenship-Oporowski conjecture F0T046QZAX
| URI | m2://inv/F0T046QZAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book embedding#QJUH, Blankenship-Oporowski conjecture (unknown)
History
- 2026-11-02: add by m2/dev
F0T2RBCS6J F0T2RBCS6J
| URI | m2://inv/F0T2RBCS6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#AAXS (statement)
History
- 2026-11-02: add by m2/v0.6.17
The ranks \(R_O\) and \(R_B\ F0T5BMGP8Q
| URI | m2://inv/F0T5BMGP8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#P02I, The ranks \(R_O\) and \(R_B\ (statement). In TBFPBPQV3G/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.4.2
Pairs S77--S80 F0THTNTCGG
| URI | m2://inv/F0THTNTCGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08865#K65X, Pairs S77--S80 (statement). In SJ5JKGH94M/e1, theorem 29
History
- 2026-10-29: add by m2/v0.4.10
F0TNP3HG2H F0TNP3HG2H
| URI | m2://inv/F0TNP3HG2H |
|---|---|
| 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.00914#Q11P (statement). In TQ9CKHBTWN/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
F0TPSZK90N F0TPSZK90N
| URI | m2://inv/F0TPSZK90N |
|---|---|
| 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.24569#LOS6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition F0TQD5NKNE
| URI | m2://inv/F0TQD5NKNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition function (mathematics)#KEN7, Definition (definition)
History
- 2026-11-02: add by m2/dev
$\SO(3)$ and a spherical quotient F0TSADM35X
| URI | m2://inv/F0TSADM35X |
|---|---|
| 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.14582#2DG4, $\SO(3)$ and a spherical quotient (statement). In 6XP6PD2XZA/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Chevalley's structure theorem F0TWWYQ8F5
| URI | m2://inv/F0TWWYQ8F5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#41W7, Chevalley's structure theorem (statement)
History
- 2026-11-02: add by m2/dev
Main theorem F0V006DESA
| URI | m2://inv/F0V006DESA |
|---|---|
| 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 2207.05628#CNUU, Main theorem (statement). In 9JPKTEWW4W/e1, corollary 3.22
History
- 2026-10-27: add by m2/v0.3.5
Partition lemma F0V1M61DVN
| URI | m2://inv/F0V1M61DVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40290#GGMH, Partition lemma (statement). In 4K1CNBYJHF/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Vierwaldstättersee F0V51GFWV3
| URI | m2://inv/F0V51GFWV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JI5F, Vierwaldstättersee (unknown)
History
- 2026-11-02: add by m2/dev
Sobolev space F0V7BV57VB
| URI | m2://inv/F0V7BV57VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#UOPM, Sobolev space (definition)
History
- 2026-11-02: add by m2/dev
F0V7E2Y9X5 F0V7E2Y9X5
| URI | m2://inv/F0V7E2Y9X5 |
|---|---|
| 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 2304.02722#ZVI0 (statement). In AH7D55D3WV/e1, lemma 7.9
History
- 2026-10-27: add by m2/v0.3.5
Steiner point F0V8N1BB3G
| URI | m2://inv/F0V8N1BB3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#WT1H, Steiner point (definition)
History
- 2026-11-02: add by m2/dev
Variations F0VADK7AX1
| URI | m2://inv/F0VADK7AX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph isomorphism#4TJ1, Variations (statement)
History
- 2026-11-02: add by m2/dev
Yves Le Jan F0VAG059M4
| URI | m2://inv/F0VAG059M4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yves Le Jan, Yves Le Jan (topic). Also Wikidata Q15078931
History
- 2026-11-02: add by m2/dev
F0VHDMJMJE F0VHDMJMJE
| URI | m2://inv/F0VHDMJMJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#CTBD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gaussian smoothing coefficient condition F0VRCCS7DV
| URI | m2://inv/F0VRCCS7DV |
|---|---|
| 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.09522#SSBZ, Gaussian smoothing coefficient condition (statement). In KKR9167FPT/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.10
F0VVY9AK5S F0VVY9AK5S
| URI | m2://inv/F0VVY9AK5S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-18 (proof). In N54F33XE07, proof, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
Robert Evert Stong F0VWYMVX42
| URI | m2://inv/F0VWYMVX42 |
|---|---|
| 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 Q2158898, Robert Evert Stong (unknown). Also nLab Robert Stong
- wikipedia: Wikipedia Robert Evert Stong, Robert Evert Stong (topic). Also Wikidata Q2158898
History
- 2026-10-26: add by m2/dev
Hans-Volker Niemeier F0VYM2RM2S
| URI | m2://inv/F0VYM2RM2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#BCQG, Hans-Volker Niemeier (topic)
History
- 2026-11-02: add by m2/dev
F0W8QZ1EZ4 F0W8QZ1EZ4
| URI | m2://inv/F0W8QZ1EZ4 |
|---|---|
| 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.01433#SLL8 (definition). In 160PQ7F1AS/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
F0WCT0ZW61 F0WCT0ZW61
| URI | m2://inv/F0WCT0ZW61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15736#CH09 (statement). In 17WP1JCDAV/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Properties F0WGCWKGFG
| URI | m2://inv/F0WGCWKGFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric monoidal category#F44W, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications F0WJM46J1A
| URI | m2://inv/F0WJM46J1A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrature filter#UQ18, Applications (example)
History
- 2026-11-02: add by m2/dev
Pairs S49--S52 F0WRH7WW3C
| URI | m2://inv/F0WRH7WW3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08865#FZ91, Pairs S49--S52 (statement). In SJ5JKGH94M/e1, theorem 16
History
- 2026-10-29: add by m2/v0.4.10
Lower Crandall function F0WVCXEZJS
| URI | m2://inv/F0WVCXEZJS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#CMM7, Lower Crandall function (definition)
History
- 2026-11-01: add by m2/v0.6.15
Actuarial science F0X05ZS99G
| URI | m2://inv/F0X05ZS99G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#FGZ8, Actuarial science (definition)
History
- 2026-11-02: add by m2/dev
F0X32GQHYK F0X32GQHYK
| URI | m2://inv/F0X32GQHYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#SGU6 (statement). In HCTYW6VH87/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Benjamin Rossman F0XN0XN3VG
| URI | m2://inv/F0XN0XN3VG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Rossman, Benjamin Rossman (topic). Also Wikidata Q76835364
History
- 2026-11-02: add by m2/dev
Formulation F0XQD3D774
| URI | m2://inv/F0XQD3D774 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popoviciu's inequality#ZWNN, Formulation (definition)
History
- 2026-11-02: add by m2/dev
F0XRM1XDRC F0XRM1XDRC
| URI | m2://inv/F0XRM1XDRC |
|---|---|
| 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.33015#SP09 (statement). In W6Y6NPK648/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Boundary form F0XTCG4KG9
| URI | m2://inv/F0XTCG4KG9 |
|---|---|
| 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.25120#PKQZ, Boundary form (statement)
History
- 2026-11-01: add by m2/v0.6.15
\alpha^\beta F0XZNQF95N
| URI | m2://inv/F0XZNQF95N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1UDU, \alpha^\beta (definition)
History
- 2026-11-02: add by m2/dev
Distortion function F0Y6VQZW78
| URI | m2://inv/F0Y6VQZW78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distortion function, Distortion function (definition). Also Wikidata Q5283073
History
- 2026-11-02: add by m2/dev
F0Y7JZSGPA F0Y7JZSGPA
| URI | m2://inv/F0Y7JZSGPA |
|---|---|
| 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 2111.01197#1EUE (statement). In Z36XFKVTS0/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.3.5
Friedrich Ludwig Gottlob Frege F0Y9DQAJXA
| URI | m2://inv/F0Y9DQAJXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#3XAU, Friedrich Ludwig Gottlob Frege (topic)
History
- 2026-11-02: add by m2/dev
F0YD0A534S F0YD0A534S
| URI | m2://inv/F0YD0A534S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#PIWY (statement). In GJKRVZ5YN5/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Herschel's condition F0YF121PV3
| URI | m2://inv/F0YF121PV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herschel's condition, Herschel's condition (definition). Also Wikidata Q135111526
History
- 2026-11-02: add by m2/dev
F0YFDAR5X1 F0YFDAR5X1
| URI | m2://inv/F0YFDAR5X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#Z2XM (statement). In KQ8JPHDKKE/e1, proposition 9.7.7
History
- 2026-10-27: add by m2/v0.3.5
Conjectures F0YS83EVBC
| URI | m2://inv/F0YS83EVBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emil Artin#3IJD, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
F0YX5M5NYE F0YX5M5NYE
| URI | m2://inv/F0YX5M5NYE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
F0YXSE4CCV F0YXSE4CCV
| URI | m2://inv/F0YXSE4CCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#6XRP (statement). In V42PPD7SWH/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Caius Iacob F0YZ7SWGMD
| URI | m2://inv/F0YZ7SWGMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caius Iacob, Caius Iacob (topic). Also Wikidata Q12723271
History
- 2026-11-02: add by m2/dev
Lipschitz Control Across Finite Sites F0Z0Y2RG11
| URI | m2://inv/F0Z0Y2RG11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#E2H1, Lipschitz Control Across Finite Sites (statement). In CW9MNA6K58/e1, lemma 9.20
History
- 2026-10-28: add by m2/v0.4.2
Quasi-best approximation (Céa's lemma) F0Z4NP3RF2
| URI | m2://inv/F0Z4NP3RF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galerkin method#HJIM, Quasi-best approximation (Céa's lemma) (statement)
History
- 2026-11-02: add by m2/dev
Constructions F0Z8V4809Y
| URI | m2://inv/F0Z8V4809Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous group action#UWY3, Constructions (definition)
History
- 2026-11-02: add by m2/dev
F0ZMJ4FF3K F0ZMJ4FF3K
| URI | m2://inv/F0ZMJ4FF3K |
|---|---|
| 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.16081#DAMB (statement). In RS6WWZKMT6/e1, proposition A.2
History
- 2026-10-28: add by m2/v0.4.2
F0ZQ5HDPHY F0ZQ5HDPHY
| URI | m2://inv/F0ZQ5HDPHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#5SK6 (statement). In KWB9M5YH9G/e1, theorem 2.12
History
- 2026-10-31: add by m2/v0.5.6
F0ZSVDAVKG F0ZSVDAVKG
| URI | m2://inv/F0ZSVDAVKG |
|---|---|
| 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.38865#PK12 (statement). In TFZNHCE6EV/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Algorithms F0ZT1W8859
| URI | m2://inv/F0ZT1W8859 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall-type theorems for hypergraphs#BJIR, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Intersecting secants theorem F0ZTVRZGK4
| URI | m2://inv/F0ZTVRZGK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Y9U2, Intersecting secants theorem (statement)
History
- 2026-11-02: add by m2/dev
Bi-parameter local linearization F0ZVFN5QZN
| URI | m2://inv/F0ZVFN5QZN |
|---|---|
| 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.34066#0VMS, Bi-parameter local linearization (statement). In F0Y3DZCEH0/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12