Inventory rows YA
The cards of the rows of the inventory whose ids start with YA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YA024XKJ4H YA024XKJ4H
| URI | m2://inv/YA024XKJ4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25038#KJ80 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The uniform inverse YA02AV32GZ
| URI | m2://inv/YA02AV32GZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#GKOE, The uniform inverse (statement)
History
- 2026-11-01: add by m2/v0.6.15
False equivalence YA0AW0PES8
| URI | m2://inv/YA0AW0PES8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False equivalence, False equivalence (definition). Also Wikidata Q5432701
History
- 2026-11-02: add by m2/dev
hiss YA0KXTER2S
| URI | m2://inv/YA0KXTER2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise reduction#W7AG, hiss (definition)
History
- 2026-11-02: add by m2/dev
YA0SXYR565 YA0SXYR565
| URI | m2://inv/YA0SXYR565 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#9LCC (statement). In QHFP0837Q8/e1, theorem 5.18
History
- 2026-10-29: add by m2/v0.4.12
YA0W3JQCRS YA0W3JQCRS
| URI | m2://inv/YA0W3JQCRS |
|---|---|
| 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.09501#F11U (statement). In 7BAAE2V761/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
YA0W914ZF5 YA0W914ZF5
| URI | m2://inv/YA0W914ZF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#0VOW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem YA146Y8SC8
| URI | m2://inv/YA146Y8SC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued Hahn–Banach theorems#ZGCQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
$(0, 2)$ is a smooth $1$-manifold YA193Q30CK
| URI | m2://inv/YA193Q30CK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/complex-structure.tex#example-2, $(0, 2)$ is a smooth $1$-manifold (example). In RZP28ERRZV, example, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
Formal definition YA1AT94A3Q
| URI | m2://inv/YA1AT94A3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assignment problem#K98A, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Béla Bollobás YA1CJVB8YG
| URI | m2://inv/YA1CJVB8YG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Béla Bollobás, Béla Bollobás (topic). Also Wikidata Q834127
History
- 2026-11-02: add by m2/dev
YA1K6VB6Z2 YA1K6VB6Z2
| URI | m2://inv/YA1K6VB6Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.23972#AIXL (statement)
History
- 2026-11-02: add by m2/v0.6.17
YA1SFFM0QS YA1SFFM0QS
| URI | m2://inv/YA1SFFM0QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20170#FPVU (statement)
History
- 2026-11-02: add by m2/v0.6.18
bouquet graph YA2CPVVFEZ
| URI | m2://inv/YA2CPVVFEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48999781, bouquet graph (unknown). Also MathWorld BouquetGraph
- wikipedia: Wikipedia Bouquet graph, Bouquet graph (definition). Also Wikidata Q48999781
History
- 2026-10-26: add by m2/dev
YA2GS35WM0 YA2GS35WM0
| URI | m2://inv/YA2GS35WM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.05730#SWIA (statement). In VQ7STN4KDC/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
YA2J90XDBK YA2J90XDBK
| URI | m2://inv/YA2J90XDBK |
|---|---|
| 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 2604.02255#2KCB (statement). In 14NGZPH8B9/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Formal definition YA2KF7W3AD
| URI | m2://inv/YA2KF7W3AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation#5318, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
"is" of predication YA2XPV7B5D
| URI | m2://inv/YA2XPV7B5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TOMB, "is" of predication (definition)
History
- 2026-11-02: add by m2/dev
YA2ZRCKNNJ YA2ZRCKNNJ
| URI | m2://inv/YA2ZRCKNNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#QVCO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Known-plaintext attack YA2ZVGR9A1
| URI | m2://inv/YA2ZVGR9A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Known-plaintext attack, Known-plaintext attack (definition). Also Wikidata Q700583
History
- 2026-11-02: add by m2/dev
Theorem (Wood, 1971) YA30JH00C5
| URI | m2://inv/YA30JH00C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor–Wood inequality#5WYX, Theorem (Wood, 1971) (statement)
History
- 2026-11-02: add by m2/dev
YA3RQWT64D YA3RQWT64D
| URI | m2://inv/YA3RQWT64D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11974#KR6K (statement). In AW6S4XZ9ZZ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Empirical distribution function YA3TSX89FJ
| URI | m2://inv/YA3TSX89FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical distribution function, Empirical distribution function (definition). Also Wikidata Q1339385
History
- 2026-11-02: add by m2/dev
YA3YVR0Y8R YA3YVR0Y8R
| URI | m2://inv/YA3YVR0Y8R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
YA3ZP60WVE YA3ZP60WVE
| URI | m2://inv/YA3ZP60WVE |
|---|---|
| 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.30113#RK1U (statement)
History
- 2026-11-01: add by m2/v0.6.15
isolated singularities YA40HW5H6B
| URI | m2://inv/YA40HW5H6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > isolated singularities, isolated singularities (unknown)
History
- 2026-10-26: add by m2/dev
YA4AA65ZY7 YA4AA65ZY7
| URI | m2://inv/YA4AA65ZY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03851#CQLW (statement). In HNV63B8Y1A/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
YA4G6RQXCS YA4G6RQXCS
| URI | m2://inv/YA4G6RQXCS |
|---|---|
| Kind | example |
| 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 2304.03611#BHXG (example). In 75E8ZB1CBV/e1, example 5.1.1
History
- 2026-10-27: add by m2/v0.4.0
YA4HJ5J8QT YA4HJ5J8QT
| URI | m2://inv/YA4HJ5J8QT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31216#QDKB (definition). In M9CSGRSRB3/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
YA4W33QP7S YA4W33QP7S
| URI | m2://inv/YA4W33QP7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16640#WS2B (statement). In DEVX71G2ZK/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
List of formal sciences YA4WGXFGDF
| URI | m2://inv/YA4WGXFGDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal science#1OCS, List of formal sciences (unknown)
History
- 2026-11-02: add by m2/dev
YA4XH14FHP YA4XH14FHP
| URI | m2://inv/YA4XH14FHP |
|---|---|
| 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.18358#TPYH (statement). In SPZ446XNDW/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Stokes filtration and Stokes-filtered local system YA52E25104
| URI | m2://inv/YA52E25104 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#XIV6, Stokes filtration and Stokes-filtered local system (definition). In A4TR95VGX2/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Closed-loop transfer function YA57QHMW7N
| URI | m2://inv/YA57QHMW7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-loop transfer function, Closed-loop transfer function (definition). Also Wikidata Q1477205
History
- 2026-11-02: add by m2/dev
Interpersonal comparisons of utility YA5BRN3AJ9
| URI | m2://inv/YA5BRN3AJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utility#GITK, Interpersonal comparisons of utility (unknown)
History
- 2026-11-02: add by m2/dev
YA5DQAS4XQ YA5DQAS4XQ
| URI | m2://inv/YA5DQAS4XQ |
|---|---|
| Kind | example |
| 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.16746#42VK (example). In M00TA3JJM6/e1, example 1.2
History
- 2026-10-28: add by m2/v0.4.2
Example YA5DWTVZPC
| URI | m2://inv/YA5DWTVZPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polydivisible number#NG22, Example (example)
History
- 2026-11-02: add by m2/dev
strong YA5F8DHK45
| URI | m2://inv/YA5F8DHK45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#H0MS, strong (definition)
History
- 2026-11-02: add by m2/dev
YA5W0T36RW YA5W0T36RW
| URI | m2://inv/YA5W0T36RW |
|---|---|
| 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 2409.17318#G3Y3 (definition). In 2P63T9MJ4P/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
YA60WTT74P YA60WTT74P
| URI | m2://inv/YA60WTT74P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#5N73 (definition)
History
- 2026-11-01: add by m2/v0.6.15
YA67ZAHNVE YA67ZAHNVE
| URI | m2://inv/YA67ZAHNVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#EBMX (definition). In X765ZXXVC3/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.12
Pseudorandom noise YA684A3KT5
| URI | m2://inv/YA684A3KT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom noise, Pseudorandom noise (definition). Also Wikidata Q910571
History
- 2026-11-02: add by m2/dev
YA6J5W8HN9 YA6J5W8HN9
| URI | m2://inv/YA6J5W8HN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#7CWB (statement). In F8RC6AENB0/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
YA6MXHJBT8 YA6MXHJBT8
| URI | m2://inv/YA6MXHJBT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#YZNA (statement). In AR26SZ8JGN/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Theon of Alexandria YA6NB5W7MM
| URI | m2://inv/YA6NB5W7MM |
|---|---|
| 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 Q354384, Theon of Alexandria (unknown). Also ProofWiki Mathematician:Theon_of_Alexandria
History
- 2026-10-26: add by m2/dev
Johannes Frischauf YA6RVY42JH
| URI | m2://inv/YA6RVY42JH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Frischauf, Johannes Frischauf (topic). Also Wikidata Q86220
History
- 2026-11-02: add by m2/dev
Jianqing Fan YA706SEMWX
| URI | m2://inv/YA706SEMWX |
|---|---|
| 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#0LXV, Jianqing Fan (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Z82J, Jianqing Fan (topic)
History
- 2026-11-02: add by m2/dev
YA70BSGWKR YA70BSGWKR
| URI | m2://inv/YA70BSGWKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#18W8 (statement). In WDV5E2CVTR/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Trivially perfect graph YA72ANZN7Y
| URI | m2://inv/YA72ANZN7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trivially perfect graph, Trivially perfect graph (definition). Also Wikidata Q7844666
History
- 2026-11-02: add by m2/dev
YA736W99J0 YA736W99J0
| URI | m2://inv/YA736W99J0 |
|---|---|
| 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 2205.09049#108A (statement). In 37S7MNMZ2F/e1, corollary 50
History
- 2026-10-27: add by m2/v0.3.5
YA746P86ZG YA746P86ZG
| URI | m2://inv/YA746P86ZG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#Z9EX (unknown). In G97FA99ZEF/e1, unknown 2.2
History
- 2026-10-30: add by m2/v0.4.12
YA77THNHSF YA77THNHSF
| URI | m2://inv/YA77THNHSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23660#RY9R (statement)
History
- 2026-11-02: add by m2/v0.6.17
Shannon–Weaver model YA7PJP6TGK
| URI | m2://inv/YA7PJP6TGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon–Weaver model, Shannon–Weaver model (definition). Also Wikidata Q362189
History
- 2026-11-02: add by m2/dev
YA7SV964RH YA7SV964RH
| URI | m2://inv/YA7SV964RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#PUE0 (statement). In KQ8JPHDKKE/e1, lemma 9.8.25
History
- 2026-10-27: add by m2/v0.3.5
Bounding number YA7Y5TZASD
| URI | m2://inv/YA7Y5TZASD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal function#6MZL, Bounding number (unknown)
History
- 2026-11-02: add by m2/dev
Elveden #31 YA820PE7EJ
| URI | m2://inv/YA820PE7EJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#PO1I, Elveden #31 (unknown)
History
- 2026-11-02: add by m2/dev
Example YA8226Q59Q
| URI | m2://inv/YA8226Q59Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seasonal subseries plot#Z03V, Example (example)
History
- 2026-11-02: add by m2/dev
YA85SHXTDH YA85SHXTDH
| URI | m2://inv/YA85SHXTDH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
YA8A9TB4C1 YA8A9TB4C1
| URI | m2://inv/YA8A9TB4C1 |
|---|---|
| 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.35153#58UJ (statement). In RNDAAR1ER9/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
YA8AERRQ03 YA8AERRQ03
| URI | m2://inv/YA8AERRQ03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#Z1ZX (statement). In SCSTR1Q1BW/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
YA8C8SVDYK YA8C8SVDYK
| URI | m2://inv/YA8C8SVDYK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-7 (exercise). In PKGMM3P5QY, prob, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
Félix Savart YA9595BSMK
| URI | m2://inv/YA9595BSMK |
|---|---|
| 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 Q711509, Félix Savart (unknown). Also ProofWiki Mathematician:Félix_Savart
History
- 2026-10-26: add by m2/dev
List of things named after Joseph-Louis Lagrange YA99HRM4NB
| URI | m2://inv/YA99HRM4NB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#M5F8, List of things named after Joseph-Louis Lagrange (topic)
History
- 2026-11-02: add by m2/dev
Mizar system YA9FVGYZES
| URI | m2://inv/YA9FVGYZES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mizar system, Mizar system (definition). Also Wikidata Q1609529
History
- 2026-11-02: add by m2/dev
YA9J5W0KFY YA9J5W0KFY
| URI | m2://inv/YA9J5W0KFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#56NI (statement). In X1R1GDAJ0Y/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.3
Deformation ring YA9KR3Q4FF
| URI | m2://inv/YA9KR3Q4FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deformation ring, Deformation ring (definition). Also Wikidata Q5251701
History
- 2026-11-02: add by m2/dev
Distribution of the energy across dyadic scales YA9W8AJEB8
| URI | m2://inv/YA9W8AJEB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#UCDK, Distribution of the energy across dyadic scales (statement)
History
- 2026-11-02: add by m2/v0.6.18
Iterated ridge regression YA9XMJ1YTT
| URI | m2://inv/YA9XMJ1YTT |
|---|---|
| Kind | example |
| 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 2604.23212#3X2R, Iterated ridge regression (example). In 4X12V9RS0D/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
R. L. Hudson YA9Z5A2T0P
| URI | m2://inv/YA9Z5A2T0P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. L. Hudson, R. L. Hudson (topic). Also Wikidata Q13365232
History
- 2026-11-02: add by m2/dev
YA9ZX0RERX YA9ZX0RERX
| URI | m2://inv/YA9ZX0RERX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#FO8E (definition). In YH1W5A0JTS/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
YAA0AS8Z8S YAA0AS8Z8S
| URI | m2://inv/YAA0AS8Z8S |
|---|---|
| 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 2511.12649#K1LX (statement). In RT27S2YZKJ/e1, proposition 6
History
- 2026-10-27: add by m2/v0.4.0
Definition YAA1VC07T5
| URI | m2://inv/YAA1VC07T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brown measure#IEK8, Definition (definition)
History
- 2026-11-02: add by m2/dev
YAA6CZVH3T YAA6CZVH3T
| URI | m2://inv/YAA6CZVH3T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#WJB1 (definition). In TTRSZVT4VX/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.2
YAA6MENDN5 YAA6MENDN5
| URI | m2://inv/YAA6MENDN5 |
|---|---|
| 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.26191#XVYM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dissection problem YAA731ZYD0
| URI | m2://inv/YAA731ZYD0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dissection problem, Dissection problem (problem). Also Wikidata Q765035
History
- 2026-11-02: add by m2/dev
Quantitative psychology YAAA025EBB
| URI | m2://inv/YAAA025EBB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative psychology, Quantitative psychology (topic). Also Wikidata Q7268941
History
- 2026-11-02: add by m2/dev
YAADMJSBQG YAADMJSBQG
| URI | m2://inv/YAADMJSBQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2507.20176#W175 (statement). In CX4WDA2KAR/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
Bayesian inference using Gibbs sampling YAAG0AQKAN
| URI | m2://inv/YAAG0AQKAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YT5N, Bayesian inference using Gibbs sampling (definition)
History
- 2026-11-02: add by m2/dev
YAAG3T6PCV YAAG3T6PCV
| URI | m2://inv/YAAG3T6PCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#5YZ0 (statement). In HCTYW6VH87/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.3.5
Cap formula YAAGE6N9C7
| URI | m2://inv/YAAGE6N9C7 |
|---|---|
| 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.25120#MBOD, Cap formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
$f$-pullback YAAJF236YA
| URI | m2://inv/YAAJF236YA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#WAON, $f$-pullback (example). In PF5JJ9DS8Q/e1, example 2.3.2
History
- 2026-10-28: add by m2/v0.4.2
Disk encryption YAAPDAJBFX
| URI | m2://inv/YAAPDAJBFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk encryption, Disk encryption (definition). Also Wikidata Q117010
History
- 2026-11-02: add by m2/dev
Properties YAAQK9C1CD
| URI | m2://inv/YAAQK9C1CD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of representations#J0CX, Properties (statement)
History
- 2026-11-02: add by m2/dev
YAAS1XQS21 YAAS1XQS21
| URI | m2://inv/YAAS1XQS21 |
|---|---|
| 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.27699#81JX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orthogonality on $N^a$ YAAV0ENA9N
| URI | m2://inv/YAAV0ENA9N |
|---|---|
| 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.03384#0KFC, Orthogonality on $N^a$ (statement). In J55JTTKG84/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.12
YAAXZCP9DD YAAXZCP9DD
| URI | m2://inv/YAAXZCP9DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#SNO0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
YAAY1DQJXW YAAY1DQJXW
| URI | m2://inv/YAAY1DQJXW |
|---|---|
| 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.14374#16ZT (statement). In YPTC532FEG/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Jens Høyrup YAAY6BRR07
| URI | m2://inv/YAAY6BRR07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jens Høyrup, Jens Høyrup (topic). Also Wikidata Q1687223
History
- 2026-11-02: add by m2/dev
A. O. Slisenko YAB1T037GZ
| URI | m2://inv/YAB1T037GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IY19, A. O. Slisenko (unknown)
History
- 2026-11-02: add by m2/dev
Synge theorem YAB1V0X1YJ
| URI | m2://inv/YAB1V0X1YJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#MYQA, Synge theorem (statement)
History
- 2026-11-02: add by m2/dev
Admissible relabeling YAB5ZM5MRW
| URI | m2://inv/YAB5ZM5MRW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#IYR7, Admissible relabeling (definition). In 6G1KBA0SXV/e1, definition 2.11
History
- 2026-10-31: add by m2/v0.5.6
NS Yoon-G YAB7DWM5ZS
| URI | m2://inv/YAB7DWM5ZS |
|---|---|
| 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#60VC, NS Yoon-G (unknown)
History
- 2026-11-02: add by m2/dev
YABB594GQY YABB594GQY
| URI | m2://inv/YABB594GQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:intbound:prop (statement). In E59CDZA4DP, prop, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Prime ideal YABMPKQ52Q
| URI | m2://inv/YABMPKQ52Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#UUTX, Prime ideal (definition)
History
- 2026-11-02: add by m2/dev
Formal definition of an extender YABNJE31WV
| URI | m2://inv/YABNJE31WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extender (set theory)#O4L3, Formal definition of an extender (definition)
History
- 2026-11-02: add by m2/dev
YABW33KHDC YABW33KHDC
| URI | m2://inv/YABW33KHDC |
|---|---|
| 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.25307#ZXV6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YAC07SGDFE YAC07SGDFE
| URI | m2://inv/YAC07SGDFE |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21868#HXJD (conjecture). In WWAQEF0093/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
event, independent YAC1S9M8KC
| URI | m2://inv/YAC1S9M8KC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.2.1/event-independent, event, independent (concept). In QKM9DD2H56, index, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
multivalued function YAC6QP4R0P
| URI | m2://inv/YAC6QP4R0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Multivalued function 03CPD1HGF3 |
Mentions
- wikidata: Wikidata Q629085, multivalued function (unknown). Also MathWorld MultivaluedFunction
- wikipedia: Wikipedia Multivalued function, Multivalued function (definition). Also Wikidata Q629085
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
semidirect product YACD3M198Z
| URI | m2://inv/YACD3M198Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Semidirect product 014E1DZQE8 |
Mentions
- wikidata: Wikidata Q291126, semidirect product (definition). Also EoM Semi-direct_product, LMFDB knowl group.semidirect_product, MathWorld SemidirectProduct, nLab semidirect product group, ProofWiki Definition:Semidirect_Product
- wikipedia: Wikipedia Semidirect product, Semidirect product (definition). Also Wikidata Q291126
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
YACDZKTBAE YACDZKTBAE
| URI | m2://inv/YACDZKTBAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#U5JU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Continuity of addition at 0 YACHFYVBVV
| URI | m2://inv/YACHFYVBVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#BDWQ, Continuity of addition at 0 (statement)
History
- 2026-11-02: add by m2/dev
YACKFRJCSM YACKFRJCSM
| URI | m2://inv/YACKFRJCSM |
|---|---|
| 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.14985#VX48 (definition). In DGXJW3SCBR/e1, definition 19
History
- 2026-10-28: add by m2/v0.4.2
Decay beyond the matching strip YACWW3BWJJ
| URI | m2://inv/YACWW3BWJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#ZHGJ, Decay beyond the matching strip (statement). In XM98BX97RT/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
YAD6JDCX58 YAD6JDCX58
| URI | m2://inv/YAD6JDCX58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor-3 (statement). In N54F33XE07, cor, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Fuzzy measure theory YADDRZ0PZD
| URI | m2://inv/YADDRZ0PZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#1D1W, Fuzzy measure theory (definition)
History
- 2026-11-02: add by m2/dev
Gordon Park Baker YADDVDTT8F
| URI | m2://inv/YADDVDTT8F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon Park Baker, Gordon Park Baker (topic). Also Wikidata Q5585644
History
- 2026-11-02: add by m2/dev
Bounds on the Signal Drift YADG2P3JMM
| URI | m2://inv/YADG2P3JMM |
|---|---|
| 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.16705#PMBB, Bounds on the Signal Drift (statement). In B48YQVGAF5/e1, lemma 6.14
History
- 2026-10-28: add by m2/v0.4.2
YADMEPR5Z4 YADMEPR5Z4
| URI | m2://inv/YADMEPR5Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#HXGZ (statement). In WYHZMYZT31/e1, proposition 3.23
History
- 2026-10-30: add by m2/v0.4.12
YADMXHCVZD YADMXHCVZD
| URI | m2://inv/YADMXHCVZD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/permutations.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 59.1
History
- 2026-11-01: add by m2/v0.6.13
Example YADQWMH5CV
| URI | m2://inv/YADQWMH5CV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkinson's polynomial#EOZX, Example (example)
History
- 2026-11-02: add by m2/dev
Extensions YADRTYWA65
| URI | m2://inv/YADRTYWA65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#I0PD, Extensions (statement)
History
- 2026-11-02: add by m2/dev
YADXFGXCEH YADXFGXCEH
| URI | m2://inv/YADXFGXCEH |
|---|---|
| Kind | definition |
| 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.07122#KI92 (definition). In W0ZHX9DHPV/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.10
YAE45B8WPB YAE45B8WPB
| URI | m2://inv/YAE45B8WPB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.21052#9XJ8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
YAE5GHCXZJ YAE5GHCXZJ
| URI | m2://inv/YAE5GHCXZJ |
|---|---|
| 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.33406#UDO7 (statement). In B23TX8G4E4/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms YAEQ8NW68J
| URI | m2://inv/YAEQ8NW68J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance-hereditary graph#XQUP, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Calton Pu YAEQEXWX0Q
| URI | m2://inv/YAEQEXWX0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8SSD, Calton Pu (unknown)
History
- 2026-11-02: add by m2/dev
Examples YAESE2NN7R
| URI | m2://inv/YAESE2NN7R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function series#UAZI, Examples (example)
History
- 2026-11-02: add by m2/dev
Population-error exponents YAEVDDW2PK
| URI | m2://inv/YAEVDDW2PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#KRZT, Population-error exponents (statement). In TTEAQA1XXR/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.3
Roger Jones YAEY61TC73
| URI | m2://inv/YAEY61TC73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Jones (mathematician), Roger Jones (topic). Also Wikidata Q7358427
History
- 2026-11-02: add by m2/dev
YAF2YCPCA3 YAF2YCPCA3
| URI | m2://inv/YAF2YCPCA3 |
|---|---|
| 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#21M5 (statement). In 4H727T2YAS/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.12
YAF6XH9G9N YAF6XH9G9N
| URI | m2://inv/YAF6XH9G9N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/goedel.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 42.2
History
- 2026-11-01: add by m2/v0.6.13
Deterministic machine YAFAQYJ9MD
| URI | m2://inv/YAFAQYJ9MD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deterministic system#F0ME, Deterministic machine (unknown)
History
- 2026-11-02: add by m2/dev
irreducible variety YAFGFY0HF0
| URI | m2://inv/YAFGFY0HF0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78514498, irreducible variety (unknown). Also EoM Irreducible_variety, MathWorld IrreducibleVariety
History
- 2026-10-26: add by m2/dev
YAFS4SK1GR YAFS4SK1GR
| URI | m2://inv/YAFS4SK1GR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-20 (example). In E9HS8K3A52, example, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Reciprocal critical sums YAFWBVP5HS
| URI | m2://inv/YAFWBVP5HS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#XQTV, Reciprocal critical sums (statement). In 7NS75J7HAM/e1, proposition 9.29
History
- 2026-10-31: add by m2/v0.5.6
Equivalent definitions YAFZTX0S0H
| URI | m2://inv/YAFZTX0S0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic dominance#H8N2, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
YAG600XB44 YAG600XB44
| URI | m2://inv/YAG600XB44 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#SZCW (example)
History
- 2026-11-01: add by m2/v0.6.15
YAGAWCS7ZG YAGAWCS7ZG
| URI | m2://inv/YAGAWCS7ZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#UA-eqv-hom-eqv (statement). In N54F33XE07, lem, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Labelled enumeration theorem YAGE2H0J3X
| URI | m2://inv/YAGE2H0J3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Labelled enumeration theorem, Labelled enumeration theorem (statement). Also Wikidata Q6466909
History
- 2026-11-02: add by m2/dev
YAGV0TS5J6 YAGV0TS5J6
| URI | m2://inv/YAGV0TS5J6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
John Nelder YAGV53NXSN
| URI | m2://inv/YAGV53NXSN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Nelder, John Nelder (topic). Also Wikidata Q1630150
History
- 2026-11-02: add by m2/dev
YAGWDVYMGN YAGWDVYMGN
| URI | m2://inv/YAGWDVYMGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#DYPF (definition). In REDG6QVHM3/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
YAGWNHFQCK YAGWNHFQCK
| URI | m2://inv/YAGWNHFQCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12983#EZFL (definition). In M6TFZ6E060/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
YAH05EZMFD YAH05EZMFD
| URI | m2://inv/YAH05EZMFD |
|---|---|
| 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 2011.12496#FXP2 (statement). In 1DH15ZJFRZ/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
YAHM374Z2A YAHM374Z2A
| URI | m2://inv/YAHM374Z2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 62.8
History
- 2026-11-01: add by m2/v0.6.13
YAHTNCDHC2 YAHTNCDHC2
| URI | m2://inv/YAHTNCDHC2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-2 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
YAHWNXV1NF YAHWNXV1NF
| URI | m2://inv/YAHWNXV1NF |
|---|---|
| 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.23522#38C5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
YAJ8V31WN9 YAJ8V31WN9
| URI | m2://inv/YAJ8V31WN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35287#F9V3 (statement). In BPPBAWGPHJ/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
Cramer-Castillon's problem YAJF0FCNFB
| URI | m2://inv/YAJF0FCNFB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18881735, Cramer-Castillon's problem (problem). Also MathWorld CastillonsProblem
- wikipedia: Wikipedia Cramer–Castillon problem, Cramer–Castillon problem (problem). Also Wikidata Q18881735
History
- 2026-10-26: add by m2/dev
Iteratively reweighted least squares YAJPVHZWQC
| URI | m2://inv/YAJPVHZWQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZWAE, Iteratively reweighted least squares (definition)
History
- 2026-11-02: add by m2/dev
double coset YAJQKJ5668
| URI | m2://inv/YAJQKJ5668 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5299992, double coset (unknown). Also nLab double coset
- wikipedia: Wikipedia Double coset, Double coset (definition). Also Wikidata Q5299992
History
- 2026-10-26: add by m2/dev
Unified Gaussian movement for $\p<2$ YAK1SXYQBQ
| URI | m2://inv/YAK1SXYQBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20701#PU5D, Unified Gaussian movement for $\p<2$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
YAK3KFF4HM YAK3KFF4HM
| URI | m2://inv/YAK3KFF4HM |
|---|---|
| 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.03628#744O (statement). In P8KT6JV9N1/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
Interpolatory Collocation YAK7TG9PX3
| URI | m2://inv/YAK7TG9PX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#0DOQ, Interpolatory Collocation (definition). In Z6WA2R0J50/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
YAKBVWS0JW YAKBVWS0JW
| URI | m2://inv/YAKBVWS0JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#2CWK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Abelian varieties up to isogeny YAKFS123PV
| URI | m2://inv/YAKFS123PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization of a category#QVIA, Abelian varieties up to isogeny (unknown)
History
- 2026-11-02: add by m2/dev
octahemioctahedron YAKGYC8YEF
| URI | m2://inv/YAKGYC8YEF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3100435, octahemioctahedron (object). Also MathWorld Octahemioctahedron
- wikipedia: Wikipedia Octahemioctahedron, Octahemioctahedron (object). Also Wikidata Q3100435
History
- 2026-10-26: add by m2/dev
YAKK0PTK8H YAKK0PTK8H
| URI | m2://inv/YAKK0PTK8H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős conjecture on arithmetic progressions#P039 (problem)
History
- 2026-11-02: add by m2/dev
YAKPQKY64F YAKPQKY64F
| URI | m2://inv/YAKPQKY64F |
|---|---|
| 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.13528#EC0P (definition). In TSBJEBS7SP/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
YAKSTPV6HE YAKSTPV6HE
| URI | m2://inv/YAKSTPV6HE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2002.11125#QS2O (statement). In ME61RVCACP/e1, corollary 7.2
History
- 2026-10-27: add by m2/v0.3.5
Cubic fourfold YAM790A5QF
| URI | m2://inv/YAM790A5QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic fourfold, Cubic fourfold (definition). Also Wikidata Q136488503
History
- 2026-11-02: add by m2/dev
YAMCT3KSYF YAMCT3KSYF
| URI | m2://inv/YAMCT3KSYF |
|---|---|
| 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.15421#FHKL (statement). In 3RBKH0DA74/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Jeremy Quastel YAMDCB0BGM
| URI | m2://inv/YAMDCB0BGM |
|---|---|
| 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#1F73, Jeremy Quastel (topic)
History
- 2026-11-02: add by m2/dev
Pairwise error probability YAMWEBV6AW
| URI | m2://inv/YAMWEBV6AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairwise error probability, Pairwise error probability (definition). Also Wikidata Q16000284
History
- 2026-11-02: add by m2/dev
Jayadeva YAMXC0MFD9
| URI | m2://inv/YAMXC0MFD9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#KVQ8, Jayadeva (topic)
History
- 2026-11-02: add by m2/dev
cantellation YAN3B7GWXP
| URI | m2://inv/YAN3B7GWXP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3895039, cantellation (unknown). Also MathWorld Cantellation
- wikipedia: Wikipedia Cantellation (geometry), Cantellation (object). Also Wikidata Q3895039
History
- 2026-10-26: add by m2/dev
Examples YAN7V9TH6N
| URI | m2://inv/YAN7V9TH6N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative topology#94NF, Examples (example)
History
- 2026-11-02: add by m2/dev
The shear YANA35630A
| URI | m2://inv/YANA35630A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#YKT2, The shear (statement). In KR7WXN4EWR/e1, proposition 8.4
History
- 2026-10-29: add by m2/v0.4.12
YANEHKPZKQ YANEHKPZKQ
| URI | m2://inv/YANEHKPZKQ |
|---|---|
| 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.36444#GMQT (statement). In 4DJE72VPJP/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
YANKDN6AB0 YANKDN6AB0
| URI | m2://inv/YANKDN6AB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#QF2K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formulation YANM58TK3T
| URI | m2://inv/YANM58TK3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-squares adjustment#FKC0, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Conditional monotonicity YANNKJNWB3
| URI | m2://inv/YANNKJNWB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#QN3J, Conditional monotonicity (statement). In T3BY4TXYT4/e1, corollary 6.9
History
- 2026-10-28: add by m2/v0.4.2
YANPWH64Y1 YANPWH64Y1
| URI | m2://inv/YANPWH64Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#MHB2 (statement). In X47RYAZF8P/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Addition theorem YANZV87PEG
| URI | m2://inv/YANZV87PEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DP1P, Addition theorem (statement)
History
- 2026-11-02: add by m2/dev
YAP08V86PY YAP08V86PY
| URI | m2://inv/YAP08V86PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21655#QVJF (statement). In 3Q0387SH7Q/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
Uniform approximation of regularized mixture logits YAP236F84G
| URI | m2://inv/YAP236F84G |
|---|---|
| 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.12544#BGM6, Uniform approximation of regularized mixture logits (statement). In XXV36V6CK8/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
YAP25RJCFS YAP25RJCFS
| URI | m2://inv/YAP25RJCFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08252#BJMO (statement). In M50TGNSJJR/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
YAP2ZG06P8 YAP2ZG06P8
| URI | m2://inv/YAP2ZG06P8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#IZQ2 (statement). In HH35K7S17H/e1, lemma 6.15
History
- 2026-10-29: add by m2/v0.4.10
pattern inventory YAP9ZHKKHP
| URI | m2://inv/YAP9ZHKKHP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.4.2/pattern-inventory, pattern inventory (concept). In QKM9DD2H56, index, section 15.4.2
History
- 2026-11-01: add by m2/v0.6.13
homology YAPC856BGK
| URI | m2://inv/YAPC856BGK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/homology, homology (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Bratteli diagram YAPH4K9ATF
| URI | m2://inv/YAPH4K9ATF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bratteli diagram, Bratteli diagram (definition). Also Wikidata Q899785
History
- 2026-11-02: add by m2/dev
Helly's theorem YAPP0J4TRH
| URI | m2://inv/YAPP0J4TRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#87F0, Helly's theorem (statement)
History
- 2026-11-02: add by m2/dev
Wightman axioms YAQ6YB3GAJ
| URI | m2://inv/YAQ6YB3GAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#PP3I, Wightman axioms (statement)
History
- 2026-11-02: add by m2/dev
Rank of a tensor YAQ89H3ZR9
| URI | m2://inv/YAQ89H3ZR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#NJ8G, Rank of a tensor (definition)
History
- 2026-11-02: add by m2/dev
Proposition YAQASVCGM1
| URI | m2://inv/YAQASVCGM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve primality#55J2, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Heron–Archimedes formula YAQCFDEZHN
| URI | m2://inv/YAQCFDEZHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#6AK0, Heron–Archimedes formula (statement)
History
- 2026-11-02: add by m2/dev
Joseph L. Doob YAQCSYNHZJ
| URI | m2://inv/YAQCSYNHZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8XQX, Joseph L. Doob (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TKM3, Joseph L. Doob (topic)
History
- 2026-11-02: add by m2/dev
YAQE0RXSCR YAQE0RXSCR
| URI | m2://inv/YAQE0RXSCR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
$\C(X)$-partial fraction decomposition YAQKSVMXH0
| URI | m2://inv/YAQKSVMXH0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > $\C(X)$-partial fraction decomposition, $\C(X)$-partial fraction decomposition (unknown)
History
- 2026-10-26: add by m2/dev
Permutation polynomial YAQMBH21H7
| URI | m2://inv/YAQMBH21H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation polynomial, Permutation polynomial (definition). Also Wikidata Q7169370
History
- 2026-11-02: add by m2/dev
Telescoping factor YAQNX8F357
| URI | m2://inv/YAQNX8F357 |
|---|---|
| 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.00453#ASGH, Telescoping factor (statement). In ESPJMBH2R2/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
YAQP1DA619 YAQP1DA619
| URI | m2://inv/YAQP1DA619 |
|---|---|
| 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.32174#55PT (statement). In GHKR740SG3/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
YAQR9QYQ77 YAQR9QYQ77
| URI | m2://inv/YAQR9QYQ77 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
Algebraic properties YAQY5BQ0K1
| URI | m2://inv/YAQY5BQ0K1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 110-vertex Iofinova–Ivanov graph#NRDN, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Lovász local lemma YAR0PH0C8E
| URI | m2://inv/YAR0PH0C8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#MYEF, Lovász local lemma (statement)
History
- 2026-11-02: add by m2/dev
Lacunarity YAR2DZ207V
| URI | m2://inv/YAR2DZ207V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lacunarity, Lacunarity (definition). Also Wikidata Q2771020
History
- 2026-11-02: add by m2/dev
Example YAR4PWAWVM
| URI | m2://inv/YAR4PWAWVM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cap set#5OOB, Example (example)
History
- 2026-11-02: add by m2/dev
YARREG8Y0P YARREG8Y0P
| URI | m2://inv/YARREG8Y0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#8CPS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steven J. Miller YARXB5PSM1
| URI | m2://inv/YARXB5PSM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven J. Miller, Steven J. Miller (topic). Also Wikidata Q20657339
History
- 2026-11-02: add by m2/dev
Theorem YAS3PMZY13
| URI | m2://inv/YAS3PMZY13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primary decomposition#FODR, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Moses Lemans YAS57JDY09
| URI | m2://inv/YAS57JDY09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZZHL, Moses Lemans (unknown)
History
- 2026-11-02: add by m2/dev
YAS8RTRN1B YAS8RTRN1B
| URI | m2://inv/YAS8RTRN1B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#O3GK (definition). In 49V3ANDZTY/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Charles Colbourn YASQB9X2Q4
| URI | m2://inv/YASQB9X2Q4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NMVE, Charles Colbourn (unknown)
History
- 2026-11-02: add by m2/dev
Eigengap YASRG94VX6
| URI | m2://inv/YASRG94VX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigengap, Eigengap (definition). Also Wikidata Q5348905
History
- 2026-11-02: add by m2/dev
Semicontinuity of the relaxed subslope YAT2NS1KCH
| URI | m2://inv/YAT2NS1KCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#OJYY, Semicontinuity of the relaxed subslope (statement). In KM3Q791JY0/e1, corollary 3.26
History
- 2026-10-27: add by m2/v0.4.2
connected YAT9KBHMN7
| URI | m2://inv/YAT9KBHMN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#B8EX, connected (definition)
History
- 2026-11-02: add by m2/dev
Dual curve YATDZ7MT2A
| URI | m2://inv/YATDZ7MT2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual curve, Dual curve (definition). Also Wikidata Q641661
History
- 2026-11-02: add by m2/dev
YATFBVXWAS YATFBVXWAS
| URI | m2://inv/YATFBVXWAS |
|---|---|
| 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 2504.13328#1CMT (statement). In 736Q32FYCG/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Noncommutative quantum field theory YATY4D3J97
| URI | m2://inv/YATY4D3J97 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#JWZ6, Noncommutative quantum field theory (unknown)
History
- 2026-11-02: add by m2/dev
YAV4E970CK YAV4E970CK
| URI | m2://inv/YAV4E970CK |
|---|---|
| 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 2207.07461#KSFL (statement). In GAG532VMPF/e1, proposition 6.2.7
History
- 2026-10-27: add by m2/v0.3.5
medial hexagonal hexecontahedron YAV72PH4ZV
| URI | m2://inv/YAV72PH4ZV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6806050, medial hexagonal hexecontahedron (unknown). Also MathWorld MedialHexagonalHexecontahedron
- wikipedia: Wikipedia Medial hexagonal hexecontahedron, Medial hexagonal hexecontahedron (object). Also Wikidata Q6806050
History
- 2026-10-26: add by m2/dev
Primitive element YAV861Y9WE
| URI | m2://inv/YAV861Y9WE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive element (finite field), Primitive element (definition). Also Wikidata Q4378669
History
- 2026-11-02: add by m2/dev
YAV9F8KYGD YAV9F8KYGD
| URI | m2://inv/YAV9F8KYGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10247#ML81 (statement). In XWTMY44RF1/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Chern character YAVHY6P5PF
| URI | m2://inv/YAVHY6P5PF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern class#B1Y4, Chern character (unknown)
History
- 2026-11-02: add by m2/dev
Minkowski--Weyl Theorem YAVK5WMRYB
| URI | m2://inv/YAVK5WMRYB |
|---|---|
| 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.20656#X565, Minkowski--Weyl Theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Shock wave YAVPJWP4W1
| URI | m2://inv/YAVPJWP4W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shock wave, Shock wave (definition). Also Wikidata Q190688
History
- 2026-11-02: add by m2/dev
YAVS983REN YAVS983REN
| URI | m2://inv/YAVS983REN |
|---|---|
| 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 2601.10958#H5NW (definition). In 4W55AH5T6R/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Ernst Straus YAVXDBDSRW
| URI | m2://inv/YAVXDBDSRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JLM6, Ernst Straus (topic)
History
- 2026-11-02: add by m2/dev
YAW2NJCSQ1 YAW2NJCSQ1
| URI | m2://inv/YAW2NJCSQ1 |
|---|---|
| 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 1012.0963#MR71 (statement). In TSA766V8F8/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
Applications YAWFZE2X7N
| URI | m2://inv/YAWFZE2X7N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer-valued polynomial#R9E7, Applications (example)
History
- 2026-11-02: add by m2/dev
Albert Quiquet YAWP1M790X
| URI | m2://inv/YAWP1M790X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#99QI, Albert Quiquet (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GMEM, Albert Quiquet (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L8DW, Albert Quiquet (unknown)
History
- 2026-11-02: add by m2/dev
YAWP75GN1Z YAWP75GN1Z
| URI | m2://inv/YAWP75GN1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-3 (example). In VNMV985MXX, example, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
YAWS9524NX YAWS9524NX
| URI | m2://inv/YAWS9524NX |
|---|---|
| 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.36186#YGC8 (statement). In 30PQN6JP7W/e1, lemma 19
History
- 2026-10-27: add by m2/v0.3.5
YAWXVX2902 YAWXVX2902
| URI | m2://inv/YAWXVX2902 |
|---|---|
| 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.02798#AT2T (statement). In 446QW3DHTN/e1, theorem C.3
History
- 2026-10-29: add by m2/v0.4.12
Floris Takens YAWYXTDCJ2
| URI | m2://inv/YAWYXTDCJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q372371, Floris Takens (unknown). Also nLab Floris Takens
- wikipedia: Wikipedia Floris Takens, Floris Takens (topic). Also Wikidata Q372371
History
- 2026-10-26: add by m2/dev
Thomas Schick YAWZR7AXV1
| URI | m2://inv/YAWZR7AXV1 |
|---|---|
| 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#83Z8, Thomas Schick (topic)
History
- 2026-11-02: add by m2/dev
represented YAX3X0V47Q
| URI | m2://inv/YAX3X0V47Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CMI1, represented (definition)
History
- 2026-11-02: add by m2/dev
YAX80S9TGG YAX80S9TGG
| URI | m2://inv/YAX80S9TGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#lem:fseq-init (statement). In PKGMM3P5QY, lem, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
YAXK0YYP7C YAXK0YYP7C
| URI | m2://inv/YAXK0YYP7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#BSW0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Global cap equation and initial cap trace YAXNXQ6K3J
| URI | m2://inv/YAXNXQ6K3J |
|---|---|
| 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.12387#6YDK, Global cap equation and initial cap trace (statement). In 3Z0PRE77SY/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
$YC_bC_r$ color model YAXY23AFJH
| URI | m2://inv/YAXY23AFJH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.3.2/yc-bc-r-color-model, $YC_bC_r$ color model (concept). In 649HGZKE96, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
YAXYTWJ6BE YAXYTWJ6BE
| URI | m2://inv/YAXYTWJ6BE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#5MJL (statement). In NGZ5AZ70NN/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
maximum independent set problem YAXZX7C5E4
| URI | m2://inv/YAXZX7C5E4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25416569, maximum independent set problem (unknown). Also MathWorld MaximumIndependentSetProblem
History
- 2026-10-26: add by m2/dev
Statement YAY4ZP8HF4
| URI | m2://inv/YAY4ZP8HF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadjicostas's formula#T3QQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Schiffer-Zizza YAYK2A61P1
| URI | m2://inv/YAYK2A61P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#45GZ, Schiffer-Zizza (statement). In 6GK9EJMWY4/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
YAYKSMZQ0C YAYKSMZQ0C
| URI | m2://inv/YAYKSMZQ0C |
|---|---|
| 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.07040#QAZK (statement). In KMNXNW7FHP/e1, theorem D.7
History
- 2026-10-29: add by m2/v0.4.10
Clarke First-Order Characterization YAYM11ZE1P
| URI | m2://inv/YAYM11ZE1P |
|---|---|
| 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.10927#BOFQ, Clarke First-Order Characterization (statement). In DHEJP3YATV/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.3
YAYSN5CWC7 YAYSN5CWC7
| URI | m2://inv/YAYSN5CWC7 |
|---|---|
| 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.07890#7JKX (statement). In 6F3GSDT2V1/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
YAYXQ1ZQC1 YAYXQ1ZQC1
| URI | m2://inv/YAYXQ1ZQC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#6FF8 (statement). In 2XSZDXZ52E/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
Chiu-Chu Melissa Liu YAZ4T00J71
| URI | m2://inv/YAZ4T00J71 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiu-Chu Melissa Liu, Chiu-Chu Melissa Liu (topic). Also Wikidata Q19519799
History
- 2026-11-02: add by m2/dev
Q-statistic (disambiguation) YAZJ62H8TT
| URI | m2://inv/YAZJ62H8TT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2AHR, Q-statistic (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
pointwise, equality of functions YAZWMNV86N
| URI | m2://inv/YAZWMNV86N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.9/pointwise-equality-of-functions, pointwise, equality of functions (concept). In N54F33XE07, index, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
Graviton YAZX6CZ87G
| URI | m2://inv/YAZX6CZ87G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#B70S, Graviton (unknown)
History
- 2026-11-02: add by m2/dev
universal, property, of truncation YAZXCBC6NH
| URI | m2://inv/YAZXCBC6NH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/universal-property-of-truncation, universal, property, of truncation (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
YAZXMR876S YAZXMR876S
| URI | m2://inv/YAZXMR876S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39430#DJ4U (statement). In 6FH24CYAMW/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12