Inventory rows E5
The cards of the rows of the inventory whose ids start with E5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
E501Z5DCJF E501Z5DCJF
| URI | m2://inv/E501Z5DCJF |
|---|---|
| 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 2405.10580#7G2R (statement). In FXEJE0PWEP/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Definition E5030Y77H6
| URI | m2://inv/E5030Y77H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History index model#7VHI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Classification theorems E506BF7V0B
| URI | m2://inv/E506BF7V0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman divergence#9U8K, Classification theorems (statement)
History
- 2026-11-02: add by m2/dev
E50WCA5G6V E50WCA5G6V
| URI | m2://inv/E50WCA5G6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#3M4V (statement). In D8QFZG5R1D/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.3.6
Oriented CM packet E512HARNNX
| URI | m2://inv/E512HARNNX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26196#YZ0Z, Oriented CM packet (definition)
History
- 2026-11-01: add by m2/v0.6.15
E514B89BZZ E514B89BZZ
| URI | m2://inv/E514B89BZZ |
|---|---|
| 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.18445#OH2C (statement). In X63FGXZP4F/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Definition E51G0MHZ87
| URI | m2://inv/E51G0MHZ87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amenable group#4JKN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Potential isomorphism E51QTS9WM1
| URI | m2://inv/E51QTS9WM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#Z28E, Potential isomorphism (definition)
History
- 2026-11-02: add by m2/dev
Characterizations E51V8BBJE3
| URI | m2://inv/E51V8BBJE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph property#KDZG, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
E51VTW43RN E51VTW43RN
| URI | m2://inv/E51VTW43RN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20556#RRW6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
E51VW2W351 E51VW2W351
| URI | m2://inv/E51VW2W351 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Bird E51YDMW7JC
| URI | m2://inv/E51YDMW7JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bird (mathematical artwork), Bird (definition). Also Wikidata Q111949434
History
- 2026-11-02: add by m2/dev
Examples E52HA6YYYR
| URI | m2://inv/E52HA6YYYR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subshift of finite type#WE2P, Examples (example)
History
- 2026-11-02: add by m2/dev
repunit E52M62SGP9
| URI | m2://inv/E52M62SGP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1199125, repunit (unknown). Also MathWorld Repunit, OEIS A002275
- wikipedia: Wikipedia Repunit, Repunit (definition). Also Wikidata Q1199125
History
- 2026-10-26: add by m2/dev
E52X19KRR3 E52X19KRR3
| URI | m2://inv/E52X19KRR3 |
|---|---|
| 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.14988#UAXF (statement). In B29M4E6KGC/e1, proposition G.2
History
- 2026-10-28: add by m2/v0.4.2
E536ZZM6XB E536ZZM6XB
| URI | m2://inv/E536ZZM6XB |
|---|---|
| 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.05299#WJJQ (statement). In 68AE571S4P/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
gyrate rhombicosidodecahedron E53M0W72GR
| URI | m2://inv/E53M0W72GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2535410, gyrate rhombicosidodecahedron (object). Also MathWorld GyrateRhombicosidodecahedron
- wikipedia: Wikipedia Gyrate rhombicosidodecahedron, Gyrate rhombicosidodecahedron (definition). Also Wikidata Q2535410
History
- 2026-10-26: add by m2/dev
Example E53THFQC4A
| URI | m2://inv/E53THFQC4A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility rule#KOE3, Example (example)
History
- 2026-11-02: add by m2/dev
E542RSA6SY E542RSA6SY
| URI | m2://inv/E542RSA6SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#3DXA (statement). In 76850E2X7T/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.3
E542WJVESJ E542WJVESJ
| URI | m2://inv/E542WJVESJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39269#OIT7 (statement). In HS4X20TX33/e1, fact 0.2
History
- 2026-10-30: add by m2/v0.4.12
semicontinuous E546XHFDJN
| URI | m2://inv/E546XHFDJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#GY1B, semicontinuous (definition)
History
- 2026-11-02: add by m2/dev
E547Q0CHV1 E547Q0CHV1
| URI | m2://inv/E547Q0CHV1 |
|---|---|
| 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.31086#S4EV (statement). In GN1KA54943/e1, theorem B.1
History
- 2026-10-31: add by m2/v0.5.6
Argument from Queerness E549RJHZ6X
| URI | m2://inv/E549RJHZ6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moral nihilism#0LLP, Argument from Queerness (unknown)
History
- 2026-11-02: add by m2/dev
Monte Carlo method E54D6SGV6X
| URI | m2://inv/E54D6SGV6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Numerical integration > Monte Carlo method, Monte Carlo method (unknown)
History
- 2026-10-26: add by m2/dev
operations research E54HT3Z1AT
| URI | m2://inv/E54HT3Z1AT |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 90Bxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q194292, operations research (topic). Also MathWorld OperationsResearch, ProofWiki Definition:Operations_Research
- wikipedia: Wikipedia Operations research, Operations research (topic). Also Wikidata Q194292
History
- 2026-10-26: add by m2/dev
Well-defined infinite-time limit E54MADHDTX
| URI | m2://inv/E54MADHDTX |
|---|---|
| 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.36016#NZNW, Well-defined infinite-time limit (statement). In NAM9ZMPHZ9/e1, lemma D.1
History
- 2026-10-30: add by m2/v0.4.12
Blow-up and strict transform E54RTJYEFF
| URI | m2://inv/E54RTJYEFF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 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.23469#BM0T, Blow-up and strict transform (definition)
History
- 2026-11-02: add by m2/v0.6.17
E54T1E9V8G E54T1E9V8G
| URI | m2://inv/E54T1E9V8G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#PNDC (definition). In G02N9D40B9/e1, definition 3.3.2
History
- 2026-10-29: add by m2/v0.4.10
Irving Lorge E54W5X0NTA
| URI | m2://inv/E54W5X0NTA |
|---|---|
| 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#PZR2, Irving Lorge (topic)
History
- 2026-11-02: add by m2/dev
Quantum singular value transformation E554W0V52R
| URI | m2://inv/E554W0V52R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum singular value transformation, Quantum singular value transformation (definition). Also Wikidata Q124607383
History
- 2026-11-02: add by m2/dev
Independent-test false acceptance E5575V9W4K
| URI | m2://inv/E5575V9W4K |
|---|---|
| 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.14965#WYO3, Independent-test false acceptance (statement). In HNJB1WHQGZ/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
\textbf{Ward identity E55MKX49BP
| URI | m2://inv/E55MKX49BP |
|---|---|
| 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.22170#JPI5, \textbf{Ward identity (statement). In 74MMMHHPW5/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
High modes E55NM6WCWK
| URI | m2://inv/E55NM6WCWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#NFYB, High modes (statement). In QVFHS1C9BW/e1, lemma \thethrm
History
- 2026-10-29: add by m2/v0.4.10
E55S0TF2F4 E55S0TF2F4
| URI | m2://inv/E55S0TF2F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26276#UMY6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E55V4GW9KS E55V4GW9KS
| URI | m2://inv/E55V4GW9KS |
|---|---|
| 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.23362#LT65 (statement)
History
- 2026-11-02: add by m2/v0.6.17
E55XR2YV7Z E55XR2YV7Z
| URI | m2://inv/E55XR2YV7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#CJDW (statement). In 879ZDHVK7N/e1, corollary 3.17
History
- 2026-10-27: add by m2/v0.4.2
Lemma 2 E55ZEVX0DA
| URI | m2://inv/E55ZEVX0DA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Container method#DNC2, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
E561A4CMJ9 E561A4CMJ9
| URI | m2://inv/E561A4CMJ9 |
|---|---|
| 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 2204.00678#F92N (statement). In RX70Y35BYJ/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
E562ENG7XX E562ENG7XX
| URI | m2://inv/E562ENG7XX |
|---|---|
| Kind | problem |
| 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 2305.10921#IDSD (problem). In PD5PJ0EYG6/e1, problem 6.6
History
- 2026-10-27: add by m2/v0.3.5
Overlap-free E56BHKBK41
| URI | m2://inv/E56BHKBK41 |
|---|---|
| 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#XN6O, Overlap-free (definition). In WD2NCBV9F0/e1, definition 4.15
History
- 2026-10-27: add by m2/v0.3.5
E56J7Q908T E56J7Q908T
| URI | m2://inv/E56J7Q908T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#EN2C (statement). In 73A9KWZJRD/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
E56JXTGBC8 E56JXTGBC8
| URI | m2://inv/E56JXTGBC8 |
|---|---|
| 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.24541#S0D8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Peter Duren E56TVDPKYR
| URI | m2://inv/E56TVDPKYR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Duren, Peter Duren (topic). Also Wikidata Q15453093
History
- 2026-11-02: add by m2/dev
Signature (topology) E57446XW9P
| URI | m2://inv/E57446XW9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#FCTZ, Signature (topology) (definition)
History
- 2026-11-02: add by m2/dev
Gennadiy Korban E579QV9AX7
| URI | m2://inv/E579QV9AX7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#CREB, Gennadiy Korban (unknown)
History
- 2026-11-02: add by m2/dev
The Splitting Lemma E57CW2A5YM
| URI | m2://inv/E57CW2A5YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#EYSF, The Splitting Lemma (statement). In X407M6WFNR/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Daniela Ferrero E57P6K6J8E
| URI | m2://inv/E57P6K6J8E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniela Ferrero, Daniela Ferrero (topic). Also Wikidata Q60389554
History
- 2026-11-02: add by m2/dev
Virgil Snyder E584FZCFBH
| URI | m2://inv/E584FZCFBH |
|---|---|
| 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#3E6D, Virgil Snyder (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FUKP, Virgil Snyder (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z1KA, Virgil Snyder (unknown)
History
- 2026-11-02: add by m2/dev
E58CF1P7CR E58CF1P7CR
| URI | m2://inv/E58CF1P7CR |
|---|---|
| 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 2105.03715#YAJB (statement). In H3FWT3Z0J4/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Maya Stein E58GA6XXTR
| URI | m2://inv/E58GA6XXTR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maya Stein, Maya Stein (topic). Also Wikidata Q102396670
History
- 2026-11-02: add by m2/dev
The arbitrary-cardinality Clifford reduction E58N7GS9PK
| URI | m2://inv/E58N7GS9PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#ZXQO, The arbitrary-cardinality Clifford reduction (statement). In DR7BK4CQ0V/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.3
Constructions E58REGX8FA
| URI | m2://inv/E58REGX8FA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straightedge-only construction#CNYH, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Max Deuring E58TCX7FZ4
| URI | m2://inv/E58TCX7FZ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Deuring, Max Deuring (topic). Also Wikidata Q78093
History
- 2026-11-02: add by m2/dev
triangular numbers E599H07B08
| URI | m2://inv/E599H07B08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#CLT6, triangular numbers (definition)
History
- 2026-11-02: add by m2/dev
central subgroup E59GSQ3CNP
| URI | m2://inv/E59GSQ3CNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 4938766) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#HK36, central subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
E59WMNNZ33 E59WMNNZ33
| URI | m2://inv/E59WMNNZ33 |
|---|---|
| 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.20916#W30X (statement). In HV598NZW9X/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Symmetry E5A82N1ZTM
| URI | m2://inv/E5A82N1ZTM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-3 apeirogonal tiling#KQQ5, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Test functions for optimization E5AAFYDCQG
| URI | m2://inv/E5AAFYDCQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#6AY5, Test functions for optimization (definition)
History
- 2026-11-02: add by m2/dev
E5AC4Z5R94 E5AC4Z5R94
| URI | m2://inv/E5AC4Z5R94 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#NJJ7 (definition). In 1P8D88DKG5/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Wulff construction E5ACSFFHQZ
| URI | m2://inv/E5ACSFFHQZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q907952, Wulff construction (concept). Also MathWorld WulffShape
History
- 2026-10-26: add by m2/dev
Simon Kuznets E5AN6B7817
| URI | m2://inv/E5AN6B7817 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#C3BX, Simon Kuznets (unknown)
History
- 2026-11-02: add by m2/dev
Undersampled time series E5APDMMTVD
| URI | m2://inv/E5APDMMTVD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02637#JNXT, Undersampled time series (definition). In 5Z2H5XJ6EM/e1, definition S3.9
History
- 2026-10-29: add by m2/v0.4.12
E5ASWJPQZ4 E5ASWJPQZ4
| URI | m2://inv/E5ASWJPQZ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
E5ATRMXSMF E5ATRMXSMF
| URI | m2://inv/E5ATRMXSMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#ZW1P (definition). In G2PA4KAGRP/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.6
Defining function formulation E5ATY3DA7Z
| URI | m2://inv/E5ATY3DA7Z |
|---|---|
| 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.17519#4975, Defining function formulation (statement). In H2DNTQ5MKV/e1, lemma 2.15
History
- 2026-10-28: add by m2/v0.4.2
65537-gon E5AVR3EP0A
| URI | m2://inv/E5AVR3EP0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WDGR, 65537-gon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#A9M5, 65537-gon (definition)
History
- 2026-11-02: add by m2/dev
Robert Tichy E5AWWG2KVR
| URI | m2://inv/E5AWWG2KVR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H0ID, Robert Tichy (topic)
History
- 2026-11-02: add by m2/dev
E5AWZZW3P8 E5AWZZW3P8
| URI | m2://inv/E5AWZZW3P8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#T6W8 (statement). In 628PJKD3EV/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
E5B43A8YEB E5B43A8YEB
| URI | m2://inv/E5B43A8YEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#9N9T (statement). In RTE2C0PH4S/e1, corollary
History
- 2026-10-28: add by m2/v0.4.2
Transformation geometry E5B8FCXBEN
| URI | m2://inv/E5B8FCXBEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transformation geometry, Transformation geometry (topic). Also Wikidata Q306542
History
- 2026-11-02: add by m2/dev
E5BERCNDRN E5BERCNDRN
| URI | m2://inv/E5BERCNDRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2109.09268#T5PJ (statement). In SYZFEVFHC3/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Polish Enigma double E5BEXJG3CJ
| URI | m2://inv/E5BEXJG3CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish Enigma double, Polish Enigma double (definition). Also Wikidata Q7209900
History
- 2026-11-02: add by m2/dev
E5BGE29ZFC E5BGE29ZFC
| URI | m2://inv/E5BGE29ZFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#ICTS (statement). In CY1FE8W1ZW/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Morphism of topoi E5BJN0PD90
| URI | m2://inv/E5BJN0PD90 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topos#WWLW, Morphism of topoi (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm E5BSHHZNVH
| URI | m2://inv/E5BSHHZNVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UPGMA#PE53, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Jump Functions E5C2JBZWC2
| URI | m2://inv/E5C2JBZWC2 |
|---|---|
| Kind | definition |
| 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#HS2S, Jump Functions (definition). In WRE0P7V6Z3/e1, definition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Daniel W. Stroock E5C4NR5FF9
| URI | m2://inv/E5C4NR5FF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UQ4I, Daniel W. Stroock (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D78C, Daniel W. Stroock (unknown)
History
- 2026-11-02: add by m2/dev
E5CEAH6G2M E5CEAH6G2M
| URI | m2://inv/E5CEAH6G2M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#Q3AY (definition). In 7V3HG30ZGW/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Breadth-first search E5CFH4BYSA
| URI | m2://inv/E5CFH4BYSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Breadth-first search, Breadth-first search (definition). Also Wikidata Q325904
History
- 2026-11-02: add by m2/dev
Boolean differential calculus E5CNXH0H85
| URI | m2://inv/E5CNXH0H85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean differential calculus, Boolean differential calculus (definition). Also Wikidata Q893021
History
- 2026-11-02: add by m2/dev
E5CQ0A2A6C E5CQ0A2A6C
| URI | m2://inv/E5CQ0A2A6C |
|---|---|
| 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.09989#EG42 (statement). In 4KZA07H3GE/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Definition E5CQPCB7S7
| URI | m2://inv/E5CQPCB7S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of squares function#TL96, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joachim Lambek E5CT6A5QZQ
| URI | m2://inv/E5CT6A5QZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#R32D, Joachim Lambek (topic)
History
- 2026-11-02: add by m2/dev
Feasibility and residual guarantees E5CVBFVD3X
| URI | m2://inv/E5CVBFVD3X |
|---|---|
| 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.04264#9F1U, Feasibility and residual guarantees (statement). In 5YRJ4HGY4N/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
High probability events in $H$ E5CWDQXTE9
| URI | m2://inv/E5CWDQXTE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#3UVZ, High probability events in $H$ (statement). In T9HZXHTQBJ/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.6
E5CWXM2XS8 E5CWXM2XS8
| URI | m2://inv/E5CWXM2XS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#D8DB (statement). In 9B5TNEBJHV/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
distribution E5D1QF2STM
| URI | m2://inv/E5D1QF2STM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#ZL5S, distribution (definition)
History
- 2026-11-02: add by m2/dev
Definition E5D1ZQQ3E0
| URI | m2://inv/E5D1ZQQ3E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mollifier#9M5T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Continuous group action E5D5CEV8RA
| URI | m2://inv/E5D5CEV8RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous group action, Continuous group action (definition). Also Wikidata Q16951242
History
- 2026-11-02: add by m2/dev
Representation theory of Hopf algebras E5DA2ABYR8
| URI | m2://inv/E5DA2ABYR8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of Hopf algebras, Representation theory of Hopf algebras (topic). Also Wikidata Q7314221
History
- 2026-11-02: add by m2/dev
Formal definitions E5DFVHRXGZ
| URI | m2://inv/E5DFVHRXGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free grammar#PIQ1, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Rational choice theory E5DJFKRM3Q
| URI | m2://inv/E5DJFKRM3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#LGX2, Rational choice theory (unknown)
History
- 2026-11-02: add by m2/dev
E5E0DT0V76 E5E0DT0V76
| URI | m2://inv/E5E0DT0V76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#JA7O (statement). In ET8GYMMDQM/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Wahba's problem E5E1FW1H2H
| URI | m2://inv/E5E1FW1H2H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wahba's problem, Wahba's problem (problem). Also Wikidata Q7959743
History
- 2026-11-02: add by m2/dev
Properties E5E2QDCN5E
| URI | m2://inv/E5E2QDCN5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order unit#6C4W, Properties (statement)
History
- 2026-11-02: add by m2/dev
E5EA7AAKS7 E5EA7AAKS7
| URI | m2://inv/E5EA7AAKS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#VRQL (statement). In 3HFBAWQCA1/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Ring theory E5EBDP6DSW
| URI | m2://inv/E5EBDP6DSW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#J61R, Ring theory (topic)
History
- 2026-11-02: add by m2/dev
E5EBXGQ3RA E5EBXGQ3RA
| URI | m2://inv/E5EBXGQ3RA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#ACIJ (statement). In WJD9YPGGYH/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Properties E5EE9AFH18
| URI | m2://inv/E5EE9AFH18 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartley transform#4PEI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bioinformatics E5EF09RQH0
| URI | m2://inv/E5EF09RQH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#FDCX, Bioinformatics (definition)
History
- 2026-11-02: add by m2/dev
E5EMAAJPXV E5EMAAJPXV
| URI | m2://inv/E5EMAAJPXV |
|---|---|
| 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.31861#XX8Z (statement). In G36R6T327W/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
Conditional block representation E5EMZN5PPE
| URI | m2://inv/E5EMZN5PPE |
|---|---|
| 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.06490#VPV7, Conditional block representation (statement). In NKXTXH59P1/e1, lemma E.6
History
- 2026-10-29: add by m2/v0.4.10
Taylor's law E5EYQF9TS8
| URI | m2://inv/E5EYQF9TS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HENA, Taylor's law (statement)
History
- 2026-11-02: add by m2/dev
Theorem E5EZJTF83S
| URI | m2://inv/E5EZJTF83S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions#QQQ3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
E5F2PKSEX3 E5F2PKSEX3
| URI | m2://inv/E5F2PKSEX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#F7PJ (definition). In BDN507RN7J/e1, definition 3.5.14
History
- 2026-10-30: add by m2/v0.4.12
Symmetry E5F56FEVK3
| URI | m2://inv/E5F56FEVK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Architectonic and catoptric tessellation#1T27, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Vickrey–Clarke–Groves E5F8YVNTZX
| URI | m2://inv/E5F8YVNTZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#L91A, Vickrey–Clarke–Groves (unknown)
History
- 2026-11-02: add by m2/dev
Judith Roitman E5FKXN1DQ0
| URI | m2://inv/E5FKXN1DQ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judith Roitman, Judith Roitman (topic). Also Wikidata Q6303646
History
- 2026-11-02: add by m2/dev
De revolutionibus orbium coelestium E5FNM729P2
| URI | m2://inv/E5FNM729P2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q845981, De revolutionibus orbium coelestium (unknown). Also ProofWiki Book:Nicolaus_Copernicus/De_Revolutionibus_Orbium_Coelestium
History
- 2026-10-26: add by m2/dev
Seven Trees, San Jose E5FRMF822V
| URI | m2://inv/E5FRMF822V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0WS5, Seven Trees, San Jose (unknown)
History
- 2026-11-02: add by m2/dev
Archimedean circle E5FS5QGK4B
| URI | m2://inv/E5FS5QGK4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#VR7R, Archimedean circle (unknown)
History
- 2026-11-02: add by m2/dev
E5G56M42CQ E5G56M42CQ
| URI | m2://inv/E5G56M42CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#CL4S (statement). In HA2GG72C23/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
E5GAF52409 E5GAF52409
| URI | m2://inv/E5GAF52409 |
|---|---|
| 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.32033#6N7Z (statement). In 17W5G060QX/e1, lemma 8.1
History
- 2026-10-31: add by m2/v0.5.6
Abel equation of the first kind E5GG53B7CC
| URI | m2://inv/E5GG53B7CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Abel equation of the first kind J9ZY817SRC |
Mentions
- wikidata: Wikidata Q3730861, Abel equation of the first kind (unknown). Also EoM Abel_differential_equation, MathWorld AbelsDifferentialEquation
- wikipedia: Wikipedia Abel equation of the first kind, Abel equation of the first kind (definition). Also Wikidata Q3730861
History
- 2026-10-26: add by m2/dev
Contact mechanics E5H3S0SPW4
| URI | m2://inv/E5H3S0SPW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact mechanics, Contact mechanics (topic). Also Wikidata Q1783143
History
- 2026-11-02: add by m2/dev
Alfreds Meders E5H5PS4VAT
| URI | m2://inv/E5H5PS4VAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfreds Meders, Alfreds Meders (topic). Also Wikidata Q23023435
History
- 2026-11-02: add by m2/dev
E5H8WA8FGH E5H8WA8FGH
| URI | m2://inv/E5H8WA8FGH |
|---|---|
| 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.05722#4B0N (statement). In NDKWV5J14V/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Invariant estimator E5HASG0CE7
| URI | m2://inv/E5HASG0CE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6I61, Invariant estimator (definition)
History
- 2026-11-02: add by m2/dev
E5HB1D1M28 E5HB1D1M28
| URI | m2://inv/E5HB1D1M28 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-31 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Enoch Lewis E5HZ37CQAD
| URI | m2://inv/E5HZ37CQAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enoch Lewis (mathematician), Enoch Lewis (topic). Also Wikidata Q22020295
History
- 2026-11-02: add by m2/dev
Alexey Pokrovskiy E5J5722BS3
| URI | m2://inv/E5J5722BS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexey Pokrovskiy, Alexey Pokrovskiy (topic). Also Wikidata Q102414863
History
- 2026-11-02: add by m2/dev
Implementation E5J5V980RM
| URI | m2://inv/E5J5V980RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prediction by partial matching#EE0O, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Hodge E5J621A10T
| URI | m2://inv/E5J621A10T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#P3XU, Hodge (definition)
History
- 2026-11-02: add by m2/dev
E5J9VJ4000 E5J9VJ4000
| URI | m2://inv/E5J9VJ4000 |
|---|---|
| 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.22074#U66N (definition). In F3BKXXPR3K/e1, definition 2.25
History
- 2026-10-27: add by m2/v0.4.2
E5JED570Y2 E5JED570Y2
| URI | m2://inv/E5JED570Y2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-2-3.xml#act-1-2-3 (exercise). In 907G4C4EJ1, activity, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
E5JM125179 E5JM125179
| URI | m2://inv/E5JM125179 |
|---|---|
| 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 2606.00589#MDVI (statement). In C8JAGP8VCQ/e1, lemma 9.6
History
- 2026-10-27: add by m2/v0.3.5
Cyrus Derman E5JP5ET681
| URI | m2://inv/E5JP5ET681 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IZHG, Cyrus Derman (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HLYR, Cyrus Derman (unknown)
History
- 2026-11-02: add by m2/dev
E5JVJ8GHE4 E5JVJ8GHE4
| URI | m2://inv/E5JVJ8GHE4 |
|---|---|
| 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.28898#IGIX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Implementations E5JVJZ4A6X
| URI | m2://inv/E5JVJZ4A6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lanczos algorithm#ZKJF, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Stefan Mazurkiewicz E5JX74VF7Q
| URI | m2://inv/E5JX74VF7Q |
|---|---|
| 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#ZG8K, Stefan Mazurkiewicz (topic)
History
- 2026-11-02: add by m2/dev
Examples E5JYQZ7KFF
| URI | m2://inv/E5JYQZ7KFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Link (simplicial complex)#NR72, Examples (example)
History
- 2026-11-02: add by m2/dev
Interior bridge for resolved sheaves E5K187S5SN
| URI | m2://inv/E5K187S5SN |
|---|---|
| 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#7EWE, Interior bridge for resolved sheaves (statement)
History
- 2026-11-01: add by m2/v0.6.15
E5K7DD7CP3 E5K7DD7CP3
| URI | m2://inv/E5K7DD7CP3 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#CX8K (statement). In 4SZNPS3Z00/e1, lemma 21
History
- 2026-10-27: add by m2/v0.3.6
Theorems E5KNR4T7R1
| URI | m2://inv/E5KNR4T7R1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#7T1Q, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Hilbert's inequality E5KSZ19G7F
| URI | m2://inv/E5KSZ19G7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#JWZV, Hilbert's inequality (statement)
History
- 2026-11-02: add by m2/dev
Age stratification E5M25QMD5K
| URI | m2://inv/E5M25QMD5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Age stratification, Age stratification (definition). Also Wikidata Q4691933
History
- 2026-11-02: add by m2/dev
Properties E5MDQ59RPY
| URI | m2://inv/E5MDQ59RPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History monoid#WMYK, Properties (statement)
History
- 2026-11-02: add by m2/dev
E5MG4NQ5A1 E5MG4NQ5A1
| URI | m2://inv/E5MG4NQ5A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#14AQ (statement). In PTM5MVD4M0/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Thermal time hypothesis E5MHXCKFBJ
| URI | m2://inv/E5MHXCKFBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of time#AF3N, Thermal time hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Fractional gradient E5MQK5GS5F
| URI | m2://inv/E5MQK5GS5F |
|---|---|
| Kind | definition |
| 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.08253#RV1H, Fractional gradient (definition). In 6AD2CTF0QF/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
The chief-factor bound is not tight E5MRY6J06A
| URI | m2://inv/E5MRY6J06A |
|---|---|
| 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.18154#5JWO, The chief-factor bound is not tight (statement). In 4W7ARR1DAR/e1, proposition 7.6
History
- 2026-10-28: add by m2/v0.4.2
E5MZZ1WQCF E5MZZ1WQCF
| URI | m2://inv/E5MZZ1WQCF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35683#LZ9G (definition). In A4S9A3X494/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
E5NDDRK86T E5NDDRK86T
| URI | m2://inv/E5NDDRK86T |
|---|---|
| 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.20008#89Q6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
E5NDW880MD E5NDW880MD
| URI | m2://inv/E5NDW880MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#Q30A (statement). In RBQ5FNCVNZ/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
E5NN6PN462 E5NN6PN462
| URI | m2://inv/E5NN6PN462 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#GQEZ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Closure properties E5NQJX6YDQ
| URI | m2://inv/E5NQJX6YDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#GHPE, Closure properties (statement). In 87QYNZZ67Z/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Alexandrov's comparison inequality E5P9C940F2
| URI | m2://inv/E5P9C940F2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAT(k) space#PQQM, Alexandrov's comparison inequality (statement)
History
- 2026-11-02: add by m2/dev
E5PEHP62C5 E5PEHP62C5
| URI | m2://inv/E5PEHP62C5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#3IV8 (definition). In XYCBKM4WKY/e1, definition 17
History
- 2026-10-27: add by m2/v0.3.5
Gittins index E5PF1493EC
| URI | m2://inv/E5PF1493EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gittins index, Gittins index (definition). Also Wikidata Q4200726
History
- 2026-11-02: add by m2/dev
E5PF1F11CQ E5PF1F11CQ
| URI | m2://inv/E5PF1F11CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.02244#F8T8 (statement). In 3REM2EXQK7/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
Generalized coordinates E5PFVC19CX
| URI | m2://inv/E5PFVC19CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized coordinates, Generalized coordinates (definition). Also Wikidata Q1057607
History
- 2026-11-02: add by m2/dev
The four color theorem E5PHAPPMT1
| URI | m2://inv/E5PHAPPMT1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth Appel#UY8Z, The four color theorem (statement)
History
- 2026-11-02: add by m2/dev
E5PRDYHJFF E5PRDYHJFF
| URI | m2://inv/E5PRDYHJFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#RRXM (statement)
History
- 2026-11-01: add by m2/v0.6.15
E5PV96KZC1 E5PV96KZC1
| URI | m2://inv/E5PV96KZC1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.06152#KSXW (definition). In HH35K7S17H/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
E5PW65KNTM E5PW65KNTM
| URI | m2://inv/E5PW65KNTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#5B65 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E5PX52VKJT E5PX52VKJT
| URI | m2://inv/E5PX52VKJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#BP9D (statement). In A4VP56CT7B/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Truncated order-5 square tiling E5Q28DF4SW
| URI | m2://inv/E5Q28DF4SW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-5 square tiling, Truncated order-5 square tiling (object). Also Wikidata Q7847900
History
- 2026-11-02: add by m2/dev
Koji Fujiwara E5Q82RPD1G
| URI | m2://inv/E5Q82RPD1G |
|---|---|
| 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#1N4B, Koji Fujiwara (unknown)
History
- 2026-11-02: add by m2/dev
Exact hourly conservation and nonnegativity E5QKVDY3KJ
| URI | m2://inv/E5QKVDY3KJ |
|---|---|
| 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.21808#S9D9, Exact hourly conservation and nonnegativity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vern Paulsen E5QM3Y5ZFH
| URI | m2://inv/E5QM3Y5ZFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vern Paulsen, Vern Paulsen (topic). Also Wikidata Q30144411
History
- 2026-11-02: add by m2/dev
Theorem E5QYPM0ZWS
| URI | m2://inv/E5QYPM0ZWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand–Naimark–Segal construction#WM9W, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications E5QZY21H2V
| URI | m2://inv/E5QZY21H2V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meteorology#8U3K, Applications (example)
History
- 2026-11-02: add by m2/dev
Censored regression model E5R17QD6CG
| URI | m2://inv/E5R17QD6CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SKNX, Censored regression model (definition)
History
- 2026-11-02: add by m2/dev
Examples E5R1B7G8BH
| URI | m2://inv/E5R1B7G8BH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpose#RVWZ, Examples (example)
History
- 2026-11-02: add by m2/dev
E5R2HD1QE7 E5R2HD1QE7
| URI | m2://inv/E5R2HD1QE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#RE34 (statement). In 9Q8S0NWHP2/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Oskar Morgenstern E5R7702WB3
| URI | m2://inv/E5R7702WB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#C2C7, Oskar Morgenstern (unknown)
History
- 2026-11-02: add by m2/dev
E5RACS7F3G E5RACS7F3G
| URI | m2://inv/E5RACS7F3G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:RD-extended-reals (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
E5RAPFP8S0 E5RAPFP8S0
| URI | m2://inv/E5RAPFP8S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#2B6O (statement). In R03K2N7FRF/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
E5RFWTPNPX E5RFWTPNPX
| URI | m2://inv/E5RFWTPNPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#UC6E (statement)
History
- 2026-11-01: add by m2/v0.6.15
E5RMMG0NGB E5RMMG0NGB
| URI | m2://inv/E5RMMG0NGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#GD3S (statement). In WDV5E2CVTR/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
E5RNA52XJT E5RNA52XJT
| URI | m2://inv/E5RNA52XJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#2JH8 (statement). In RPC7VG3KHQ/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
First-label coupling E5RZR4H285
| URI | m2://inv/E5RZR4H285 |
|---|---|
| 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.20414#6SDR, First-label coupling (statement). In X2NNNW8CX5/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
E5S36M27KQ E5S36M27KQ
| URI | m2://inv/E5S36M27KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30330#7FXW (statement). In QBMDTMP5CX/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Truncated heptagonal tiling E5S58XFE54
| URI | m2://inv/E5S58XFE54 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated heptagonal tiling, Truncated heptagonal tiling (object). Also Wikidata Q7847883
History
- 2026-11-02: add by m2/dev
E5SBCCG24J E5SBCCG24J
| URI | m2://inv/E5SBCCG24J |
|---|---|
| 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 2207.11097#PYZG (definition). In 13H5BTAXHF/e1, definition 9
History
- 2026-10-27: add by m2/v0.3.5
758 (number) E5SHDZDVDK
| URI | m2://inv/E5SHDZDVDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#KZHS, 758 (number) (unknown)
History
- 2026-11-02: add by m2/dev
E5SKMVD01S E5SKMVD01S
| URI | m2://inv/E5SKMVD01S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#TJ53 (example). In DDA62XQTWW/e1, example 4.15
History
- 2026-10-27: add by m2/v0.3.5
E5SMS2NE34 E5SMS2NE34
| URI | m2://inv/E5SMS2NE34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2306.12846#WZ6C (statement). In D6XA7JXZF3/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Flat truncation E5SNP1QNXA
| URI | m2://inv/E5SNP1QNXA |
|---|---|
| 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.17371#3SYK, Flat truncation (statement). In FF92TNYHQR/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
E5SWQRRWFY E5SWQRRWFY
| URI | m2://inv/E5SWQRRWFY |
|---|---|
| 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 2510.23812#5BQJ (statement). In D8XZBXJPR5/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
type, positive E5T04CSS50
| URI | m2://inv/E5T04CSS50 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.12/type-positive, type, positive (concept). In N54F33XE07, index, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
E5T3TF1TG6 E5T3TF1TG6
| URI | m2://inv/E5T3TF1TG6 |
|---|---|
| Kind | definition |
| 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.19590#FXX4 (definition). In AZFARX0CXG/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
E5TC5G7E9P E5TC5G7E9P
| URI | m2://inv/E5TC5G7E9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#M6P7 (statement). In M2X9TEYRPC/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
a posteriori E5TE5E66WS
| URI | m2://inv/E5TE5E66WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BJ4O, a posteriori (definition)
History
- 2026-11-02: add by m2/dev
Fourier-Bessel wavelet E5TM62D1HA
| URI | m2://inv/E5TM62D1HA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26537#DWXV, Fourier-Bessel wavelet (definition)
History
- 2026-11-01: add by m2/v0.6.15
nilpotent E5TPFM2C4A
| URI | m2://inv/E5TPFM2C4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#TVMS, nilpotent (definition)
History
- 2026-11-02: add by m2/dev
Limiting friction E5TRQ591EF
| URI | m2://inv/E5TRQ591EF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friction#QUUC, Limiting friction (unknown)
History
- 2026-11-02: add by m2/dev
Nested interval topology E5TWGNV09F
| URI | m2://inv/E5TWGNV09F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#3Y1N, Nested interval topology (definition)
History
- 2026-11-02: add by m2/dev
E5V0JSPEYJ E5V0JSPEYJ
| URI | m2://inv/E5V0JSPEYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#UM8N (statement)
History
- 2026-11-02: add by m2/v0.6.17
E5V375RAPA E5V375RAPA
| URI | m2://inv/E5V375RAPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#7P6F (statement). In PQGGCD09KP/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Euler–Maclaurin formula E5VFQRHHY1
| URI | m2://inv/E5VFQRHHY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite sum#32H4, Euler–Maclaurin formula (statement)
History
- 2026-11-02: add by m2/dev
Full-Systematic $t$-PID Correcting Code E5VGH01YFQ
| URI | m2://inv/E5VGH01YFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#6BB4, Full-Systematic $t$-PID Correcting Code (statement). In D7NDCWSDJE/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
asymptotic curve E5VKYD2BQD
| URI | m2://inv/E5VKYD2BQD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2363719, asymptotic curve (concept). Also MathWorld AsymptoticCurve
- wikipedia: Wikipedia Asymptotic curve, Asymptotic curve (definition). Also Wikidata Q2363719
History
- 2026-10-26: add by m2/dev
Example E5VSASJK8T
| URI | m2://inv/E5VSASJK8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent vector#ZLZL, Example (example)
History
- 2026-11-02: add by m2/dev
E5VT06ZXSS E5VT06ZXSS
| URI | m2://inv/E5VT06ZXSS |
|---|---|
| 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.10086#VPE8 (statement). In NP9X9CAK19/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Practical engineering usage of the von Mises yield criterion E5VYBBR1DX
| URI | m2://inv/E5VYBBR1DX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Mises yield criterion#G0K0, Practical engineering usage of the von Mises yield criterion (statement)
History
- 2026-11-02: add by m2/dev
Fixed-point geometry above the unit root E5WFZ15YCQ
| URI | m2://inv/E5WFZ15YCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19421#4BTY, Fixed-point geometry above the unit root (statement). In 3S1VFGYWQE/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Algebra: Chapter 0 E5WMGX7M1G
| URI | m2://inv/E5WMGX7M1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#T0V5, Algebra: Chapter 0 (definition)
History
- 2026-11-02: add by m2/dev
E5WMQ9SJWW E5WMQ9SJWW
| URI | m2://inv/E5WMQ9SJWW |
|---|---|
| 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.39809#5WNJ (statement). In 97YSJAHESY/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Proposition E5WW63XVAH
| URI | m2://inv/E5WW63XVAH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy subalgebra#Z7MT, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Lewontin's fallacy E5WYN6P29P
| URI | m2://inv/E5WYN6P29P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Apportionment of Human Diversity#YUSQ, Lewontin's fallacy (unknown)
History
- 2026-11-02: add by m2/dev
E5X07GZSYH E5X07GZSYH
| URI | m2://inv/E5X07GZSYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#4G4M (statement). In GPK6W5XQM3/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
E5X596GHZP E5X596GHZP
| URI | m2://inv/E5X596GHZP |
|---|---|
| Kind | definition |
| 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.13385#75GA (definition). In J99CBQ3QYD/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
E5X7KK6WC3 E5X7KK6WC3
| URI | m2://inv/E5X7KK6WC3 |
|---|---|
| Kind | conjecture |
| 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.19694#FKG0 (conjecture). In EP0M4RSZ9P/e1, conjecture 2.9
History
- 2026-10-28: add by m2/v0.4.2
E5XESK0BXA E5XESK0BXA
| URI | m2://inv/E5XESK0BXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#VJZE (statement). In 8TRCP1482Q/e1, corollary B.23
History
- 2026-10-29: add by m2/v0.4.10
Movement and competitive ratio lower bounds in $\ell_{\q}$ E5XTY53EZN
| URI | m2://inv/E5XTY53EZN |
|---|---|
| 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.20701#QYDB, Movement and competitive ratio lower bounds in $\ell_{\q}$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Perfect code E5XV19M473
| URI | m2://inv/E5XV19M473 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#TUR7, Perfect code (definition)
History
- 2026-11-02: add by m2/dev
Absolute velocity E5Y6Q4CT2K
| URI | m2://inv/E5Y6Q4CT2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity#613L, Absolute velocity (unknown)
History
- 2026-11-02: add by m2/dev
Difference set E5Y9A39G8G
| URI | m2://inv/E5Y9A39G8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Difference set MG1KM4S1BV |
Mentions
- wikidata: Wikidata Q5275281, Difference set (unknown). Also MathWorld DifferenceSet
- wikipedia: Wikipedia Difference set, Difference set (definition). Also Wikidata Q5275281
History
- 2026-10-26: add by m2/dev
Doob's martingale inequality E5Y9EEFQGS
| URI | m2://inv/E5Y9EEFQGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob's martingale inequality, Doob's martingale inequality (statement). Also Wikidata Q1242402
History
- 2026-11-02: add by m2/dev
Application E5YG6PAD55
| URI | m2://inv/E5YG6PAD55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedman translation#H2ZN, Application (example)
History
- 2026-11-02: add by m2/dev
The algorithm E5YHPQW4HD
| URI | m2://inv/E5YHPQW4HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index calculus algorithm#HTIJ, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples E5YJ0A04RH
| URI | m2://inv/E5YJ0A04RH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-bar linkage#MKEQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Expected fixed-objective comparator potential E5YMXC9DRQ
| URI | m2://inv/E5YMXC9DRQ |
|---|---|
| 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.15202#5ZCX, Expected fixed-objective comparator potential (statement). In X1FPG0KYBM/e1, theorem E.1
History
- 2026-10-28: add by m2/v0.4.2
E5YVXA930D E5YVXA930D
| URI | m2://inv/E5YVXA930D |
|---|---|
| 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 2212.06621#72M5 (statement). In DB223AABTH/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.5
E5YX9BVP4K E5YX9BVP4K
| URI | m2://inv/E5YX9BVP4K |
|---|---|
| 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 2610.20466#87VB (statement). In M4ZVJWM8YA/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Kleiman's criterion E5Z0R45GQ2
| URI | m2://inv/E5Z0R45GQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ample line bundle#F4HH, Kleiman's criterion (statement)
History
- 2026-11-02: add by m2/dev
E5Z7E9ACA0 E5Z7E9ACA0
| URI | m2://inv/E5Z7E9ACA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.03231#6CBO (statement). In 3Y76AQQGF0/e1, proposition 9.4
History
- 2026-10-29: add by m2/v0.4.12
Theorems E5ZD5NW0FX
| URI | m2://inv/E5ZD5NW0FX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#9YM8, Theorems (statement)
History
- 2026-11-02: add by m2/dev
E5ZFNAS4G4 E5ZFNAS4G4
| URI | m2://inv/E5ZFNAS4G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#D5U4 (statement). In 7V3HG30ZGW/e1, proposition 3.16
History
- 2026-10-27: add by m2/v0.4.0
Congruent isoscelizers point E5ZGZT6VN5
| URI | m2://inv/E5ZGZT6VN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruent isoscelizers point, Congruent isoscelizers point (definition). Also Wikidata Q5161001
History
- 2026-11-02: add by m2/dev
Division by repeated subtraction E5ZMRVAVDQ
| URI | m2://inv/E5ZMRVAVDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algorithm#KOH6, Division by repeated subtraction (unknown)
History
- 2026-11-02: add by m2/dev
E5ZPKN42MV E5ZPKN42MV
| URI | m2://inv/E5ZPKN42MV |
|---|---|
| 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 1011.5380#H6QD (statement). In GCWK07YZJZ/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Local inequality E5ZR8BHJ7A
| URI | m2://inv/E5ZR8BHJ7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#XQ0K, Local inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15