Inventory rows EF
The cards of the rows of the inventory whose ids start with EF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
EF02ZMAAG1 EF02ZMAAG1
| URI | m2://inv/EF02ZMAAG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#9IBZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pasch's theorem EF04WBTZPC
| URI | m2://inv/EF04WBTZPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 06-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q951327, Pasch's theorem (statement). Also Wikidata Q951327
- thousand_plus: thousand_plus Q951327, Pasch's theorem (statement). Also Wikidata Q951327, Wikipedia Pasch's theorem
- wikidata: Wikidata Q951327, Pasch's theorem (statement). Also MathWorld PaschsTheorem
- wikipedia: Wikipedia Pasch's theorem, Pasch's theorem (statement). Also Wikidata Q951327
History
- 2026-10-26: add by m2/dev
EF057T53FX EF057T53FX
| URI | m2://inv/EF057T53FX |
|---|---|
| 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.14455#L6ZL (statement). In 5KARPAJDCP/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Emmy Noether bibliography EF062SZWPA
| URI | m2://inv/EF062SZWPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmy Noether bibliography, Emmy Noether bibliography (definition). Also Wikidata Q3253716
History
- 2026-11-02: add by m2/dev
Louis Napoleon George Filon EF0JV31T61
| URI | m2://inv/EF0JV31T61 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Napoleon George Filon, Louis Napoleon George Filon (topic). Also Wikidata Q6687873
History
- 2026-11-02: add by m2/dev
EF115GYEHA EF115GYEHA
| URI | m2://inv/EF115GYEHA |
|---|---|
| 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 2605.24355#CW5W (statement). In VV3AJMWWCR/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.6
British flag theorem EF13T3HRY0
| URI | m2://inv/EF13T3HRY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4971339, British flag theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_add_dist_sq_eq_dist_sq_add_dist_sq_of_angle_eq_pi_div_two, Wikidata Q4971339
- thousand_plus: thousand_plus Q4971339, British flag theorem (statement). Also Wikidata Q4971339, Wikipedia British flag theorem
- wikipedia: Wikipedia British flag theorem, British flag theorem (statement). Also Wikidata Q4971339
History
- 2026-10-26: add by m2/dev
Macbeath surface EF1MNZNBTA
| URI | m2://inv/EF1MNZNBTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#QGJ8, Macbeath surface (definition)
History
- 2026-11-02: add by m2/dev
Examples EF1RY6D3V4
| URI | m2://inv/EF1RY6D3V4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meander (mathematics)#WWVB, Examples (example)
History
- 2026-11-02: add by m2/dev
EF23853XHK EF23853XHK
| URI | m2://inv/EF23853XHK |
|---|---|
| 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#FDDN (definition). In WD2NCBV9F0/e1, definition 9.3
History
- 2026-10-27: add by m2/v0.3.5
EF23RY12EZ EF23RY12EZ
| URI | m2://inv/EF23RY12EZ |
|---|---|
| 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.03835#HK6O (statement). In KAYGQMQPGS/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.12
Bounded symmetric domain EF29E8BW3C
| URI | m2://inv/EF29E8BW3C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian symmetric space#VZP7, Bounded symmetric domain (unknown)
History
- 2026-11-02: add by m2/dev
Quasireversibility EF2D4RQGWC
| URI | m2://inv/EF2D4RQGWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasireversibility, Quasireversibility (definition). Also Wikidata Q7269524
History
- 2026-11-02: add by m2/dev
Two-state mixing-exponent lower bound, detailed form EF2F7MQTR6
| URI | m2://inv/EF2F7MQTR6 |
|---|---|
| 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.04117#VH98, Two-state mixing-exponent lower bound, detailed form (statement). In 65E9N3DFYP/e1, proposition C.5
History
- 2026-10-29: add by m2/v0.4.12
Al Gore EF2H4EWP99
| URI | m2://inv/EF2H4EWP99 |
|---|---|
| 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#RK4X, Al Gore (unknown)
History
- 2026-11-02: add by m2/dev
Zero sharp EF2PE57XAV
| URI | m2://inv/EF2PE57XAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#LUS3, Zero sharp (definition)
History
- 2026-11-02: add by m2/dev
John Wooden EF2Z0WB0GZ
| URI | m2://inv/EF2Z0WB0GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#4RBM, John Wooden (unknown)
History
- 2026-11-02: add by m2/dev
EF2ZF71VQ1 EF2ZF71VQ1
| URI | m2://inv/EF2ZF71VQ1 |
|---|---|
| Kind | definition |
| 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#ANTN (definition). In X1KWTAA3M2/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
High-probability product-empirical transfer EF30QZPV2N
| URI | m2://inv/EF30QZPV2N |
|---|---|
| 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.37380#Q490, High-probability product-empirical transfer (statement). In 14Y4SA4SX0/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Anallagmatic curve EF33P1V52Y
| URI | m2://inv/EF33P1V52Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse curve#TH0R, Anallagmatic curve (unknown)
History
- 2026-11-02: add by m2/dev
Sage EF36RYFZ4N
| URI | m2://inv/EF36RYFZ4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1165184, Sage (unknown). Also LMFDB knowl sage, nLab Sage
History
- 2026-10-26: add by m2/dev
Frobenius category EF3BYDVM47
| URI | m2://inv/EF3BYDVM47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#WEUR, Frobenius category (definition)
History
- 2026-11-02: add by m2/dev
Examples EF3E5P6SJQ
| URI | m2://inv/EF3E5P6SJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual object#TFTK, Examples (example)
History
- 2026-11-02: add by m2/dev
Maxwell's theorem EF3HGP182S
| URI | m2://inv/EF3HGP182S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell's theorem (geometry), Maxwell's theorem (statement). Also Wikidata Q24957014
History
- 2026-11-02: add by m2/dev
Square class EF3XPF8MJD
| URI | m2://inv/EF3XPF8MJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square class, Square class (definition). Also Wikidata Q7582059
History
- 2026-11-02: add by m2/dev
EF43DBGDGP EF43DBGDGP
| URI | m2://inv/EF43DBGDGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#JHPH (statement). In F71MS1F637/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
Enneper surface EF461X43T8
| URI | m2://inv/EF461X43T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q615502, Enneper surface (unknown). Also MathWorld EnnepersMinimalSurface
- wikipedia: Wikipedia Enneper surface, Enneper surface (definition). Also Wikidata Q615502
History
- 2026-10-26: add by m2/dev
Chinese restaurant process EF47SCT9M0
| URI | m2://inv/EF47SCT9M0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#9CZI, Chinese restaurant process (definition)
History
- 2026-11-01: add by m2/v0.6.15
algebraic expression EF48RWCCN9
| URI | m2://inv/EF48RWCCN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4724001, algebraic expression (unknown). Also MathWorld AlgebraicExpression
- wikipedia: Wikipedia Algebraic expression, Algebraic expression (definition). Also Wikidata Q4724001
History
- 2026-10-26: add by m2/dev
EF49BA9Q99 EF49BA9Q99
| URI | m2://inv/EF49BA9Q99 |
|---|---|
| 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 2603.21971#HVQC (statement). In R6KSZ9H8CY/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
EF4AZ6CMWS EF4AZ6CMWS
| URI | m2://inv/EF4AZ6CMWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#82IG (statement). In 29D4TTE3J2/e1, theorem 9.7
History
- 2026-10-27: add by m2/v0.4.2
Applications EF4JE5K0WT
| URI | m2://inv/EF4JE5K0WT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular shift#WDNM, Applications (example)
History
- 2026-11-02: add by m2/dev
Tsiolkovsky rocket equation EF4JZ3Y0D2
| URI | m2://inv/EF4JZ3Y0D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsiolkovsky rocket equation, Tsiolkovsky rocket equation (definition). Also Wikidata Q834199
History
- 2026-11-02: add by m2/dev
finite field EF4R1EEHA4
| URI | m2://inv/EF4R1EEHA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11T06 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Finite field 0ZXZ82FTX2 |
Mentions
- wikidata: Wikidata Q603880, finite field (topic). Also EoM Galois_field, MathWorld FiniteField, nLab finite field
- wikipedia: Wikipedia Finite field, Finite field (definition). Also Wikidata Q603880
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Vikram Bhagvandas Mehta EF52J0WQN9
| URI | m2://inv/EF52J0WQN9 |
|---|---|
| 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#FIEU, Vikram Bhagvandas Mehta (topic)
History
- 2026-11-02: add by m2/dev
Applications EF52T83VJ6
| URI | m2://inv/EF52T83VJ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surrogate model#EE1D, Applications (example)
History
- 2026-11-02: add by m2/dev
Mlpack EF55ESMA6J
| URI | m2://inv/EF55ESMA6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#KXMW, Mlpack (unknown)
History
- 2026-11-02: add by m2/dev
Whitehead Towers EF5BB66YJN
| URI | m2://inv/EF5BB66YJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#IPWS, Whitehead Towers (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
EF5DQGGBFN EF5DQGGBFN
| URI | m2://inv/EF5DQGGBFN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#QHZH (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
EF5H7F6JAB EF5H7F6JAB
| URI | m2://inv/EF5H7F6JAB |
|---|---|
| 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.30892#9XSH (statement). In F7C1RM5VA4/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Scattering criterion EF5NW96DW2
| URI | m2://inv/EF5NW96DW2 |
|---|---|
| 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.02933#XUJK, Scattering criterion (statement). In QSYZKPFRAN/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
EF5P5EXVG6 EF5P5EXVG6
| URI | m2://inv/EF5P5EXVG6 |
|---|---|
| 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.34876#FBJB (statement). In XXQAW3ZBDF/e1, lemma 8.5
History
- 2026-10-30: add by m2/v0.4.12
EF657SHR3W EF657SHR3W
| URI | m2://inv/EF657SHR3W |
|---|---|
| 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.25703#AKN7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EF678GBZGC EF678GBZGC
| URI | m2://inv/EF678GBZGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#FHK7 (statement). In ZZQT0GFMT2/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
complex chain rule EF6QYMFC1N
| URI | m2://inv/EF6QYMFC1N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.3/complex-chain-rule, complex chain rule (concept). In VNMV985MXX, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Corollaries of Kőnig's theorem EF6S6MTBBT
| URI | m2://inv/EF6S6MTBBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (set theory)#Q8UH, Corollaries of Kőnig's theorem (statement)
History
- 2026-11-02: add by m2/dev
EF6YM5XZSG EF6YM5XZSG
| URI | m2://inv/EF6YM5XZSG |
|---|---|
| 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.12633#AG5S (definition). In NGZ5AZ70NN/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
× EF72RF330W
| URI | m2://inv/EF72RF330W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1900125, × (unknown). Also MathWorld MultiplicationSign
- wikipedia: Wikipedia Multiplication sign, Multiplication sign (definition). Also Wikidata Q1900125
History
- 2026-10-26: add by m2/dev
Examples EF756ZKBRM
| URI | m2://inv/EF756ZKBRM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov boundary#8GLE, Examples (example)
History
- 2026-11-02: add by m2/dev
N-ellipse EF767MMDSP
| URI | m2://inv/EF767MMDSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-ellipse, N-ellipse (definition). Also Wikidata Q17099260
History
- 2026-11-02: add by m2/dev
Applications EF77RTNXCN
| URI | m2://inv/EF77RTNXCN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash equilibrium#CBOO, Applications (example)
History
- 2026-11-02: add by m2/dev
EF7G6PHAMZ EF7G6PHAMZ
| URI | m2://inv/EF7G6PHAMZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#CKXT (unknown). In 4YJH4FPWDA/e1, unknown 2.2
History
- 2026-10-30: add by m2/v0.4.12
Examples EF7HJPMTV1
| URI | m2://inv/EF7HJPMTV1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moyal product#1FQV, Examples (example)
History
- 2026-11-02: add by m2/dev
The duality theorems EF7T20PECP
| URI | m2://inv/EF7T20PECP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual linear program#YSAY, The duality theorems (statement)
History
- 2026-11-02: add by m2/dev
EF7WWY66TD EF7WWY66TD
| URI | m2://inv/EF7WWY66TD |
|---|---|
| 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 1804.06366#ME6G (definition). In 89XYDVXG38/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Example 6 EF8034JEPV
| URI | m2://inv/EF8034JEPV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#N4VV, Example 6 (example)
History
- 2026-11-02: add by m2/dev
Finest vector topology EF8BSYRG9P
| URI | m2://inv/EF8BSYRG9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#6NFN, Finest vector topology (definition)
History
- 2026-11-02: add by m2/dev
$D^Q$ eigenvalue-free interval EF8BZJZ3J2
| URI | m2://inv/EF8BZJZ3J2 |
|---|---|
| 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.13429#DKA8, $D^Q$ eigenvalue-free interval (statement). In B2VB5T5WQD/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
EF8CQDGNF9 EF8CQDGNF9
| URI | m2://inv/EF8CQDGNF9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 90.3
History
- 2026-11-01: add by m2/v0.6.13
All para--Krawtchouk solutions EF8TCXC9WW
| URI | m2://inv/EF8TCXC9WW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16704#8KWI, All para--Krawtchouk solutions (example). In Q7CWPC7PXY/e1, example 2.4
History
- 2026-10-28: add by m2/v0.4.2
EF8V5V7E7V EF8V5V7E7V
| URI | m2://inv/EF8V5V7E7V |
|---|---|
| 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.32829#583I (statement). In RYWAX33Z51/e1, lemma 7.5
History
- 2026-10-31: add by m2/v0.5.6
Jordan triple product EF8ZACFT2A
| URI | m2://inv/EF8ZACFT2A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple system#19O1, Jordan triple product (unknown)
History
- 2026-11-02: add by m2/dev
EF91ASGMJV EF91ASGMJV
| URI | m2://inv/EF91ASGMJV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#XPQY (definition)
History
- 2026-11-01: add by m2/v0.6.15
EF9533S2TB EF9533S2TB
| URI | m2://inv/EF9533S2TB |
|---|---|
| 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.15744#DOYK (statement). In NV3PBZGBB7/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
EF99AKZ1GJ EF99AKZ1GJ
| URI | m2://inv/EF99AKZ1GJ |
|---|---|
| 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 2406.07116#67CA (statement). In 5B030CB2RK/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.3.6
EF9ECJTPSD EF9ECJTPSD
| URI | m2://inv/EF9ECJTPSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.06189#15ZP (statement). In N5ZSHXYYV6/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Huber–von Mises criterion EF9F4DEGJE
| URI | m2://inv/EF9F4DEGJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plasticity (physics)#TSI5, Huber–von Mises criterion (statement)
History
- 2026-11-02: add by m2/dev
EF9H6TGMT2 EF9H6TGMT2
| URI | m2://inv/EF9H6TGMT2 |
|---|---|
| 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.24463#5XSN (statement)
History
- 2026-11-01: add by m2/v0.6.15
EF9KQBBQ9Q EF9KQBBQ9Q
| URI | m2://inv/EF9KQBBQ9Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-10 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Example EF9QZNRF3J
| URI | m2://inv/EF9QZNRF3J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dixon's Q test#6OKD, Example (example)
History
- 2026-11-02: add by m2/dev
Markov property EF9R3KXMBD
| URI | m2://inv/EF9R3KXMBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V3LO, Markov property (definition)
History
- 2026-11-02: add by m2/dev
EF9VH2GC4E EF9VH2GC4E
| URI | m2://inv/EF9VH2GC4E |
|---|---|
| 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#P045 (definition). In 3A4K47Y9F2/e1, definition 2.32
History
- 2026-10-27: add by m2/v0.4.0
Antonovska, Svetlana EFA7XFB16D
| URI | m2://inv/EFA7XFB16D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#754F, Antonovska, Svetlana (unknown)
History
- 2026-11-02: add by m2/dev
big EFAD6QHXAX
| URI | m2://inv/EFAD6QHXAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#C73H, big (definition)
History
- 2026-11-02: add by m2/dev
System node EFAENSKWH9
| URI | m2://inv/EFAENSKWH9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.18436#VQBK, System node (definition). In 6W19Z58188/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Jozef Teugels EFAG8WVDY4
| URI | m2://inv/EFAG8WVDY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jozef Teugels, Jozef Teugels (topic). Also Wikidata Q102086818
History
- 2026-11-02: add by m2/dev
Maximum absolute deviation EFASHFVNQV
| URI | m2://inv/EFASHFVNQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average absolute deviation#SWG6, Maximum absolute deviation (unknown)
History
- 2026-11-02: add by m2/dev
EFATGKW4ZQ EFATGKW4ZQ
| URI | m2://inv/EFATGKW4ZQ |
|---|---|
| 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.17875#CBKB (statement). In AQX7DGD360/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
Algebraic consequences EFATVSCYJW
| URI | m2://inv/EFATVSCYJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19837#ZS45, Algebraic consequences (statement). In 837NSWQM1P/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Kurt Strebel EFAZAWYCVJ
| URI | m2://inv/EFAZAWYCVJ |
|---|---|
| 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#JP1E, Kurt Strebel (topic)
History
- 2026-11-02: add by m2/dev
$\ell_1$ product EFB0C35Y6G
| URI | m2://inv/EFB0C35Y6G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#HD1Y, $\ell_1$ product (definition)
History
- 2026-11-01: add by m2/v0.6.15
Liénard–Chipart criterion EFB480J1XA
| URI | m2://inv/EFB480J1XA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liénard–Chipart criterion, Liénard–Chipart criterion (statement). Also Wikidata Q17098836
History
- 2026-11-02: add by m2/dev
EFB8T141HN EFB8T141HN
| URI | m2://inv/EFB8T141HN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#P93B (statement)
History
- 2026-11-01: add by m2/v0.6.15
EFBA6X1ZAQ EFBA6X1ZAQ
| URI | m2://inv/EFBA6X1ZAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#XYUW (statement). In V42PPD7SWH/e1, lemma 6.13
History
- 2026-10-31: add by m2/v0.5.6
EFBECSA0BP EFBECSA0BP
| URI | m2://inv/EFBECSA0BP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#U42L (definition). In 8VDXGR4SVD/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Heat-flow decay EFBJ0MR45T
| URI | m2://inv/EFBJ0MR45T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02721#8V2H, Heat-flow decay (statement). In XXFYVDVPPE/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
EFBTBAF99C EFBTBAF99C
| URI | m2://inv/EFBTBAF99C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#CY51 (definition). In 160PQ7F1AS/e1, definition 4.25
History
- 2026-10-29: add by m2/v0.4.12
locking states EFBX7WFJFA
| URI | m2://inv/EFBX7WFJFA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#ELQU, locking states (definition). In 94RBNQA07A/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Examples EFBZ0M8MZ9
| URI | m2://inv/EFBZ0M8MZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadwiger conjecture (combinatorial geometry)#T2A6, Examples (example)
History
- 2026-11-02: add by m2/dev
EFBZM7EXR6 EFBZM7EXR6
| URI | m2://inv/EFBZM7EXR6 |
|---|---|
| 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.03298#NLXS (statement). In 9SBZP218SM/e1, proposition 10.2
History
- 2026-10-29: add by m2/v0.4.12
Corollary 2 EFBZYRZ0ZD
| URI | m2://inv/EFBZYRZ0ZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal suspension theorem#6L16, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
Shortest-path graph EFC49CMHPM
| URI | m2://inv/EFC49CMHPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest-path graph, Shortest-path graph (definition). Also Wikidata Q85800963
History
- 2026-11-02: add by m2/dev
EFC4EFW6XM EFC4EFW6XM
| URI | m2://inv/EFC4EFW6XM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-6 (exercise). In E9HS8K3A52, exercise, section 8.1.3
History
- 2026-11-01: add by m2/v0.6.13
EFC67XV449 EFC67XV449
| URI | m2://inv/EFC67XV449 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#427N (statement). In YYV9SHAPCZ/e1, lemma 2.12
History
- 2026-10-30: add by m2/v0.4.12
EFCG2QTPDD EFCG2QTPDD
| URI | m2://inv/EFCG2QTPDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#Q4D6 (statement). In 95YZVAPGJA/e1, lemma 6.5
History
- 2026-10-30: add by m2/v0.4.12
EFCPQDZJ7C EFCPQDZJ7C
| URI | m2://inv/EFCPQDZJ7C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-86 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Classification EFCVP71WAW
| URI | m2://inv/EFCVP71WAW |
|---|---|
| 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 2610.04164#CVZA, Classification (statement). In KR7WXN4EWR/e1, corollary 8.6
History
- 2026-10-29: add by m2/v0.4.12
Léopold Leau EFD13YS9W1
| URI | m2://inv/EFD13YS9W1 |
|---|---|
| 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#X7MP, Léopold Leau (unknown)
History
- 2026-11-02: add by m2/dev
EFD5F60BXC EFD5F60BXC
| URI | m2://inv/EFD5F60BXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#XH0I (statement). In DWQWQ5KTEE/e1, lemma 26
History
- 2026-10-28: add by m2/v0.4.2
Ferdinand Joachimsthal EFD7NJAD6A
| URI | m2://inv/EFD7NJAD6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferdinand Joachimsthal, Ferdinand Joachimsthal (topic). Also Wikidata Q3710470
History
- 2026-11-02: add by m2/dev
Clairaut's relation EFD9FRR1WH
| URI | m2://inv/EFD9FRR1WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clairaut's relation (differential geometry), Clairaut's relation (definition). Also Wikidata Q2226643
History
- 2026-11-02: add by m2/dev
EFDE0CBXEJ EFDE0CBXEJ
| URI | m2://inv/EFDE0CBXEJ |
|---|---|
| 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.09515#LWLQ (statement). In N51RDVGNXG/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
BILOG-MG EFDEPC1R0T
| URI | m2://inv/EFDEPC1R0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometric software#QMDG, BILOG-MG (unknown)
History
- 2026-11-02: add by m2/dev
Bounded Type EFDGCCFV46
| URI | m2://inv/EFDGCCFV46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#84F7, Bounded Type (statement). In WRE0P7V6Z3/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
Terminology EFDQ22T0DF
| URI | m2://inv/EFDQ22T0DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected relation#JBML, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Recursive Bayesian estimation EFDSGP69P9
| URI | m2://inv/EFDSGP69P9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive Bayesian estimation, Recursive Bayesian estimation (definition). Also Wikidata Q3059012
History
- 2026-11-02: add by m2/dev
EFE1J3N7T9 EFE1J3N7T9
| URI | m2://inv/EFE1J3N7T9 |
|---|---|
| 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.08434#NNSZ (statement). In VN8087G2FC/e1, corollary 8.7
History
- 2026-10-29: add by m2/v0.4.10
EFE3KV9M8Y EFE3KV9M8Y
| URI | m2://inv/EFE3KV9M8Y |
|---|---|
| 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.20401#25NQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pseudo-R-squared EFE4YBPH47
| URI | m2://inv/EFE4YBPH47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-R-squared, Pseudo-R-squared (definition). Also Wikidata Q2115662
History
- 2026-11-02: add by m2/dev
EFE5KBNDQV EFE5KBNDQV
| URI | m2://inv/EFE5KBNDQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#98YO (statement). In 4PGTZ19B26/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Harry C. Carver EFE8YG5SD7
| URI | m2://inv/EFE8YG5SD7 |
|---|---|
| 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#ZDS0, Harry C. Carver (topic)
History
- 2026-11-02: add by m2/dev
Triacontagon EFEH4JYNFY
| URI | m2://inv/EFEH4JYNFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#G3ZA, Triacontagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YOAG, Triacontagon (definition)
History
- 2026-11-02: add by m2/dev
EFESVN1DMW EFESVN1DMW
| URI | m2://inv/EFESVN1DMW |
|---|---|
| Kind | definition |
| 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 2110.06338#1KE4 (definition). In W1VVK7WDPK/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.0
Example EFEZ1SH02R
| URI | m2://inv/EFEZ1SH02R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/D/1 queue#VLXI, Example (example)
History
- 2026-11-02: add by m2/dev
Cauchy's residue theorem EFF0S3FHKB
| URI | m2://inv/EFF0S3FHKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#07S1, Cauchy's residue theorem (statement)
History
- 2026-11-02: add by m2/dev
Köthe conjecture EFF1KRJ3EK
| URI | m2://inv/EFF1KRJ3EK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Köthe conjecture, Köthe conjecture (statement). Also Wikidata Q6454025
History
- 2026-11-02: add by m2/dev
relational semantics EFF22880QA
| URI | m2://inv/EFF22880QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#PNS7, relational semantics (definition)
History
- 2026-11-02: add by m2/dev
Properties EFF3S849AM
| URI | m2://inv/EFF3S849AM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mollifier#UWLR, Properties (statement)
History
- 2026-11-02: add by m2/dev
EFF5H337SC EFF5H337SC
| URI | m2://inv/EFF5H337SC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#3BRH (statement). In DPJ15KW23C/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Non-Archimedean ordered field EFFA5NVNCA
| URI | m2://inv/EFFA5NVNCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Archimedean ordered field, Non-Archimedean ordered field (definition). Also Wikidata Q7048717
History
- 2026-11-02: add by m2/dev
P-recursive equation EFFDDYGQD0
| URI | m2://inv/EFFDDYGQD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-recursive equation, P-recursive equation (definition). Also Wikidata Q56290065
History
- 2026-11-02: add by m2/dev
Combinatorial Geometry in the Plane EFFNWKD2S7
| URI | m2://inv/EFFNWKD2S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial Geometry in the Plane, Combinatorial Geometry in the Plane (definition). Also Wikidata Q97357158
History
- 2026-11-02: add by m2/dev
Transport EFFPZPS3A2
| URI | m2://inv/EFFPZPS3A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#lem:transport, Transport (statement). In N54F33XE07, lem, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
explicit pointwise dual proximal map EFFQKS68PZ
| URI | m2://inv/EFFQKS68PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#P5I1, explicit pointwise dual proximal map (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry EFFRAQ92Z1
| URI | m2://inv/EFFRAQ92Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icositetrahedron#RBLZ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
EFFXZKH8PG EFFXZKH8PG
| URI | m2://inv/EFFXZKH8PG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#R70H (definition). In NS3RZ26JC7/e1, definition 5
History
- 2026-10-31: add by m2/v0.5.6
Boltzmann sampler EFG3DAZ814
| URI | m2://inv/EFG3DAZ814 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann sampler, Boltzmann sampler (definition). Also Wikidata Q96373767
History
- 2026-11-02: add by m2/dev
Cramer's paradox EFG5XH29S3
| URI | m2://inv/EFG5XH29S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#MB7A, Cramer's paradox (statement)
History
- 2026-11-02: add by m2/dev
vertex set EFGDC8S8TQ
| URI | m2://inv/EFGDC8S8TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#L4NN, vertex set (definition)
History
- 2026-11-02: add by m2/dev
EFGEHQM8KM EFGEHQM8KM
| URI | m2://inv/EFGEHQM8KM |
|---|---|
| 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.16060#7DZK (statement). In X0BTF9HPGM/e1, lemma D.3
History
- 2026-10-28: add by m2/v0.4.2
Verifying the monad laws EFGHZE7VST
| URI | m2://inv/EFGHZE7VST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (functional programming)#OA50, Verifying the monad laws (statement)
History
- 2026-11-02: add by m2/dev
Lateral surface EFGMWA7XWS
| URI | m2://inv/EFGMWA7XWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lateral surface, Lateral surface (topic). Also Wikidata Q6495712
History
- 2026-11-02: add by m2/dev
Existence and uniqueness EFHAFGX48B
| URI | m2://inv/EFHAFGX48B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional-order system#L7T8, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
M. S. Bartlett EFHBSGWHQB
| URI | m2://inv/EFHBSGWHQB |
|---|---|
| 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#H0M9, M. S. Bartlett (topic)
History
- 2026-11-02: add by m2/dev
EFHDMVJQSJ EFHDMVJQSJ
| URI | m2://inv/EFHDMVJQSJ |
|---|---|
| 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.06441#7M4Q (statement). In YFJ62HWHVK/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
EFHHKE4GHH EFHHKE4GHH
| URI | m2://inv/EFHHKE4GHH |
|---|---|
| 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 2508.17181#1TV7 (statement). In 2QR18WK8KH/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
EFHJG8YMF8 EFHJG8YMF8
| URI | m2://inv/EFHJG8YMF8 |
|---|---|
| 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.10570#38SH (statement). In V0MA250K2P/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Cantor function EFHR13WW6M
| URI | m2://inv/EFHR13WW6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cantor function NPBYYK63FE |
Mentions
- wikidata: Wikidata Q938883, Cantor function (unknown). Also MathWorld CantorFunction
- wikipedia: Wikipedia Cantor function, Cantor function (definition). Also Wikidata Q938883
History
- 2026-10-26: add by m2/dev
EFHS5EJF8X EFHS5EJF8X
| URI | m2://inv/EFHS5EJF8X |
|---|---|
| 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.06340#QZ86 (statement). In PKNZPECH82/e1, corollary 10.8
History
- 2026-10-29: add by m2/v0.4.10
Alternating series estimation theorem EFJ4G9C2K1
| URI | m2://inv/EFJ4G9C2K1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating series test#81ZM, Alternating series estimation theorem (statement)
History
- 2026-11-02: add by m2/dev
EFJ53TEVQ5 EFJ53TEVQ5
| URI | m2://inv/EFJ53TEVQ5 |
|---|---|
| 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.24577#Z68J (statement)
History
- 2026-11-01: add by m2/v0.6.15
EFJCZH29K0 EFJCZH29K0
| URI | m2://inv/EFJCZH29K0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#X110 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Earl A. Coddington EFJG9C9QR8
| URI | m2://inv/EFJG9C9QR8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earl A. Coddington, Earl A. Coddington (topic). Also Wikidata Q30339637
History
- 2026-11-02: add by m2/dev
EFJJDHSNGA EFJJDHSNGA
| URI | m2://inv/EFJJDHSNGA |
|---|---|
| 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.24078#P3AT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Acyclic reduced exceptional sector EFJN6H51EQ
| URI | m2://inv/EFJN6H51EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27799#N02X, Acyclic reduced exceptional sector (statement)
History
- 2026-11-01: add by m2/v0.6.15
edge coloring EFK09BNH93
| URI | m2://inv/EFK09BNH93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Edge colouring 0B5WCC02AN |
Mentions
- wikidata: Wikidata Q1050972, edge coloring (definition). Also ProofWiki Definition:Coloring/Edge_Coloring
- wikipedia: Wikipedia Edge coloring, Edge coloring (definition). Also Wikidata Q1050972
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
EFK8D8H92M EFK8D8H92M
| URI | m2://inv/EFK8D8H92M |
|---|---|
| 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#XVZF (statement). In E7W2HDNEKJ/e1, corollary 7.22
History
- 2026-10-30: add by m2/v0.4.12
Lee--Yang polydisc EFKH43ENNP
| URI | m2://inv/EFKH43ENNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#2FRN, Lee--Yang polydisc (statement). In 5XPM4E03W6/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
EFKM6SSF67 EFKM6SSF67
| URI | m2://inv/EFKM6SSF67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#7PMX (statement). In X765ZXXVC3/e1, corollary 5.17
History
- 2026-10-29: add by m2/v0.4.12
Definition EFKQXC69FX
| URI | m2://inv/EFKQXC69FX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivator#TIL5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Characterization of the class EFKTEW5M2T
| URI | m2://inv/EFKTEW5M2T |
|---|---|
| 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.21461#JZN6, Characterization of the class (statement). In DWQANBV7B7/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
EFKX6TRDEH EFKX6TRDEH
| URI | m2://inv/EFKX6TRDEH |
|---|---|
| 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.19260#M8MT (statement). In PWXT7J9JX3/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.2
454 (number) EFM7ZXN8WX
| URI | m2://inv/EFM7ZXN8WX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#7TMB, 454 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Pointwise criterion EFMF4XCNRT
| URI | m2://inv/EFMF4XCNRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#JK66, Pointwise criterion (statement). In JY6RYSNXMJ/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
EFMFW3M15D EFMFW3M15D
| URI | m2://inv/EFMFW3M15D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#MHCN (statement). In KS30K5JXGB/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
EFMGTYSS8D EFMGTYSS8D
| URI | m2://inv/EFMGTYSS8D |
|---|---|
| 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 2609.26703#JY2J (definition)
History
- 2026-11-01: add by m2/v0.6.15
EFMKADXCCS EFMKADXCCS
| URI | m2://inv/EFMKADXCCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#SVVL (statement). In TAPS8P2VYS/e1, lemma 1.10
History
- 2026-10-29: add by m2/v0.4.10
error estimation EFMPP28AHA
| URI | m2://inv/EFMPP28AHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > error estimation, error estimation (unknown)
History
- 2026-10-26: add by m2/dev
Leibniz integral rule EFMSVJ40KV
| URI | m2://inv/EFMSVJ40KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Differentiation under the integral sign 0AR06W1E1B |
Mentions
- wikidata: Wikidata Q2996637, Leibniz integral rule (statement). Also MathWorld LeibnizIntegralRule
- wikipedia: Wikipedia Leibniz integral rule, Leibniz integral rule (definition). Also Wikidata Q2996637
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Jakob Horn EFMY4CP09V
| URI | m2://inv/EFMY4CP09V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jakob Horn, Jakob Horn (topic). Also Wikidata Q11112890
History
- 2026-11-02: add by m2/dev
Caputo fractional derivative EFNG1NK0HS
| URI | m2://inv/EFNG1NK0HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caputo fractional derivative, Caputo fractional derivative (definition). Also Wikidata Q130213521
History
- 2026-11-02: add by m2/dev
EFNJNV60EA EFNJNV60EA
| URI | m2://inv/EFNJNV60EA |
|---|---|
| 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 2609.40191#NZGM (statement). In F0D8VSM4Z4/e1, theorem 5.12
History
- 2026-10-30: add by m2/v0.4.12
EFNMFBGZAS EFNMFBGZAS
| URI | m2://inv/EFNMFBGZAS |
|---|---|
| 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#1FI3 (statement). In ZXZN6RMN38/e1, theorem 21
History
- 2026-10-28: add by m2/v0.4.2
Morphological antialiasing EFNT9WYHYQ
| URI | m2://inv/EFNT9WYHYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#1XP8, Morphological antialiasing (unknown)
History
- 2026-11-02: add by m2/dev
valuation EFNY568EE2
| URI | m2://inv/EFNY568EE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4008379, valuation (unknown). Also nLab valuation
History
- 2026-10-26: add by m2/dev
EFNZJ68APS EFNZJ68APS
| URI | m2://inv/EFNZJ68APS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#7R9K (statement). In VTVC0TCWSB/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.5
EFP2FT77S6 EFP2FT77S6
| URI | m2://inv/EFP2FT77S6 |
|---|---|
| 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.32078#EX99 (statement). In 5PN85N6EJF/e1, proposition F.7
History
- 2026-10-31: add by m2/v0.5.6
Ambient completion and the trace measure EFPA2A7BHM
| URI | m2://inv/EFPA2A7BHM |
|---|---|
| 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#XWBG, Ambient completion and the trace measure (statement)
History
- 2026-11-02: add by m2/v0.6.18
Graph paper EFPBD4Z9NC
| URI | m2://inv/EFPBD4Z9NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph paper, Graph paper (definition). Also Wikidata Q17310518
History
- 2026-11-02: add by m2/dev
Simon model EFPD4C84MA
| URI | m2://inv/EFPD4C84MA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon model, Simon model (definition). Also Wikidata Q7520135
History
- 2026-11-02: add by m2/dev
Properties EFPD7PW3PE
| URI | m2://inv/EFPD7PW3PE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated function system#QDIJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
EFPGD1RRVX EFPGD1RRVX
| URI | m2://inv/EFPGD1RRVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#SMLJ (statement). In V2NTW27MSJ/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
Quaternionic structure EFPKHADD6N
| URI | m2://inv/EFPKHADD6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic structure, Quaternionic structure (definition). Also Wikidata Q18398697
History
- 2026-11-02: add by m2/dev
Example EFPTB84XM2
| URI | m2://inv/EFPTB84XM2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli's method#LMJ9, Example (example)
History
- 2026-11-02: add by m2/dev
EFPTJ2PJG7 EFPTJ2PJG7
| URI | m2://inv/EFPTJ2PJG7 |
|---|---|
| Kind | example |
| 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.15444#RIB2 (example). In M2X9TEYRPC/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
EFPVS9E6RY EFPVS9E6RY
| URI | m2://inv/EFPVS9E6RY |
|---|---|
| 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.36078#HIH2 (statement). In MVKXS0Q6XN/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Characterization EFQRK0TA08
| URI | m2://inv/EFQRK0TA08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unramified morphism#KYOY, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Data and information visualization EFQTB7R21T
| URI | m2://inv/EFQTB7R21T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data and information visualization, Data and information visualization (definition). Also Wikidata Q133505171
History
- 2026-11-02: add by m2/dev
EFR1YKEXFW EFR1YKEXFW
| URI | m2://inv/EFR1YKEXFW |
|---|---|
| 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.04809#ACRV (statement). In 2VHV0RNTNV/e1, lemma 3.18
History
- 2026-10-29: add by m2/v0.4.12
Shrikhande graph EFR2S2TA70
| URI | m2://inv/EFR2S2TA70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115537, Shrikhande graph (unknown). Also House of Graphs 1308, MathWorld ShrikhandeGraph
- wikipedia: Wikipedia Shrikhande graph, Shrikhande graph (definition). Also Wikidata Q3115537
History
- 2026-10-26: add by m2/dev
EFR2T5VCE9 EFR2T5VCE9
| URI | m2://inv/EFR2T5VCE9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-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.21931#4J7F (definition)
History
- 2026-11-02: add by m2/v0.6.17
Trusted Computing EFR3Y1WX61
| URI | m2://inv/EFR3Y1WX61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted Computing, Trusted Computing (definition). Also Wikidata Q966812
History
- 2026-11-02: add by m2/dev
EFR598VPWZ EFR598VPWZ
| URI | m2://inv/EFR598VPWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09522#Q7LQ (statement). In KKR9167FPT/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.10
EFR6SMRR70 EFR6SMRR70
| URI | m2://inv/EFR6SMRR70 |
|---|---|
| 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.39531#UMLJ (statement). In SN9RSTHQ07/e1, lemma B.3
History
- 2026-10-30: add by m2/v0.4.12
Kinetic scheme EFREA9TC4G
| URI | m2://inv/EFREA9TC4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kinetic scheme, Kinetic scheme (definition). Also Wikidata Q6410797
History
- 2026-11-02: add by m2/dev
$k$-th nearest neighbour distance EFRFSE3MGS
| URI | m2://inv/EFRFSE3MGS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06873#RU4M, $k$-th nearest neighbour distance (definition). In R8NHQ41GMX/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Poisson boundary EFRK6K269P
| URI | m2://inv/EFRK6K269P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson boundary, Poisson boundary (definition). Also Wikidata Q28402746
History
- 2026-11-02: add by m2/dev
Definition EFRK97PCZ0
| URI | m2://inv/EFRK97PCZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance and contravariance of vectors#0BXU, Definition (definition)
History
- 2026-11-02: add by m2/dev
EFRPG49KSH EFRPG49KSH
| URI | m2://inv/EFRPG49KSH |
|---|---|
| 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.19959#UKHD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Inner horizon EFRQ4ECKWK
| URI | m2://inv/EFRQ4ECKWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy surface#B4OW, Inner horizon (unknown)
History
- 2026-11-02: add by m2/dev
Derivative of the exponential map EFRZ4BD50K
| URI | m2://inv/EFRZ4BD50K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative of the exponential map, Derivative of the exponential map (definition). Also Wikidata Q25303679
History
- 2026-11-02: add by m2/dev
PlanetMath EFS0AF0E3B
| URI | m2://inv/EFS0AF0E3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PlanetMath, PlanetMath (definition). Also Wikidata Q1130535
History
- 2026-11-02: add by m2/dev
EFS0JQ9N1X EFS0JQ9N1X
| URI | m2://inv/EFS0JQ9N1X |
|---|---|
| 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.13798#SVKJ (statement). In GF2MA6Y29D/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Example EFS0SJ7CVC
| URI | m2://inv/EFS0SJ7CVC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagnostic odds ratio#BKWB, Example (example)
History
- 2026-11-02: add by m2/dev
EFSEA6ND7M EFSEA6ND7M
| URI | m2://inv/EFSEA6ND7M |
|---|---|
| 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.21399#QM5K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Michael C. Reed EFSFK3QDGC
| URI | m2://inv/EFSFK3QDGC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael C. Reed, Michael C. Reed (topic). Also Wikidata Q6829040
History
- 2026-11-02: add by m2/dev
EFSHZHK3DX EFSHZHK3DX
| URI | m2://inv/EFSHZHK3DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#QHSV (statement). In 2381M4GBTT/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
EFSJGB31QE EFSJGB31QE
| URI | m2://inv/EFSJGB31QE |
|---|---|
| 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.32374#ZPSE (statement). In 96D6N9AXQM/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
EFSK4BN69S EFSK4BN69S
| URI | m2://inv/EFSK4BN69S |
|---|---|
| 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.38436#G00X (statement). In 702AF3E4AF/e1, theorem 3.19
History
- 2026-10-30: add by m2/v0.4.12
Example EFSPMRWKX4
| URI | m2://inv/EFSPMRWKX4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit function#H3LB, Example (example)
History
- 2026-11-02: add by m2/dev
EFSPS5HD04 EFSPS5HD04
| URI | m2://inv/EFSPS5HD04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11939#0QMQ (statement). In DQMEN40FZV/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.3
EFSQAVQYJA EFSQAVQYJA
| URI | m2://inv/EFSQAVQYJA |
|---|---|
| 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#SIBR (example)
History
- 2026-11-01: add by m2/v0.6.15
Rafer Johnson EFSSY4WKW3
| URI | m2://inv/EFSSY4WKW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#L7V6, Rafer Johnson (unknown)
History
- 2026-11-02: add by m2/dev
Effective margin implies direction-set convergence EFSV6158SN
| URI | m2://inv/EFSV6158SN |
|---|---|
| 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.11309#J008, Effective margin implies direction-set convergence (statement). In TTEAQA1XXR/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.3
EFSWSYSDVY EFSWSYSDVY
| URI | m2://inv/EFSWSYSDVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#EC0T (statement). In Q4HWFFK0R9/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
EFT45R85F7 EFT45R85F7
| URI | m2://inv/EFT45R85F7 |
|---|---|
| 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.25038#I0HT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Slovak Mathematical Society EFT8435GYP
| URI | m2://inv/EFT8435GYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#KOUN, Slovak Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
EFT8XBBS8K EFT8XBBS8K
| URI | m2://inv/EFT8XBBS8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07379#CYVM (definition). In N0EVQ46HBR/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Abraham Adrian Albert EFTE39ZH3D
| URI | m2://inv/EFTE39ZH3D |
|---|---|
| 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#A4V2, Abraham Adrian Albert (topic)
History
- 2026-11-02: add by m2/dev
Tameness conjecture, also called the Marden conjecture or tame ends conjecture EFTKH698J5
| URI | m2://inv/EFTKH698J5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#6GFN, Tameness conjecture, also called the Marden conjecture or tame ends conjecture (statement)
History
- 2026-11-02: add by m2/dev
Almost sure convergence of $\mathbf Z_t$ EFTT7XPC3W
| URI | m2://inv/EFTT7XPC3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13884#IOQ4, Almost sure convergence of $\mathbf Z_t$ (statement). In N2NQ3QJYTW/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
EFTXPJW6MW EFTXPJW6MW
| URI | m2://inv/EFTXPJW6MW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/minimization.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 38.3
History
- 2026-11-01: add by m2/v0.6.13
EFV0AKX7KE EFV0AKX7KE
| URI | m2://inv/EFV0AKX7KE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#WT89 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EFV0K24MNE EFV0K24MNE
| URI | m2://inv/EFV0K24MNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#ILU5 (statement). In 371P9QASSJ/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Boris Zilber EFV25MJY6F
| URI | m2://inv/EFV25MJY6F |
|---|---|
| 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 Q893805, Boris Zilber (unknown). Also nLab Boris Zilber, ProofWiki Mathematician:Boris_Iosifovich_Zilber
- wikipedia: Wikipedia Boris Zilber, Boris Zilber (topic). Also Wikidata Q893805
History
- 2026-10-26: add by m2/dev
Solvability of $\dbar v=a\overline v+f$ EFV6GDET4C
| URI | m2://inv/EFV6GDET4C |
|---|---|
| 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.13753#V2YP, Solvability of $\dbar v=a\overline v+f$ (statement). In AHM0PBKZZN/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Rules of passage EFV7XKR666
| URI | m2://inv/EFV7XKR666 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rules of passage, Rules of passage (definition). Also Wikidata Q7379044
History
- 2026-11-02: add by m2/dev
EFV9TTMRRM EFV9TTMRRM
| URI | m2://inv/EFV9TTMRRM |
|---|---|
| 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.07490#5CZB (statement). In 1BCKN2RQQ4/e1, corollary 1.1
History
- 2026-10-29: add by m2/v0.4.10
Quillen determinant line bundle EFVD42VYSZ
| URI | m2://inv/EFVD42VYSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen determinant line bundle, Quillen determinant line bundle (definition). Also Wikidata Q7271996
History
- 2026-11-02: add by m2/dev
Partial least squares regression EFVE6C7042
| URI | m2://inv/EFVE6C7042 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XG28, Partial least squares regression (definition)
History
- 2026-11-02: add by m2/dev
Examples EFVQDRME8E
| URI | m2://inv/EFVQDRME8E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi form#NSBI, Examples (example)
History
- 2026-11-02: add by m2/dev
EFVXNJTJ9B EFVXNJTJ9B
| URI | m2://inv/EFVXNJTJ9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#NH1V (statement). In 7Z3KQRFEVG/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
EFVXQB2GR2 EFVXQB2GR2
| URI | m2://inv/EFVXQB2GR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#RNJ0 (statement). In K0DHYQC5B7/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Computation EFVZE81T9D
| URI | m2://inv/EFVZE81T9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sudan function#Z5SV, Computation (definition)
History
- 2026-11-02: add by m2/dev
EFWBW30QAA EFWBW30QAA
| URI | m2://inv/EFWBW30QAA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
EFWCDTKX2M EFWCDTKX2M
| URI | m2://inv/EFWCDTKX2M |
|---|---|
| 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.01915#BERI (statement). In 6HJQXZS0A6/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.12
Implementations EFWE2ZPT5T
| URI | m2://inv/EFWE2ZPT5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact quasi-Newton representation#LKPY, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Talithia Williams EFWQTN6ESE
| URI | m2://inv/EFWQTN6ESE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Talithia Williams, Talithia Williams (topic). Also Wikidata Q23729163
History
- 2026-11-02: add by m2/dev
EFX7Y0XS6P EFX7Y0XS6P
| URI | m2://inv/EFX7Y0XS6P |
|---|---|
| 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 2501.18744#X90J (statement). In YRWZ02BGEF/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
EFXFAMBEZ0 EFXFAMBEZ0
| URI | m2://inv/EFXFAMBEZ0 |
|---|---|
| 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.25656#4SBK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fundamental theorem of geometric calculus EFXH1VP0NM
| URI | m2://inv/EFXH1VP0NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#7VJ0, Fundamental theorem of geometric calculus (definition)
History
- 2026-11-02: add by m2/dev
EFXH9M8GWA EFXH9M8GWA
| URI | m2://inv/EFXH9M8GWA |
|---|---|
| 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 2104.00162#79B2 (statement). In HVGT9D84WV/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.3.5
Non-examples EFXKXHD65H
| URI | m2://inv/EFXKXHD65H |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#9M2G, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Standardized mean difference EFXS284Y1D
| URI | m2://inv/EFXS284Y1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effect size#5RU2, Standardized mean difference (unknown)
History
- 2026-11-02: add by m2/dev
EFXZPA4K9Q EFXZPA4K9Q
| URI | m2://inv/EFXZPA4K9Q |
|---|---|
| Kind | definition |
| 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 2212.01916#FTWF (definition). In XTGB5Z08YH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Combinatorial data analysis EFY0W64YVW
| URI | m2://inv/EFY0W64YVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial data analysis, Combinatorial data analysis (definition). Also Wikidata Q5150825
History
- 2026-11-02: add by m2/dev
EFY1J2PAYW EFY1J2PAYW
| URI | m2://inv/EFY1J2PAYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#LGXH (statement). In 1MPH7GCFJ2/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
EFY25JEE9Y EFY25JEE9Y
| URI | m2://inv/EFY25JEE9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#GNU8 (statement). In CHC3T113Y4/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Truncation error EFY3XAXZGN
| URI | m2://inv/EFY3XAXZGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncation error, Truncation error (definition). Also Wikidata Q3434686
History
- 2026-11-02: add by m2/dev
Applications EFY49RMJ1D
| URI | m2://inv/EFY49RMJ1D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Developable surface#SS1Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Turing Institute EFY62NKDF7
| URI | m2://inv/EFY62NKDF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#PO9Z, Turing Institute (unknown)
History
- 2026-11-02: add by m2/dev
EFYC64X49B EFYC64X49B
| URI | m2://inv/EFYC64X49B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#FMCX (statement). In 6G1KBA0SXV/e1, lemma 3.8
History
- 2026-10-31: add by m2/v0.5.6
Lévy–Prokhorov metric EFYEWEDNVX
| URI | m2://inv/EFYEWEDNVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy–Prokhorov metric, Lévy–Prokhorov metric (definition). Also Wikidata Q421945
History
- 2026-11-02: add by m2/dev
Definition EFYGZQH6BK
| URI | m2://inv/EFYGZQH6BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic equicontinuity#2JEV, Definition (definition)
History
- 2026-11-02: add by m2/dev
EFYM36XFN3 EFYM36XFN3
| URI | m2://inv/EFYM36XFN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20701#H5EJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
EFYQGZ3388 EFYQGZ3388
| URI | m2://inv/EFYQGZ3388 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synchronizing word#XSNM (problem)
History
- 2026-11-02: add by m2/dev
Stefanie Petermichl EFZ8JRKA1Y
| URI | m2://inv/EFZ8JRKA1Y |
|---|---|
| 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#QEPG, Stefanie Petermichl (topic)
- wikipedia: Wikipedia List of German mathematicians#4Z3N, Stefanie Petermichl (topic)
History
- 2026-11-02: add by m2/dev
local concentration inequality EFZDP5TD93
| URI | m2://inv/EFZDP5TD93 |
|---|---|
| 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.28518#XWSB, local concentration inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Analogue EFZN4RZ4MN
| URI | m2://inv/EFZN4RZ4MN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#E1M3, Analogue (statement). In GJ7N2EWACX/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2