Inventory rows FV
The cards of the rows of the inventory whose ids start with FV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Reverse Poincar\'e inequality FV079NGGRQ
| URI | m2://inv/FV079NGGRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#FB6Y, Reverse Poincar\'e inequality (statement). In 49V3ANDZTY/e1, proposition 6.10
History
- 2026-10-27: add by m2/v0.3.5
Eilenberg–Wojdysławski theorem FV0D8BA3CG
| URI | m2://inv/FV0D8BA3CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#WOXR, Eilenberg–Wojdysławski theorem (definition)
History
- 2026-11-02: add by m2/dev
FV0RSCA91H FV0RSCA91H
| URI | m2://inv/FV0RSCA91H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05730#R385 (statement). In KWX3Q669ES/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Henri Fehr FV13V63STH
| URI | m2://inv/FV13V63STH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Fehr, Henri Fehr (topic). Also Wikidata Q655614
History
- 2026-11-02: add by m2/dev
Bad Gap Opening FV1528NE3N
| URI | m2://inv/FV1528NE3N |
|---|---|
| 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 math/0003117#HLGB, Bad Gap Opening (statement). In WD2NCBV9F0/e1, lemma 15.16
History
- 2026-10-27: add by m2/v0.3.5
paradox FV1J15ZBSF
| URI | m2://inv/FV1J15ZBSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IA2E, paradox (definition)
History
- 2026-11-02: add by m2/dev
Meta-conjecture and fibered isomorphism conjectures FV1RAXCK57
| URI | m2://inv/FV1RAXCK57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrell–Jones conjecture#X4N4, Meta-conjecture and fibered isomorphism conjectures (statement)
History
- 2026-11-02: add by m2/dev
FV1SDAJ2AD FV1SDAJ2AD
| URI | m2://inv/FV1SDAJ2AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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 2609.35229#LPAS (statement). In XBAXW1YBAK/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
FV1SYT8GXT FV1SYT8GXT
| URI | m2://inv/FV1SYT8GXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-15 (statement). In VNMV985MXX, prop, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
FV1X78HM2Q FV1X78HM2Q
| URI | m2://inv/FV1X78HM2Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-48 (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
coding theory FV1XDPR9D4
| URI | m2://inv/FV1XDPR9D4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q602136, coding theory (unknown). Also MathWorld CodingTheory, nLab coding theory
- wikipedia: Wikipedia Coding theory, Coding theory (topic). Also Wikidata Q602136
History
- 2026-10-26: add by m2/dev
Theorem FV1YVAB7G8
| URI | m2://inv/FV1YVAB7G8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#2YH0, Theorem (statement)
- wikipedia: Wikipedia Reflexive space#H5XW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
FV2003V5JZ FV2003V5JZ
| URI | m2://inv/FV2003V5JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#TCXK (statement). In MP2YM69XW8/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.3
FV26Q4X4N0 FV26Q4X4N0
| URI | m2://inv/FV26Q4X4N0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#76KS (statement). In 7SSKW778T8/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
FV28A2AFQK FV28A2AFQK
| URI | m2://inv/FV28A2AFQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#QD2S (statement). In SN6F0MPPVF/e1, theorem 8.5
History
- 2026-10-28: add by m2/v0.4.2
inertia group FV2DFY9ED0
| URI | m2://inv/FV2DFY9ED0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#KDAK, inertia group (definition)
History
- 2026-11-02: add by m2/dev
Conjectures FV2ZYRE6AS
| URI | m2://inv/FV2ZYRE6AS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connective constant#VA6V, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
Algorithms FV3A98D2W8
| URI | m2://inv/FV3A98D2W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum cut#PQGL, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Furstenberg's theorem for the transfer matrices FV3D2P7H2Q
| URI | m2://inv/FV3D2P7H2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#BBTS, Furstenberg's theorem for the transfer matrices (statement). In 9W2YX5X4AX/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Ambient equations FV3J17APS9
| URI | m2://inv/FV3J17APS9 |
|---|---|
| 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.02721#J44Z, Ambient equations (statement). In XXFYVDVPPE/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
FV3NBAKF0P FV3NBAKF0P
| URI | m2://inv/FV3NBAKF0P |
|---|---|
| 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.20740#CYMH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pamela Gorkin FV3YXXJVSR
| URI | m2://inv/FV3YXXJVSR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pamela Gorkin, Pamela Gorkin (topic). Also Wikidata Q57915922
History
- 2026-11-02: add by m2/dev
FV407AT6XH FV407AT6XH
| URI | m2://inv/FV407AT6XH |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-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 2508.21045#BQ7Y (conjecture). In CGA36VE1C5/e1, conjecture 8
History
- 2026-10-27: add by m2/v0.3.6
Tight Gaussian reference FV44B7MT7D
| URI | m2://inv/FV44B7MT7D |
|---|---|
| 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.22308#YTGX, Tight Gaussian reference (statement). In 4QN87R0P1G/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.0
FV45JX2DXC FV45JX2DXC
| URI | m2://inv/FV45JX2DXC |
|---|---|
| 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.40023#YVXS (statement). In JW9ARS9AQE/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
FV49RF2FD9 FV49RF2FD9
| URI | m2://inv/FV49RF2FD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#1OWV (statement). In GWNT8HEZG1/e1, corollary 4.24
History
- 2026-10-27: add by m2/v0.3.6
FV505N32S3 FV505N32S3
| URI | m2://inv/FV505N32S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#KEWC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Completion of the sample path in the modal region FV5970TJTA
| URI | m2://inv/FV5970TJTA |
|---|---|
| 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.01050#L19F, Completion of the sample path in the modal region (statement). In 48NN33SAH7/e1, lemma G.6
History
- 2026-10-29: add by m2/v0.4.12
Common extensions in linear systems of varieties -- weak gluing FV5G8EDZB0
| URI | m2://inv/FV5G8EDZB0 |
|---|---|
| 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.33733#82DN, Common extensions in linear systems of varieties -- weak gluing (statement). In QBAP8C82FG/e1, theorem 33
History
- 2026-10-30: add by m2/v0.4.12
Buckingham π theorem FV5HMF4333
| URI | m2://inv/FV5HMF4333 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grashof number#SESG, Buckingham π theorem (statement)
History
- 2026-11-02: add by m2/dev
Epistemological dualism FV5HMMAC1D
| URI | m2://inv/FV5HMMAC1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#7F3I, Epistemological dualism (unknown)
History
- 2026-11-02: add by m2/dev
The closure quotient FV5J0PA5HS
| URI | m2://inv/FV5J0PA5HS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#11HX, The closure quotient (statement). In 7XEVYJKJ5C/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
FV5Q75PY40 FV5Q75PY40
| URI | m2://inv/FV5Q75PY40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2503.22636#LFVZ (statement). In 2X2A6MT0QD/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Full nonsymmetric reference inverse FV63BHRZZ2
| URI | m2://inv/FV63BHRZZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#3DHH, Full nonsymmetric reference inverse (statement). In KFEASG3ZHS/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Borel summation FV6JQ5TE4A
| URI | m2://inv/FV6JQ5TE4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#0MK6, Borel summation (definition)
History
- 2026-11-02: add by m2/dev
FV6PRF9N8E FV6PRF9N8E
| URI | m2://inv/FV6PRF9N8E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-10 (example). In E9HS8K3A52, example, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
FV6Z9P2TNB FV6Z9P2TNB
| URI | m2://inv/FV6Z9P2TNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#0PRW (statement). In 7SSKW778T8/e1, proposition 2.24
History
- 2026-10-29: add by m2/v0.4.10
FV725GTJB0 FV725GTJB0
| URI | m2://inv/FV725GTJB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#GP1V (statement). In BDN507RN7J/e1, proposition 5.1.4
History
- 2026-10-30: add by m2/v0.4.12
FV74BFZ247 FV74BFZ247
| URI | m2://inv/FV74BFZ247 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#definition-5 (definition). In RZP28ERRZV, definition, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
Steiner FV770VPWM5
| URI | m2://inv/FV770VPWM5 |
|---|---|
| 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 2607.01109#2W7W, Steiner (statement). In V35F0T5RQ2/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Federal Statistical Office FV7BJDF2ZX
| URI | m2://inv/FV7BJDF2ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federal Statistical Office (Switzerland), Federal Statistical Office (definition). Also Wikidata Q285453
History
- 2026-11-02: add by m2/dev
Judith O'Fallon FV7NWJS9B7
| URI | m2://inv/FV7NWJS9B7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judith O'Fallon, Judith O'Fallon (topic). Also Wikidata Q102207723
History
- 2026-11-02: add by m2/dev
Richard Sheldon Palais FV7SDR8R4Y
| URI | m2://inv/FV7SDR8R4Y |
|---|---|
| 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#9GZS, Richard Sheldon Palais (topic)
History
- 2026-11-02: add by m2/dev
Examples FV86MHC3ZX
| URI | m2://inv/FV86MHC3ZX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residuated Boolean algebra#64R0, Examples (example)
History
- 2026-11-02: add by m2/dev
Invertable bloom lookup table FV8DD9Y7JY
| URI | m2://inv/FV8DD9Y7JY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting Bloom filter#QJ6I, Invertable bloom lookup table (unknown)
History
- 2026-11-02: add by m2/dev
FV8JDB3RE6 FV8JDB3RE6
| URI | m2://inv/FV8JDB3RE6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.3493#Q3NK (definition). In 1ARY7220P4/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
FV8KS36KN4 FV8KS36KN4
| URI | m2://inv/FV8KS36KN4 |
|---|---|
| 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.14217#BRSF (statement). In K0DHYQC5B7/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
FV8N2TANPE FV8N2TANPE
| URI | m2://inv/FV8N2TANPE |
|---|---|
| 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 2606.20229#GA0B (statement). In 1B85G2QJC2/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.6
Extrapolation FV8NM1C4FY
| URI | m2://inv/FV8NM1C4FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ZL4H, Extrapolation (definition)
History
- 2026-11-02: add by m2/dev
Left-limit sampling scale FV8RQZDAVP
| URI | m2://inv/FV8RQZDAVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09570#VDOL, Left-limit sampling scale (statement). In 6QAW01629C/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
FV8T7WT24M FV8T7WT24M
| URI | m2://inv/FV8T7WT24M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#3LIZ (statement). In C87H6KZSBM/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
Definition FV8VK7M65N
| URI | m2://inv/FV8VK7M65N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Silberstein vector#RMU8, Definition (definition)
History
- 2026-11-02: add by m2/dev
FV8VV4ZCB0 FV8VV4ZCB0
| URI | m2://inv/FV8VV4ZCB0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#FO2O (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Theorem FV8WAWR64C
| URI | m2://inv/FV8WAWR64C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuntz algebra#XZLT, Theorem (statement)
History
- 2026-11-02: add by m2/dev
FV906J2ZBY FV906J2ZBY
| URI | m2://inv/FV906J2ZBY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 49.2
History
- 2026-11-01: add by m2/v0.6.13
FV91SMJ3VE FV91SMJ3VE
| URI | m2://inv/FV91SMJ3VE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:strengthen-transport-is-ap (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
FV92S59QFM FV92S59QFM
| URI | m2://inv/FV92S59QFM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#WL26 (example)
History
- 2026-11-02: add by m2/v0.6.17
A one-point weight test FV96KH5A9H
| URI | m2://inv/FV96KH5A9H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23281#HGVX, A one-point weight test (example)
History
- 2026-11-02: add by m2/v0.6.17
FV9933QX2K FV9933QX2K
| URI | m2://inv/FV9933QX2K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2303.09207#1IFP (example). In 9DQKY7KGE8/e1, example B.21
History
- 2026-10-31: add by m2/v0.5.6
FV9BPSX59J FV9BPSX59J
| URI | m2://inv/FV9BPSX59J |
|---|---|
| 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.38532#7TEA (statement). In X7YYWCZFTV/e1, fact 2.5
History
- 2026-10-30: add by m2/v0.4.12
FV9C4AYKQR FV9C4AYKQR
| URI | m2://inv/FV9C4AYKQR |
|---|---|
| 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.13685#OX2I (statement). In 4XQWY8C4AV/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Key changer (software) FV9KZ4MQW6
| URI | m2://inv/FV9KZ4MQW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keygen#3YPW, Key changer (software) (unknown)
History
- 2026-11-02: add by m2/dev
FV9M83GH5J FV9M83GH5J
| URI | m2://inv/FV9M83GH5J |
|---|---|
| Kind | problem |
| 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.26114#0CGO (problem)
History
- 2026-11-01: add by m2/v0.6.15
FV9MEMKJS5 FV9MEMKJS5
| URI | m2://inv/FV9MEMKJS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34675#Z9QT (statement). In C93BAXKJVD/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
PV-Moore matrix FV9TWP04RQ
| URI | m2://inv/FV9TWP04RQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#KA0H, PV-Moore matrix (definition). In N4M6B8EMCW/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Measure theory FV9WX43RS9
| URI | m2://inv/FV9WX43RS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#08GI, Measure theory (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet's unit theorem FV9XYD91NG
| URI | m2://inv/FV9XYD91NG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#C62V, Dirichlet's unit theorem (statement)
History
- 2026-11-02: add by m2/dev
Ivan Losev FVA4G1942K
| URI | m2://inv/FVA4G1942K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Losev (mathematician), Ivan Losev (topic). Also Wikidata Q98317873
History
- 2026-11-02: add by m2/dev
directional derivative FVA7MW0TAS
| URI | m2://inv/FVA7MW0TAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Directional derivative 06KWGHDN2J |
Mentions
- wikidata: Wikidata Q383851, directional derivative (unknown). Also MathWorld DirectionalDerivative, nLab directional derivative
- wikipedia: Wikipedia Directional derivative, Directional derivative (definition). Also Wikidata Q383851
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
FVABKJYPA8 FVABKJYPA8
| URI | m2://inv/FVABKJYPA8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#FN4X (definition). In X38P26DK6S/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Clipping puts you on this rung FVAPFVMVTB
| URI | m2://inv/FVAPFVMVTB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#1SVV, Clipping puts you on this rung (example)
History
- 2026-11-01: add by m2/v0.6.15
Unknot FVASF79MWP
| URI | m2://inv/FVASF79MWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#YZEC, Unknot (definition)
History
- 2026-11-02: add by m2/dev
FVB4VZRN9Z FVB4VZRN9Z
| URI | m2://inv/FVB4VZRN9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#4FM8 (statement). In YRJS76169Z/e1, corollary 7.6
History
- 2026-10-27: add by m2/v0.4.2
FVB5YV65Z4 FVB5YV65Z4
| URI | m2://inv/FVB5YV65Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#HJJT (statement). In ESDKTYDHC8/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
FVB6F0CYXW FVB6F0CYXW
| URI | m2://inv/FVB6F0CYXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#3407 (statement). In 1A01NFHBGA/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.3
Marvin Knopp FVBF7A9FBK
| URI | m2://inv/FVBF7A9FBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marvin Knopp, Marvin Knopp (topic). Also Wikidata Q1766031
History
- 2026-11-02: add by m2/dev
Productive matrix FVBF85FJZY
| URI | m2://inv/FVBF85FJZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Productive matrix, Productive matrix (definition). Also Wikidata Q19360939
History
- 2026-11-02: add by m2/dev
Robert Lawson Vaught FVBGSZ4JJG
| URI | m2://inv/FVBGSZ4JJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VJNU, Robert Lawson Vaught (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6ZP3, Robert Lawson Vaught (topic)
History
- 2026-11-02: add by m2/dev
Adiabatic theorem FVBMQMSRM6
| URI | m2://inv/FVBMQMSRM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q356895, Adiabatic theorem (statement). Also Wikidata Q356895
- thousand_plus: thousand_plus Q356895, Adiabatic theorem (statement). Also Wikidata Q356895, Wikipedia Adiabatic theorem
- wikipedia: Wikipedia Adiabatic theorem, Adiabatic theorem (statement). Also Wikidata Q356895
History
- 2026-10-26: add by m2/dev
G-test FVBP5YT9R4
| URI | m2://inv/FVBP5YT9R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#EZBT, G-test (definition)
- wikipedia: Wikipedia List of analyses of categorical data#P4S0, G-test (definition)
- wikipedia: Wikipedia List of statistics articles#ZBNA, G-test (definition)
History
- 2026-11-02: add by m2/dev
FVBQWNMC1N FVBQWNMC1N
| URI | m2://inv/FVBQWNMC1N |
|---|---|
| Kind | definition |
| 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 2203.00606#9R5V (definition). In 3WBQFVX65D/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Examples FVBZ5GZJZ8
| URI | m2://inv/FVBZ5GZJZ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive partitioning#DZON, Examples (example)
History
- 2026-11-02: add by m2/dev
FVC7FGY8CX FVC7FGY8CX
| URI | m2://inv/FVC7FGY8CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#JQRI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties FVC7SV2HKY
| URI | m2://inv/FVC7SV2HKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birth process#FNNT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Strictly ordered signature representation FVCATV4AD9
| URI | m2://inv/FVCATV4AD9 |
|---|---|
| Kind | definition |
| 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 2607.01358#VMCB, Strictly ordered signature representation (definition). In H808CYZ7YM/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
FVCCH505MD FVCCH505MD
| URI | m2://inv/FVCCH505MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#ZNR5 (statement). In B8A6BPP922/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
FVCDBZM0G3 FVCDBZM0G3
| URI | m2://inv/FVCDBZM0G3 |
|---|---|
| Kind | example |
| 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.27056#SQJY (example)
History
- 2026-11-01: add by m2/v0.6.15
Heloise FVCFDA8F8D
| URI | m2://inv/FVCFDA8F8D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heloise, Heloise (topic). Also Wikidata Q5656
History
- 2026-11-02: add by m2/dev
Σ-Algebra of τ-past FVCG2HZ55W
| URI | m2://inv/FVCG2HZ55W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-Algebra of τ-past, Σ-Algebra of τ-past (definition). Also Wikidata Q21044538
History
- 2026-11-02: add by m2/dev
News Corporation's FVCMW96C01
| URI | m2://inv/FVCMW96C01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#88PM, News Corporation's (unknown)
History
- 2026-11-02: add by m2/dev
Tadpole (physics) FVCNDV4YF1
| URI | m2://inv/FVCNDV4YF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#0YOZ, Tadpole (physics) (unknown)
History
- 2026-11-02: add by m2/dev
Jordan's totient function FVCS0PP4GE
| URI | m2://inv/FVCS0PP4GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan's totient function, Jordan's totient function (definition). Also Wikidata Q6276303
History
- 2026-11-02: add by m2/dev
FVCTJFYJZK FVCTJFYJZK
| URI | m2://inv/FVCTJFYJZK |
|---|---|
| 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 2506.21337#MXIX (statement). In EPZN0JTG2Z/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Mahler's conjecture FVCVZ78R30
| URI | m2://inv/FVCVZ78R30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UMRQ, Mahler's conjecture (definition)
History
- 2026-11-02: add by m2/dev
FVCWK9PT0W FVCWK9PT0W
| URI | m2://inv/FVCWK9PT0W |
|---|---|
| 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.04382#JXAX (statement). In 7VW8XD28G1/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
four dimensions FVCZQ807CT
| URI | m2://inv/FVCZQ807CT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141189761, four dimensions (unknown). Also MathWorld Four-DimensionalGeometry
History
- 2026-10-26: add by m2/dev
Lynda Carlson FVD1KW34B9
| URI | m2://inv/FVD1KW34B9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#N03D, Lynda Carlson (topic)
History
- 2026-11-02: add by m2/dev
FVD8FC0KFA FVD8FC0KFA
| URI | m2://inv/FVD8FC0KFA |
|---|---|
| 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.07963#3T5B (statement). In HAGJKEZ1CK/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10
FVDBEPBFFD FVDBEPBFFD
| URI | m2://inv/FVDBEPBFFD |
|---|---|
| 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.15831#6MFX (statement). In CVESAPNMCQ/e1, corollary 5.10
History
- 2026-10-28: add by m2/v0.4.2
FVDCVTWTA9 FVDCVTWTA9
| URI | m2://inv/FVDCVTWTA9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
FVDFBW2TDM FVDFBW2TDM
| URI | m2://inv/FVDFBW2TDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04844#8HSY (statement). In 5MX3N62ENP/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.12
Dionigi Galletto FVDFJFASHT
| URI | m2://inv/FVDFJFASHT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dionigi Galletto, Dionigi Galletto (topic). Also Wikidata Q15238555
History
- 2026-11-02: add by m2/dev
Homomorphism FVDGKMYB2P
| URI | m2://inv/FVDGKMYB2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#9I8K, Homomorphism (statement)
History
- 2026-11-02: add by m2/v0.6.18
FVDT2DNC19 FVDT2DNC19
| URI | m2://inv/FVDT2DNC19 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#MWE4 (example). In WD2NCBV9F0/e1, example 5.15
History
- 2026-10-27: add by m2/v0.3.5
sense FVDXACK69H
| URI | m2://inv/FVDXACK69H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZH5D, sense (definition)
History
- 2026-11-02: add by m2/dev
FVE228N2SX FVE228N2SX
| URI | m2://inv/FVE228N2SX |
|---|---|
| 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 1810.06028#9SRT (statement). In ZPFHH6YJG3/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Information field theory FVE5EZZ4EC
| URI | m2://inv/FVE5EZZ4EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information field theory, Information field theory (definition). Also Wikidata Q19597589
History
- 2026-11-02: add by m2/dev
Schubert polynomial FVEZA0KPEZ
| URI | m2://inv/FVEZA0KPEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schubert polynomial, Schubert polynomial (definition). Also Wikidata Q7432937
History
- 2026-11-02: add by m2/dev
FVF3JGGD4V FVF3JGGD4V
| URI | m2://inv/FVF3JGGD4V |
|---|---|
| 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 2208.05288#PVD8 (definition). In RTW3GDYPND/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Stouffer's Z FVF6WEN1AW
| URI | m2://inv/FVF6WEN1AW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#N3AU, Stouffer's Z (unknown)
History
- 2026-11-02: add by m2/dev
Distributed lag FVFB0XX6Y3
| URI | m2://inv/FVFB0XX6Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed lag, Distributed lag (definition). Also Wikidata Q5283159
History
- 2026-11-02: add by m2/dev
Animated $(n+1)$-nilpotent surjections FVFCAHYKZ9
| URI | m2://inv/FVFCAHYKZ9 |
|---|---|
| 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 2610.20801#SBZD, Animated $(n+1)$-nilpotent surjections (definition). In A1GWWGRXPA/e1, definition 1.15
History
- 2026-10-27: add by m2/v0.4.2
Hecke character FVFF1K2HYK
| URI | m2://inv/FVFF1K2HYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#6YAI, Hecke character (definition)
History
- 2026-11-02: add by m2/dev
adjoint FVFJM55QYB
| URI | m2://inv/FVFJM55QYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#NMGN, adjoint (definition)
History
- 2026-11-02: add by m2/dev
Euler–Lagrange equations FVFPY63D9B
| URI | m2://inv/FVFPY63D9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#4LHD, Euler–Lagrange equations (definition)
History
- 2026-11-02: add by m2/dev
muon FVFRF90PDT
| URI | m2://inv/FVFRF90PDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3151, muon (unknown). Also nLab muon
History
- 2026-10-26: add by m2/dev
FVFRN7TEQD FVFRN7TEQD
| URI | m2://inv/FVFRN7TEQD |
|---|---|
| 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.12053#OXRS (statement). In MQ226ETRP6/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
FVG129NC5Q FVG129NC5Q
| URI | m2://inv/FVG129NC5Q |
|---|---|
| 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.01273#NG9S (statement). In RAT41DDR51/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.12
Pairs S37--S40 FVG3BKAT52
| URI | m2://inv/FVG3BKAT52 |
|---|---|
| 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#BADW, Pairs S37--S40 (statement). In SJ5JKGH94M/e1, theorem 23
History
- 2026-10-29: add by m2/v0.4.10
Safety in numbers FVG3PGPHJ3
| URI | m2://inv/FVG3PGPHJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q1HO, Safety in numbers (definition)
History
- 2026-11-02: add by m2/dev
FVG58GV44Y FVG58GV44Y
| URI | m2://inv/FVG58GV44Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#AR9C (statement). In DPT4P2BTEW/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Inverse scattering problem FVG5EW6D2C
| URI | m2://inv/FVG5EW6D2C |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse scattering problem, Inverse scattering problem (problem). Also Wikidata Q11639409
History
- 2026-11-02: add by m2/dev
FVG9TRYHHZ FVG9TRYHHZ
| URI | m2://inv/FVG9TRYHHZ |
|---|---|
| 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 2609.20900#MD14 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Construction FVGA70NZF6
| URI | m2://inv/FVGA70NZF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solovay model#3UHY, Construction (definition)
History
- 2026-11-02: add by m2/dev
Uniform Gamma polynomial FVGAD71HMZ
| URI | m2://inv/FVGAD71HMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#ZJUK, Uniform Gamma polynomial (statement). In 8PTDFHV8SQ/e1, proposition 9.6
History
- 2026-10-28: add by m2/v0.4.3
Isoflor FVGDAMHSDV
| URI | m2://inv/FVGDAMHSDV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour line#YU3O, Isoflor (unknown)
History
- 2026-11-02: add by m2/dev
FVGHM9A5G9 FVGHM9A5G9
| URI | m2://inv/FVGHM9A5G9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#OX0Q (statement). In VTVC0TCWSB/e1, fact 6.9
History
- 2026-10-27: add by m2/v0.3.5
Professor of Logic and Rhetoric FVGJ876CY8
| URI | m2://inv/FVGJ876CY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Professor of Logic and Rhetoric, Professor of Logic and Rhetoric (definition). Also Wikidata Q7248213
History
- 2026-11-02: add by m2/dev
Explicit formula FVGMQC8BC4
| URI | m2://inv/FVGMQC8BC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli polynomials#MR5Z, Explicit formula (statement)
History
- 2026-11-02: add by m2/dev
FVGXTWVCFQ FVGXTWVCFQ
| URI | m2://inv/FVGXTWVCFQ |
|---|---|
| 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 1512.06981#NWFD (definition). In X923ZEY423/e1, definition 5.1.2
History
- 2026-10-27: add by m2/v0.3.5
Statement of the Lemma FVGYZP4DD4
| URI | m2://inv/FVGYZP4DD4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman's diamond lemma#X0Q1, Statement of the Lemma (statement)
History
- 2026-11-02: add by m2/dev
Hippasus FVH0C7T0CR
| URI | m2://inv/FVH0C7T0CR |
|---|---|
| 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 Q298860, Hippasus (unknown). Also ProofWiki Mathematician:Hippasus_of_Metapontum
- wikipedia: Wikipedia Hippasus, Hippasus (topic). Also Wikidata Q298860
History
- 2026-10-26: add by m2/dev
Liouville's theorem (Hamiltonian) FVH3J2HEYC
| URI | m2://inv/FVH3J2HEYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#0QSX, Liouville's theorem (Hamiltonian) (statement)
History
- 2026-11-02: add by m2/dev
Marching squares FVH5EB3NGW
| URI | m2://inv/FVH5EB3NGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#OJ0O, Marching squares (unknown)
History
- 2026-11-02: add by m2/dev
Entropy rate FVHEV0VZK2
| URI | m2://inv/FVHEV0VZK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy rate, Entropy rate (definition). Also Wikidata Q1345213
History
- 2026-11-02: add by m2/dev
Lagrange–d'Alembert principle FVHP13C7SQ
| URI | m2://inv/FVHP13C7SQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#RCFZ, Lagrange–d'Alembert principle (statement)
History
- 2026-11-02: add by m2/dev
FVHY9RCWTK FVHY9RCWTK
| URI | m2://inv/FVHY9RCWTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#LPER (statement). In 9604WYX0BW/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.3
FVHZF4WFMJ FVHZF4WFMJ
| URI | m2://inv/FVHZF4WFMJ |
|---|---|
| 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.02669#T9F7 (statement). In NSBSWH6XB4/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
Mills' theorem FVJ1HKAFAM
| URI | m2://inv/FVJ1HKAFAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5115048, Mills' theorem (statement). Also MathWorld MillsTheorem, ProofWiki Mills'_Theorem
History
- 2026-10-26: add by m2/dev
Conjectures FVJ27ANQEA
| URI | m2://inv/FVJ27ANQEA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin L-function#51HH, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
FVJ5V605EZ FVJ5V605EZ
| URI | m2://inv/FVJ5V605EZ |
|---|---|
| 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.31527#0BPA (statement). In ZQ2YZ4P6P5/e1, proposition 2.6
History
- 2026-10-31: add by m2/v0.5.6
FVJ8CE3ABE FVJ8CE3ABE
| URI | m2://inv/FVJ8CE3ABE |
|---|---|
| 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.05506#2B7L (statement). In FT53PMB1TE/e1, lemma 6.1.1
History
- 2026-10-29: add by m2/v0.4.10
Electric symmetries act on magnetic charges FVJCK7AYQ7
| URI | m2://inv/FVJCK7AYQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2610.03865#1S0R, Electric symmetries act on magnetic charges (statement). In G3D1YR20BJ/e1, corollary 2.17
History
- 2026-10-29: add by m2/v0.4.12
Matroid representation FVJDFX7M96
| URI | m2://inv/FVJDFX7M96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid representation, Matroid representation (definition). Also Wikidata Q6787909
History
- 2026-11-02: add by m2/dev
FVJK6PNTEC FVJK6PNTEC
| URI | m2://inv/FVJK6PNTEC |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#YFOT (statement). In 12JKZ8EN52/e1, statement 5.1.2
History
- 2026-10-27: add by m2/v0.3.5
Binary Markov product FVJRCHE44S
| URI | m2://inv/FVJRCHE44S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#E5O7, Binary Markov product (example). In HA4SZZJ831/e1, example 4.1
History
- 2026-10-28: add by m2/v0.4.2
FVJRQPMBN6 FVJRQPMBN6
| URI | m2://inv/FVJRQPMBN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#CIN8 (statement). In J7ZX3WWRQP/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
FVJYG5ZFYK FVJYG5ZFYK
| URI | m2://inv/FVJYG5ZFYK |
|---|---|
| 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 1512.06981#T02T (definition). In X923ZEY423/e1, definition 1.2.3
History
- 2026-10-27: add by m2/v0.3.5
FVK2W4ECFV FVK2W4ECFV
| URI | m2://inv/FVK2W4ECFV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08885#IGGS (definition). In B4RHB3CF12/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
FVK5AYA1N9 FVK5AYA1N9
| URI | m2://inv/FVK5AYA1N9 |
|---|---|
| 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.29699#PKBG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example FVKMDZ6P57
| URI | m2://inv/FVKMDZ6P57 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unbounded operator#9FQ8, Example (example)
History
- 2026-11-02: add by m2/dev
Frobenius theorem (differential topology) FVKPEC3C2C
| URI | m2://inv/FVKPEC3C2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#FRUF, Frobenius theorem (differential topology) (statement)
- wikipedia: Wikipedia List of differential geometry topics#PTTU, Frobenius theorem (differential topology) (statement)
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#1WF4, Frobenius theorem (differential topology) (statement)
History
- 2026-11-02: add by m2/dev
Beam search FVKPHAF76C
| URI | m2://inv/FVKPHAF76C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PGB4, Beam search (unknown)
History
- 2026-11-02: add by m2/dev
Salomé Martínez FVKQ2YXKPC
| URI | m2://inv/FVKQ2YXKPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salomé Martínez, Salomé Martínez (topic). Also Wikidata Q102208533
History
- 2026-11-02: add by m2/dev
FVKSM66F6H FVKSM66F6H
| URI | m2://inv/FVKSM66F6H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18503#0M8H (example). In RW315W172S/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
hogshead FVKTP5KA6Q
| URI | m2://inv/FVKTP5KA6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43430, hogshead (definition). Also ProofWiki Definition:Imperial/Volume/Hogshead
History
- 2026-10-26: add by m2/dev
associative magic square FVM2F1J9HC
| URI | m2://inv/FVM2F1J9HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4810177, associative magic square (unknown). Also MathWorld AssociativeMagicSquare
- wikipedia: Wikipedia Associative magic square, Associative magic square (definition). Also Wikidata Q4810177
History
- 2026-10-26: add by m2/dev
Jacob Bekenstein FVM7BF499F
| URI | m2://inv/FVM7BF499F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#XI5N, Jacob Bekenstein (unknown)
History
- 2026-11-02: add by m2/dev
Polynomial versus exponential growth FVM8GZF70H
| URI | m2://inv/FVM8GZF70H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#6HSJ, Polynomial versus exponential growth (statement). In P55JSAYR3T/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
Z-matrix FVM8R6Y2QH
| URI | m2://inv/FVM8R6Y2QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-matrix (mathematics), Z-matrix (definition). Also Wikidata Q3064361
History
- 2026-11-02: add by m2/dev
FVMB0C8ZWZ FVMB0C8ZWZ
| URI | m2://inv/FVMB0C8ZWZ |
|---|---|
| Kind | definition |
| 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#TQRJ (definition). In 7ZBQ8WGQVB/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Charles Winsor FVMHT7MFJM
| URI | m2://inv/FVMHT7MFJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#6FM5, Charles Winsor (unknown)
History
- 2026-11-02: add by m2/dev
Skunk FVMK44FZPN
| URI | m2://inv/FVMK44FZPN |
|---|---|
| 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#SMSQ, Skunk (unknown)
History
- 2026-11-02: add by m2/dev
FVMKYJ2SMP FVMKYJ2SMP
| URI | m2://inv/FVMKYJ2SMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#H752 (statement). In 1WCXV5PVZA/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Definition FVMR2GYND6
| URI | m2://inv/FVMR2GYND6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soliton#H3P0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Regret bounds for \algname FVMT54MD9E
| URI | m2://inv/FVMT54MD9E |
|---|---|
| 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.21976#C9SL, Regret bounds for \algname (statement)
History
- 2026-11-02: add by m2/v0.6.17
FVN1M834PK FVN1M834PK
| URI | m2://inv/FVN1M834PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.09840#E5M5 (statement). In Y7TWHSF2HC/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
FVN2059XKZ FVN2059XKZ
| URI | m2://inv/FVN2059XKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-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 math/0008020#CVCP (statement). In 8K466RA3HH/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
FVN311R5Z1 FVN311R5Z1
| URI | m2://inv/FVN311R5Z1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31768#9S1X (statement). In WC7ZECEE3P/e1, corollary 3.10
History
- 2026-10-31: add by m2/v0.5.6
type, empty FVN67F74MY
| URI | m2://inv/FVN67F74MY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/type-empty, type, empty (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Backus–Gilbert method FVNAV9V6P8
| URI | m2://inv/FVNAV9V6P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backus–Gilbert method, Backus–Gilbert method (definition). Also Wikidata Q4839810
History
- 2026-11-02: add by m2/dev
Braid theory FVNE4B7SA0
| URI | m2://inv/FVNE4B7SA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#VVDI, Braid theory (definition)
History
- 2026-11-02: add by m2/dev
$2$-category of elements FVNERMWY66
| URI | m2://inv/FVNERMWY66 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#EMHX, $2$-category of elements (definition). In 80S2NP05HJ/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
FVNFVMEP2C FVNFVMEP2C
| URI | m2://inv/FVNFVMEP2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#3PED (statement). In V97F4YZ8B0/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Dimitri Leemans FVNJS7C1ME
| URI | m2://inv/FVNJS7C1ME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimitri Leemans, Dimitri Leemans (topic). Also Wikidata Q87775722
History
- 2026-11-02: add by m2/dev
Sparse Target Ensemble FVNKC1Q5T7
| URI | m2://inv/FVNKC1Q5T7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#C7M9, Sparse Target Ensemble (definition). In 1F26AF81XP/e1, definition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Arakelov geometry FVNQDSX7EM
| URI | m2://inv/FVNQDSX7EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#B8P7, Arakelov geometry (definition)
History
- 2026-11-02: add by m2/dev
s FVNTBG68MZ
| URI | m2://inv/FVNTBG68MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#F79P, s (definition)
History
- 2026-11-02: add by m2/dev
Definition FVP21RKNMS
| URI | m2://inv/FVP21RKNMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#WAT0, Definition (definition)
History
- 2026-11-02: add by m2/dev
challenging FVP5V9FPX6
| URI | m2://inv/FVP5V9FPX6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-16, challenging (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Representation FVP8FW809P
| URI | m2://inv/FVP8FW809P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial permutation#9P3I, Representation (definition)
History
- 2026-11-02: add by m2/dev
Applications FVPBQYVF7E
| URI | m2://inv/FVPBQYVF7E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential integral#GERE, Applications (example)
History
- 2026-11-02: add by m2/dev
perturbation theory FVPBS88FNA
| URI | m2://inv/FVPBS88FNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10886678, perturbation theory (definition). Also nLab perturbation theory, ProofWiki Definition:Perturbation_Theory
- wikipedia: Wikipedia Perturbation theory, Perturbation theory (definition). Also Wikidata Q10886678
History
- 2026-10-26: add by m2/dev
Arora--Chlamt\'a\v{c}--Charikar FVPEBMPA9S
| URI | m2://inv/FVPEBMPA9S |
|---|---|
| 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.01071#5X9W, Arora--Chlamt\'a\v{c}--Charikar (statement). In X1YF62ZFB6/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
FVPK5P56Q8 FVPK5P56Q8
| URI | m2://inv/FVPK5P56Q8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03730#CUDP (conjecture). In 5YE2W9BE0M/e1, conjecture 4
History
- 2026-10-29: add by m2/v0.4.12
Reduction of a divisible determinant to a linear source FVPNX5QYDY
| URI | m2://inv/FVPNX5QYDY |
|---|---|
| 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#XAIL, Reduction of a divisible determinant to a linear source (statement)
History
- 2026-11-01: add by m2/v0.6.15
FVPP1BQ7JW FVPP1BQ7JW
| URI | m2://inv/FVPP1BQ7JW |
|---|---|
| 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.19535#JAF8 (statement). In MJXSE9QR4X/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
FVPQ2A466V FVPQ2A466V
| URI | m2://inv/FVPQ2A466V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
FVPRYN8WJZ FVPRYN8WJZ
| URI | m2://inv/FVPRYN8WJZ |
|---|---|
| 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 2509.10268#TCN0 (statement). In YR15TN4V4F/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Eddrachillis FVPVEW4J8X
| URI | m2://inv/FVPVEW4J8X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ETPZ, Eddrachillis (unknown)
History
- 2026-11-02: add by m2/dev
Schwarz--Pick Lemma FVPWS57X8B
| URI | m2://inv/FVPWS57X8B |
|---|---|
| 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.02935#6LJ6, Schwarz--Pick Lemma (statement). In WE2KKAMEFW/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Symmetry FVQ6Q47VNB
| URI | m2://inv/FVQ6Q47VNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rose (mathematics)#SDBN, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
FVQA1K90H4 FVQA1K90H4
| URI | m2://inv/FVQA1K90H4 |
|---|---|
| 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.39782#QLQI (statement). In JF4188WVV0/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
FVQJ1GZW4H FVQJ1GZW4H
| URI | m2://inv/FVQJ1GZW4H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#KEDH (definition). In 7V2PVZS04C/e1, definition 6.3
History
- 2026-10-31: add by m2/v0.5.6
FVQK71YH6W FVQK71YH6W
| URI | m2://inv/FVQK71YH6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10736#0DZ1 (statement). In NCYKB4QG5P/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.3
Connected set FVQRA8XT0F
| URI | m2://inv/FVQRA8XT0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#FB60, Connected set (definition)
History
- 2026-11-02: add by m2/dev
FVQTFVXT1E FVQTFVXT1E
| URI | m2://inv/FVQTFVXT1E |
|---|---|
| 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.07644#W4M0 (statement). In TFAN2DR6FD/e1, proposition 23
History
- 2026-10-27: add by m2/v0.3.5
FVR6W0W7ZR FVR6W0W7ZR
| URI | m2://inv/FVR6W0W7ZR |
|---|---|
| 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.30302#F138 (statement). In R6ABTE22G0/e1, corollary 12
History
- 2026-10-31: add by m2/v0.5.6
Standalone closed form for KRRR FVRVJ7VJ6T
| URI | m2://inv/FVRVJ7VJ6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#CEYM, Standalone closed form for KRRR (statement). In T9HZXHTQBJ/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.6
inverse scattering transform FVRXZJG3JZ
| URI | m2://inv/FVRXZJG3JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Inverse scattering transform 6GY3X4Y8X5 |
Mentions
- wikidata: Wikidata Q17098188, inverse scattering transform (unknown). Also MathWorld InverseScatteringMethod
- wikipedia: Wikipedia Inverse scattering transform, Inverse scattering transform (definition). Also Wikidata Q17098188
History
- 2026-10-26: add by m2/dev
neutron FVS1BM5FK9
| URI | m2://inv/FVS1BM5FK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2348, neutron (definition). Also nLab neutron, ProofWiki Definition:Neutron
History
- 2026-10-26: add by m2/dev
Other gluing axioms FVS1EEDCZ4
| URI | m2://inv/FVS1EEDCZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gluing axiom#HTFB, Other gluing axioms (statement)
History
- 2026-11-02: add by m2/dev
FVS1JQ6ZCM FVS1JQ6ZCM
| URI | m2://inv/FVS1JQ6ZCM |
|---|---|
| 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.04411#Z3GM (statement). In 6AY8SX3XBW/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Structural spaces and compatibility FVS3WQ014R
| URI | m2://inv/FVS3WQ014R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#C0Q7, Structural spaces and compatibility (definition). In 6FY8BVP1F3/e1, definition H.2
History
- 2026-10-29: add by m2/v0.4.12
Right-censored E-step FVS5TFD8PW
| URI | m2://inv/FVS5TFD8PW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19921#11IS, Right-censored E-step (statement)
History
- 2026-11-02: add by m2/v0.6.18
FVS92ZJC4F FVS92ZJC4F
| URI | m2://inv/FVS92ZJC4F |
|---|---|
| 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#8OC7 (statement). In WVHA7H05QC/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
stationary point FVSFKPA4YK
| URI | m2://inv/FVSFKPA4YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#F3OG, stationary point (definition)
History
- 2026-11-02: add by m2/dev
FVSGN4QZH4 FVSGN4QZH4
| URI | m2://inv/FVSGN4QZH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#definition-7 (definition). In RZP28ERRZV, definition, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
Examples FVSKBAJXB9
| URI | m2://inv/FVSKBAJXB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypersimplex#YXXE, Examples (example)
History
- 2026-11-02: add by m2/dev
FVSWFY7CKV FVSWFY7CKV
| URI | m2://inv/FVSWFY7CKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04516#EU8Z (statement). In GZZBR0FX50/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
The exact flat-group reduction FVSX4FV6QM
| URI | m2://inv/FVSX4FV6QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#3P14, The exact flat-group reduction (statement). In DR7BK4CQ0V/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.3
List of spirals FVT4HZYR5D
| URI | m2://inv/FVT4HZYR5D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of spirals, List of spirals (topic). Also Wikidata Q65074505
History
- 2026-11-02: add by m2/dev
Geometric conjectures FVT79GZW54
| URI | m2://inv/FVT79GZW54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands program#LD11, Geometric conjectures (statement)
History
- 2026-11-02: add by m2/dev
Plot-connectedness and the shape FVT7JC9W8W
| URI | m2://inv/FVT7JC9W8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.26270#1GPM, Plot-connectedness and the shape (definition)
History
- 2026-11-01: add by m2/v0.6.15
FVT7TDT175 FVT7TDT175
| URI | m2://inv/FVT7TDT175 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04993#Z9AU (statement). In JQBWZPXKAV/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
FVTJCXRA80 FVTJCXRA80
| URI | m2://inv/FVTJCXRA80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#OM9A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riemannian distance FVTP6TKCY6
| URI | m2://inv/FVTP6TKCY6 |
|---|---|
| Kind | definition |
| 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 2610.17004#X49P, Riemannian distance (definition). In XNJGNMS6H0/e1, definition B.5
History
- 2026-10-28: add by m2/v0.4.2
Depth FVTPWETM8W
| URI | m2://inv/FVTPWETM8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#FLZM, Depth (definition). In WD2NCBV9F0/e1, definition 13.8
History
- 2026-10-27: add by m2/v0.3.5
FVV0GZ8NAQ FVV0GZ8NAQ
| URI | m2://inv/FVV0GZ8NAQ |
|---|---|
| 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 2011.14561#HXNZ (statement). In V2XJJJX1Z8/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
FVV1KNRZCB FVV1KNRZCB
| URI | m2://inv/FVV1KNRZCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2112.10058#WDCM (statement). In YQKKA47GS9/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Derived Hecke algebra, {Venkatesh FVV1NMSDCR
| URI | m2://inv/FVV1NMSDCR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21278#Q495, Derived Hecke algebra, {Venkatesh (definition). In DCH1JJGGYH/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.2
FVV6QARD1H FVV6QARD1H
| URI | m2://inv/FVV6QARD1H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#L15Y (definition). In J7ZX3WWRQP/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
FVV93AAMN4 FVV93AAMN4
| URI | m2://inv/FVV93AAMN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#4XES (statement). In 5ZPSZFE08Q/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
FVV9BENPBC FVV9BENPBC
| URI | m2://inv/FVV9BENPBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14204#MNPZ (statement). In GZAY1Y12YD/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
Examples FVVMFTRCVG
| URI | m2://inv/FVVMFTRCVG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibered manifold#FJZW, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties FVVYGBSK6M
| URI | m2://inv/FVVYGBSK6M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#R1VH, Properties (statement)
History
- 2026-11-02: add by m2/dev
FVW17V2ZNP FVW17V2ZNP
| URI | m2://inv/FVW17V2ZNP |
|---|---|
| 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.18562#ES51 (statement). In 793KXAR957/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
FVW21PBMG9 FVW21PBMG9
| URI | m2://inv/FVW21PBMG9 |
|---|---|
| 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.32104#TW1S (statement). In YRJSYFXNM8/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
Examples FVW3S2SFS1
| URI | m2://inv/FVW3S2SFS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmichael's totient function conjecture#0VXK, Examples (example)
History
- 2026-11-02: add by m2/dev
Sphere eversion FVW5V4DPGX
| URI | m2://inv/FVW5V4DPGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#BAJI, Sphere eversion (definition)
History
- 2026-11-02: add by m2/dev
Journal of Number Theory FVW6FQAKQX
| URI | m2://inv/FVW6FQAKQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Number Theory, Journal of Number Theory (definition). Also Wikidata Q4041902
History
- 2026-11-02: add by m2/dev
FVW6XKEDJC FVW6XKEDJC
| URI | m2://inv/FVW6XKEDJC |
|---|---|
| Kind | statement |
| 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#PXTV (statement)
History
- 2026-11-01: add by m2/v0.6.15
FVW9EWWC40 FVW9EWWC40
| URI | m2://inv/FVW9EWWC40 |
|---|---|
| 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.39269#C96H (statement). In HS4X20TX33/e1, theorem 0.37
History
- 2026-10-30: add by m2/v0.4.12
Crossing number FVW9HTTVB2
| URI | m2://inv/FVW9HTTVB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#GLN5, Crossing number (definition)
History
- 2026-11-02: add by m2/dev
A. N. Paršin FVWAC7WR92
| URI | m2://inv/FVWAC7WR92 |
|---|---|
| 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#VOIX, A. N. Paršin (topic)
History
- 2026-11-02: add by m2/dev
Anthony Bartholomay FVWBM2GEZA
| URI | m2://inv/FVWBM2GEZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony Bartholomay, Anthony Bartholomay (topic). Also Wikidata Q24203233
History
- 2026-11-02: add by m2/dev
Normal probability plot FVWFNBECRG
| URI | m2://inv/FVWFNBECRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RD6Z, Normal probability plot (definition)
History
- 2026-11-02: add by m2/dev
Example FVWGS7X1YB
| URI | m2://inv/FVWGS7X1YB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple linear regression#I2AX, Example (example)
History
- 2026-11-02: add by m2/dev
FVWNA0GYTH FVWNA0GYTH
| URI | m2://inv/FVWNA0GYTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#TP5T (statement). In TTRSZVT4VX/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
FVWNEM5FQ1 FVWNEM5FQ1
| URI | m2://inv/FVWNEM5FQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#HDLX (statement). In JS5FKV1S9T/e1, theorem G.1
History
- 2026-10-27: add by m2/v0.3.5
Kirillov model FVWP9D1J5V
| URI | m2://inv/FVWP9D1J5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirillov model, Kirillov model (definition). Also Wikidata Q6415284
History
- 2026-11-02: add by m2/dev
FVWS5B1FVR FVWS5B1FVR
| URI | m2://inv/FVWS5B1FVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#PQ5Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
homomorphism FVX4DV93ZZ
| URI | m2://inv/FVX4DV93ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#Y2C6, homomorphism (definition)
History
- 2026-11-02: add by m2/dev
Rayleigh–Bénard convection FVX9PFESKB
| URI | m2://inv/FVX9PFESKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Bénard convection, Rayleigh–Bénard convection (definition). Also Wikidata Q1019460
History
- 2026-11-02: add by m2/dev
FVXAY21X04 FVXAY21X04
| URI | m2://inv/FVXAY21X04 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#2VXU (definition). In Q5Z178SAHP/e1, definition 7.4
History
- 2026-10-30: add by m2/v0.4.12
Extensions FVXEJ04BZ7
| URI | m2://inv/FVXEJ04BZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myerson–Satterthwaite theorem#BTRM, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Definition FVXH89W58M
| URI | m2://inv/FVXH89W58M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#MBCH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Asad Ali Abidi FVXJS4AETC
| URI | m2://inv/FVXJS4AETC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#NS1P, Asad Ali Abidi (unknown)
History
- 2026-11-02: add by m2/dev
FVXQS109V1 FVXQS109V1
| URI | m2://inv/FVXQS109V1 |
|---|---|
| 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.28495#9DWR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Structure theorem FVXVNHK5YC
| URI | m2://inv/FVXVNHK5YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition algebra#P84L, Structure theorem (statement)
History
- 2026-11-02: add by m2/dev
FVXWEGH36J FVXWEGH36J
| URI | m2://inv/FVXWEGH36J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#1FOH (statement). In PP8BEHWK33/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Anna Romanowska FVXYDQW3X6
| URI | m2://inv/FVXYDQW3X6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Romanowska, Anna Romanowska (topic). Also Wikidata Q102340976
History
- 2026-11-02: add by m2/dev
FVY1Z5MJK3 FVY1Z5MJK3
| URI | m2://inv/FVY1Z5MJK3 |
|---|---|
| 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 2107.00792#4CMA (statement). In TD16A541ZN/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
polar homology FVY3A7BVKM
| URI | m2://inv/FVY3A7BVKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7209084, polar homology (unknown). Also nLab polar homology
- wikipedia: Wikipedia Polar homology, Polar homology (definition). Also Wikidata Q7209084
History
- 2026-10-26: add by m2/dev
Knödel number FVY7EY45RB
| URI | m2://inv/FVY7EY45RB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4346700, Knödel number (unknown). Also MathWorld KnoedelNumbers
- wikipedia: Wikipedia Knödel number, Knödel number (definition). Also Wikidata Q4346700
History
- 2026-10-26: add by m2/dev
FVYFDG5EEX FVYFDG5EEX
| URI | m2://inv/FVYFDG5EEX |
|---|---|
| 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.35398#H7Q4 (statement). In NAJCCHYXR6/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
finite graph FVYNNR6F79
| URI | m2://inv/FVYNNR6F79 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110679812, finite graph (concept). Also MathWorld FiniteGraph, nLab finite graph, ProofWiki Definition:Finite_Graph
History
- 2026-10-26: add by m2/dev
Charles Newton Little FVYV6N54Z1
| URI | m2://inv/FVYV6N54Z1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Newton Little, Charles Newton Little (topic). Also Wikidata Q21664687
History
- 2026-11-02: add by m2/dev
FVYY3PT4GP FVYY3PT4GP
| URI | m2://inv/FVYY3PT4GP |
|---|---|
| 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 1607.01095#T475 (statement). In W3T1ZAT3GC/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.3.5
Thaine's theorem FVYYVGFZJ3
| URI | m2://inv/FVYYVGFZJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thaine's theorem, Thaine's theorem (statement). Also Wikidata Q25303664
History
- 2026-11-02: add by m2/dev
Giuseppe Mingione FVZ0ZGAG2H
| URI | m2://inv/FVZ0ZGAG2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Mingione, Giuseppe Mingione (topic). Also Wikidata Q3771009
History
- 2026-11-02: add by m2/dev
atlas FVZ1GQAWHW
| URI | m2://inv/FVZ1GQAWHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Atlas J7P32JQTVE |
Mentions
- wikidata: Wikidata Q1303310, atlas (unknown). Also MathWorld Atlas
- wikipedia: Wikipedia Atlas (topology), Atlas (definition). Also Wikidata Q1303310
History
- 2026-10-26: add by m2/dev
FVZ1SXMEE4 FVZ1SXMEE4
| URI | m2://inv/FVZ1SXMEE4 |
|---|---|
| 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 0902.4887#XH0E (statement). In MYQ05J9R20/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
natural isomorphism FVZ33ZKQQK
| URI | m2://inv/FVZ33ZKQQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110535030, natural isomorphism (definition). Also MathWorld NaturalIsomorphism, nLab natural isomorphism, ProofWiki Definition:Natural_Isomorphism
History
- 2026-10-26: add by m2/dev
FVZ55TZ8MF FVZ55TZ8MF
| URI | m2://inv/FVZ55TZ8MF |
|---|---|
| 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.12736#WGH0 (statement). In 5350Q52F6P/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Kleene logic FVZG27573P
| URI | m2://inv/FVZG27573P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-valued logic#DK67, Kleene logic (unknown)
History
- 2026-11-02: add by m2/dev
axiom of power set FVZH3BH74M
| URI | m2://inv/FVZH3BH74M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1077811, axiom of power set (statement). Also MathWorld AxiomofthePowerSet, ProofWiki Axiom:Axiom_of_Powers
- wikipedia: Wikipedia Axiom of power set, Axiom of power set (statement). Also Wikidata Q1077811
History
- 2026-10-26: add by m2/dev
Association for Women in Mathematics FVZKM2PA1H
| URI | m2://inv/FVZKM2PA1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association for Women in Mathematics, Association for Women in Mathematics (definition). Also Wikidata Q2867685
History
- 2026-11-02: add by m2/dev
Compact metric space FVZQ76VA4M
| URI | m2://inv/FVZQ76VA4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact space#R7KW, Compact metric space (unknown)
History
- 2026-11-02: add by m2/dev
modulus FVZRS1Z7NB
| URI | m2://inv/FVZRS1Z7NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#D8MN, modulus (definition)
History
- 2026-11-02: add by m2/dev
Gaspar Lax FVZZ24A1FE
| URI | m2://inv/FVZZ24A1FE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaspar Lax, Gaspar Lax (topic). Also Wikidata Q1495249
History
- 2026-11-02: add by m2/dev