Inventory rows YE
The cards of the rows of the inventory whose ids start with YE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YE025CTFYW YE025CTFYW
| URI | m2://inv/YE025CTFYW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
YE034N5KR7 YE034N5KR7
| URI | m2://inv/YE034N5KR7 |
|---|---|
| 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.38051#7QR7 (statement). In 81CGKD8RTP/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Matroid rank YE0EK68TYK
| URI | m2://inv/YE0EK68TYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid rank, Matroid rank (definition). Also Wikidata Q3851976
History
- 2026-11-02: add by m2/dev
Louise Hay Award YE0GTH9JGT
| URI | m2://inv/YE0GTH9JGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louise Hay Award, Louise Hay Award (definition). Also Wikidata Q28402179
History
- 2026-11-02: add by m2/dev
Stability of the mass projection YE0NN95V31
| URI | m2://inv/YE0NN95V31 |
|---|---|
| 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.21295#O7IR, Stability of the mass projection (statement)
History
- 2026-11-02: add by m2/v0.6.18
YE0Q5YWHJ7 YE0Q5YWHJ7
| URI | m2://inv/YE0Q5YWHJ7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński number#M8JG (problem)
History
- 2026-11-02: add by m2/dev
YE0YYRB4MZ YE0YYRB4MZ
| URI | m2://inv/YE0YYRB4MZ |
|---|---|
| Kind | example |
| 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.10546#TJUQ (example). In K5R5RRPMQ5/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.10
Toniann Pitassi YE0YZGGAA9
| URI | m2://inv/YE0YZGGAA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toniann Pitassi, Toniann Pitassi (topic). Also Wikidata Q7821369
History
- 2026-11-02: add by m2/dev
YE16VJN4NA YE16VJN4NA
| URI | m2://inv/YE16VJN4NA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#H91B (problem). In 47WN78VDDF/e1, problem 5.4
History
- 2026-10-30: add by m2/v0.4.12
YE178PTVZQ YE178PTVZQ
| URI | m2://inv/YE178PTVZQ |
|---|---|
| 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.09154#7E3X (statement). In JYVGX17N4F/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Dialogical logic YE1CN2ZFXH
| URI | m2://inv/YE1CN2ZFXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialogical logic, Dialogical logic (definition). Also Wikidata Q1208485
History
- 2026-11-02: add by m2/dev
YE1CT6RDHB YE1CT6RDHB
| URI | m2://inv/YE1CT6RDHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36410#021L (statement). In 1FRV7XDEGF/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Problem 6.2 YE1K73DGNT
| URI | m2://inv/YE1K73DGNT |
|---|---|
| Kind | problem |
| 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 2402.05875#VLZR, Problem 6.2 (problem). In 35FDBKEDC0/e1, problem 5.2
History
- 2026-10-27: add by m2/v0.3.5
YE1SVXDGT7 YE1SVXDGT7
| URI | m2://inv/YE1SVXDGT7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#S8BS (definition). In 6KR7Z5ETRY/e1, definition 3.18
History
- 2026-10-27: add by m2/v0.3.5
Euclidean algorithm YE261XF9NT
| URI | m2://inv/YE261XF9NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#YYTS, Euclidean algorithm (definition)
- wikipedia: Wikipedia List of things named after Euclid#ZJCQ, Euclidean algorithm (definition)
History
- 2026-11-02: add by m2/dev
YE27Y2P92H YE27Y2P92H
| URI | m2://inv/YE27Y2P92H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#ex-1 (example). In PKGMM3P5QY, ex, section 19.9
History
- 2026-11-01: add by m2/v0.6.13
Main conjecture of Iwasawa theory YE29DR9CDY
| URI | m2://inv/YE29DR9CDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Main conjecture of Iwasawa theory, Main conjecture of Iwasawa theory (statement). Also Wikidata Q6736209
History
- 2026-11-02: add by m2/dev
induced character YE2B78S9A0
| URI | m2://inv/YE2B78S9A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17048352, induced character (unknown). Also nLab induced character
- wikipedia: Wikipedia Induced character, Induced character (definition). Also Wikidata Q17048352
History
- 2026-10-26: add by m2/dev
Index of a vector field YE2JFRHTN1
| URI | m2://inv/YE2JFRHTN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#PLI0, Index of a vector field (unknown)
History
- 2026-11-02: add by m2/dev
YE2SZ9BFRT YE2SZ9BFRT
| URI | m2://inv/YE2SZ9BFRT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
Policy function YE30K4TB6R
| URI | m2://inv/YE30K4TB6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman equation#PTA8, Policy function (unknown)
History
- 2026-11-02: add by m2/dev
local diagnostic YE395D6P37
| URI | m2://inv/YE395D6P37 |
|---|---|
| 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.22355#LSAX, local diagnostic (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ronald George Douglas YE3BHBN142
| URI | m2://inv/YE3BHBN142 |
|---|---|
| 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#GTGZ, Ronald George Douglas (topic)
History
- 2026-11-02: add by m2/dev
Definition YE3EEQRA0K
| URI | m2://inv/YE3EEQRA0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#YHFV, Definition (definition)
History
- 2026-11-02: add by m2/dev
augmented matrix YE3EWH0P8H
| URI | m2://inv/YE3EWH0P8H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.2.2/augmented-matrix, augmented matrix (concept). In 649HGZKE96, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Cross-spectrum YE3EYVZ505
| URI | m2://inv/YE3EYVZ505 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-spectrum, Cross-spectrum (definition). Also Wikidata Q5188201
History
- 2026-11-02: add by m2/dev
YE3F34EWHV YE3F34EWHV
| URI | m2://inv/YE3F34EWHV |
|---|---|
| Kind | definition |
| 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.08382#U9AV (definition). In GYMGDQS25R/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Hurewicz theorem YE3G3HM92J
| URI | m2://inv/YE3G3HM92J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#7K7M, Hurewicz theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications YE3KNN2A70
| URI | m2://inv/YE3KNN2A70 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luneburg lens#75MW, Applications (example)
History
- 2026-11-02: add by m2/dev
YE3M8FFXAD YE3M8FFXAD
| URI | m2://inv/YE3M8FFXAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:plus minus less than or equal to abs value (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
YE3NB83GJ1 YE3NB83GJ1
| URI | m2://inv/YE3NB83GJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.17520#JH14 (statement). In 93AJXFH963/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
YE3NRTFPA7 YE3NRTFPA7
| URI | m2://inv/YE3NRTFPA7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 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 2609.30579#71CH (example). In FDYZFDHZH9/e1, example 2.6
History
- 2026-10-31: add by m2/v0.5.6
16,777,216 (number) YE3TPG8JFR
| URI | m2://inv/YE3TPG8JFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 10,000,000#EF14, 16,777,216 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Derivation of the Routh array YE451ASZTN
| URI | m2://inv/YE451ASZTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivation of the Routh array, Derivation of the Routh array (definition). Also Wikidata Q5262609
History
- 2026-11-02: add by m2/dev
Pseudorandom number generator YE4CBHVWK0
| URI | m2://inv/YE4CBHVWK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom number generator, Pseudorandom number generator (definition). Also Wikidata Q1623338
History
- 2026-11-02: add by m2/dev
YE4F75D6AQ YE4F75D6AQ
| URI | m2://inv/YE4F75D6AQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
Trichotomy theorem YE4FXREJE1
| URI | m2://inv/YE4FXREJE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7841060, Trichotomy theorem (statement). Also Wikidata Q7841060
- thousand_plus: thousand_plus Q7841060, Trichotomy theorem (statement). Also Wikidata Q7841060, Wikipedia Trichotomy theorem
- wikipedia: Wikipedia Trichotomy theorem, Trichotomy theorem (statement). Also Wikidata Q7841060
History
- 2026-10-26: add by m2/dev
Smallest eigenvalue of the TAP Hessian YE4G0WFWEB
| URI | m2://inv/YE4G0WFWEB |
|---|---|
| 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.17717#G6D1, Smallest eigenvalue of the TAP Hessian (statement). In YXRKS451PK/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
YE4HWV6FXJ YE4HWV6FXJ
| URI | m2://inv/YE4HWV6FXJ |
|---|---|
| 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 2609.25957#6476 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermann Minkowski YE4JD70GM1
| URI | m2://inv/YE4JD70GM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#XXGK, Hermann Minkowski (topic)
History
- 2026-11-02: add by m2/dev
Eric Harold Neville YE4NEYMYR6
| URI | m2://inv/YE4NEYMYR6 |
|---|---|
| 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#LMXB, Eric Harold Neville (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QFIV, Eric Harold Neville (topic)
History
- 2026-11-02: add by m2/dev
Theorem YE4WACCB0E
| URI | m2://inv/YE4WACCB0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse semigroup#JYZI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Sahlqvist formula YE4YSXGFJA
| URI | m2://inv/YE4YSXGFJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#UARJ, Sahlqvist formula (statement)
History
- 2026-11-02: add by m2/dev
first class constraint YE50R0D5ZW
| URI | m2://inv/YE50R0D5ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5454146, first class constraint (unknown). Also nLab first class constraint
- wikipedia: Wikipedia First-class constraint, First-class constraint (definition). Also Wikidata Q5454146
History
- 2026-10-26: add by m2/dev
Positivity of the observable coefficients YE55ENP24Y
| URI | m2://inv/YE55ENP24Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20090#15BF, Positivity of the observable coefficients (statement). In 2RV3YSN1NX/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
LIBOR market model YE5660ABZV
| URI | m2://inv/YE5660ABZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LIBOR market model, LIBOR market model (definition). Also Wikidata Q1225659
History
- 2026-11-02: add by m2/dev
Joseph Amadee Goguen YE5DJS532F
| URI | m2://inv/YE5DJS532F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6283491, Joseph Amadee Goguen (unknown). Also nLab Joseph Goguen
History
- 2026-10-26: add by m2/dev
YE5DSCDE3H YE5DSCDE3H
| URI | m2://inv/YE5DSCDE3H |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#LOJ6 (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
YE5FPX7PP1 YE5FPX7PP1
| URI | m2://inv/YE5FPX7PP1 |
|---|---|
| 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.35683#MTNW (statement). In A4S9A3X494/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Dias YE5T1ES6FA
| URI | m2://inv/YE5T1ES6FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#AIJW, Dias (statement)
History
- 2026-11-01: add by m2/v0.6.15
Four Roads YE61X6V163
| URI | m2://inv/YE61X6V163 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NDB2, Four Roads (unknown)
History
- 2026-11-02: add by m2/dev
Joint Hessian YE62KG6H75
| URI | m2://inv/YE62KG6H75 |
|---|---|
| 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.25120#IPCL, Joint Hessian (definition)
History
- 2026-11-01: add by m2/v0.6.15
Chicago movement YE64NNQS7F
| URI | m2://inv/YE64NNQS7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chicago movement, Chicago movement (definition). Also Wikidata Q131759154
History
- 2026-11-02: add by m2/dev
computer-assisted YE6B9PSSK3
| URI | m2://inv/YE6B9PSSK3 |
|---|---|
| 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.38220#OC4M, computer-assisted (statement). In 1AC4S19925/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Examples YE6CP785Q5
| URI | m2://inv/YE6CP785Q5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pendulum (mechanics)#1ZI5, Examples (example)
History
- 2026-11-02: add by m2/dev
YE6MKX3P0N YE6MKX3P0N
| URI | m2://inv/YE6MKX3P0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19010#9U5V (statement). In 6315NJBYJM/e1, proposition 12
History
- 2026-10-28: add by m2/v0.4.2
YE6Q5PQSRS YE6Q5PQSRS
| URI | m2://inv/YE6Q5PQSRS |
|---|---|
| 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 1905.00573#U9IN (statement). In 74RNQVBM2G/e1, proposition 3.25
History
- 2026-10-27: add by m2/v0.3.5
Brad Sherman YE6RA7HJPM
| URI | m2://inv/YE6RA7HJPM |
|---|---|
| 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#E2YU, Brad Sherman (unknown)
History
- 2026-11-02: add by m2/dev
Hans Hahn YE6YTWN039
| URI | m2://inv/YE6YTWN039 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Hahn (mathematician), Hans Hahn (topic). Also Wikidata Q84552
History
- 2026-11-02: add by m2/dev
Bolzano–Weierstrass theorem YE728JVGT7
| URI | m2://inv/YE728JVGT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 5 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Bolzano–Weierstrass theorem 0KDJD249DT |
Mentions
- mathlib_1000: mathlib_1000 Q468391, Bolzano–Weierstrass theorem (statement). Also Mathlib tendsto_subseq_of_frequently_bounded, Mathlib tendsto_subseq_of_bounded, Wikidata Q468391
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > Bolzano-Weierstrass theorem, Bolzano-Weierstrass theorem (unknown). Also Mathlib tendsto_subseq_of_bounded
- thousand_plus: thousand_plus Q468391, Bolzano–Weierstrass theorem (statement). Also Mathlib tendsto_subseq_of_frequently_bounded, Mathlib tendsto_subseq_of_bounded, Wikidata Q468391, Wikipedia Bolzano–Weierstrass theorem
- wikidata: Wikidata Q468391, Bolzano–Weierstrass theorem (statement). Also EoM Bolzano-weierstrass_theorem, MathWorld Bolzano-WeierstrassTheorem
- wikipedia: Wikipedia Bolzano–Weierstrass theorem, Bolzano–Weierstrass theorem (statement). Also Wikidata Q468391
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Philippine Statistics Authority YE74A96DK6
| URI | m2://inv/YE74A96DK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippine Statistics Authority, Philippine Statistics Authority (definition). Also Wikidata Q17067223
History
- 2026-11-02: add by m2/dev
YE77CGZAXM YE77CGZAXM
| URI | m2://inv/YE77CGZAXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10600#9LPM (statement). In V7WT21EDPM/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
YE7M5R93X1 YE7M5R93X1
| URI | m2://inv/YE7M5R93X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#KO0A (statement). In 4H727T2YAS/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
Lower bound for $E(P_{\leq k_0+4}u)$ YE7SZJ7E5Q
| URI | m2://inv/YE7SZJ7E5Q |
|---|---|
| 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.15460#ZMUP, Lower bound for $E(P_{\leq k_0+4}u)$ (statement). In T2Z3D2VQ9B/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
YE7TKEC91N YE7TKEC91N
| URI | m2://inv/YE7TKEC91N |
|---|---|
| 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.12271#O9ZJ (statement). In WGCET6KSQ7/e1, proposition 24
History
- 2026-10-27: add by m2/v0.3.6
Variational methods YE7Y6SX2SM
| URI | m2://inv/YE7Y6SX2SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#Q0XY, Variational methods (definition)
History
- 2026-11-02: add by m2/dev
Hypertopology YE7YJWZ5CC
| URI | m2://inv/YE7YJWZ5CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypertopology, Hypertopology (definition). Also Wikidata Q5958737
History
- 2026-11-02: add by m2/dev
Stein factorization YE7YX2XANW
| URI | m2://inv/YE7YX2XANW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein factorization, Stein factorization (definition). Also Wikidata Q7606788
History
- 2026-11-02: add by m2/dev
YE821ZHWZ4 YE821ZHWZ4
| URI | m2://inv/YE821ZHWZ4 |
|---|---|
| Kind | example |
| 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 1712.02437#FMZ8 (example). In GZDFK652T9/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.5
YE85KH3R7W YE85KH3R7W
| URI | m2://inv/YE85KH3R7W |
|---|---|
| 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 math/0301148#H39H (statement). In 5RE15848Z0/e1, lemma 1.5
History
- 2026-10-27: add by m2/v0.3.5
YE86XFDZE0 YE86XFDZE0
| URI | m2://inv/YE86XFDZE0 |
|---|---|
| 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.08382#KBH3 (statement). In GYMGDQS25R/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
pedal triangle YE8791QQNT
| URI | m2://inv/YE8791QQNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q478728, pedal triangle (unknown). Also MathWorld PedalTriangle
- wikipedia: Wikipedia Pedal triangle, Pedal triangle (definition). Also Wikidata Q478728
History
- 2026-10-26: add by m2/dev
YE87QYB4Q8 YE87QYB4Q8
| URI | m2://inv/YE87QYB4Q8 |
|---|---|
| Kind | definition |
| 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.39293#EKAC (definition). In S26QVW5613/e1, definition 3.7.4
History
- 2026-10-30: add by m2/v0.4.12
YE8CE9QDFT YE8CE9QDFT
| URI | m2://inv/YE8CE9QDFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#6Y67 (statement). In 2BET1RE1F6/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
Truncated 16-cell honeycomb YE8GK1RZ6H
| URI | m2://inv/YE8GK1RZ6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 16-cell honeycomb, Truncated 16-cell honeycomb (definition). Also Wikidata Q7847847
History
- 2026-11-02: add by m2/dev
YE8Q94YZ1T YE8Q94YZ1T
| URI | m2://inv/YE8Q94YZ1T |
|---|---|
| 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.08581#LRNL (statement). In VCSPPW15BE/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
YE8TMT98DM YE8TMT98DM
| URI | m2://inv/YE8TMT98DM |
|---|---|
| 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.29158#VVV9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ingham summability YE90AVA9S4
| URI | m2://inv/YE90AVA9S4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergent series#CXMP, Ingham summability (unknown)
History
- 2026-11-02: add by m2/dev
YE940YZ3B9 YE940YZ3B9
| URI | m2://inv/YE940YZ3B9 |
|---|---|
| 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.35180#4MB5 (statement). In ZA34B1CR9M/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Peter Selinger YE96DBWF3A
| URI | m2://inv/YE96DBWF3A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93947060, Peter Selinger (unknown). Also nLab Peter Selinger
History
- 2026-10-26: add by m2/dev
YE96NV6H1R YE96NV6H1R
| URI | m2://inv/YE96NV6H1R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#RIGW (definition). In YRJS76169Z/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.4.2
Tetsuji Miwa YE9B71GM68
| URI | m2://inv/YE9B71GM68 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetsuji Miwa, Tetsuji Miwa (topic). Also Wikidata Q1520067
History
- 2026-11-02: add by m2/dev
component marking YE9DTNXJQG
| URI | m2://inv/YE9DTNXJQG |
|---|---|
| Kind | statement |
| 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.26134#H74N, component marking (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jitendra Nath Mohanty YE9FB8TK38
| URI | m2://inv/YE9FB8TK38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jitendra Nath Mohanty, Jitendra Nath Mohanty (topic). Also Wikidata Q6203267
History
- 2026-11-02: add by m2/dev
Great Elephant Census YE9TN9EN9J
| URI | m2://inv/YE9TN9EN9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great Elephant Census, Great Elephant Census (definition). Also Wikidata Q28129585
History
- 2026-11-02: add by m2/dev
Jeffrey T. Leek YEA0Q9JDDX
| URI | m2://inv/YEA0Q9JDDX |
|---|---|
| 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#P9WR, Jeffrey T. Leek (topic)
History
- 2026-11-02: add by m2/dev
YEA0TH4Y77 YEA0TH4Y77
| URI | m2://inv/YEA0TH4Y77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30097#3YQW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kuratowski subgraph YEA227D41M
| URI | m2://inv/YEA227D41M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's theorem#V39W, Kuratowski subgraph (unknown)
History
- 2026-11-02: add by m2/dev
Edmonds matrix YEA5T2KBXR
| URI | m2://inv/YEA5T2KBXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmonds matrix, Edmonds matrix (definition). Also Wikidata Q5338959
History
- 2026-11-02: add by m2/dev
YEA72EN3QB YEA72EN3QB
| URI | m2://inv/YEA72EN3QB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#03DW (statement). In R0Q0RV8XCF/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.2
Related results YEADDZKZKE
| URI | m2://inv/YEADDZKZKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AF+BG theorem#ZZPC, Related results (statement)
History
- 2026-11-02: add by m2/dev
FedAvg convergence for multi-layer selective SSMs YEAG6VFSMA
| URI | m2://inv/YEAG6VFSMA |
|---|---|
| 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.02659#8L75, FedAvg convergence for multi-layer selective SSMs (statement). In EV933413SJ/e1, corollary C.8
History
- 2026-10-29: add by m2/v0.4.12
Gradient-sensitive square-root aggregation YEAM8YJSPM
| URI | m2://inv/YEAM8YJSPM |
|---|---|
| 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.32558#XJ3Z, Gradient-sensitive square-root aggregation (statement). In SGQS629QNK/e1, lemma L.2
History
- 2026-10-31: add by m2/v0.5.6
YEAMB9GZEJ YEAMB9GZEJ
| URI | m2://inv/YEAMB9GZEJ |
|---|---|
| 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 1406.2996#Y9WB (statement). In 6XENXFC77F/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
A potential example for semistable decomposition YEAQ2HZDZA
| URI | m2://inv/YEAQ2HZDZA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#KNKJ, A potential example for semistable decomposition (example). In 9EMCPF1F2T/e1, example 45
History
- 2026-10-29: add by m2/v0.4.10
Hundred Islands National Park YEAT3DAZSE
| URI | m2://inv/YEAT3DAZSE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4CH2, Hundred Islands National Park (unknown)
History
- 2026-11-02: add by m2/dev
YEAWVNZ1PC YEAWVNZ1PC
| URI | m2://inv/YEAWVNZ1PC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06644#VLIM (definition). In M12XTGJZBP/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
-flap YEB29JQ1WG
| URI | m2://inv/YEB29JQ1WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#X2NY, -flap (definition)
History
- 2026-11-02: add by m2/dev
General definition YEB3WECHWK
| URI | m2://inv/YEB3WECHWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martingale (probability theory)#1YNE, General definition (definition)
History
- 2026-11-02: add by m2/dev
Mathematically Gifted & Black YEBBKR8SSS
| URI | m2://inv/YEBBKR8SSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematically Gifted & Black, Mathematically Gifted & Black (definition). Also Wikidata Q97453246
History
- 2026-11-02: add by m2/dev
Linearised polynomial YEBDBW8BVE
| URI | m2://inv/YEBDBW8BVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearised polynomial, Linearised polynomial (definition). Also Wikidata Q17097275
History
- 2026-11-02: add by m2/dev
Examples YEBGA6MEE2
| URI | m2://inv/YEBGA6MEE2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric Boolean function#OYQ3, Examples (example)
History
- 2026-11-02: add by m2/dev
The pipeline produces the run-structure level matrix YEBJEAJ6S9
| URI | m2://inv/YEBJEAJ6S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#8NUS, The pipeline produces the run-structure level matrix (statement). In 11JNM66Z09/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
YEBMTN9G1X YEBMTN9G1X
| URI | m2://inv/YEBMTN9G1X |
|---|---|
| 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.02295#Y63F (statement). In PEBD9ZMA1W/e1, proposition A.6
History
- 2026-10-29: add by m2/v0.4.12
Strongly embedded subgroup YEBP5DNQ72
| URI | m2://inv/YEBP5DNQ72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly embedded subgroup, Strongly embedded subgroup (definition). Also Wikidata Q7624680
History
- 2026-11-02: add by m2/dev
Parker–Sochacki method YEC1S2MNG8
| URI | m2://inv/YEC1S2MNG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parker–Sochacki method, Parker–Sochacki method (definition). Also Wikidata Q7138265
History
- 2026-11-02: add by m2/dev
Formulation YEC29RZ7SR
| URI | m2://inv/YEC29RZ7SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-test#M205, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Duncan, David F. YEC7MFY5V5
| URI | m2://inv/YEC7MFY5V5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NR4Q, Duncan, David F. (unknown)
History
- 2026-11-02: add by m2/dev
Applications YECA63WJA5
| URI | m2://inv/YECA63WJA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham–Rothschild theorem#K05T, Applications (example)
History
- 2026-11-02: add by m2/dev
YECCHGNA8S YECCHGNA8S
| URI | m2://inv/YECCHGNA8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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.32916#L0L3 (definition). In G1RP4JY5PE/e1, definition 2.3.2
History
- 2026-10-31: add by m2/v0.5.6
Rectifying latitude YECKFTKQ84
| URI | m2://inv/YECKFTKQ84 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#HQ83, Rectifying latitude (unknown)
History
- 2026-11-02: add by m2/dev
span YECN5HQA68
| URI | m2://inv/YECN5HQA68 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/span, span (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
tournament YED76VSSHY
| URI | m2://inv/YED76VSSHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#KZSW, tournament (definition)
History
- 2026-11-02: add by m2/dev
Definition YEDAR8VVXB
| URI | m2://inv/YEDAR8VVXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rig category#DFRF, Definition (definition)
History
- 2026-11-02: add by m2/dev
YEDC7B2RS7 YEDC7B2RS7
| URI | m2://inv/YEDC7B2RS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#PXB2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Biharmonic map YEDCYXCJPY
| URI | m2://inv/YEDCYXCJPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biharmonic map, Biharmonic map (definition). Also Wikidata Q30589584
History
- 2026-11-02: add by m2/dev
YEDDVTFDVV YEDDVTFDVV
| URI | m2://inv/YEDDVTFDVV |
|---|---|
| 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 2409.20170#Q4NK (statement). In QXJP79APHN/e1, corollary 2.13
History
- 2026-10-27: add by m2/v0.3.5
A star with incident failures YEDG41A9MW
| URI | m2://inv/YEDG41A9MW |
|---|---|
| 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.22301#5J22, A star with incident failures (statement)
History
- 2026-11-02: add by m2/v0.6.17
YEDNDQPXCK YEDNDQPXCK
| URI | m2://inv/YEDNDQPXCK |
|---|---|
| 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.08288#Z2OY (statement). In CHVWYJM7RM/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Implementations YEDY38SKAN
| URI | m2://inv/YEDY38SKAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate's algorithm#XBO6, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Coefficient form versus slope form YEDYEENQTW
| URI | m2://inv/YEDYEENQTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#SW68, Coefficient form versus slope form (statement). In 88GEN3Z5VG/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Conway polyhedron notation YEE74KYRCA
| URI | m2://inv/YEE74KYRCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZXET, Conway polyhedron notation (definition)
History
- 2026-11-02: add by m2/dev
Christological argument YEECE6HDFX
| URI | m2://inv/YEECE6HDFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christological argument, Christological argument (definition). Also Wikidata Q5111683
History
- 2026-11-02: add by m2/dev
YEEEXJWS1A YEEEXJWS1A
| URI | m2://inv/YEEEXJWS1A |
|---|---|
| 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#5O7U (statement). In 3REM2EXQK7/e1, theorem 3.13
History
- 2026-10-29: add by m2/v0.4.12
Yahtzee YEEMJF24SP
| URI | m2://inv/YEEMJF24SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q696920, Yahtzee (unknown). Also MathWorld Yahtzee
History
- 2026-10-26: add by m2/dev
Field extensions YEEMYZ147N
| URI | m2://inv/YEEMYZ147N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field (mathematics)#PDFR, Field extensions (statement)
History
- 2026-11-02: add by m2/dev
free probability YEEPWYWHMS
| URI | m2://inv/YEEPWYWHMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Free probability 11KYREAH1J |
Mentions
- wikidata: Wikidata Q515893, free probability (topic). Also nLab free probability
- wikipedia: Wikipedia Free probability, Free probability (definition). Also Wikidata Q515893
History
- 2026-10-26: add by m2/dev
Call by Name YEETMEV3HB
| URI | m2://inv/YEETMEV3HB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#FLJK, Call by Name (unknown)
History
- 2026-11-02: add by m2/dev
Rhythm of Structure YEEX8T90BA
| URI | m2://inv/YEEX8T90BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhythm of Structure, Rhythm of Structure (definition). Also Wikidata Q55245475
History
- 2026-11-02: add by m2/dev
An introduction to the notation of "Section A Mathematical Logic" (formulas ✱1–✱5.71) YEFKMX0X6N
| URI | m2://inv/YEFKMX0X6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principia Mathematica#JOKL, An introduction to the notation of "Section A Mathematical Logic" (formulas ✱1–✱5.71) (statement)
History
- 2026-11-02: add by m2/dev
Basic properties YEFQ3B8V04
| URI | m2://inv/YEFQ3B8V04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose diagram#HJ6U, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Riemann function YEFQH61SB6
| URI | m2://inv/YEFQH61SB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#PK18, Riemann function (definition)
History
- 2026-11-02: add by m2/dev
Optimization heuristic YEFQHNR20N
| URI | m2://inv/YEFQHNR20N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical optimization#COQ3, Optimization heuristic (unknown)
History
- 2026-11-02: add by m2/dev
Admissible approximations YEG00WTFN9
| URI | m2://inv/YEG00WTFN9 |
|---|---|
| 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 2506.08233#85TI, Admissible approximations (definition). In 2TXXQ2575Y/e1, definition 4.16
History
- 2026-10-27: add by m2/v0.3.5
YEG0HFVAKT YEG0HFVAKT
| URI | m2://inv/YEG0HFVAKT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-1 (exercise). In E9HS8K3A52, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Hyperarithmetical reducibility YEGGSES5CK
| URI | m2://inv/YEGGSES5CK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperarithmetical theory#YGKS, Hyperarithmetical reducibility (unknown)
History
- 2026-11-02: add by m2/dev
Definition YEGNC2KT12
| URI | m2://inv/YEGNC2KT12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic set#9YUV, Definition (definition)
History
- 2026-11-02: add by m2/dev
YEGRRG1CZE YEGRRG1CZE
| URI | m2://inv/YEGRRG1CZE |
|---|---|
| Kind | example |
| 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 2610.11902#GCFD (example). In K66QKM4N5E/e1, example 3.18
History
- 2026-10-28: add by m2/v0.4.3
Growth around the minimizer YEGWRF5ZEK
| URI | m2://inv/YEGWRF5ZEK |
|---|---|
| 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#PLQK, Growth around the minimizer (statement). In DWQANBV7B7/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.4.2
YEGZC97YXD YEGZC97YXD
| URI | m2://inv/YEGZC97YXD |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#MDS9 (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Examples YEH21RHPKP
| URI | m2://inv/YEH21RHPKP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein surface#PDS1, Examples (example)
History
- 2026-11-02: add by m2/dev
Myhill–Nerode theorem YEHGD0KVTH
| URI | m2://inv/YEHGD0KVTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q422187, Myhill–Nerode theorem (statement). Also Mathlib Language.isRegular_iff_finite_range_leftQuotient, Wikidata Q422187
- thousand_plus: thousand_plus Q422187, Myhill–Nerode theorem (statement). Also Mathlib Language.isRegular_iff_finite_range_leftQuotient, Wikidata Q422187, Wikipedia Myhill–Nerode theorem
- wikipedia: Wikipedia Myhill–Nerode theorem, Myhill–Nerode theorem (statement). Also Wikidata Q422187
History
- 2026-10-26: add by m2/dev
Theorem statement YEHNE8V1VA
| URI | m2://inv/YEHNE8V1VA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ostrowski's theorem#XG1M, Theorem statement (statement)
History
- 2026-11-02: add by m2/dev
Sharp corrector estimate YEHS11TA5D
| URI | m2://inv/YEHS11TA5D |
|---|---|
| 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 2610.14069#Y8ZU, Sharp corrector estimate (statement). In ABYRBVNC3Y/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Abaku YEHTPAYHZM
| URI | m2://inv/YEHTPAYHZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abaku, Abaku (definition). Also Wikidata Q140197765
History
- 2026-11-02: add by m2/dev
Covariance of the product Haar-POVM YEHYR372P3
| URI | m2://inv/YEHYR372P3 |
|---|---|
| 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.00117#Z0HR, Covariance of the product Haar-POVM (statement). In 4G2BDP206S/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
YEJ6C4F7ED YEJ6C4F7ED
| URI | m2://inv/YEJ6C4F7ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#XNWY (statement). In CFJH0Q39FZ/e1, proposition 8.10
History
- 2026-10-28: add by m2/v0.4.2
Rung 3 YEJ7KS7NDC
| URI | m2://inv/YEJ7KS7NDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#G3B6, Rung 3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YEJJ0DC60K YEJJ0DC60K
| URI | m2://inv/YEJJ0DC60K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#Z54B (statement). In 6NVP3YRWVA/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Edouard Fleissner von Wostrowitz YEJMWJMVAS
| URI | m2://inv/YEJMWJMVAS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edouard Fleissner von Wostrowitz, Edouard Fleissner von Wostrowitz (topic). Also Wikidata Q2191421
History
- 2026-11-02: add by m2/dev
YEKBB90KM8 YEKBB90KM8
| URI | m2://inv/YEKBB90KM8 |
|---|---|
| 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.05706#YEI0 (statement). In 8EHE8CX1KJ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Dany Leviatan YEKHKX2R2S
| URI | m2://inv/YEKHKX2R2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#I4D2, Dany Leviatan (topic)
History
- 2026-11-02: add by m2/dev
Computable model theory YEKJ8X4QXN
| URI | m2://inv/YEKJ8X4QXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable model theory, Computable model theory (topic). Also Wikidata Q5157266
History
- 2026-11-02: add by m2/dev
YEKQ9AREB6 YEKQ9AREB6
| URI | m2://inv/YEKQ9AREB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#F3OA (statement). In NC5ZRF6F8N/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
Comonotone random variables YEKZN0SNA8
| URI | m2://inv/YEKZN0SNA8 |
|---|---|
| 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 2609.26951#XOK3, Comonotone random variables (definition)
History
- 2026-11-01: add by m2/v0.6.15
Analytic Liouville integrability YEM2EC3V9F
| URI | m2://inv/YEM2EC3V9F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14065#3PGE, Analytic Liouville integrability (definition). In PV7V3X78JH/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Properties YEM39A98ZM
| URI | m2://inv/YEM39A98ZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable Lie algebra#754G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem (2) YEM6JMGSDS
| URI | m2://inv/YEM6JMGSDS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#7V6B, Theorem (2) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
separated YEMES5EYWK
| URI | m2://inv/YEMES5EYWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#TTEZ, separated (definition)
History
- 2026-11-02: add by m2/dev
YEMHMEQFY9 YEMHMEQFY9
| URI | m2://inv/YEMHMEQFY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#I2QR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Indescribable cardinal YEMTZECJGT
| URI | m2://inv/YEMTZECJGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indescribable cardinal, Indescribable cardinal (definition). Also Wikidata Q17144448
History
- 2026-11-02: add by m2/dev
Examples YEN0S74QHE
| URI | m2://inv/YEN0S74QHE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational homotopy theory#VK80, Examples (example)
History
- 2026-11-02: add by m2/dev
Gantert, Nina YEN1B9M8NE
| URI | m2://inv/YEN1B9M8NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GD5D, Gantert, Nina (unknown)
History
- 2026-11-02: add by m2/dev
Conceptual metaphor YEN5SJX2SG
| URI | m2://inv/YEN5SJX2SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptual metaphor, Conceptual metaphor (definition). Also Wikidata Q2633818
History
- 2026-11-02: add by m2/dev
Peter Ozsváth YEN6GF6Z09
| URI | m2://inv/YEN6GF6Z09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Ozsváth, Peter Ozsváth (topic). Also Wikidata Q1655153
History
- 2026-11-02: add by m2/dev
Definition YEN8JD742T
| URI | m2://inv/YEN8JD742T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newcomb's problem#HQO2, Definition (definition)
History
- 2026-11-02: add by m2/dev
YENBXPQ2JR YENBXPQ2JR
| URI | m2://inv/YENBXPQ2JR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-7 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Nogales YENDTVE2EK
| URI | m2://inv/YENDTVE2EK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#S35H, Nogales (unknown)
History
- 2026-11-02: add by m2/dev
Guardian Project YENEPZM9T9
| URI | m2://inv/YENEPZM9T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guardian Project (software), Guardian Project (definition). Also Wikidata Q16927668
History
- 2026-11-02: add by m2/dev
smooth YENQDAAWX4
| URI | m2://inv/YENQDAAWX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#54JS, smooth (definition)
History
- 2026-11-02: add by m2/dev
Example YEP3DJTY5W
| URI | m2://inv/YEP3DJTY5W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable roommates problem#X5VC, Example (example)
History
- 2026-11-02: add by m2/dev
YouGov YEP6F53Z5G
| URI | m2://inv/YEP6F53Z5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#1KOD, YouGov (unknown)
- wikipedia: Wikipedia List of polling organizations#IAO0, YouGov (unknown)
History
- 2026-11-02: add by m2/dev
YEPDB9P2TR YEPDB9P2TR
| URI | m2://inv/YEPDB9P2TR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-24 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
YEPH5BF60Y YEPH5BF60Y
| URI | m2://inv/YEPH5BF60Y |
|---|---|
| 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#H8NK (statement). In VTVC0TCWSB/e1, fact 4.4
History
- 2026-10-27: add by m2/v0.3.5
YEPN5N7X9Q YEPN5N7X9Q
| URI | m2://inv/YEPN5N7X9Q |
|---|---|
| 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.14509#JCV7 (statement). In N6GD8392QB/e1, proposition 16.2
History
- 2026-10-28: add by m2/v0.4.2
Caterpillars YEPSA2FZA8
| URI | m2://inv/YEPSA2FZA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34025#H7GO, Caterpillars (statement). In VCG579E7MM/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Norman Zabusky YEPV1P3Y57
| URI | m2://inv/YEPV1P3Y57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OGRC, Norman Zabusky (unknown)
History
- 2026-11-02: add by m2/dev
YEPZKG9R8R YEPZKG9R8R
| URI | m2://inv/YEPZKG9R8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/logics-proofs.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
YEQ1DFGZMK YEQ1DFGZMK
| URI | m2://inv/YEQ1DFGZMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#1UM7 (statement). In 1A01NFHBGA/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
Routing YEQ49AH110
| URI | m2://inv/YEQ49AH110 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Routing (hydrology), Routing (definition). Also Wikidata Q7371615
History
- 2026-11-02: add by m2/dev
Definition YEQ4H7BW22
| URI | m2://inv/YEQ4H7BW22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior algebra#JFT4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Howard Hawks Mitchell YEQA1M3XKW
| URI | m2://inv/YEQA1M3XKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard Hawks Mitchell, Howard Hawks Mitchell (topic). Also Wikidata Q5919867
History
- 2026-11-02: add by m2/dev
Definition YEQAKYJXA1
| URI | m2://inv/YEQAKYJXA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shear mapping#B6VU, Definition (definition)
History
- 2026-11-02: add by m2/dev
YEQDN8A0KB YEQDN8A0KB
| URI | m2://inv/YEQDN8A0KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#ZLXB (statement). In BDN507RN7J/e1, proposition 6.1.4
History
- 2026-10-30: add by m2/v0.4.12
YEQED54VYS YEQED54VYS
| URI | m2://inv/YEQED54VYS |
|---|---|
| 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#SDZ8 (statement). In HVGT9D84WV/e1, corollary 1.38
History
- 2026-10-27: add by m2/v0.3.5
Zeuthen–Segre invariant YEQJNJ1VT5
| URI | m2://inv/YEQJNJ1VT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#UGO9, Zeuthen–Segre invariant (definition)
History
- 2026-11-02: add by m2/dev
YEQZAGTXKA YEQZAGTXKA
| URI | m2://inv/YEQZAGTXKA |
|---|---|
| Kind | example |
| 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 2504.02065#E6RA (example). In 60CK7P5F36/e1, example 7.7
History
- 2026-10-27: add by m2/v0.3.5
Polygon with holes YER3K80YP7
| URI | m2://inv/YER3K80YP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon with holes, Polygon with holes (definition). Also Wikidata Q106406009
History
- 2026-11-02: add by m2/dev
Rafael Sorkin YERPMCHCCJ
| URI | m2://inv/YERPMCHCCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7282329, Rafael Sorkin (unknown). Also nLab Rafael Sorkin
History
- 2026-10-26: add by m2/dev
Squaring the square YERZ6DS3FR
| URI | m2://inv/YERZ6DS3FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#QVKG, Squaring the square (definition)
History
- 2026-11-02: add by m2/dev
YES1E1WF3P YES1E1WF3P
| URI | m2://inv/YES1E1WF3P |
|---|---|
| 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.40251#UULT (statement). In 9J7TJYKGYX/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
YES1J27E0Y YES1J27E0Y
| URI | m2://inv/YES1J27E0Y |
|---|---|
| Kind | problem |
| 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 2402.05875#DUA1 (problem). In 35FDBKEDC0/e1, problem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Mir Masoom Ali YES1R7QTMQ
| URI | m2://inv/YES1R7QTMQ |
|---|---|
| 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#POK4, Mir Masoom Ali (unknown)
History
- 2026-11-02: add by m2/dev
YES3ARPDS6 YES3ARPDS6
| URI | m2://inv/YES3ARPDS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#M239 (statement). In 6B2PCEGCYZ/e1, theorem 2.12
History
- 2026-10-31: add by m2/v0.5.6
YESDBTH86E YESDBTH86E
| URI | m2://inv/YESDBTH86E |
|---|---|
| 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.40207#OYRG (statement). In JXTG8KP95P/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
YESHH7M7CZ YESHH7M7CZ
| URI | m2://inv/YESHH7M7CZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#CY6U (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sheaf codes YESPBHT5N0
| URI | m2://inv/YESPBHT5N0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#AY3S, Sheaf codes (definition)
History
- 2026-11-01: add by m2/v0.6.15
Plackett–Burman design YESTZEE20X
| URI | m2://inv/YESTZEE20X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plackett–Burman design, Plackett–Burman design (definition). Also Wikidata Q7200396
History
- 2026-11-02: add by m2/dev
codiscrete space YESV8Z16TV
| URI | m2://inv/YESV8Z16TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91267747, codiscrete space (unknown). Also nLab codiscrete space
History
- 2026-10-26: add by m2/dev
John Sarli YET82KY1Z4
| URI | m2://inv/YET82KY1Z4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Sarli, John Sarli (topic). Also Wikidata Q102131195
History
- 2026-11-02: add by m2/dev
Normals of low height YETC72ANS8
| URI | m2://inv/YETC72ANS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#2Z70, Normals of low height (statement). In FRMCKEGVJZ/e1, lemma 23
History
- 2026-10-30: add by m2/v0.4.12
YETDAAD5KF YETDAAD5KF
| URI | m2://inv/YETDAAD5KF |
|---|---|
| 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.26745#43NB (statement)
History
- 2026-11-01: add by m2/v0.6.15
string, column sum YETEXMRMQF
| URI | m2://inv/YETEXMRMQF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.5/string-column-sum, string, column sum (concept). In QKM9DD2H56, index, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
Oracle minimax upper bound YETPK0K90K
| URI | m2://inv/YETPK0K90K |
|---|---|
| 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.31458#97RC, Oracle minimax upper bound (statement). In SNWC76WKWT/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
YETRGSEPYZ YETRGSEPYZ
| URI | m2://inv/YETRGSEPYZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-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.15385#4KMB (problem). In HBZXCMYPME/e1, problem 6
History
- 2026-10-28: add by m2/v0.4.2
Baxter's theorem YETSKWQ1Q5
| URI | m2://inv/YETSKWQ1Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal polynomials on the unit circle#IBH9, Baxter's theorem (statement)
History
- 2026-11-02: add by m2/dev
Second-order Eulerian triangle YEV4NCRC22
| URI | m2://inv/YEV4NCRC22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian number#FGVP, Second-order Eulerian triangle (unknown)
History
- 2026-11-02: add by m2/dev
quadro- YEV5ZHKD4D
| URI | m2://inv/YEV5ZHKD4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#CUZO, quadro- (definition)
History
- 2026-11-02: add by m2/dev
Stirling's formula for the gamma function YEV7D5EN5X
| URI | m2://inv/YEV7D5EN5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling's approximation#T9BK, Stirling's formula for the gamma function (statement)
History
- 2026-11-02: add by m2/dev
Neyman, Jerzy YEVKRTMR6K
| URI | m2://inv/YEVKRTMR6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GTU1, Neyman, Jerzy (topic)
History
- 2026-11-02: add by m2/dev
Giovanni Fontana (engineer) YEVMYTS1KR
| URI | m2://inv/YEVMYTS1KR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#R5PY, Giovanni Fontana (engineer) (unknown)
History
- 2026-11-02: add by m2/dev
YEVN1K4P0P YEVN1K4P0P
| URI | m2://inv/YEVN1K4P0P |
|---|---|
| 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 2409.03423#5W1I (statement). In 8C5YCMN81V/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Math A/B YEVNNJ25CB
| URI | m2://inv/YEVNNJ25CB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education in New York#5LM8, Math A/B (unknown)
History
- 2026-11-02: add by m2/dev
mathematics, classical YEVQ92BQAJ
| URI | m2://inv/YEVQ92BQAJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
1 decimeter YEVYDB6BBE
| URI | m2://inv/YEVYDB6BBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#0953, 1 decimeter (unknown)
History
- 2026-11-02: add by m2/dev
Poisson bracket YEVZJY1KG6
| URI | m2://inv/YEVZJY1KG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#IRYF, Poisson bracket (definition)
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#7P21, Poisson bracket (definition)
History
- 2026-11-02: add by m2/dev
YEW05DY58K YEW05DY58K
| URI | m2://inv/YEW05DY58K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#LPX0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stability under convergence of extended clocks YEW0BKMPS1
| URI | m2://inv/YEW0BKMPS1 |
|---|---|
| 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.20302#3Z21, Stability under convergence of extended clocks (statement). In GN8JWKH956/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.2
Medial disdyakis triacontahedron YEW8A4NREX
| URI | m2://inv/YEW8A4NREX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F7Q6, Medial disdyakis triacontahedron (object)
History
- 2026-11-02: add by m2/dev
YEWBK6SGBB YEWBK6SGBB
| URI | m2://inv/YEWBK6SGBB |
|---|---|
| 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.11082#GJT6 (statement). In GFPFFN0BXV/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.3
YEWK4ATRCJ YEWK4ATRCJ
| URI | m2://inv/YEWK4ATRCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#F1AY (statement). In 6YY27KRJFN/e1, lemma 2.19
History
- 2026-10-30: add by m2/v0.4.12
sfat upper bound YEWPF4X1DE
| URI | m2://inv/YEWPF4X1DE |
|---|---|
| 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.20687#HY5U, sfat upper bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
YEWWXS468E YEWWXS468E
| URI | m2://inv/YEWWXS468E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#UHBB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Type of visible choice YEWZ8M6H1T
| URI | m2://inv/YEWZ8M6H1T |
|---|---|
| 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 1803.10042#9EL3, Type of visible choice (statement). In 718SP8YERQ/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
YEX4MKKAAN YEX4MKKAAN
| URI | m2://inv/YEX4MKKAAN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
YEX5PA6G6P YEX5PA6G6P
| URI | m2://inv/YEX5PA6G6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.05417#6952 (statement). In RGHZ863Q26/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Twist knot YEXQFT12NW
| URI | m2://inv/YEXQFT12NW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#Y0KX, Twist knot (definition)
History
- 2026-11-02: add by m2/dev
Examples YEXWXFJQYV
| URI | m2://inv/YEXWXFJQYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Package-deal fallacy#DZ4C, Examples (example)
History
- 2026-11-02: add by m2/dev
YEXX98GH73 YEXX98GH73
| URI | m2://inv/YEXX98GH73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#V9BI (definition). In 9GMTVSTAVN/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Siddhartha Chib YEXY8BXK2F
| URI | m2://inv/YEXY8BXK2F |
|---|---|
| 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#SIL2, Siddhartha Chib (unknown)
History
- 2026-11-02: add by m2/dev
YEY7NPC1KG YEY7NPC1KG
| URI | m2://inv/YEY7NPC1KG |
|---|---|
| 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.26948#9MQB (statement)
History
- 2026-11-01: add by m2/v0.6.15
YEYCVM6TS8 YEYCVM6TS8
| URI | m2://inv/YEYCVM6TS8 |
|---|---|
| Kind | example |
| 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.14435#GESC (example). In Y9FSN5BVNQ/e1, example 18
History
- 2026-10-28: add by m2/v0.4.2
The analytic entropy conjecture YEYGZM2WR4
| URI | m2://inv/YEYGZM2WR4 |
|---|---|
| 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.14065#PE26, The analytic entropy conjecture (statement). In PV7V3X78JH/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem 1 YEYWJ83VGD
| URI | m2://inv/YEYWJ83VGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinai–Ruelle–Bowen measure#1M5B, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
YEYXSRXVMH YEYXSRXVMH
| URI | m2://inv/YEYXSRXVMH |
|---|---|
| Kind | example |
| 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.14803#6V0A (example). In VAEVDTBD3B/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
YEZ38K038X YEZ38K038X
| URI | m2://inv/YEZ38K038X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#2MSL (definition). In FC0SB9JFWH/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
True arithmetic YEZEJYPFG8
| URI | m2://inv/YEZEJYPFG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia True arithmetic, True arithmetic (definition). Also Wikidata Q7847560
History
- 2026-11-02: add by m2/dev
Optimality of precision weighting YEZJ2054YN
| URI | m2://inv/YEZJ2054YN |
|---|---|
| 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.20772#LF9R, Optimality of precision weighting (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example YEZN9VZ20K
| URI | m2://inv/YEZN9VZ20K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trend periodic nonstationary processes#4V64, Example (example)
History
- 2026-11-02: add by m2/dev
YEZP96NW7K YEZP96NW7K
| URI | m2://inv/YEZP96NW7K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21692#2KMQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Space-time-matter theory YEZVGY10C2
| URI | m2://inv/YEZVGY10C2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaluza–Klein theory#OMZL, Space-time-matter theory (unknown)
History
- 2026-11-02: add by m2/dev