Inventory rows FZ
The cards of the rows of the inventory whose ids start with FZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FZ04T06T6R FZ04T06T6R
| URI | m2://inv/FZ04T06T6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2503.00560#I5RA (statement). In KH1H3TSWPS/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.6
FZ081PSAY9 FZ081PSAY9
| URI | m2://inv/FZ081PSAY9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#prob:geometric (exercise). In RZP28ERRZV, problem, section 32.8
History
- 2026-11-01: add by m2/v0.6.13
FZ0AQKVPG9 FZ0AQKVPG9
| URI | m2://inv/FZ0AQKVPG9 |
|---|---|
| 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#78B8 (statement). In NHW0VEJ09F/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Optic equation FZ0FGTWVRM
| URI | m2://inv/FZ0FGTWVRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optic equation, Optic equation (definition). Also Wikidata Q21072626
History
- 2026-11-02: add by m2/dev
Applications FZ0FN8R5YE
| URI | m2://inv/FZ0FN8R5YE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptography#XCTS, Applications (example)
History
- 2026-11-02: add by m2/dev
Weakening of Substitution is Well-Typed FZ0HJHYFHD
| URI | m2://inv/FZ0HJHYFHD |
|---|---|
| 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.21131#U5OV, Weakening of Substitution is Well-Typed (statement). In CPYWHRTPKC/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
FZ0MDBPQ4Y FZ0MDBPQ4Y
| URI | m2://inv/FZ0MDBPQ4Y |
|---|---|
| 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#IGFQ (statement). In AM6Y5W3HGG/e1, fact 13
History
- 2026-10-27: add by m2/v0.4.0
FZ15N2DHMV FZ15N2DHMV
| URI | m2://inv/FZ15N2DHMV |
|---|---|
| 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.05776#WXTN (statement). In AFSG70BF7S/e1, corollary 8
History
- 2026-10-29: add by m2/v0.4.10
FZ15YSW99J FZ15YSW99J
| URI | m2://inv/FZ15YSW99J |
|---|---|
| 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#W0NL (statement). In YRJS76169Z/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.2
FZ1D8F1V7A FZ1D8F1V7A
| URI | m2://inv/FZ1D8F1V7A |
|---|---|
| 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 2507.05417#2342 (statement). In RGHZ863Q26/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Definition FZ1DVD7PWK
| URI | m2://inv/FZ1DVD7PWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic mean#017O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example FZ1E0T0YRA
| URI | m2://inv/FZ1E0T0YRA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subpaving#E5DH, Example (example)
History
- 2026-11-02: add by m2/dev
Transactions of the New York Academy of Sciences FZ1J436MVD
| URI | m2://inv/FZ1J436MVD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15766642, Transactions of the New York Academy of Sciences (unknown). Also ProofWiki Book:Journal/Transactions_of_the_New_York_Academy_of_Sciences
History
- 2026-10-26: add by m2/dev
Full KLM invariance FZ1S4T6H6X
| URI | m2://inv/FZ1S4T6H6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#47U8, Full KLM invariance (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZ1WKSCZ1C FZ1WKSCZ1C
| URI | m2://inv/FZ1WKSCZ1C |
|---|---|
| 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#0NRE (statement). In 2X2A6MT0QD/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
FZ1XJKZNHN FZ1XJKZNHN
| URI | m2://inv/FZ1XJKZNHN |
|---|---|
| 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.15217#3JCK (statement). In G70Q2FB591/e1, proposition 3.23
History
- 2026-10-28: add by m2/v0.4.2
Method FZ1ZDQV61J
| URI | m2://inv/FZ1ZDQV61J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Ritz method#R0ES, Method (definition)
History
- 2026-11-02: add by m2/dev
Properties FZ1ZN1JRNE
| URI | m2://inv/FZ1ZN1JRNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardioid#53RD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties FZ20ZXYDB3
| URI | m2://inv/FZ20ZXYDB3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation matrix#N5JL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples FZ22YBC6CZ
| URI | m2://inv/FZ22YBC6CZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-covered graph#J5YK, Examples (example)
History
- 2026-11-02: add by m2/dev
FZ298F9K82 FZ298F9K82
| URI | m2://inv/FZ298F9K82 |
|---|---|
| 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#NWYB (statement). In GW23NX78SB/e1, theorem 3.27
History
- 2026-10-28: add by m2/v0.4.2
Christopher Donald Sogge FZ2F45NN5S
| URI | m2://inv/FZ2F45NN5S |
|---|---|
| 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#6VOS, Christopher Donald Sogge (unknown)
History
- 2026-11-02: add by m2/dev
Definition FZ2MHVX10H
| URI | m2://inv/FZ2MHVX10H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive recursive set function#WA58, Definition (definition)
History
- 2026-11-02: add by m2/dev
Automorphic descent FZ2V3FSQSJ
| URI | m2://inv/FZ2V3FSQSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands program#EDF7, Automorphic descent (unknown)
History
- 2026-11-02: add by m2/dev
Fujita Sadasuke FZ2VKE3T0F
| URI | m2://inv/FZ2VKE3T0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fujita Sadasuke, Fujita Sadasuke (topic). Also Wikidata Q5507492
History
- 2026-11-02: add by m2/dev
Dag Prawitz FZ32ZN73FR
| URI | m2://inv/FZ32ZN73FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#6KTR, Dag Prawitz (topic)
History
- 2026-11-02: add by m2/dev
Definition FZ335ZM79F
| URI | m2://inv/FZ335ZM79F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Besicovitch inequality#G8KD, Definition (definition)
History
- 2026-11-02: add by m2/dev
FZ33A5KJG7 FZ33A5KJG7
| URI | m2://inv/FZ33A5KJG7 |
|---|---|
| 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.11441#QP6R (statement). In RNXV4Q58TY/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
Conditioning affine sources FZ39KST21V
| URI | m2://inv/FZ39KST21V |
|---|---|
| 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 2610.02407#8HXG, Conditioning affine sources (statement). In ZZER8ZBSCR/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Scientific calculator FZ3C8N5FXR
| URI | m2://inv/FZ3C8N5FXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific calculator, Scientific calculator (definition). Also Wikidata Q2933722
History
- 2026-11-02: add by m2/dev
FZ3EM4VR0K FZ3EM4VR0K
| URI | m2://inv/FZ3EM4VR0K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-4 (example). In Y91XFCEVHQ, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
FZ3H15TCWB FZ3H15TCWB
| URI | m2://inv/FZ3H15TCWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#MYJQ (statement). In WNDHZVY4WK/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Scalar-plus-strictly-singular criterion FZ3M88QGCT
| URI | m2://inv/FZ3M88QGCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38396#BD0K, Scalar-plus-strictly-singular criterion (statement). In FGNNVKQR1Z/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
FZ425AR42C FZ425AR42C
| URI | m2://inv/FZ425AR42C |
|---|---|
| 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.31269#5I86 (example). In ZPT9XCCAPQ/e1, example 3.3.6
History
- 2026-10-31: add by m2/v0.5.6
Continuity across the vertical boundary FZ43PPYGBJ
| URI | m2://inv/FZ43PPYGBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#J43D, Continuity across the vertical boundary (statement). In P3RTT99C41/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
equivalence classes FZ46RTH8QG
| URI | m2://inv/FZ46RTH8QG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.13/equivalence-classes, equivalence classes (concept). In QKM9DD2H56, index, section B.13
History
- 2026-11-01: add by m2/v0.6.13
Mathematical chess problem FZ4BAG7T20
| URI | m2://inv/FZ4BAG7T20 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical chess problem, Mathematical chess problem (problem). Also Wikidata Q492157
History
- 2026-11-02: add by m2/dev
Visual analogue scale FZ4EEXK1YF
| URI | m2://inv/FZ4EEXK1YF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual analogue scale, Visual analogue scale (definition). Also Wikidata Q1362526
History
- 2026-11-02: add by m2/dev
Gady Kozma FZ5D573E07
| URI | m2://inv/FZ5D573E07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gady Kozma, Gady Kozma (topic). Also Wikidata Q13714343
History
- 2026-11-02: add by m2/dev
FZ5FHTQN33 FZ5FHTQN33
| URI | m2://inv/FZ5FHTQN33 |
|---|---|
| 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.27941#IQDL (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZ5WSBFHSX FZ5WSBFHSX
| URI | m2://inv/FZ5WSBFHSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#Y2WT (statement). In 1SQH3PTYMD/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Icelandic Junior College Mathematics Competition FZ61Z0H3VT
| URI | m2://inv/FZ61Z0H3VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icelandic Junior College Mathematics Competition, Icelandic Junior College Mathematics Competition (definition). Also Wikidata Q40065581
History
- 2026-11-02: add by m2/dev
Relativistic Momentum FZ65N7EY06
| URI | m2://inv/FZ65N7EY06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Momentum#5L1Z, Relativistic Momentum (unknown)
History
- 2026-11-02: add by m2/dev
FZ65YPQNQC FZ65YPQNQC
| URI | m2://inv/FZ65YPQNQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#DKBX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nikiel's conjecture FZ67E569EY
| URI | m2://inv/FZ67E569EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikiel's conjecture, Nikiel's conjecture (statement). Also Wikidata Q65067845
History
- 2026-11-02: add by m2/dev
Product-resolvent formula FZ6ASW15GP
| URI | m2://inv/FZ6ASW15GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#02KN, Product-resolvent formula (statement). In 9S7HGSEX6Q/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Example FZ6D923PT5
| URI | m2://inv/FZ6D923PT5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block design#6Y4T, Example (example)
History
- 2026-11-02: add by m2/dev
FZ6KVV7HFN FZ6KVV7HFN
| URI | m2://inv/FZ6KVV7HFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#TL04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZ6MJ9RCFT FZ6MJ9RCFT
| URI | m2://inv/FZ6MJ9RCFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10372#LO5E (statement). In P77W283VXT/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
FZ6NYVM97A FZ6NYVM97A
| URI | m2://inv/FZ6NYVM97A |
|---|---|
| Kind | definition |
| 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 2308.05066#RAAJ (definition). In 1QSCT53ZED/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
FZ6SFMZDSD FZ6SFMZDSD
| URI | m2://inv/FZ6SFMZDSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 27.1
History
- 2026-11-01: add by m2/v0.6.13
FZ6YG9QN7X FZ6YG9QN7X
| URI | m2://inv/FZ6YG9QN7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#claim-2 (statement). In VNMV985MXX, claim, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
FZ702DVENM FZ702DVENM
| URI | m2://inv/FZ702DVENM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#IY1O (definition). In PA6JQDSKQT/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
FZ728M8PQT FZ728M8PQT
| URI | m2://inv/FZ728M8PQT |
|---|---|
| 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.03071#5KAL (statement). In Z2M4D55R57/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
FZ73TMHC1R FZ73TMHC1R
| URI | m2://inv/FZ73TMHC1R |
|---|---|
| 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.15472#07UP (statement). In 5Z3FH46YSY/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
FZ758ST4TS FZ758ST4TS
| URI | m2://inv/FZ758ST4TS |
|---|---|
| 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.37897#VON0 (statement). In RBQ5FNCVNZ/e1, lemma 8.5
History
- 2026-10-30: add by m2/v0.4.12
FZ76HJ1D6Z FZ76HJ1D6Z
| URI | m2://inv/FZ76HJ1D6Z |
|---|---|
| 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.21692#9JVY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fred Jegerlehner FZ778SQTQD
| URI | m2://inv/FZ778SQTQD |
|---|---|
| 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 Q58448637, Fred Jegerlehner (unknown). Also nLab Fred Jegerlehner
History
- 2026-10-26: add by m2/dev
FZ77DDJG82 FZ77DDJG82
| URI | m2://inv/FZ77DDJG82 |
|---|---|
| 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.11619#MK7H (definition). In HT2K76Y9WS/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Shapiro--Godefroy criterion FZ7BXZJWHC
| URI | m2://inv/FZ7BXZJWHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#7J6K, Shapiro--Godefroy criterion (statement). In PHXJ87HKYB/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
FZ7WJMGWBD FZ7WJMGWBD
| URI | m2://inv/FZ7WJMGWBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#QMQA (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Joseph Gallian FZ7XZJZZZA
| URI | m2://inv/FZ7XZJZZZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Gallian, Joseph Gallian (topic). Also Wikidata Q10643020
History
- 2026-11-02: add by m2/dev
Non-determinism FZ80B89DKF
| URI | m2://inv/FZ80B89DKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#679A, Non-determinism (unknown)
History
- 2026-11-02: add by m2/dev
FZ84RK812P FZ84RK812P
| URI | m2://inv/FZ84RK812P |
|---|---|
| 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.20422#D8C8 (statement). In HCH89W5Y2C/e1, fact
History
- 2026-10-27: add by m2/v0.4.2
Baire space FZ8578YTZ2
| URI | m2://inv/FZ8578YTZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Baire space of sequences P2WS16HKD7 |
Mentions
- wikidata: Wikidata Q803936, Baire space (unknown). Also nLab Baire space
- wikipedia: Wikipedia Baire space (set theory), Baire space (definition). Also Wikidata Q803936
History
- 2026-10-26: add by m2/dev
Furuta pendulum FZ85PXY6TC
| URI | m2://inv/FZ85PXY6TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Furuta pendulum, Furuta pendulum (definition). Also Wikidata Q5509824
History
- 2026-11-02: add by m2/dev
FZ878FJ3VE FZ878FJ3VE
| URI | m2://inv/FZ878FJ3VE |
|---|---|
| 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.28011#QPON (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZ94CQA93V FZ94CQA93V
| URI | m2://inv/FZ94CQA93V |
|---|---|
| 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#21VF (statement). In V97F4YZ8B0/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
FZ95T1Y1ZS FZ95T1Y1ZS
| URI | m2://inv/FZ95T1Y1ZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prop:sound (statement). In PKGMM3P5QY, prop, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
FZ9KE4TPBX FZ9KE4TPBX
| URI | m2://inv/FZ9KE4TPBX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 34.1
History
- 2026-11-01: add by m2/v0.6.13
FZ9PMXVMBM FZ9PMXVMBM
| URI | m2://inv/FZ9PMXVMBM |
|---|---|
| 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 2610.07092#YCFL (statement). In JWNYJVH8XG/e1, theorem 6.7
History
- 2026-10-29: add by m2/v0.4.10
Examples FZ9QVF7E6C
| URI | m2://inv/FZ9QVF7E6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular matrix#8M6E, Examples (example)
History
- 2026-11-02: add by m2/dev
Algebraic graph theory FZ9S4K1QSH
| URI | m2://inv/FZ9S4K1QSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3LIQ, Algebraic graph theory (definition)
History
- 2026-11-02: add by m2/dev
FZA493YX3P FZA493YX3P
| URI | m2://inv/FZA493YX3P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#activity-4 (exercise). In 649HGZKE96, activity, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
FZA9NT8PHR FZA9NT8PHR
| URI | m2://inv/FZA9NT8PHR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#VV4N (definition). In 5350Q52F6P/e1, definition 8.5
History
- 2026-10-28: add by m2/v0.4.2
FZA9WTDZGS FZA9WTDZGS
| URI | m2://inv/FZA9WTDZGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#416L (statement). In VEXM27M8Q1/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.3
cf.\ FZAZ8KPTPS
| URI | m2://inv/FZAZ8KPTPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#41TK, cf.\ (statement). In 6NVP3YRWVA/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Zigzag FZB3EHT9AB
| URI | m2://inv/FZB3EHT9AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zigzag, Zigzag (definition). Also Wikidata Q198438
History
- 2026-11-02: add by m2/dev
FZB4RKAQ3M FZB4RKAQ3M
| URI | m2://inv/FZB4RKAQ3M |
|---|---|
| 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.30097#UQ36 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Indicator function FZB66Q9GQK
| URI | m2://inv/FZB66Q9GQK |
|---|---|
| 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#LOG3, Indicator function (definition). In WD2NCBV9F0/e1, definition 8.4
History
- 2026-10-27: add by m2/v0.3.5
pathwidth FZB8YD2A0D
| URI | m2://inv/FZB8YD2A0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AJO7, pathwidth (definition)
History
- 2026-11-02: add by m2/dev
Applications FZBSDVQBKY
| URI | m2://inv/FZBSDVQBKY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenstra–Lenstra–Lovász lattice basis reduction algorithm#1PMC, Applications (example)
History
- 2026-11-02: add by m2/dev
Alexander Weinstein FZBWBG40SG
| URI | m2://inv/FZBWBG40SG |
|---|---|
| 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#7L74, Alexander Weinstein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PLA4, Alexander Weinstein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VHGU, Alexander Weinstein (topic)
History
- 2026-11-02: add by m2/dev
integer interval FZBXEQQ6XD
| URI | m2://inv/FZBXEQQ6XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q129167027, integer interval (definition). Also ProofWiki Definition:Integer_Interval
History
- 2026-10-26: add by m2/dev
FZC71BK2SV FZC71BK2SV
| URI | m2://inv/FZC71BK2SV |
|---|---|
| Kind | definition |
| 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#GBKE (definition). In YQKKA47GS9/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
multinomial theorem FZCHY85Y29
| URI | m2://inv/FZCHY85Y29 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.7/multinomial-theorem, multinomial theorem (concept). In QKM9DD2H56, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Generalizations FZCNM15KRY
| URI | m2://inv/FZCNM15KRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaluza–Klein theory#Y31U, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
$\bLambda$-weighted forward movement bound FZCRBPT04A
| URI | m2://inv/FZCRBPT04A |
|---|---|
| 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.10640#VVNS, $\bLambda$-weighted forward movement bound (statement). In BAQVK6N0RD/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Semi-infinite programming FZD2CQQK86
| URI | m2://inv/FZD2CQQK86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-infinite programming, Semi-infinite programming (definition). Also Wikidata Q7449304
History
- 2026-11-02: add by m2/dev
FZD2V0AYQF FZD2V0AYQF
| URI | m2://inv/FZD2V0AYQF |
|---|---|
| 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.14189#HKS2 (statement). In 39VAB08YDJ/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Lack-of-fit sum of squares FZD4DW78YW
| URI | m2://inv/FZD4DW78YW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q35C, Lack-of-fit sum of squares (definition)
History
- 2026-11-02: add by m2/dev
FZD4JC0SYY FZD4JC0SYY
| URI | m2://inv/FZD4JC0SYY |
|---|---|
| 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.33231#N5Z2 (statement). In WPDRT63QNW/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Raymond J. Carroll FZD4JM3NDQ
| URI | m2://inv/FZD4JM3NDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond J. Carroll, Raymond J. Carroll (topic). Also Wikidata Q16143487
History
- 2026-11-02: add by m2/dev
need to show (NTS), required to prove (RTP), wish to show, want to show (WTS) FZD6RYZ03F
| URI | m2://inv/FZD6RYZ03F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#LMOT, need to show (NTS), required to prove (RTP), wish to show, want to show (WTS) (definition)
History
- 2026-11-02: add by m2/dev
Semi-Markov process FZD8XT6D2F
| URI | m2://inv/FZD8XT6D2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QF22, Semi-Markov process (definition)
History
- 2026-11-02: add by m2/dev
FZDCMQHEEG FZDCMQHEEG
| URI | m2://inv/FZDCMQHEEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#Z94Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZDCV29MZZ FZDCV29MZZ
| URI | m2://inv/FZDCV29MZZ |
|---|---|
| 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.02993#0T3Q (statement). In TJH58FRGEN/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
Flip--shuffle reduction FZDJBW6FNZ
| URI | m2://inv/FZDJBW6FNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.07293#6JD9, Flip--shuffle reduction (statement). In V1GVYM0WQG/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.10
quadratic class number constant FZDJN0AQ8H
| URI | m2://inv/FZDJN0AQ8H |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55733467, quadratic class number constant (object). Also MathWorld QuadraticClassNumberConstant
History
- 2026-10-26: add by m2/dev
Susan J. Devlin FZE32M9C1C
| URI | m2://inv/FZE32M9C1C |
|---|---|
| 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#9N36, Susan J. Devlin (unknown)
History
- 2026-11-02: add by m2/dev
S. Fournais, M. and T. Hoffmann-Ostenhof, T.\O. S\o rensen FZE3T4MSYC
| URI | m2://inv/FZE3T4MSYC |
|---|---|
| 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 2301.02848#3L8U, S. Fournais, M. and T. Hoffmann-Ostenhof, T.\O. S\o rensen (statement). In G6WQDW52TJ/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.6
FZE5ECNBTF FZE5ECNBTF
| URI | m2://inv/FZE5ECNBTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14080#S161 (statement). In 1DRD5FAJ4C/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
FZE9B6MVE2 FZE9B6MVE2
| URI | m2://inv/FZE9B6MVE2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11056#QKE5 (definition). In 1NDB3SAG7K/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.3
FZE9QGA2H6 FZE9QGA2H6
| URI | m2://inv/FZE9QGA2H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#0LQC (statement). In Q6HRJP4AWA/e1, proposition 9.2
History
- 2026-10-29: add by m2/v0.4.12
FZEAJAC1GM FZEAJAC1GM
| URI | m2://inv/FZEAJAC1GM |
|---|---|
| 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.21322#44R0 (statement). In CNDA8DBEGD/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Non-examples FZEDHFFYVN
| URI | m2://inv/FZEDHFFYVN |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear continuum#OP00, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Variants FZEEPYQAZP
| URI | m2://inv/FZEEPYQAZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential entropy#YXFL, Variants (statement)
History
- 2026-11-02: add by m2/dev
FZEJ9ZK4HP FZEJ9ZK4HP
| URI | m2://inv/FZEJ9ZK4HP |
|---|---|
| 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.28203#5QDC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Concentration of a common displacement FZEN7WX5G7
| URI | m2://inv/FZEN7WX5G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29348#M69L, Concentration of a common displacement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem FZEPJ7B823
| URI | m2://inv/FZEPJ7B823 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCD test#YAQV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Crossings FZEZQ7R4V6
| URI | m2://inv/FZEZQ7R4V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.18512#AM3C, Crossings (statement). In 11JNM66Z09/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
Dieudonné–Manin classification theorem FZF4PHHBBZ
| URI | m2://inv/FZF4PHHBBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieudonné module#0OIG, Dieudonné–Manin classification theorem (statement)
History
- 2026-11-02: add by m2/dev
FZFFKBCB5Q FZFFKBCB5Q
| URI | m2://inv/FZFFKBCB5Q |
|---|---|
| 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#BK5Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
Universal coefficient theorem FZFHTDP3D8
| URI | m2://inv/FZFHTDP3D8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AXHJ, Universal coefficient theorem (statement)
History
- 2026-11-02: add by m2/dev
FZFHWK256K FZFHWK256K
| URI | m2://inv/FZFHWK256K |
|---|---|
| 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.10078#049Q (statement). In YVGRZK1HRS/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
Shapiro time delay FZFPYZ0DJ1
| URI | m2://inv/FZFPYZ0DJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapiro time delay, Shapiro time delay (definition). Also Wikidata Q1848968
History
- 2026-11-02: add by m2/dev
FZFRRK9PY4 FZFRRK9PY4
| URI | m2://inv/FZFRRK9PY4 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
FZFRSDQN17 FZFRSDQN17
| URI | m2://inv/FZFRSDQN17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#2E56 (statement). In 41NFABHFXH/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
FZFWNW8KD5 FZFWNW8KD5
| URI | m2://inv/FZFWNW8KD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#UG15 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZFZ5TZ8B5 FZFZ5TZ8B5
| URI | m2://inv/FZFZ5TZ8B5 |
|---|---|
| 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 1404.3458#PPIQ (definition). In W67E5R5MBF/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Ann E. Watkins FZG0YG69TB
| URI | m2://inv/FZG0YG69TB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ann E. Watkins, Ann E. Watkins (topic). Also Wikidata Q42363003
History
- 2026-11-02: add by m2/dev
Logical identity FZG533Y1YS
| URI | m2://inv/FZG533Y1YS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth table#ZW1Z, Logical identity (statement)
History
- 2026-11-02: add by m2/dev
FZGB42BFQS FZGB42BFQS
| URI | m2://inv/FZGB42BFQS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise:mixedpartialsunequal (exercise). In E59CDZA4DP, exercise, section 11.6.1
History
- 2026-11-01: add by m2/v0.6.13
Statement of theorem FZGDNJFESS
| URI | m2://inv/FZGDNJFESS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spitzer's formula#XJAE, Statement of theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition FZGHMPA6S5
| URI | m2://inv/FZGHMPA6S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similarity#UH27, Definition (definition)
History
- 2026-11-02: add by m2/dev
FZGPPH9M24 FZGPPH9M24
| URI | m2://inv/FZGPPH9M24 |
|---|---|
| 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#UFKC (statement). In QG9ATXTKJ6/e1, proposition 2.17
History
- 2026-10-27: add by m2/v0.3.5
FZGQEAEVAT FZGQEAEVAT
| URI | m2://inv/FZGQEAEVAT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19076#SHKZ (definition). In M77QPWHHRX/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Erdős–Kaplansky theorem FZGY3E3D2S
| URI | m2://inv/FZGY3E3D2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#96ZW, Erdős–Kaplansky theorem (statement)
History
- 2026-11-02: add by m2/dev
BCS theory FZGYADGKFH
| URI | m2://inv/FZGYADGKFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCS theory, BCS theory (definition). Also Wikidata Q722131
History
- 2026-11-02: add by m2/dev
Raoul Bott FZH424DV7H
| URI | m2://inv/FZH424DV7H |
|---|---|
| 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 Q441185, Raoul Bott (unknown). Also nLab Raoul Bott
- wikipedia: Wikipedia Raoul Bott, Raoul Bott (topic). Also Wikidata Q441185
History
- 2026-10-26: add by m2/dev
FZHC1APT3V FZHC1APT3V
| URI | m2://inv/FZHC1APT3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#8Q4Y (statement). In TWPE10CZ1S/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
FZHF4GY20T FZHF4GY20T
| URI | m2://inv/FZHF4GY20T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#YWJL (statement). In 1PR73ECTZB/e1, proposition 19
History
- 2026-10-27: add by m2/v0.3.5
Epanechnikov distribution FZHFTGSTTA
| URI | m2://inv/FZHFTGSTTA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-quadratic distribution#FH1F, Epanechnikov distribution (unknown)
History
- 2026-11-02: add by m2/dev
FZHHVQGJSV FZHHVQGJSV
| URI | m2://inv/FZHHVQGJSV |
|---|---|
| Kind | problem |
| 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.13888#90M6 (problem). In XJWYBPS14M/e1, problem 7.5
History
- 2026-10-28: add by m2/v0.4.2
Isotropic quadratic form FZHX24YS05
| URI | m2://inv/FZHX24YS05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotropic quadratic form, Isotropic quadratic form (definition). Also Wikidata Q4968811
History
- 2026-11-02: add by m2/dev
FZJ0YNV30J FZJ0YNV30J
| URI | m2://inv/FZJ0YNV30J |
|---|---|
| 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.29943#2DMC (statement)
History
- 2026-11-01: add by m2/v0.6.15
universal space FZJAKS8C4G
| URI | m2://inv/FZJAKS8C4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20878963, universal space (unknown). Also MathWorld UniversalSpace
- wikipedia: Wikipedia Universal space, Universal space (definition). Also Wikidata Q20878963
History
- 2026-10-26: add by m2/dev
Applications FZJNF13FCX
| URI | m2://inv/FZJNF13FCX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal power series#ACCF, Applications (example)
History
- 2026-11-02: add by m2/dev
Eulerian number FZJQNZCH1J
| URI | m2://inv/FZJQNZCH1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#VGUT, Eulerian number (definition)
History
- 2026-11-02: add by m2/dev
Kimberling, stronger form FZJYBZCS5G
| URI | m2://inv/FZJYBZCS5G |
|---|---|
| Kind | conjecture |
| 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.05776#2834, Kimberling, stronger form (conjecture). In AFSG70BF7S/e1, conjecture 2
History
- 2026-10-29: add by m2/v0.4.10
State-transition matrix FZK8WC065Z
| URI | m2://inv/FZK8WC065Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State-transition matrix, State-transition matrix (definition). Also Wikidata Q7602993
History
- 2026-11-02: add by m2/dev
Applications FZKA1RKSJK
| URI | m2://inv/FZKA1RKSJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point spread function#00AS, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples FZKCHRDV7J
| URI | m2://inv/FZKCHRDV7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical form#DUKE, Examples (example)
History
- 2026-11-02: add by m2/dev
Akaike, Hirotsugu FZKDFC8BRS
| URI | m2://inv/FZKDFC8BRS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#O6GV, Akaike, Hirotsugu (unknown)
History
- 2026-11-02: add by m2/dev
Aryabhata FZKE9SSB3Z
| URI | m2://inv/FZKE9SSB3Z |
|---|---|
| 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 Q11359, Aryabhata (unknown). Also ProofWiki Mathematician:Aryabhata_the_Elder
- wikipedia: Wikipedia Aryabhata, Aryabhata (topic). Also Wikidata Q11359
History
- 2026-10-26: add by m2/dev
Randomness extractor FZKEBSC46Q
| URI | m2://inv/FZKEBSC46Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor, Randomness extractor (definition). Also Wikidata Q7292012
History
- 2026-11-02: add by m2/dev
FZKGA4QCGR FZKGA4QCGR
| URI | m2://inv/FZKGA4QCGR |
|---|---|
| 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.11210#4S6W (definition). In CRFDGFZHBF/e1, definition 8.3
History
- 2026-10-28: add by m2/v0.4.3
FZKHQ56DKQ FZKHQ56DKQ
| URI | m2://inv/FZKHQ56DKQ |
|---|---|
| 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 2501.17009#BFII (statement). In PESAKD6SSW/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.3.6
James Grime FZKT544SEQ
| URI | m2://inv/FZKT544SEQ |
|---|---|
| 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 Q14949225, James Grime (unknown). Also ProofWiki Mathematician:James_Grime
History
- 2026-10-26: add by m2/dev
FZM04MRKA6 FZM04MRKA6
| URI | m2://inv/FZM04MRKA6 |
|---|---|
| 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-61 (exercise). In E9HS8K3A52, exercise, section 5.5.3
History
- 2026-11-01: add by m2/v0.6.13
Properties FZM4ZB8Y2T
| URI | m2://inv/FZM4ZB8Y2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid set#WIUM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Joan R. Rosenblatt FZMBJ8A6J3
| URI | m2://inv/FZMBJ8A6J3 |
|---|---|
| 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#ZLTC, Joan R. Rosenblatt (topic)
History
- 2026-11-02: add by m2/dev
Lexis diagram FZMGVV1PAC
| URI | m2://inv/FZMGVV1PAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexis diagram, Lexis diagram (definition). Also Wikidata Q2247881
History
- 2026-11-02: add by m2/dev
FZMKWHC7B8 FZMKWHC7B8
| URI | m2://inv/FZMKWHC7B8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.38556#7OMQ (statement). In GC2H0HS7ZM/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Definition FZMMB1MM82
| URI | m2://inv/FZMMB1MM82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine braid group#24BQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Optimal affine slice FZN1EZ13ZR
| URI | m2://inv/FZN1EZ13ZR |
|---|---|
| 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.20270#OJ07, Optimal affine slice (statement). In GV0QGZH67P/e1, lemma C.2
History
- 2026-10-27: add by m2/v0.4.2
Exact-order characterization FZN7AAEZXX
| URI | m2://inv/FZN7AAEZXX |
|---|---|
| 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 2605.14343#7W9D, Exact-order characterization (statement). In SP58NHA6N4/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
FZND2DGHNX FZND2DGHNX
| URI | m2://inv/FZND2DGHNX |
|---|---|
| Kind | definition |
| 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 2510.12502#UMGA (definition). In 3A4K47Y9F2/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Additivity theorem FZNJCH948Q
| URI | m2://inv/FZNJCH948Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic theorems in algebraic K-theory#4497, Additivity theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition FZNKKHZRHK
| URI | m2://inv/FZNKKHZRHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intermediate logic#77JW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition FZNMD3ADG5
| URI | m2://inv/FZNMD3ADG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamo theory#3NG5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
FZNQAN76CC FZNQAN76CC
| URI | m2://inv/FZNQAN76CC |
|---|---|
| Kind | example |
| 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#UM1R (example). In BDN507RN7J/e1, example 3.2.6
History
- 2026-10-30: add by m2/v0.4.12
FZNQBGNTR5 FZNQBGNTR5
| URI | m2://inv/FZNQBGNTR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12131#31ZS (statement). In NYT07WF46A/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
FZNVEY6S5M FZNVEY6S5M
| URI | m2://inv/FZNVEY6S5M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#C5ZQ (definition). In XYCBKM4WKY/e1, definition 35
History
- 2026-10-27: add by m2/v0.3.5
Uniform one-scale resolved lower bound FZNWQQ8YNX
| URI | m2://inv/FZNWQQ8YNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#EKF8, Uniform one-scale resolved lower bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bernoulli scheme FZNZ3A4RM0
| URI | m2://inv/FZNZ3A4RM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SNTH, Bernoulli scheme (definition)
History
- 2026-11-02: add by m2/dev
FZP0V213B2 FZP0V213B2
| URI | m2://inv/FZP0V213B2 |
|---|---|
| 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.19273#D3FC (statement). In T3BY4TXYT4/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
Variable-order Markov model FZP6XWQ5F7
| URI | m2://inv/FZP6XWQ5F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L8A6, Variable-order Markov model (definition)
History
- 2026-11-02: add by m2/dev
Example FZP7SMW0FH
| URI | m2://inv/FZP7SMW0FH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral of a correspondence#N1B9, Example (example)
History
- 2026-11-02: add by m2/dev
Nuclear power FZPBTTSMA1
| URI | m2://inv/FZPBTTSMA1 |
|---|---|
| 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#9R6H, Nuclear power (unknown)
History
- 2026-11-02: add by m2/dev
Normalized OU-basis regularity FZPJQTKJPN
| URI | m2://inv/FZPJQTKJPN |
|---|---|
| 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.05333#KALE, Normalized OU-basis regularity (statement). In N37WKFTR7Q/e1, lemma D.3
History
- 2026-10-29: add by m2/v0.4.10
Log-likelihood ratio for Gaussian bandits FZPNHE8KVP
| URI | m2://inv/FZPNHE8KVP |
|---|---|
| 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.38659#KY1A, Log-likelihood ratio for Gaussian bandits (statement). In DCJ23ZYXGK/e1, proposition B.3
History
- 2026-10-30: add by m2/v0.4.12
Properties FZQ0Z3D856
| URI | m2://inv/FZQ0Z3D856 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally closed subset#JPM5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications FZQ5A825ZB
| URI | m2://inv/FZQ5A825ZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Owen's T function#4110, Applications (example)
History
- 2026-11-02: add by m2/dev
Implementations FZQCGDRXBP
| URI | m2://inv/FZQCGDRXBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String (computer science)#Z115, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Folded one-flag expectation FZQCXGKEQS
| URI | m2://inv/FZQCXGKEQS |
|---|---|
| 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.40252#U81Z, Folded one-flag expectation (statement). In 7MVPNFPRKB/e1, corollary 9.7
History
- 2026-10-30: add by m2/v0.4.12
Finiteness properties of groups FZQF3J76NE
| URI | m2://inv/FZQF3J76NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finiteness properties of groups, Finiteness properties of groups (definition). Also Wikidata Q65085607
History
- 2026-11-02: add by m2/dev
generalized polygon FZQFCFNJ5Q
| URI | m2://inv/FZQFCFNJ5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Generalized polygon PCT2HY9AAZ |
Mentions
- wikidata: Wikidata Q5532502, generalized polygon (unknown). Also MathWorld GeneralizedPolygon
- wikipedia: Wikipedia Generalized polygon, Generalized polygon (definition). Also Wikidata Q5532502
History
- 2026-10-26: add by m2/dev
FZQGGZWGQC FZQGGZWGQC
| URI | m2://inv/FZQGGZWGQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03688#V2KF (statement). In HMWJQY9NAP/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
FZQS5P1GRR FZQS5P1GRR
| URI | m2://inv/FZQS5P1GRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2610.12116#GQEL (statement). In WB3F0S794F/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
RRSEG FZR4QWK53H
| URI | m2://inv/FZR4QWK53H |
|---|---|
| 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.35631#J25R, RRSEG (statement). In 9NCX0S6MTP/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
FZR68E6WSK FZR68E6WSK
| URI | m2://inv/FZR68E6WSK |
|---|---|
| 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.17349#G9ZL (statement). In FCCV2ZABPM/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
FZRAARVBD0 FZRAARVBD0
| URI | m2://inv/FZRAARVBD0 |
|---|---|
| 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#XPR6 (example)
History
- 2026-11-01: add by m2/v0.6.15
Keiji Oguiso FZRFA45KGD
| URI | m2://inv/FZRFA45KGD |
|---|---|
| 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#9Z5B, Keiji Oguiso (unknown)
History
- 2026-11-02: add by m2/dev
Inverse category FZRKTCD77F
| URI | m2://inv/FZRKTCD77F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse semigroup#Y3L9, Inverse category (unknown)
History
- 2026-11-02: add by m2/dev
FZRX36C0FK FZRX36C0FK
| URI | m2://inv/FZRX36C0FK |
|---|---|
| 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.20145#UKXC (statement)
History
- 2026-11-02: add by m2/v0.6.18
FZRX5AZZTE FZRX5AZZTE
| URI | m2://inv/FZRX5AZZTE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NC (complexity)#0BBB (problem)
History
- 2026-11-02: add by m2/dev
FZS3AT8MHR FZS3AT8MHR
| URI | m2://inv/FZS3AT8MHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.06645#2OP9 (statement). In 79H1DEK4M9/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.10
Coptic polygon FZS4D9QXE1
| URI | m2://inv/FZS4D9QXE1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon#W75W, Coptic polygon (unknown)
History
- 2026-11-02: add by m2/dev
Examples FZS4KA69G5
| URI | m2://inv/FZS4KA69G5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tagged union#VX1Z, Examples (example)
History
- 2026-11-02: add by m2/dev
FZSNJ76HKB FZSNJ76HKB
| URI | m2://inv/FZSNJ76HKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#W27U (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZT13JVSH2 FZT13JVSH2
| URI | m2://inv/FZT13JVSH2 |
|---|---|
| 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.31604#IZ3G (statement). In GSN5YTQS2K/e1, proposition 2.25
History
- 2026-10-31: add by m2/v0.5.6
Propagation of the magnetic profile FZT33CECQ2
| URI | m2://inv/FZT33CECQ2 |
|---|---|
| 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.13248#FKGB, Propagation of the magnetic profile (statement). In MGMC5SREP3/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Morse theory FZT6KMK0Z7
| URI | m2://inv/FZT6KMK0Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#CYG1, Morse theory (definition)
History
- 2026-11-02: add by m2/dev
FZTB1616YP FZTB1616YP
| URI | m2://inv/FZTB1616YP |
|---|---|
| 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.14189#7JY5 (statement). In 39VAB08YDJ/e1, theorem 4.13
History
- 2026-10-28: add by m2/v0.4.2
FZTF5AY1J8 FZTF5AY1J8
| URI | m2://inv/FZTF5AY1J8 |
|---|---|
| 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.35360#WFUO (statement). In 770AQ8T366/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
coherent homotopy FZTKN65FHE
| URI | m2://inv/FZTKN65FHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#2I0H, coherent homotopy (definition)
History
- 2026-11-02: add by m2/dev
Euler conservation equations FZTR408DKA
| URI | m2://inv/FZTR408DKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#4WH8, Euler conservation equations (definition)
History
- 2026-11-02: add by m2/dev
Formal definition FZV52WHZE9
| URI | m2://inv/FZV52WHZE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection graph#W1VW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
purely inseparable extension FZVA79920Q
| URI | m2://inv/FZVA79920Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Purely inseparable extension 966GNVGB8A |
Mentions
- wikidata: Wikidata Q7261176, purely inseparable extension (unknown). Also MathWorld PurelyInseparableExtension
- wikipedia: Wikipedia Purely inseparable extension, Purely inseparable extension (definition). Also Wikidata Q7261176
History
- 2026-10-26: add by m2/dev
Kolmogorov's two-series theorem FZVGXF0B15
| URI | m2://inv/FZVGXF0B15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's two-series theorem, Kolmogorov's two-series theorem (statement). Also Wikidata Q16989302
History
- 2026-11-02: add by m2/dev
FZVJGD4VJ4 FZVJGD4VJ4
| URI | m2://inv/FZVJGD4VJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#8MRA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poisson superalgebra FZVWZ2RCSZ
| URI | m2://inv/FZVWZ2RCSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson superalgebra, Poisson superalgebra (definition). Also Wikidata Q7208507
History
- 2026-11-02: add by m2/dev
Exact error equation for a data-dependent regularizer FZW5RJ228C
| URI | m2://inv/FZW5RJ228C |
|---|---|
| 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.14498#ZG07, Exact error equation for a data-dependent regularizer (statement). In 81YXGYETE4/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
FZW7D12YVF FZW7D12YVF
| URI | m2://inv/FZW7D12YVF |
|---|---|
| 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.37337#6HZV (statement). In 813JGZV08G/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Fiber bundle FZWHMBHF0K
| URI | m2://inv/FZWHMBHF0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#PPMZ, Fiber bundle (definition)
History
- 2026-11-02: add by m2/dev
FZWP2HCB1T FZWP2HCB1T
| URI | m2://inv/FZWP2HCB1T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.13105#USDQ (definition). In 5ACPY6CEDV/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Stephen Billings FZWSR3ZATZ
| URI | m2://inv/FZWSR3ZATZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Billings, Stephen Billings (topic). Also Wikidata Q16148009
History
- 2026-11-02: add by m2/dev
FZX3CXNEFS FZX3CXNEFS
| URI | m2://inv/FZX3CXNEFS |
|---|---|
| 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 2410.10337#3HNB (statement). In RBBF0XNZ5E/e1, theorem 27
History
- 2026-10-27: add by m2/v0.3.5
FZX8A4NQXB FZX8A4NQXB
| URI | m2://inv/FZX8A4NQXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#3NCY (statement). In F5XF5VXTXY/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
FZXFFQVGJR FZXFFQVGJR
| URI | m2://inv/FZXFFQVGJR |
|---|---|
| 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.36411#0FLG (statement). In 9QG5CND2RQ/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
FZXHYS9FHX FZXHYS9FHX
| URI | m2://inv/FZXHYS9FHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.01473#51B0 (statement). In ABS9M47F4K/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
Campion, Harry FZXK2YNY18
| URI | m2://inv/FZXK2YNY18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WDA8, Campion, Harry (unknown)
History
- 2026-11-02: add by m2/dev
FZXSV146WG FZXSV146WG
| URI | m2://inv/FZXSV146WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#definition-1 (definition). In RZP28ERRZV, definition, section 19.1
History
- 2026-11-01: add by m2/v0.6.13
FZXT4KKET9 FZXT4KKET9
| URI | m2://inv/FZXT4KKET9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#Y3RZ (statement). In 7ZBQ8WGQVB/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
FZXTWTJG14 FZXTWTJG14
| URI | m2://inv/FZXTWTJG14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#RWRP (statement). In X923ZEY423/e1, lemma 4.0.1
History
- 2026-10-27: add by m2/v0.3.5
\textit{\(L^2\)-extension theorem FZXX10KWPS
| URI | m2://inv/FZXX10KWPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#WNB1, \textit{\(L^2\)-extension theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
FZXZSHHVF9 FZXZSHHVF9
| URI | m2://inv/FZXZSHHVF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#MYYY (statement). In 4SZNPS3Z00/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.6
An initial-risk statement at the boundary width FZY2YQHC7K
| URI | m2://inv/FZY2YQHC7K |
|---|---|
| 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.39408#PA9A, An initial-risk statement at the boundary width (statement). In T8E6F01RTM/e1, proposition U.10
History
- 2026-10-30: add by m2/v0.4.12
FZYQ9Y19N9 FZYQ9Y19N9
| URI | m2://inv/FZYQ9Y19N9 |
|---|---|
| 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.36909#0RZQ (statement). In S5SKFZB5WH/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Christopher Daykin FZYTVV2Z95
| URI | m2://inv/FZYTVV2Z95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#XWAQ, Christopher Daykin (unknown)
History
- 2026-11-02: add by m2/dev
Properties FZZA6CPDCG
| URI | m2://inv/FZZA6CPDCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split-quaternion#EIK3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Maxime Bôcher FZZC7ZRKH4
| URI | m2://inv/FZZC7ZRKH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxime Bôcher, Maxime Bôcher (topic). Also Wikidata Q339406
History
- 2026-11-02: add by m2/dev
FZZQMNSV5Q FZZQMNSV5Q
| URI | m2://inv/FZZQMNSV5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#ENEK (definition). In E1Y93JNBJA/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
Fréchet filter FZZT2KT60R
| URI | m2://inv/FZZT2KT60R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1471386, Fréchet filter (concept). Also MathWorld CofiniteFilter
- wikipedia: Wikipedia Fréchet filter, Fréchet filter (definition). Also Wikidata Q1471386
History
- 2026-10-26: add by m2/dev
Anatoly Vershik FZZZAQCWVF
| URI | m2://inv/FZZZAQCWVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anatoly Vershik, Anatoly Vershik (topic). Also Wikidata Q451652
History
- 2026-11-02: add by m2/dev