Inventory rows MF
The cards of the rows of the inventory whose ids start with MF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
MF03E0THCB MF03E0THCB
| URI | m2://inv/MF03E0THCB |
|---|---|
| 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.24314#FUIP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equivalent Definition MF04V0EF5R
| URI | m2://inv/MF04V0EF5R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#OXUO, Equivalent Definition (definition)
History
- 2026-11-01: add by m2/v0.6.15
MF0H78HKTP MF0H78HKTP
| URI | m2://inv/MF0H78HKTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.13715#D83Q (statement). In FAVGZDVJS9/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
System Research MF0YEV796G
| URI | m2://inv/MF0YEV796G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon Pask#LA9V, System Research (unknown)
History
- 2026-11-02: add by m2/dev
MF145GTH8J MF145GTH8J
| URI | m2://inv/MF145GTH8J |
|---|---|
| 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.22190#4OTY (statement). In AM6Y5W3HGG/e1, theorem 10
History
- 2026-10-27: add by m2/v0.4.0
Applications MF15HJ0MC0
| URI | m2://inv/MF15HJ0MC0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lafforgue's theorem#ZNN6, Applications (example)
History
- 2026-11-02: add by m2/dev
MF1760E9VQ MF1760E9VQ
| URI | m2://inv/MF1760E9VQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21960#89ZN (definition). In QX77AN49J0/e1, definition 8.12
History
- 2026-10-27: add by m2/v0.4.2
MF17ABECS5 MF17ABECS5
| URI | m2://inv/MF17ABECS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20568#FT7O (statement)
History
- 2026-11-02: add by m2/v0.6.18
MF1A17YNBB MF1A17YNBB
| URI | m2://inv/MF1A17YNBB |
|---|---|
| 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#LSPH (statement). In X7YYWCZFTV/e1, corollary 2.4
History
- 2026-10-30: add by m2/v0.4.12
Formal statement MF21PFVZ73
| URI | m2://inv/MF21PFVZ73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson's lemma#3PZR, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Daniel Goldston MF22XGS3PM
| URI | m2://inv/MF22XGS3PM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Goldston, Daniel Goldston (topic). Also Wikidata Q607250
History
- 2026-11-02: add by m2/dev
Newton's law of cooling MF27BPXNPM
| URI | m2://inv/MF27BPXNPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumped-element model#5UF8, Newton's law of cooling (statement)
History
- 2026-11-02: add by m2/dev
Controlled transfer errors MF27H5NTP3
| URI | m2://inv/MF27H5NTP3 |
|---|---|
| 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.16248#2M7Z, Controlled transfer errors (statement). In TP61DYMBMK/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Clustered planarity MF2CZN0FHJ
| URI | m2://inv/MF2CZN0FHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clustered planarity, Clustered planarity (definition). Also Wikidata Q18206054
History
- 2026-11-02: add by m2/dev
Damgård–Jurik cryptosystem MF2D4QAXWE
| URI | m2://inv/MF2D4QAXWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Damgård–Jurik cryptosystem, Damgård–Jurik cryptosystem (definition). Also Wikidata Q1158421
History
- 2026-11-02: add by m2/dev
MF2FTZKPAG MF2FTZKPAG
| URI | m2://inv/MF2FTZKPAG |
|---|---|
| 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.10840#X89F (statement). In JSJQEPY71E/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.3
MF2NMYR590 MF2NMYR590
| URI | m2://inv/MF2NMYR590 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06310#6GB5 (definition). In WR5S1V9V8J/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Novikov MF2QGHK563
| URI | m2://inv/MF2QGHK563 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#KDPQ, Novikov (topic)
History
- 2026-11-02: add by m2/dev
Definition MF2RN9BPDJ
| URI | m2://inv/MF2RN9BPDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary unit#DIEJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Reminiscence bump MF2TGEBVAP
| URI | m2://inv/MF2TGEBVAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#FYHB, Reminiscence bump (unknown)
History
- 2026-11-02: add by m2/dev
MF2TTYQRRZ MF2TTYQRRZ
| URI | m2://inv/MF2TTYQRRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#VYJP (statement). In 2BET1RE1F6/e1, proposition 3.21
History
- 2026-10-31: add by m2/v0.5.6
linear ordering MF32FCECK7
| URI | m2://inv/MF32FCECK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#72GA, linear ordering (definition)
History
- 2026-11-02: add by m2/dev
MF39FAYXKG MF39FAYXKG
| URI | m2://inv/MF39FAYXKG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#2HOJ (definition)
History
- 2026-11-02: add by m2/v0.6.17
453 (number) MF3AE70TB5
| URI | m2://inv/MF3AE70TB5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#U7QH, 453 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Example MF3D1F5JPV
| URI | m2://inv/MF3D1F5JPV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Checking whether a coin is fair#OYU6, Example (example)
History
- 2026-11-02: add by m2/dev
MF3FVNRYFT MF3FVNRYFT
| URI | m2://inv/MF3FVNRYFT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#70S7 (definition). In 304QK565QF/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
MF3JM531PE MF3JM531PE
| URI | m2://inv/MF3JM531PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#YPEJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles Anthony Micchelli MF3N40QRQF
| URI | m2://inv/MF3N40QRQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Anthony Micchelli, Charles Anthony Micchelli (topic). Also Wikidata Q95222875
History
- 2026-11-02: add by m2/dev
Properties MF42NDXQ0M
| URI | m2://inv/MF42NDXQ0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knockoffs (statistics)#VGYN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications MF42TPC0C3
| URI | m2://inv/MF42TPC0C3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal function#69A6, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties MF4B8RDH3W
| URI | m2://inv/MF4B8RDH3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered vector space#1XX1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Morris Copeland MF4CWMJ2Z1
| URI | m2://inv/MF4CWMJ2Z1 |
|---|---|
| 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#5HVI, Morris Copeland (unknown)
History
- 2026-11-02: add by m2/dev
Correlation function MF4E4693BS
| URI | m2://inv/MF4E4693BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation function (astronomy), Correlation function (definition). Also Wikidata Q5172850
History
- 2026-11-02: add by m2/dev
Robert Henderson MF4KR4QVQZ
| URI | m2://inv/MF4KR4QVQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UN51, Robert Henderson (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm MF4M4AA9ZY
| URI | m2://inv/MF4M4AA9ZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic fast Fourier transform#9K9T, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Paracompact MF4VQB10QT
| URI | m2://inv/MF4VQB10QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#ZXGF, Paracompact (definition)
History
- 2026-11-02: add by m2/dev
Alternative definitions MF4Z673CD2
| URI | m2://inv/MF4Z673CD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing machine#3AA9, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
MF55K0MKVZ MF55K0MKVZ
| URI | m2://inv/MF55K0MKVZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#7AF2 (definition)
History
- 2026-11-02: add by m2/v0.6.18
MF58WP91P7 MF58WP91P7
| URI | m2://inv/MF58WP91P7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#Y35H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Journal of Multivariate Analysis MF5AA8ZBDM
| URI | m2://inv/MF5AA8ZBDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Multivariate Analysis, Journal of Multivariate Analysis (definition). Also Wikidata Q6295609
History
- 2026-11-02: add by m2/dev
MF5MY15B5D MF5MY15B5D
| URI | m2://inv/MF5MY15B5D |
|---|---|
| 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.01737#HGAL (statement). In M4JGP708F4/e1, fact 2.23
History
- 2026-10-29: add by m2/v0.4.12
MF5NVZ5DX1 MF5NVZ5DX1
| URI | m2://inv/MF5NVZ5DX1 |
|---|---|
| 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#RQ7K (statement). In GZAY1Y12YD/e1, theorem G
History
- 2026-10-28: add by m2/v0.4.2
MF5P9PVQKB MF5P9PVQKB
| URI | m2://inv/MF5P9PVQKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#WB68 (statement). In 6ASPPVJP5M/e1, theorem 6
History
- 2026-10-31: add by m2/v0.5.6
John Tate MF5PT4T6KD
| URI | m2://inv/MF5PT4T6KD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0S97, John Tate (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L9W8, John Tate (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YPG1, John Tate (topic)
History
- 2026-11-02: add by m2/dev
Pretentious distance MF5QGGSKRZ
| URI | m2://inv/MF5QGGSKRZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#FI1H, Pretentious distance (definition). In 1K7M5TD0M2/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
MF608RYWS8 MF608RYWS8
| URI | m2://inv/MF608RYWS8 |
|---|---|
| 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.17527#SQEZ (statement). In GWSBQ7MN49/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
MF62374F94 MF62374F94
| URI | m2://inv/MF62374F94 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Formulation MF6A1S45K3
| URI | m2://inv/MF6A1S45K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rindler coordinates#TGAP, Formulation (definition)
History
- 2026-11-02: add by m2/dev
The maximal estimate MF6KXRX0W2
| URI | m2://inv/MF6KXRX0W2 |
|---|---|
| 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.16668#RELX, The maximal estimate (statement). In W7GPN2AHHM/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Evolutionarily stable strategy MF6SMVBR3B
| URI | m2://inv/MF6SMVBR3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evolutionarily stable strategy, Evolutionarily stable strategy (definition). Also Wikidata Q1069992
History
- 2026-11-02: add by m2/dev
Notation MF700ZZ6B0
| URI | m2://inv/MF700ZZ6B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padé table#262G, Notation (definition)
History
- 2026-11-02: add by m2/dev
Generalizations MF73BG525V
| URI | m2://inv/MF73BG525V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone's theorem on one-parameter unitary groups#IVW0, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Distributivity (order theory) MF75TRV9BJ
| URI | m2://inv/MF75TRV9BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#ZSYM, Distributivity (order theory) (definition)
History
- 2026-11-02: add by m2/dev
Thebais Secunda MF77F8VSMM
| URI | m2://inv/MF77F8VSMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EPU7, Thebais Secunda (unknown)
History
- 2026-11-02: add by m2/dev
Definition MF77P7KBJ8
| URI | m2://inv/MF77P7KBJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form for free groups and free product of groups#RYV3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition MF78QVTZDT
| URI | m2://inv/MF78QVTZDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein geometry#1W0X, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
East Chicago MF7B4JZRAA
| URI | m2://inv/MF7B4JZRAA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#AFSV, East Chicago (unknown)
History
- 2026-11-02: add by m2/dev
Dempster–Shafer theory MF7CFNM3CQ
| URI | m2://inv/MF7CFNM3CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dempster–Shafer theory, Dempster–Shafer theory (definition). Also Wikidata Q285997
History
- 2026-11-02: add by m2/dev
MF7GY2SY98 MF7GY2SY98
| URI | m2://inv/MF7GY2SY98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20366#F7R7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
tree MF7P6K2P7X
| URI | m2://inv/MF7P6K2P7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#JOFU, tree (definition)
History
- 2026-11-02: add by m2/dev
MF7VQWS1AC MF7VQWS1AC
| URI | m2://inv/MF7VQWS1AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.35605#NQRV (statement). In X1KWTAA3M2/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
MF7XT3ZN81 MF7XT3ZN81
| URI | m2://inv/MF7XT3ZN81 |
|---|---|
| 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.20134#LBHB (statement)
History
- 2026-11-02: add by m2/v0.6.18
MF7YRN6ZTP MF7YRN6ZTP
| URI | m2://inv/MF7YRN6ZTP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#5WP7 (example). In Z7E16PFFCP/e1, example 5.15
History
- 2026-10-30: add by m2/v0.4.12
MF7ZQZN05R MF7ZQZN05R
| URI | m2://inv/MF7ZQZN05R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#DZ8M (statement). In QJ6AEW93RB/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
\coqident{Partiality}{PCF}{adequacy_relation MF80HVHCN0
| URI | m2://inv/MF80HVHCN0 |
|---|---|
| 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 1904.09810#ABHB, \coqident{Partiality}{PCF}{adequacy_relation (definition). In T1VFA7TXPA/e1, definition 43
History
- 2026-10-27: add by m2/v0.3.5
Noble polyhedron MF81P90Q50
| URI | m2://inv/MF81P90Q50 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noble polyhedron, Noble polyhedron (object). Also Wikidata Q7045824
History
- 2026-11-02: add by m2/dev
SSS representation of LTI-SDE-induced kernels MF851G7XNB
| URI | m2://inv/MF851G7XNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05856#R4X0, SSS representation of LTI-SDE-induced kernels (statement). In WMXXXFH1M4/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
MF87T52AJ4 MF87T52AJ4
| URI | m2://inv/MF87T52AJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06310#M74N (statement). In WR5S1V9V8J/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
Definition MF8BGFH1NE
| URI | m2://inv/MF8BGFH1NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kontsevich invariant#TA9U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mach angle MF8D68THAX
| URI | m2://inv/MF8D68THAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mach wave#JR6A, Mach angle (unknown)
History
- 2026-11-02: add by m2/dev
MF8FBY6N1J MF8FBY6N1J
| URI | m2://inv/MF8FBY6N1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06310#ETZU (statement). In WR5S1V9V8J/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.10
Zariski topology MF8RHRD7SH
| URI | m2://inv/MF8RHRD7SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#PI5Q, Zariski topology (definition)
- wikipedia: Wikipedia List of general topology topics#XSJV, Zariski topology (definition)
- wikipedia: Wikipedia List of topologies#D6FE, Zariski topology (definition)
- wikipedia: Wikipedia List of examples in general topology#8Y7B, Zariski topology (definition)
History
- 2026-11-02: add by m2/dev
Examples of generated ideals MF8SQYFFAH
| URI | m2://inv/MF8SQYFFAH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-12, Examples of generated ideals (example). In RZP28ERRZV, example, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Thomae function MF99W8P697
| URI | m2://inv/MF99W8P697 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.2.5/thomae-function, Thomae function (concept). In E59CDZA4DP, index, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Conditional Kac--Rice formula in fixed dimension MF9A30PBRX
| URI | m2://inv/MF9A30PBRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32695#EXQJ, Conditional Kac--Rice formula in fixed dimension (statement). In VQSF2E35BX/e1, proposition C.2
History
- 2026-10-31: add by m2/v0.5.6
MF9CJ771DN MF9CJ771DN
| URI | m2://inv/MF9CJ771DN |
|---|---|
| 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.27715#DO0J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moments Accountant Composition MF9CYX826J
| URI | m2://inv/MF9CYX826J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13631#EBTY, Moments Accountant Composition (statement). In N6PQQSYN73/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Ruth Margaret Williams MF9HJR381R
| URI | m2://inv/MF9HJR381R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Margaret Williams, Ruth Margaret Williams (topic). Also Wikidata Q87656203
History
- 2026-11-02: add by m2/dev
split MF9JX09BWK
| URI | m2://inv/MF9JX09BWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#5KBC, split (definition)
History
- 2026-11-02: add by m2/dev
Alpha beta filter MF9KHJ7PVK
| URI | m2://inv/MF9KHJ7PVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha beta filter, Alpha beta filter (definition). Also Wikidata Q4735154
History
- 2026-11-02: add by m2/dev
Principal component analysis MF9MB1H84R
| URI | m2://inv/MF9MB1H84R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J4CS, Principal component analysis (definition)
History
- 2026-11-02: add by m2/dev
MF9MJR7X2P MF9MJR7X2P
| URI | m2://inv/MF9MJR7X2P |
|---|---|
| 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.05867#3MZ8 (statement). In E2TP3AKTNV/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Properties MF9TPEJ6R5
| URI | m2://inv/MF9TPEJ6R5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semimartingale#1R70, Properties (statement)
History
- 2026-11-02: add by m2/dev
Alexander Givental MF9W141826
| URI | m2://inv/MF9W141826 |
|---|---|
| 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#GO74, Alexander Givental (topic)
History
- 2026-11-02: add by m2/dev
MFA3Z1BBBT MFA3Z1BBBT
| URI | m2://inv/MFA3Z1BBBT |
|---|---|
| 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.25742#X3E9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MFA91HD9JG MFA91HD9JG
| URI | m2://inv/MFA91HD9JG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 2.1.5
History
- 2026-11-01: add by m2/v0.6.13
Example MFAA79KS2F
| URI | m2://inv/MFAA79KS2F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (relational algebra)#W1LM, Example (example)
History
- 2026-11-02: add by m2/dev
Existence of a positive radial ground state MFAP2EG6G4
| URI | m2://inv/MFAP2EG6G4 |
|---|---|
| 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#279U, Existence of a positive radial ground state (statement). In DPT4P2BTEW/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Generic flatness MFAP9TZY1K
| URI | m2://inv/MFAP9TZY1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic flatness, Generic flatness (definition). Also Wikidata Q5532671
History
- 2026-11-02: add by m2/dev
Integral clearing of poles MFAYMYA594
| URI | m2://inv/MFAYMYA594 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#6BT0, Integral clearing of poles (statement). In 328KGRNN0W/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
\bf Supermartingale convergence MFAYRYZP3C
| URI | m2://inv/MFAYRYZP3C |
|---|---|
| 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 2312.14445#6Z01, \bf Supermartingale convergence (statement). In V56MKF0KW2/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Ingram Olkin MFAZSFESV7
| URI | m2://inv/MFAZSFESV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingram Olkin, Ingram Olkin (topic). Also Wikidata Q6033052
History
- 2026-11-02: add by m2/dev
MFB44BE6W0 MFB44BE6W0
| URI | m2://inv/MFB44BE6W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#F6ER (statement). In ERHQDB8M41/e1, corollary 4.3
History
- 2026-10-31: add by m2/v0.5.6
Gaussian convolution inequality MFB5BVBB8B
| URI | m2://inv/MFB5BVBB8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#UVCJ, Gaussian convolution inequality (statement). In HTWSDDAWGS/e1, lemma A.10
History
- 2026-10-29: add by m2/v0.4.10
Definition MFBA1Y1KS0
| URI | m2://inv/MFBA1Y1KS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley graph#HCHJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Median triangle MFBKFVRCVJ
| URI | m2://inv/MFBKFVRCVJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97320164, Median triangle (concept). Also MathWorld MedianTriangle
- wikipedia: Wikipedia Median triangle, Median triangle (definition). Also Wikidata Q97320164
History
- 2026-10-26: add by m2/dev
MFBPJRCQ56 MFBPJRCQ56
| URI | m2://inv/MFBPJRCQ56 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#5CXQ (example). In CB35ZBBBPT/e1, example 3.16
History
- 2026-10-31: add by m2/v0.5.6
MFBQC5EES1 MFBQC5EES1
| URI | m2://inv/MFBQC5EES1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-6-1-area.xml#example-2 (example). In 907G4C4EJ1, example, section 6.1.3
History
- 2026-11-01: add by m2/v0.6.13
MFC0MXMD3E MFC0MXMD3E
| URI | m2://inv/MFC0MXMD3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#T10T (statement). In VD4JP4HVBX/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Measurable, everywhere defined, and causal representatives MFC22HKR5G
| URI | m2://inv/MFC22HKR5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#PGI2, Measurable, everywhere defined, and causal representatives (statement). In KM3Q791JY0/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.4.2
Examples MFC2VN7A42
| URI | m2://inv/MFC2VN7A42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cut locus#6PNR, Examples (example)
History
- 2026-11-02: add by m2/dev
MFC8XC4BZF MFC8XC4BZF
| URI | m2://inv/MFC8XC4BZF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#P3KZ (definition). In 9GMTVSTAVN/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
Inflation homomorphisms MFCG0EB6XV
| URI | m2://inv/MFCG0EB6XV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#FI5B, Inflation homomorphisms (definition). In TB1294GY5X/e1, definition B.7
History
- 2026-10-27: add by m2/v0.4.2
MFCRY22QD4 MFCRY22QD4
| URI | m2://inv/MFCRY22QD4 |
|---|---|
| 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.19464#MILQ (statement). In G8JCZ109A9/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
MFCWJ498P4 MFCWJ498P4
| URI | m2://inv/MFCWJ498P4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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 1001.1196#BHIR (definition). In BCB418GV9C/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Derivative-free optimization MFCZ35JDBY
| URI | m2://inv/MFCZ35JDBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative-free optimization, Derivative-free optimization (definition). Also Wikidata Q16977029
History
- 2026-11-02: add by m2/dev
MFD8NT6FDC MFD8NT6FDC
| URI | m2://inv/MFD8NT6FDC |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#VZHX (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Darii MFDC053JCD
| URI | m2://inv/MFDC053JCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syllogism#XXL1, Darii (unknown)
History
- 2026-11-02: add by m2/dev
MFDH3DPW2X MFDH3DPW2X
| URI | m2://inv/MFDH3DPW2X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
Applications MFDJHQRENR
| URI | m2://inv/MFDJHQRENR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compressible flow#JIBK, Applications (example)
History
- 2026-11-02: add by m2/dev
Toeplitz operator MFDM3PX9C2
| URI | m2://inv/MFDM3PX9C2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Toeplitz operator GQ0X3R3WM2 |
Mentions
- wikidata: Wikidata Q7812935, Toeplitz operator (concept). Also nLab Toeplitz operator
- wikipedia: Wikipedia Toeplitz operator, Toeplitz operator (definition). Also Wikidata Q7812935
History
- 2026-10-26: add by m2/dev
Properties MFDRK3JE3K
| URI | m2://inv/MFDRK3JE3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octagon#MIVF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Subgroup generated by an element MFE8ZGEKMX
| URI | m2://inv/MFE8ZGEKMX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-19, Subgroup generated by an element (example). In RZP28ERRZV, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Uses MFEB25EKXE
| URI | m2://inv/MFEB25EKXE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UPGMA#DYXS, Uses (example)
History
- 2026-11-02: add by m2/dev
Diagonal Poisson structure MFECQ3GJ0V
| URI | m2://inv/MFECQ3GJ0V |
|---|---|
| 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.08091#G19A, Diagonal Poisson structure (definition). In MS13WE3CSD/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Integer values MFEFJFKV8Q
| URI | m2://inv/MFEFJFKV8Q |
|---|---|
| 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.02806#O2R4, Integer values (statement). In F4A354Y5NC/e1, corollary 8.1
History
- 2026-10-29: add by m2/v0.4.12
MFEMYGBFG5 MFEMYGBFG5
| URI | m2://inv/MFEMYGBFG5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#ZF7G (example). In RK0ZMDJ23T/e1, example 1.1.9
History
- 2026-10-31: add by m2/v0.5.6
MFETPXPV5P MFETPXPV5P
| URI | m2://inv/MFETPXPV5P |
|---|---|
| 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#B8YU (statement). In 793KXAR957/e1, corollary 4.12
History
- 2026-10-28: add by m2/v0.4.2
Dirichlet stability criterion MFEVJNWJRV
| URI | m2://inv/MFEVJNWJRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#MKNM, Dirichlet stability criterion (unknown)
History
- 2026-11-02: add by m2/dev
MFEZ9V4H5X MFEZ9V4H5X
| URI | m2://inv/MFEZ9V4H5X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-41 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
Grothendieck constant MFEZCCZFZW
| URI | m2://inv/MFEZCCZFZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#2029, Grothendieck constant (statement)
History
- 2026-11-02: add by m2/dev
Tiendeveen MFF2TJ760D
| URI | m2://inv/MFF2TJ760D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YNT3, Tiendeveen (unknown)
History
- 2026-11-02: add by m2/dev
Helen C. Chase MFFBX06B53
| URI | m2://inv/MFFBX06B53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen C. Chase, Helen C. Chase (topic). Also Wikidata Q102581574
History
- 2026-11-02: add by m2/dev
Function field of an algebraic variety MFFEFG27H0
| URI | m2://inv/MFFEFG27H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function field of an algebraic variety, Function field of an algebraic variety (definition). Also Wikidata Q5508773
History
- 2026-11-02: add by m2/dev
Complementary source endpoint MFFGXWRK0Z
| URI | m2://inv/MFFGXWRK0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22345#NBW4, Complementary source endpoint (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gaisi Takeuti MFFHW72481
| URI | m2://inv/MFFHW72481 |
|---|---|
| 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 Q873653, Gaisi Takeuti (unknown). Also ProofWiki Mathematician:Gaisi_Takeuti
- wikipedia: Wikipedia Gaisi Takeuti, Gaisi Takeuti (topic). Also Wikidata Q873653
History
- 2026-10-26: add by m2/dev
An infinite family with strict separation MFFMRD9BZW
| URI | m2://inv/MFFMRD9BZW |
|---|---|
| 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.23781#RH1Y, An infinite family with strict separation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition MFFPQ9DEGK
| URI | m2://inv/MFFPQ9DEGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurer rose#UODU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Volume of an operator-norm section MFFWNC6Z60
| URI | m2://inv/MFFWNC6Z60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#Y932, Volume of an operator-norm section (statement). In 9YAE8FNQST/e1, proposition 9.7
History
- 2026-10-30: add by m2/v0.4.12
Implementations MFFYPYAKJN
| URI | m2://inv/MFFYPYAKJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alias method#FE8Q, Implementations (definition)
History
- 2026-11-02: add by m2/dev
MFG9R798J7 MFG9R798J7
| URI | m2://inv/MFG9R798J7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#Y9VX (example)
History
- 2026-11-01: add by m2/v0.6.15
Fengyan Li MFGBSBFZ5Q
| URI | m2://inv/MFGBSBFZ5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fengyan Li, Fengyan Li (topic). Also Wikidata Q102271747
History
- 2026-11-02: add by m2/dev
Theorem 4.6 and Eq. (4.35) of , Theorem 10, p. 665 MFGTEAQEM1
| URI | m2://inv/MFGTEAQEM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#HKE5, Theorem 4.6 and Eq. (4.35) of , Theorem 10, p. 665 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quine atom MFGWFNE6GN
| URI | m2://inv/MFGWFNE6GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urelement#XROT, Quine atom (unknown)
History
- 2026-11-02: add by m2/dev
MFGXY0QMNZ MFGXY0QMNZ
| URI | m2://inv/MFGXY0QMNZ |
|---|---|
| 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 2609.30519#TMKF (statement). In GQQZNRYK15/e1, proposition 3.18
History
- 2026-10-31: add by m2/v0.5.6
Calibration plot MFGZVVRJTY
| URI | m2://inv/MFGZVVRJTY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic classification#YCIH, Calibration plot (unknown)
History
- 2026-11-02: add by m2/dev
MFH2QXMQ0Q MFH2QXMQ0Q
| URI | m2://inv/MFH2QXMQ0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#lemma-1 (statement). In E59CDZA4DP, lemma, section 1.3.5
History
- 2026-11-01: add by m2/v0.6.13
MFH2SBQTD2 MFH2SBQTD2
| URI | m2://inv/MFH2SBQTD2 |
|---|---|
| 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#5O0W (statement). In TTRSZVT4VX/e1, theorem 2.20
History
- 2026-10-27: add by m2/v0.4.2
MFH3TAP1CX MFH3TAP1CX
| URI | m2://inv/MFH3TAP1CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#H9XN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dynamic panel model MFH445JE4S
| URI | m2://inv/MFH445JE4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panel analysis#XV83, Dynamic panel model (unknown)
History
- 2026-11-02: add by m2/dev
Polygon MFH8R9MZ7D
| URI | m2://inv/MFH8R9MZ7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JQ1G, Polygon (definition)
History
- 2026-11-02: add by m2/dev
Uses MFH9K51Z47
| URI | m2://inv/MFH9K51Z47 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verhoeff algorithm#ABWT, Uses (example)
History
- 2026-11-02: add by m2/dev
Eigenvector-eigenvalue identity MFHBZGM09G
| URI | m2://inv/MFHBZGM09G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#NPQU, Eigenvector-eigenvalue identity (statement)
History
- 2026-11-02: add by m2/dev
Johann Gustav Hermes MFHEJ2ARG3
| URI | m2://inv/MFHEJ2ARG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Gustav Hermes, Johann Gustav Hermes (topic). Also Wikidata Q91674
History
- 2026-11-02: add by m2/dev
Alec Naylor Dakin MFHSCNAH5G
| URI | m2://inv/MFHSCNAH5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#8DKU, Alec Naylor Dakin (unknown)
History
- 2026-11-02: add by m2/dev
MFHV697031 MFHV697031
| URI | m2://inv/MFHV697031 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.15212#FU2S (definition). In W99XBH6X5N/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.4.0
MFJVTX0D8S MFJVTX0D8S
| URI | m2://inv/MFJVTX0D8S |
|---|---|
| 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.27078#3KBA (statement)
History
- 2026-11-01: add by m2/v0.6.15
MFK0X7T1AN MFK0X7T1AN
| URI | m2://inv/MFK0X7T1AN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-13 (example). In VNMV985MXX, example, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Properties MFK1MGSS5H
| URI | m2://inv/MFK1MGSS5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mian–Chowla sequence#XOTQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Consistency with the physical model MFK60MERDS
| URI | m2://inv/MFK60MERDS |
|---|---|
| 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.38031#GJ6A, Consistency with the physical model (statement). In RYSPG5TWYM/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
Blondel's theorem MFKEGMNG2Z
| URI | m2://inv/MFKEGMNG2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 78-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4927458, Blondel's theorem (statement). Also Wikidata Q4927458
- thousand_plus: thousand_plus Q4927458, Blondel's theorem (statement). Also Wikidata Q4927458, Wikipedia Blondel's theorem
- wikipedia: Wikipedia Blondel's theorem, Blondel's theorem (statement). Also Wikidata Q4927458
History
- 2026-10-26: add by m2/dev
MFKPHMS1RF MFKPHMS1RF
| URI | m2://inv/MFKPHMS1RF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#EWMP (definition). In X1AGBB90EH/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Trisectrix of Maclaurin MFKYRFFGZP
| URI | m2://inv/MFKYRFFGZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FX2M, Trisectrix of Maclaurin (definition)
- wikipedia: Wikipedia List of curves#KH7R, Trisectrix of Maclaurin (definition)
History
- 2026-11-02: add by m2/dev
MFMH59BJEQ MFMH59BJEQ
| URI | m2://inv/MFMH59BJEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#VL5A (statement). In FK89DQ9J4S/e1, corollary 5.11
History
- 2026-10-30: add by m2/v0.4.12
MFMKG7NHYB MFMKG7NHYB
| URI | m2://inv/MFMKG7NHYB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-11 (proof). In E59CDZA4DP, proof, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
MFMKWAK6D2 MFMKWAK6D2
| URI | m2://inv/MFMKWAK6D2 |
|---|---|
| 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.21047#QFQ8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Possibility theory MFMRQQ257A
| URI | m2://inv/MFMRQQ257A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#41A7, Possibility theory (definition)
History
- 2026-11-02: add by m2/dev
MFMX8XENKX MFMX8XENKX
| URI | m2://inv/MFMX8XENKX |
|---|---|
| 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.22847#JT16 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MFN2JSD1F4 MFN2JSD1F4
| URI | m2://inv/MFN2JSD1F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#J9GQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
MFNCHJKM9F MFNCHJKM9F
| URI | m2://inv/MFNCHJKM9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#MJH9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kurt Gödel MFNKXC68DN
| URI | m2://inv/MFNKXC68DN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9QBD, Kurt Gödel (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EEEF, Kurt Gödel (topic)
- wikipedia: Wikipedia List of German mathematicians#PCYA, Kurt Gödel (topic)
History
- 2026-11-02: add by m2/dev
Scalar curvature MFNVFGK821
| URI | m2://inv/MFNVFGK821 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#NW25, Scalar curvature (definition)
History
- 2026-11-02: add by m2/dev
Classical test theory MFNWVZ82MG
| URI | m2://inv/MFNWVZ82MG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AKGG, Classical test theory (topic)
History
- 2026-11-02: add by m2/dev
foundations of mathematics MFNX09J842
| URI | m2://inv/MFNX09J842 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Foundations of mathematics EFFRJFW67Y |
Mentions
- wikidata: Wikidata Q833585, foundations of mathematics (topic). Also nLab foundation of mathematics
- wikipedia: Wikipedia Foundations of mathematics, Foundations of mathematics (definition). Also Wikidata Q833585
History
- 2026-10-26: add by m2/dev
MFNZBNJCF4 MFNZBNJCF4
| URI | m2://inv/MFNZBNJCF4 |
|---|---|
| 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.01354#AK3O (statement). In BWD76W20W8/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.12
MFP1J5Y4YJ MFP1J5Y4YJ
| URI | m2://inv/MFP1J5Y4YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#JJSX (statement). In QG9ATXTKJ6/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
Definition MFPBP6896R
| URI | m2://inv/MFPBP6896R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Little q-Laguerre polynomials#V3AI, Definition (definition)
History
- 2026-11-02: add by m2/dev
exact couple MFPGD8CS88
| URI | m2://inv/MFPGD8CS88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Exact couple VXDPP4EJPG |
Mentions
- wikidata: Wikidata Q25098609, exact couple (unknown). Also nLab exact couple
- wikipedia: Wikipedia Exact couple, Exact couple (definition). Also Wikidata Q25098609
History
- 2026-10-26: add by m2/dev
MFPGKW6QRM MFPGKW6QRM
| URI | m2://inv/MFPGKW6QRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#W2TM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem MFPX75DFD8
| URI | m2://inv/MFPX75DFD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#G5P0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MFQACW9D6G MFQACW9D6G
| URI | m2://inv/MFQACW9D6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#ZWUP (statement). In N4M6B8EMCW/e1, theorem 1.6
History
- 2026-10-31: add by m2/v0.5.6
Silverman MFQEHVHRM9
| URI | m2://inv/MFQEHVHRM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20273#R8TQ, Silverman (statement). In AEGHDSD5S7/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Steinhaus theorem MFQP93T972
| URI | m2://inv/MFQP93T972 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#A4SE, Steinhaus theorem (statement)
History
- 2026-11-02: add by m2/dev
MFQQ1WR629 MFQQ1WR629
| URI | m2://inv/MFQQ1WR629 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#IP32 (problem). In F1BM3Q8125/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Methods MFR5R2GS21
| URI | m2://inv/MFR5R2GS21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shrinkage (statistics)#NP4P, Methods (definition)
History
- 2026-11-02: add by m2/dev
Sequential continuity MFR9761XKM
| URI | m2://inv/MFR9761XKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#thm:seq_cont, Sequential continuity (statement). In RZP28ERRZV, theorem, section 100.3
History
- 2026-11-01: add by m2/v0.6.13
Positive refactorization into the minimum-height pattern MFRB4AC7JP
| URI | m2://inv/MFRB4AC7JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#8EQ3, Positive refactorization into the minimum-height pattern (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions MFRBWNV320
| URI | m2://inv/MFRBWNV320 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of trigonometric identities#ADJ3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples MFRDCA0XDH
| URI | m2://inv/MFRDCA0XDH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ovoid (projective geometry)#ALQ2, Examples (example)
History
- 2026-11-02: add by m2/dev
Majorana spinor MFRFE69YNB
| URI | m2://inv/MFRFE69YNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21086905, Majorana spinor (unknown). Also nLab Majorana spinor
History
- 2026-10-26: add by m2/dev
Examples MFRV6GBV2B
| URI | m2://inv/MFRV6GBV2B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-Frobenius ring#Z594, Examples (example)
History
- 2026-11-02: add by m2/dev
MFRX3WQZFC MFRX3WQZFC
| URI | m2://inv/MFRX3WQZFC |
|---|---|
| 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.26041#S9T8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Boltzmann constant MFSM263H9E
| URI | m2://inv/MFSM263H9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5962, Boltzmann constant (definition). Also ProofWiki Definition:Boltzmann's_Constant
History
- 2026-10-26: add by m2/dev
Stitches MFSX7T0G5P
| URI | m2://inv/MFSX7T0G5P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01240#8JX1, Stitches (definition). In XD5HCP8DHF/e1, definition 10
History
- 2026-10-29: add by m2/v0.4.12
MFT1MD3G22 MFT1MD3G22
| URI | m2://inv/MFT1MD3G22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#FSM2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rocket City Math League MFT2VKDSGK
| URI | m2://inv/MFT2VKDSGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#FM29, Rocket City Math League (definition)
- wikipedia: Wikipedia List of mathematics competitions#RLPN, Rocket City Math League (definition)
History
- 2026-11-02: add by m2/dev
MFT60X2EX3 MFT60X2EX3
| URI | m2://inv/MFT60X2EX3 |
|---|---|
| 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 2407.05730#E03B (statement). In VQ7STN4KDC/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
MFT80EWKBV MFT80EWKBV
| URI | m2://inv/MFT80EWKBV |
|---|---|
| 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 2610.02495#HPS7 (statement). In T4S7XVAJJC/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.12
MFTHA774VY MFTHA774VY
| URI | m2://inv/MFTHA774VY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29537#MCAD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lorentz attractor MFTNVP79S7
| URI | m2://inv/MFTNVP79S7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenz system#JX4F, Lorentz attractor (unknown)
History
- 2026-11-02: add by m2/dev
Havel–Hakimi algorithm MFTXDRQ556
| URI | m2://inv/MFTXDRQ556 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Havel–Hakimi algorithm, Havel–Hakimi algorithm (definition). Also Wikidata Q18207665
History
- 2026-11-02: add by m2/dev
Fano surface MFV2PQ2K5A
| URI | m2://inv/MFV2PQ2K5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fano surface, Fano surface (definition). Also Wikidata Q5434078
History
- 2026-11-02: add by m2/dev
W. Frahm MFV6X5CD14
| URI | m2://inv/MFV6X5CD14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7QHW, W. Frahm (topic)
History
- 2026-11-02: add by m2/dev
Pathwise ergodic theorem under \(\mbK_{\vartheta;\omega}\ MFV9XZHBNN
| URI | m2://inv/MFV9XZHBNN |
|---|---|
| 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.40096#ZH8Y, Pathwise ergodic theorem under \(\mbK_{\vartheta;\omega}\ (statement). In XFE35F9NEV/e1, corollary 1.3
History
- 2026-10-30: add by m2/v0.4.12
Ginibre inequality MFVBAWCXAD
| URI | m2://inv/MFVBAWCXAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#JPNY, Ginibre inequality (statement)
History
- 2026-11-02: add by m2/dev
MFVMRSH9K0 MFVMRSH9K0
| URI | m2://inv/MFVMRSH9K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18287#FV34 (statement). In ZXZN6RMN38/e1, theorem 16
History
- 2026-10-28: add by m2/v0.4.2
MFVZHF5B7X MFVZHF5B7X
| URI | m2://inv/MFVZHF5B7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#B9OD (statement). In 5E9G06XJKC/e1, lemma D.6
History
- 2026-10-28: add by m2/v0.4.2
Hypothesis tests for interactions MFW197C6A3
| URI | m2://inv/MFW197C6A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interaction (statistics)#CPAW, Hypothesis tests for interactions (statement)
History
- 2026-11-02: add by m2/dev
MFW7G7MA7Z MFW7G7MA7Z
| URI | m2://inv/MFW7G7MA7Z |
|---|---|
| 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.21632#PGL6 (statement). In Q4RZTN2EX6/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
MFW7QCA790 MFW7QCA790
| URI | m2://inv/MFW7QCA790 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.16706#18QN (statement). In JSRVKPT87E/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Properties MFWB6GZ0K2
| URI | m2://inv/MFWB6GZ0K2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ducci sequence#U19R, Properties (statement)
History
- 2026-11-02: add by m2/dev
MFWF13G6BY MFWF13G6BY
| URI | m2://inv/MFWF13G6BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#SQ6D (statement). In GW23NX78SB/e1, lemma 2.19
History
- 2026-10-28: add by m2/v0.4.2
MFWFVCJFRR MFWFVCJFRR
| URI | m2://inv/MFWFVCJFRR |
|---|---|
| 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 2410.02139#52QU (statement). In TJ1NTK3KJW/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
MFWJPNBXZ9 MFWJPNBXZ9
| URI | m2://inv/MFWJPNBXZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#GK6O (statement). In DDA62XQTWW/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
N. G. W. H. Beeger MFWTWDM4BC
| URI | m2://inv/MFWTWDM4BC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N. G. W. H. Beeger, N. G. W. H. Beeger (topic). Also Wikidata Q1406249
History
- 2026-11-02: add by m2/dev
PS Power and Sample Size MFXAM4VQPV
| URI | m2://inv/MFXAM4VQPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PS Power and Sample Size, PS Power and Sample Size (definition). Also Wikidata Q17145523
History
- 2026-11-02: add by m2/dev
Tolerance graph MFXDP76HFH
| URI | m2://inv/MFXDP76HFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolerance graph, Tolerance graph (definition). Also Wikidata Q85809941
History
- 2026-11-02: add by m2/dev
MFXNSMS74F MFXNSMS74F
| URI | m2://inv/MFXNSMS74F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.01197#TQ3I (statement). In Z36XFKVTS0/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.5
MFXS5BJZA7 MFXS5BJZA7
| URI | m2://inv/MFXS5BJZA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#DROM (statement). In SV36P5P5Z3/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Proposition 3 MFXV5RAM9P
| URI | m2://inv/MFXV5RAM9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#DYEW, Proposition 3 (statement)
History
- 2026-11-02: add by m2/dev
HHSs admit coarse median structures MFY6EDW0RJ
| URI | m2://inv/MFY6EDW0RJ |
|---|---|
| Kind | example |
| 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.09162#ZN4O, HHSs admit coarse median structures (example). In TAPS8P2VYS/e1, example 1.26
History
- 2026-10-29: add by m2/v0.4.10
Floyd–Warshall algorithm MFYE4JNY4J
| URI | m2://inv/MFYE4JNY4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1047576, Floyd–Warshall algorithm (unknown). Also MathWorld Floyd-WarshallAlgorithm
- wikipedia: Wikipedia Floyd–Warshall algorithm, Floyd–Warshall algorithm (definition). Also Wikidata Q1047576
History
- 2026-10-26: add by m2/dev
Observational error MFYENMEJFJ
| URI | m2://inv/MFYENMEJFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HUGO, Observational error (definition)
- wikipedia: Wikipedia List of probability topics#HAWP, Observational error (definition)
History
- 2026-11-02: add by m2/dev
Special Cases MFYJYF7PM0
| URI | m2://inv/MFYJYF7PM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional additive model#BIQ9, Special Cases (statement)
History
- 2026-11-02: add by m2/dev
Paolo Pizzetti MFYK9JK7Y9
| URI | m2://inv/MFYK9JK7Y9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DZ2M, Paolo Pizzetti (unknown)
History
- 2026-11-02: add by m2/dev
Examples MFYPAKW5WQ
| URI | m2://inv/MFYPAKW5WQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homeomorphism#MRSC, Examples (example)
History
- 2026-11-02: add by m2/dev
deviant logic MFYRFAWNHT
| URI | m2://inv/MFYRFAWNHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#G8FO, deviant logic (definition)
History
- 2026-11-02: add by m2/dev
Key generation $\Kgen$ MFYTCM8JBD
| URI | m2://inv/MFYTCM8JBD |
|---|---|
| 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.38668#PG44, Key generation $\Kgen$ (definition). In VB1EZ9K6YW/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Binary minimum kernel MFYW64JEBP
| URI | m2://inv/MFYW64JEBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#BUDP, Binary minimum kernel (statement). In E7W2HDNEKJ/e1, lemma 7.33
History
- 2026-10-30: add by m2/v0.4.12
Maxim Zabzine MFZ08T9ZP1
| URI | m2://inv/MFZ08T9ZP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64038643, Maxim Zabzine (unknown). Also nLab Maxim Zabzine
History
- 2026-10-26: add by m2/dev
Kantsaywhere MFZ7592GGT
| URI | m2://inv/MFZ7592GGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Galton#CJL1, Kantsaywhere (unknown)
History
- 2026-11-02: add by m2/dev
LOO envelope and attainment MFZA93KDDW
| URI | m2://inv/MFZA93KDDW |
|---|---|
| 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.07721#MMYV, LOO envelope and attainment (statement). In QMJDN66F5N/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
tautological system MFZB7GJ8N8
| URI | m2://inv/MFZB7GJ8N8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#I18N, tautological system (example). In PF5JJ9DS8Q/e1, example 2.2.5
History
- 2026-10-28: add by m2/v0.4.2
MFZEF790G3 MFZEF790G3
| URI | m2://inv/MFZEF790G3 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1805.04646#HRAB (proof). In WDDY7P9T66/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Perfect six-qudit code on $\mathbb{Z}_5$ MFZJ0284SE
| URI | m2://inv/MFZJ0284SE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#B59B, Perfect six-qudit code on $\mathbb{Z}_5$ (example). In YZNK67K060/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.12
Bernoulli's triangle MFZKR01FXS
| URI | m2://inv/MFZKR01FXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27997208, Bernoulli's triangle (unknown). Also MathWorld BernoulliTriangle
- wikipedia: Wikipedia Bernoulli's triangle, Bernoulli's triangle (definition). Also Wikidata Q27997208
History
- 2026-10-26: add by m2/dev
MFZNGTKR4J MFZNGTKR4J
| URI | m2://inv/MFZNGTKR4J |
|---|---|
| Kind | definition |
| 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 2111.07409#IRM8 (definition). In KWH4QJDPWC/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.4.0
MFZPHA75EQ MFZPHA75EQ
| URI | m2://inv/MFZPHA75EQ |
|---|---|
| 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.14555#TMY9 (statement). In NHW0VEJ09F/e1, proposition B.3
History
- 2026-10-28: add by m2/v0.4.2
Examples MFZSH0ZDNP
| URI | m2://inv/MFZSH0ZDNP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tournament solution#Q0VL, Examples (example)
History
- 2026-11-02: add by m2/dev
Systematic SID Decoder MFZY75ASAQ
| URI | m2://inv/MFZY75ASAQ |
|---|---|
| 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.37578#854U, Systematic SID Decoder (definition). In D7NDCWSDJE/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
Ulrica Wilson MFZYCRZDWP
| URI | m2://inv/MFZYCRZDWP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrica Wilson, Ulrica Wilson (topic). Also Wikidata Q57059022
History
- 2026-11-02: add by m2/dev
MFZZDZZ3CQ MFZZDZZ3CQ
| URI | m2://inv/MFZZDZZ3CQ |
|---|---|
| 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.11292#C2OO (statement). In Y35XMETFV7/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.3