Inventory rows YH
The cards of the rows of the inventory whose ids start with YH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Extensions YH01B50NMR
| URI | m2://inv/YH01B50NMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Quillen conjecture#0B04, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Marion Tinsley YH03084WF5
| URI | m2://inv/YH03084WF5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marion Tinsley, Marion Tinsley (topic). Also Wikidata Q942881
History
- 2026-11-02: add by m2/dev
YH05CQ0PH5 YH05CQ0PH5
| URI | m2://inv/YH05CQ0PH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.10930#ITME (statement). In HX63A1PH1W/e1, corollary 6.42
History
- 2026-10-28: add by m2/v0.4.3
Dual-support sandwich YH086BSWPQ
| URI | m2://inv/YH086BSWPQ |
|---|---|
| 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.37589#9ORS, Dual-support sandwich (statement). In 18HVB2SKW1/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
YH088V2V3T YH088V2V3T
| URI | m2://inv/YH088V2V3T |
|---|---|
| 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.37815#DL2G (example). In SVJYA0171G/e1, example 5.1
History
- 2026-10-30: add by m2/v0.4.12
YH0KHZC104 YH0KHZC104
| URI | m2://inv/YH0KHZC104 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#proof-4 (proof). In RZP28ERRZV, proof, section 88.4
History
- 2026-11-01: add by m2/v0.6.13
Hypercontractivity of $\phi_t^{\pobds}$ YH0ZP69CPN
| URI | m2://inv/YH0ZP69CPN |
|---|---|
| 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.22338#JXUY, Hypercontractivity of $\phi_t^{\pobds}$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Term YH1C0NQ2SB
| URI | m2://inv/YH1C0NQ2SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term (logic), Term (definition). Also Wikidata Q1318370
History
- 2026-11-02: add by m2/dev
YH1CSTC5S7 YH1CSTC5S7
| URI | m2://inv/YH1CSTC5S7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#9LXV (statement). In F5XF5VXTXY/e1, corollary 8.4
History
- 2026-10-30: add by m2/v0.4.12
Vida Dujmović YH1GGPHZNW
| URI | m2://inv/YH1GGPHZNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YK1G, Vida Dujmović (unknown)
History
- 2026-11-02: add by m2/dev
conic YH1J4PQAEB
| URI | m2://inv/YH1J4PQAEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#D0CA, conic (definition)
History
- 2026-11-02: add by m2/dev
YH1K4ZP0DF YH1K4ZP0DF
| URI | m2://inv/YH1K4ZP0DF |
|---|---|
| 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#VYJX (statement). In ZA34B1CR9M/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
constructive dilemma YH1MWABD86
| URI | m2://inv/YH1MWABD86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5164489, constructive dilemma (statement). Also MathWorld ConstructiveDilemma
- wikipedia: Wikipedia Constructive dilemma, Constructive dilemma (definition). Also Wikidata Q5164489
History
- 2026-10-26: add by m2/dev
Stephen S. Kudla YH20STB2J4
| URI | m2://inv/YH20STB2J4 |
|---|---|
| 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 Q2345048, Stephen S. Kudla (unknown). Also nLab Stephen Kudla
- wikipedia: Wikipedia Stephen S. Kudla, Stephen S. Kudla (topic). Also Wikidata Q2345048
History
- 2026-10-26: add by m2/dev
YH20XX13R0 YH20XX13R0
| URI | m2://inv/YH20XX13R0 |
|---|---|
| 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.00241#SKHJ (statement). In VBRQTN2RXN/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
YH21FEKHSP YH21FEKHSP
| URI | m2://inv/YH21FEKHSP |
|---|---|
| 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 2210.04075#1HFI (statement). In C5DZR0TC5E/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Chak Fourteen MB YH2440B0YF
| URI | m2://inv/YH2440B0YF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#E6SV, Chak Fourteen MB (unknown)
History
- 2026-11-02: add by m2/dev
Example YH27CN2B6Z
| URI | m2://inv/YH27CN2B6Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergent matrix#VRV4, Example (example)
History
- 2026-11-02: add by m2/dev
Properties YH28ABEDJS
| URI | m2://inv/YH28ABEDJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach algebra#QUNR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Notation YH2CM20PF3
| URI | m2://inv/YH2CM20PF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence relation#I9IX, Notation (definition)
History
- 2026-11-02: add by m2/dev
YH2DZ3Z42R YH2DZ3Z42R
| URI | m2://inv/YH2DZ3Z42R |
|---|---|
| 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.19036#5PA7 (statement). In 76GJ814P0A/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
YH2HQ3G5G4 YH2HQ3G5G4
| URI | m2://inv/YH2HQ3G5G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#HP2N (statement). In CVESAPNMCQ/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
Otto Frostman YH2MFCVHZ9
| URI | m2://inv/YH2MFCVHZ9 |
|---|---|
| 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#UPGE, Otto Frostman (topic)
History
- 2026-11-02: add by m2/dev
Ampersand YH2NRPT2YY
| URI | m2://inv/YH2NRPT2YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ampersand, Ampersand (definition). Also Wikidata Q11213
History
- 2026-11-02: add by m2/dev
YH2PRVYV84 YH2PRVYV84
| URI | m2://inv/YH2PRVYV84 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-39 (proof). In N54F33XE07, proof, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
YH2SJ2MGS2 YH2SJ2MGS2
| URI | m2://inv/YH2SJ2MGS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08638#MX4Z (statement). In 113VZ5XX7J/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Power automorphism YH2TFZP2BJ
| URI | m2://inv/YH2TFZP2BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power automorphism, Power automorphism (definition). Also Wikidata Q7236475
History
- 2026-11-02: add by m2/dev
Entropy of a superposition YH32ZPPX19
| URI | m2://inv/YH32ZPPX19 |
|---|---|
| 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.03683#UV7V, Entropy of a superposition (statement). In 14AMXF6X2V/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Euler's theorem (1776) YH3G7RP99E
| URI | m2://inv/YH3G7RP99E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's rotation theorem#4G6T, Euler's theorem (1776) (statement)
History
- 2026-11-02: add by m2/dev
YH3PA0FWH5 YH3PA0FWH5
| URI | m2://inv/YH3PA0FWH5 |
|---|---|
| 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.25380#QE18 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples YH45YTC7M6
| URI | m2://inv/YH45YTC7M6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#NCNQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Quantitative finite tails YH48R1BD53
| URI | m2://inv/YH48R1BD53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#TGND, Quantitative finite tails (statement). In X407M6WFNR/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
YH4ETYTJ2Y YH4ETYTJ2Y
| URI | m2://inv/YH4ETYTJ2Y |
|---|---|
| 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/enumerability-alt.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
YH4KVHAM31 YH4KVHAM31
| URI | m2://inv/YH4KVHAM31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#D5TG (statement). In S26QVW5613/e1, lemma 4.1.1
History
- 2026-10-30: add by m2/v0.4.12
Andrej Bauer YH4REH7Y2N
| URI | m2://inv/YH4REH7Y2N |
|---|---|
| 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 Q12784531, Andrej Bauer (unknown). Also nLab Andrej Bauer
History
- 2026-10-26: add by m2/dev
YH5B9WS05J YH5B9WS05J
| URI | m2://inv/YH5B9WS05J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-52 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
Examples YH5CZVTSVX
| URI | m2://inv/YH5CZVTSVX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing vector field#7GJA, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition and examples YH5KAP9XKN
| URI | m2://inv/YH5KAP9XKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact abelian group#0WUS, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
YH5TMDNHNH YH5TMDNHNH
| URI | m2://inv/YH5TMDNHNH |
|---|---|
| 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.22374#9MHW (statement)
History
- 2026-11-02: add by m2/v0.6.17
YH6BY1N41C YH6BY1N41C
| URI | m2://inv/YH6BY1N41C |
|---|---|
| Kind | problem |
| 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#TAOM (problem)
History
- 2026-11-01: add by m2/v0.6.15
579 (number) YH6CMDBQJJ
| URI | m2://inv/YH6CMDBQJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#14WN, 579 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Intrinsic equation YH6J7ZA48Z
| URI | m2://inv/YH6J7ZA48Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#VALO, Intrinsic equation (definition)
History
- 2026-11-02: add by m2/dev
Richard H. Price YH6N0W3NB4
| URI | m2://inv/YH6N0W3NB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#IZQ8, Richard H. Price (topic)
History
- 2026-11-02: add by m2/dev
YH6SB1NV56 YH6SB1NV56
| URI | m2://inv/YH6SB1NV56 |
|---|---|
| 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.08028#ATAJ (definition). In Z19XDA8QY9/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
Examples YH6W0NA0G0
| URI | m2://inv/YH6W0NA0G0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverted pendulum#ILKO, Examples (example)
History
- 2026-11-02: add by m2/dev
YH78AK5VQ1 YH78AK5VQ1
| URI | m2://inv/YH78AK5VQ1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
Ellipsoid packing YH78GGJCJN
| URI | m2://inv/YH78GGJCJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsoid packing, Ellipsoid packing (definition). Also Wikidata Q105102108
History
- 2026-11-02: add by m2/dev
YH7DGQEPZE YH7DGQEPZE
| URI | m2://inv/YH7DGQEPZE |
|---|---|
| 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.07451#QHQH (statement). In P7KT88N75Q/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.10
Fractional Brownian motion YH7HZCJV8R
| URI | m2://inv/YH7HZCJV8R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 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 2610.18929#R0MO, Fractional Brownian motion (example). In ZRJ2DZT6P1/e1, example 6.2
History
- 2026-10-28: add by m2/v0.4.2
Gutenberg–Richter law YH7R5WVKE0
| URI | m2://inv/YH7R5WVKE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aftershock#RTFT, Gutenberg–Richter law (statement)
History
- 2026-11-02: add by m2/dev
YH7XFMP7RG YH7XFMP7RG
| URI | m2://inv/YH7XFMP7RG |
|---|---|
| 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#CDVA (statement). In 9J7TJYKGYX/e1, corollary 6.7
History
- 2026-10-30: add by m2/v0.4.12
Frank J. Massey Jr. YH827E5D29
| URI | m2://inv/YH827E5D29 |
|---|---|
| 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#EFZB, Frank J. Massey Jr. (topic)
History
- 2026-11-02: add by m2/dev
countable YH860E1BD7
| URI | m2://inv/YH860E1BD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#C35G, countable (definition)
History
- 2026-11-02: add by m2/dev
Inverse mean curvature flow YH880AW8WP
| URI | m2://inv/YH880AW8WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse mean curvature flow, Inverse mean curvature flow (definition). Also Wikidata Q6060395
History
- 2026-11-02: add by m2/dev
Riemann–Hilbert correspondence YH8G6JC2V3
| URI | m2://inv/YH8G6JC2V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#S49U, Riemann–Hilbert correspondence (definition)
History
- 2026-11-02: add by m2/dev
YH8H0FDPDR YH8H0FDPDR
| URI | m2://inv/YH8H0FDPDR |
|---|---|
| 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 2511.07697#E7KC (definition). In 57P5P33HS3/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Meadow's law YH8HDSA1QT
| URI | m2://inv/YH8HDSA1QT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meadow's law, Meadow's law (statement). Also Wikidata Q6803203
History
- 2026-11-02: add by m2/dev
Michael Barnsley YH8HT93KV3
| URI | m2://inv/YH8HT93KV3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Barnsley, Michael Barnsley (topic). Also Wikidata Q6828439
History
- 2026-11-02: add by m2/dev
Approximation of the reflected continuous threshold YH8J0T052D
| URI | m2://inv/YH8J0T052D |
|---|---|
| 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.29524#2IIF, Approximation of the reflected continuous threshold (statement)
History
- 2026-11-01: add by m2/v0.6.15
locally compact Hausdorff group YH8M4HNYSS
| URI | m2://inv/YH8M4HNYSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Locally compact group AHV05ZBCYW |
Mentions
- wikidata: Wikidata Q2147620, locally compact Hausdorff group (unknown). Also MathWorld LocallyCompactGroup
- wikipedia: Wikipedia Locally compact group, Locally compact group (definition). Also Wikidata Q2147620
History
- 2026-10-26: add by m2/dev
YH8NEEMKWE YH8NEEMKWE
| URI | m2://inv/YH8NEEMKWE |
|---|---|
| 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.23871#R2B6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition YH8WQAFWCV
| URI | m2://inv/YH8WQAFWCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seasonal subseries plot#XQ5R, Definition (definition)
History
- 2026-11-02: add by m2/dev
YH8Z6VTW51 YH8Z6VTW51
| URI | m2://inv/YH8Z6VTW51 |
|---|---|
| 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 dg-ga/9612010#EK8A (statement). In CM39SWC4A6/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
sqb1 YH9B5M1FTH
| URI | m2://inv/YH9B5M1FTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#W2CY, sqb1 (definition)
History
- 2026-11-02: add by m2/dev
TR 4: The octahedral axiom YH9CHW5NP9
| URI | m2://inv/YH9CHW5NP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulated category#8658, TR 4: The octahedral axiom (statement)
History
- 2026-11-02: add by m2/dev
YH9HDWSP1E YH9HDWSP1E
| URI | m2://inv/YH9HDWSP1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30330#WGRP (statement). In QBMDTMP5CX/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Naval Enigma machine, M3 YH9MHB2JRQ
| URI | m2://inv/YH9MHB2JRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#TNDK, Naval Enigma machine, M3 (unknown)
History
- 2026-11-02: add by m2/dev
Furry's theorem YH9MYTHME2
| URI | m2://inv/YH9MYTHME2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q26877569, Furry's theorem (statement). Also Wikidata Q26877569
- thousand_plus: thousand_plus Q26877569, Furry's theorem (statement). Also Wikidata Q26877569, Wikipedia Furry's theorem
- wikipedia: Wikipedia Furry's theorem, Furry's theorem (statement). Also Wikidata Q26877569
History
- 2026-10-26: add by m2/dev
Application of the \(7/8\) theorem YH9MZ6GKEQ
| URI | m2://inv/YH9MZ6GKEQ |
|---|---|
| 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.15559#TBF3, Application of the \(7/8\) theorem (statement). In 6H7SHXGGQW/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Definitions YH9R37B93P
| URI | m2://inv/YH9R37B93P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pregeometry (model theory)#ENOV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
My Philosophical Development YH9R78XMD9
| URI | m2://inv/YH9R78XMD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia My Philosophical Development, My Philosophical Development (definition). Also Wikidata Q6946277
History
- 2026-11-02: add by m2/dev
Lickorish–Wallace theorem YH9TWVSQBJ
| URI | m2://inv/YH9TWVSQBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D54N, Lickorish–Wallace theorem (statement)
History
- 2026-11-02: add by m2/dev
Cubic trace on affine sections YH9YNCP35H
| URI | m2://inv/YH9YNCP35H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#RMHV, Cubic trace on affine sections (statement). In ZZER8ZBSCR/e1, lemma A.11
History
- 2026-10-29: add by m2/v0.4.12
YHA1DC9HXS YHA1DC9HXS
| URI | m2://inv/YHA1DC9HXS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#LVZ8 (example). In 7ZFD9XRKA1/e1, example 6.10
History
- 2026-10-28: add by m2/v0.4.2
YHA5Z845MW YHA5Z845MW
| URI | m2://inv/YHA5Z845MW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#RB05 (definition). In XK6H7F2F13/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
YHA6JFW0TP YHA6JFW0TP
| URI | m2://inv/YHA6JFW0TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#BX00 (statement). In PQNYA0C510/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
YHAC824393 YHAC824393
| URI | m2://inv/YHAC824393 |
|---|---|
| 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.12295#L1NL (statement). In 6DZPR52HRP/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
YHAJDAZ9PK YHAJDAZ9PK
| URI | m2://inv/YHAJDAZ9PK |
|---|---|
| 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#UL27 (statement). In WDV5E2CVTR/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
YHAPYK4155 YHAPYK4155
| URI | m2://inv/YHAPYK4155 |
|---|---|
| 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.02870#82WL (statement). In JJQQJ4KX94/e1, corollary 3.15
History
- 2026-10-29: add by m2/v0.4.12
Cyclic cover of a neighborhood of a section YHAS299TM3
| URI | m2://inv/YHAS299TM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#NC72, Cyclic cover of a neighborhood of a section (statement). In TBFPBPQV3G/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
YHAZGY3KYA YHAZGY3KYA
| URI | m2://inv/YHAZGY3KYA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#YIKG (definition). In X38P26DK6S/e1, definition A.1
History
- 2026-10-27: add by m2/v0.4.0
Sara Billey YHAZYYE9F1
| URI | m2://inv/YHAZYYE9F1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QY30, Sara Billey (topic)
History
- 2026-11-02: add by m2/dev
YHB0YHPMM4 YHB0YHPMM4
| URI | m2://inv/YHB0YHPMM4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#YVIK (definition). In 3A4K47Y9F2/e1, definition 2.22
History
- 2026-10-27: add by m2/v0.4.0
Peter B. Gilkey YHB3J17KM9
| URI | m2://inv/YHB3J17KM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L73K, Peter B. Gilkey (topic)
History
- 2026-11-02: add by m2/dev
Xin Zhou YHBAQ76NFX
| URI | m2://inv/YHBAQ76NFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xin Zhou, Xin Zhou (topic). Also Wikidata Q1247549
History
- 2026-11-02: add by m2/dev
sheets YHBD9S0AD0
| URI | m2://inv/YHBD9S0AD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex plane#LM6J, sheets (definition)
History
- 2026-11-02: add by m2/dev
Constructions YHBHXN8YQY
| URI | m2://inv/YHBHXN8YQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve of constant width#9O7G, Constructions (definition)
History
- 2026-11-02: add by m2/dev
YHBM8MAJD4 YHBM8MAJD4
| URI | m2://inv/YHBM8MAJD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11441#H7NJ (statement). In RNXV4Q58TY/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.3
YHBR51645Z YHBR51645Z
| URI | m2://inv/YHBR51645Z |
|---|---|
| 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.11965#J18U (statement). In 48QX0QD0XR/e1, theorem 7.7
History
- 2026-10-28: add by m2/v0.4.3
YHBTEZ58DV YHBTEZ58DV
| URI | m2://inv/YHBTEZ58DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#I7HD (statement). In 3TJ2FWXQ0D/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Examples YHBVXCKCRP
| URI | m2://inv/YHBVXCKCRP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berkson's paradox#D8I8, Examples (example)
History
- 2026-11-02: add by m2/dev
matching YHBW6Y653Z
| URI | m2://inv/YHBW6Y653Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#YSWT, matching (definition)
History
- 2026-11-02: add by m2/dev
YHC3D63KMN YHC3D63KMN
| URI | m2://inv/YHC3D63KMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop:LXYfinitedim (statement). In E59CDZA4DP, prop, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
Renkonen similarity index YHC4H5TJK0
| URI | m2://inv/YHC4H5TJK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renkonen similarity index, Renkonen similarity index (definition). Also Wikidata Q16935365
History
- 2026-11-02: add by m2/dev
Formulation YHC6GXP215
| URI | m2://inv/YHC6GXP215 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck–Riemann–Roch theorem#AG5T, Formulation (definition)
History
- 2026-11-02: add by m2/dev
YHCAJTSSY8 YHCAJTSSY8
| URI | m2://inv/YHCAJTSSY8 |
|---|---|
| Kind | definition |
| 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 2312.06581#UZEO (definition). In WXJ2V3HA2R/e1, definition D.5
History
- 2026-10-27: add by m2/v0.3.5
three-valued logic YHD663947Z
| URI | m2://inv/YHD663947Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6EVF, three-valued logic (definition)
History
- 2026-11-02: add by m2/dev
YHD8734DCJ YHD8734DCJ
| URI | m2://inv/YHD8734DCJ |
|---|---|
| Kind | example |
| 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 2205.15365#6S7C (example). In R2XC1SC9NZ/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Variations YHDE96T3R9
| URI | m2://inv/YHDE96T3R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual graph#ZJME, Variations (statement)
History
- 2026-11-02: add by m2/dev
YHDFBSFAKB YHDFBSFAKB
| URI | m2://inv/YHDFBSFAKB |
|---|---|
| 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.00103#OBGQ (statement). In S7RDXJWP1A/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Concept mapping YHDJG7K3GK
| URI | m2://inv/YHDJG7K3GK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#WV5D, Concept mapping (unknown)
History
- 2026-11-02: add by m2/dev
YHDN12BD2R YHDN12BD2R
| URI | m2://inv/YHDN12BD2R |
|---|---|
| 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.11047#R9WT (statement). In MNQAZ70XTH/e1, corollary 10.6
History
- 2026-10-28: add by m2/v0.4.3
theory of graded commutative rings YHDPF086BR
| URI | m2://inv/YHDPF086BR |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13A02 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114704266, theory of graded commutative rings (topic)
History
- 2026-10-26: add by m2/dev
Generalizations YHDSMW7F6H
| URI | m2://inv/YHDSMW7F6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil–Petersson metric#KP4R, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Kruskal's algorithm YHDSV12E5B
| URI | m2://inv/YHDSV12E5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal's algorithm, Kruskal's algorithm (definition). Also Wikidata Q797860
History
- 2026-11-02: add by m2/dev
YHE1678DMW YHE1678DMW
| URI | m2://inv/YHE1678DMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_intro.ptx#example-1 (example). In QKM9DD2H56, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
YHE83AYYQM YHE83AYYQM
| URI | m2://inv/YHE83AYYQM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#example-6 (example). In RZP28ERRZV, example, section 96.5
History
- 2026-11-01: add by m2/v0.6.13
Alexander trick YHEGYRD8K8
| URI | m2://inv/YHEGYRD8K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#2X67, Alexander trick (definition)
History
- 2026-11-02: add by m2/dev
YHER933W31 YHER933W31
| URI | m2://inv/YHER933W31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#AT7V (statement). In HA2GG72C23/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Daniel K. Nakano YHEVGMC145
| URI | m2://inv/YHEVGMC145 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel K. Nakano, Daniel K. Nakano (topic). Also Wikidata Q19519388
History
- 2026-11-02: add by m2/dev
YHF0BJKK90 YHF0BJKK90
| URI | m2://inv/YHF0BJKK90 |
|---|---|
| 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.04628#QM67 (statement). In MREZZ9NCY8/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
Compound of two 5-cells YHF4ENJ06E
| URI | m2://inv/YHF4ENJ06E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cell#JCEQ, Compound of two 5-cells (unknown)
History
- 2026-11-02: add by m2/dev
YHFAXE2BP5 YHFAXE2BP5
| URI | m2://inv/YHFAXE2BP5 |
|---|---|
| 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.30961#3N11 (statement). In FFG2DDWEVB/e1, corollary 1.11
History
- 2026-10-31: add by m2/v0.5.6
Modern laws YHFNM80WTX
| URI | m2://inv/YHFNM80WTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#J8HV, Modern laws (statement)
History
- 2026-11-02: add by m2/dev
Dennis Trewin YHFNTJR5Y5
| URI | m2://inv/YHFNTJR5Y5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dennis Trewin, Dennis Trewin (topic). Also Wikidata Q5259016
History
- 2026-11-02: add by m2/dev
Stechkin's lemma YHFSHA6VPT
| URI | m2://inv/YHFSHA6VPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stechkin's lemma, Stechkin's lemma (statement). Also Wikidata Q30715574
History
- 2026-11-02: add by m2/dev
YHG220Q4EW YHG220Q4EW
| URI | m2://inv/YHG220Q4EW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#IGR0 (definition). In G70Q2FB591/e1, definition 4.22
History
- 2026-10-28: add by m2/v0.4.2
Identity statements YHG27Y1Z02
| URI | m2://inv/YHG27Y1Z02 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity (philosophy)#0293, Identity statements (statement)
History
- 2026-11-02: add by m2/dev
triangular hebesphenorotunda YHG50PN2M0
| URI | m2://inv/YHG50PN2M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2560593, triangular hebesphenorotunda (object). Also MathWorld TriangularHebesphenorotunda
- wikipedia: Wikipedia Triangular hebesphenorotunda, Triangular hebesphenorotunda (definition). Also Wikidata Q2560593
History
- 2026-10-26: add by m2/dev
Comparison to other Investing formulas YHG6AGDF6J
| URI | m2://inv/YHG6AGDF6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic formula investing#9S8H, Comparison to other Investing formulas (statement)
History
- 2026-11-02: add by m2/dev
coherence YHG9HJWY4M
| URI | m2://inv/YHG9HJWY4M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.2/coherence, coherence (concept). In N54F33XE07, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
YHGD6RF9KJ YHGD6RF9KJ
| URI | m2://inv/YHGD6RF9KJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#3NBJ (definition). In CGA36VE1C5/e1, definition 5.0.1
History
- 2026-10-27: add by m2/v0.3.6
pandiagonal magic square YHGHJ689MK
| URI | m2://inv/YHGHJ689MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2940397, pandiagonal magic square (unknown). Also MathWorld PanmagicSquare
- wikipedia: Wikipedia Pandiagonal magic square, Pandiagonal magic square (definition). Also Wikidata Q2940397
History
- 2026-10-26: add by m2/dev
YHGHSKMH00 YHGHSKMH00
| URI | m2://inv/YHGHSKMH00 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#3PEN (example). In AGJE43FTF8/e1, example 8.12
History
- 2026-10-27: add by m2/v0.4.2
YHGKAQ0T7B YHGKAQ0T7B
| URI | m2://inv/YHGKAQ0T7B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#NAZ8 (definition). In XGCND7R0B0/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
YHGKHDCHE9 YHGKHDCHE9
| URI | m2://inv/YHGKHDCHE9 |
|---|---|
| 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.20894#AUN2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Néron–Tate height YHGPH3H2FJ
| URI | m2://inv/YHGPH3H2FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#F0JH, Néron–Tate height (definition)
History
- 2026-11-02: add by m2/dev
Definition YHGQ5NK4FJ
| URI | m2://inv/YHGQ5NK4FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear classifier#QOO7, Definition (definition)
History
- 2026-11-02: add by m2/dev
YHGXAVMN8Q YHGXAVMN8Q
| URI | m2://inv/YHGXAVMN8Q |
|---|---|
| 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.10813#WY45 (statement). In G8F4P7GDMA/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
Construction YHGZ8R6PEC
| URI | m2://inv/YHGZ8R6PEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Campedelli surface#UTSC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Kelly McConville YHH0A0SXJ6
| URI | m2://inv/YHH0A0SXJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelly McConville, Kelly McConville (topic). Also Wikidata Q102398462
History
- 2026-11-02: add by m2/dev
Bernoulli law YHH1ECX1PX
| URI | m2://inv/YHH1ECX1PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Bernoulli law, Bernoulli law (unknown). Also Mathlib ProbabilityTheory.bernoulliMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > Bernoulli law, Bernoulli law (unknown). Also Mathlib ProbabilityTheory.bernoulliMeasure
History
- 2026-10-26: add by m2/dev
YHH2Z1PCER YHH2Z1PCER
| URI | m2://inv/YHH2Z1PCER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#WI2H (definition). In F3BKXXPR3K/e1, definition 2.22
History
- 2026-10-27: add by m2/v0.4.2
Siegel modular group YHH4CF8DTJ
| URI | m2://inv/YHH4CF8DTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel upper half-space#SWXR, Siegel modular group (unknown)
History
- 2026-11-02: add by m2/dev
Distinction forces a good orbit YHHE2SDKJJ
| URI | m2://inv/YHHE2SDKJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#W3FF, Distinction forces a good orbit (statement). In TPYRE2ARMD/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
YHHGBEY44J YHHGBEY44J
| URI | m2://inv/YHHGBEY44J |
|---|---|
| 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.16821#7HJH (statement). In EFSGMHG5BW/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Müntz–Szász theorem YHHK2YRYK4
| URI | m2://inv/YHHK2YRYK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MSSN, Müntz–Szász theorem (statement)
History
- 2026-11-02: add by m2/dev
Baily–Borel theorem YHHPJWJP7F
| URI | m2://inv/YHHPJWJP7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I2OM, Baily–Borel theorem (definition)
History
- 2026-11-02: add by m2/dev
Anna Lavinia Van Benschoten YHHVNJAH82
| URI | m2://inv/YHHVNJAH82 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Lavinia Van Benschoten, Anna Lavinia Van Benschoten (topic). Also Wikidata Q102158243
History
- 2026-11-02: add by m2/dev
Definition YHJDW7H4EX
| URI | m2://inv/YHJDW7H4EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stacky curve#QWY1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Radiation laws YHJPE4W5R8
| URI | m2://inv/YHJPE4W5R8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#1JKZ, Radiation laws (statement)
History
- 2026-11-02: add by m2/dev
Adrienne W. Kemp YHJQD26Y1E
| URI | m2://inv/YHJQD26Y1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adrienne W. Kemp, Adrienne W. Kemp (topic). Also Wikidata Q112401423
History
- 2026-11-02: add by m2/dev
YHJVHJEXAG YHJVHJEXAG
| URI | m2://inv/YHJVHJEXAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#PTLU (statement). In D8XZBXJPR5/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Complement operator (regular expressions) YHJY0Q5R4E
| URI | m2://inv/YHJY0Q5R4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular expression#VY04, Complement operator (regular expressions) (unknown)
History
- 2026-11-02: add by m2/dev
YHK1RPQRC4 YHK1RPQRC4
| URI | m2://inv/YHK1RPQRC4 |
|---|---|
| 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.30663#LGLX (statement). In 3JZDKWS8NK/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Properties YHK8SX1FVB
| URI | m2://inv/YHK8SX1FVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientation character#46RP, Properties (statement)
History
- 2026-11-02: add by m2/dev
431 (number) YHK95H6M8Q
| URI | m2://inv/YHK95H6M8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#BGIU, 431 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Gray code YHKAB5DZGC
| URI | m2://inv/YHKAB5DZGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q332772, Gray code (unknown). Also MathWorld GrayCode, OEIS A003188
- wikipedia: Wikipedia Gray code, Gray code (definition). Also Wikidata Q332772
History
- 2026-10-26: add by m2/dev
YHKE2XFPDE YHKE2XFPDE
| URI | m2://inv/YHKE2XFPDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.09678#MTMZ (statement). In 9VG7PNZHZT/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Monge point YHKG2T1HJ5
| URI | m2://inv/YHKG2T1HJ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1944434, Monge point (concept). Also MathWorld MongePoint
History
- 2026-10-26: add by m2/dev
Jonathan Lazare Alperin YHKP0RNJRF
| URI | m2://inv/YHKP0RNJRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JRD1, Jonathan Lazare Alperin (topic)
History
- 2026-11-02: add by m2/dev
YHKQAD5C4N YHKQAD5C4N
| URI | m2://inv/YHKQAD5C4N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#WPOA (definition). In G2PA4KAGRP/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Modern triangle geometry YHM2XJ2KBD
| URI | m2://inv/YHM2XJ2KBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modern triangle geometry, Modern triangle geometry (definition). Also Wikidata Q110555128
History
- 2026-11-02: add by m2/dev
YHM4B08A77 YHM4B08A77
| URI | m2://inv/YHM4B08A77 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.08672#HYBW (definition). In 55X5V0M3K7/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
YHM7P6Y6XH YHM7P6Y6XH
| URI | m2://inv/YHM7P6Y6XH |
|---|---|
| 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 2503.08018#DYQ0 (statement). In TN93YFN45W/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.0
YHMBN6291Y YHMBN6291Y
| URI | m2://inv/YHMBN6291Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-42 (exercise). In E9HS8K3A52, exercise, section 8.5.3
History
- 2026-11-01: add by m2/v0.6.13
Definition YHMEGRVE3Q
| URI | m2://inv/YHMEGRVE3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer–Specker group#QKQX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Abelian Lie group YHMEVTYVQ3
| URI | m2://inv/YHMEVTYVQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian Lie group, Abelian Lie group (definition). Also Wikidata Q85739412
History
- 2026-11-02: add by m2/dev
YHMGXTZN1E YHMGXTZN1E
| URI | m2://inv/YHMGXTZN1E |
|---|---|
| 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.32505#RNSE (statement). In N8MYP1Z659/e1, lemma E.2
History
- 2026-10-31: add by m2/v0.5.6
YHMKT8SGHK YHMKT8SGHK
| URI | m2://inv/YHMKT8SGHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#2WOG (statement). In E7W2HDNEKJ/e1, theorem 8.5
History
- 2026-10-30: add by m2/v0.4.12
YHMP2P8VCP YHMP2P8VCP
| URI | m2://inv/YHMP2P8VCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.22326#GSK0 (statement). In EAABRG99V8/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.4.0
Examples YHMQ4YGEJR
| URI | m2://inv/YHMQ4YGEJR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular algebraic curve#SAWH, Examples (example)
History
- 2026-11-02: add by m2/dev
YHMWTK1T09 YHMWTK1T09
| URI | m2://inv/YHMWTK1T09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#FMH8 (statement). In 13GSWBXPCM/e1, corollary C.3
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet-to-Neumann map YHN02XSZDT
| URI | m2://inv/YHN02XSZDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Steklov operator#9JX4, Dirichlet-to-Neumann map (unknown)
History
- 2026-11-02: add by m2/dev
Combinatorics and physics YHN8V1AP6H
| URI | m2://inv/YHN8V1AP6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorics and physics, Combinatorics and physics (definition). Also Wikidata Q5150833
History
- 2026-11-02: add by m2/dev
Tychonoff space YHNG6JFKG7
| URI | m2://inv/YHNG6JFKG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#1A0H, Tychonoff space (definition)
History
- 2026-11-02: add by m2/dev
folium of Descartes YHNGZ4BPFA
| URI | m2://inv/YHNGZ4BPFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.7.1/folium-of-descartes, folium of Descartes (concept). In 907G4C4EJ1, index, section 2.7.1
History
- 2026-11-01: add by m2/v0.6.13
Formulas YHNJA6SAJS
| URI | m2://inv/YHNJA6SAJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit surface#JQU2, Formulas (statement)
History
- 2026-11-02: add by m2/dev
YHNQH2J7W6 YHNQH2J7W6
| URI | m2://inv/YHNQH2J7W6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
YHNQMSH2PW YHNQMSH2PW
| URI | m2://inv/YHNQMSH2PW |
|---|---|
| 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#YSWU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyperbolic collar lemma YHNQVCRX7H
| URI | m2://inv/YHNQVCRX7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#D5YK, Hyperbolic collar lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
Auxiliary Norms YHNWN6RPKC
| URI | m2://inv/YHNWN6RPKC |
|---|---|
| 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 2601.15010#6BBN, Auxiliary Norms (definition). In K3WJ6ZN184/e1, definition 7.4
History
- 2026-10-27: add by m2/v0.3.5
multi-armed bandit YHNYKJGZEM
| URI | m2://inv/YHNYKJGZEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 91A20 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2882343, multi-armed bandit (topic)
- wikipedia: Wikipedia Multi-armed bandit, Multi-armed bandit (definition). Also Wikidata Q2882343
History
- 2026-10-26: add by m2/dev
Lee YHP0C3KFS1
| URI | m2://inv/YHP0C3KFS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12565#0XM6, Lee (statement). In 9RYQ164FWA/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Jürgen Fuchs YHP0YR8XCB
| URI | m2://inv/YHP0YR8XCB |
|---|---|
| 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 Q1717177, Jürgen Fuchs (unknown). Also nLab Jürgen Fuchs
History
- 2026-10-26: add by m2/dev
YHP4K6JQND YHP4K6JQND
| URI | m2://inv/YHP4K6JQND |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#PYDM (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Group object in $\textbf{H}$ YHP7V8ZR16
| URI | m2://inv/YHP7V8ZR16 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-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.03865#00HZ, Group object in $\textbf{H}$ (definition). In G3D1YR20BJ/e1, definition A.8
History
- 2026-10-29: add by m2/v0.4.12
Applications YHP9Z8TV5V
| URI | m2://inv/YHP9Z8TV5V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex#1IRC, Applications (example)
History
- 2026-11-02: add by m2/dev
Giulio Racah YHPA7H24FP
| URI | m2://inv/YHPA7H24FP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#3G09, Giulio Racah (unknown)
History
- 2026-11-02: add by m2/dev
YHPNF86CTX YHPNF86CTX
| URI | m2://inv/YHPNF86CTX |
|---|---|
| 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.15405#VPJF (statement). In 9QCYCXVF5W/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
YHPNQGEQ0Y YHPNQGEQ0Y
| URI | m2://inv/YHPNQGEQ0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19959#YHMD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Waring's problem YHPQN8DGFK
| URI | m2://inv/YHPQN8DGFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Waring's problem 7VWGA444K3 |
Mentions
- mathlib_1000: mathlib_1000 Q657903, Hilbert–Waring theorem (statement). Also Wikidata Q657903
- thousand_plus: thousand_plus Q657903, Hilbert–Waring theorem (statement). Also Wikidata Q657903, Wikipedia Hilbert–Waring theorem
- wikidata: Wikidata Q657903, Waring's problem (problem). Also MathWorld WaringsProblem
- wikipedia: Wikipedia Waring's problem, Waring's problem (conjecture). Also Wikidata Q657903
History
- 2026-10-26: add by m2/dev
Koch snowflake YHPW7QH08H
| URI | m2://inv/YHPW7QH08H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#RLO3, Koch snowflake (definition)
History
- 2026-11-02: add by m2/dev
YHQ2KAATKV YHQ2KAATKV
| URI | m2://inv/YHQ2KAATKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05486#QWRW (statement). In 5Z46AK2XTC/e1, lemma C.6
History
- 2026-10-29: add by m2/v0.4.10
YHQ5TS59HT YHQ5TS59HT
| URI | m2://inv/YHQ5TS59HT |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20270#D35G (problem). In GV0QGZH67P/e1, problem
History
- 2026-10-27: add by m2/v0.4.2
YHQ6JYQSN7 YHQ6JYQSN7
| URI | m2://inv/YHQ6JYQSN7 |
|---|---|
| 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.06372#6QTX (statement). In G3E1P350Z6/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Applications YHQ7EKWNKR
| URI | m2://inv/YHQ7EKWNKR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#FG5W, Applications (example)
History
- 2026-11-02: add by m2/dev
YHQ921WF1B YHQ921WF1B
| URI | m2://inv/YHQ921WF1B |
|---|---|
| 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.08583#P0QB (statement). In 5EKTECQ2P1/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
YHQA0T2VNN YHQA0T2VNN
| URI | m2://inv/YHQA0T2VNN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#PV9J (definition). In C8JAGP8VCQ/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
YHQFZB2TQX YHQFZB2TQX
| URI | m2://inv/YHQFZB2TQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2205.13464#EJ47 (statement). In JPYGC2R3FC/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.6
Variants YHQGN6D15X
| URI | m2://inv/YHQGN6D15X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random forest#MW5G, Variants (statement)
History
- 2026-11-02: add by m2/dev
$\sigma$-frame, initial YHQVMQTBG7
| URI | m2://inv/YHQVMQTBG7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/sigma-frame-initial, $\sigma$-frame, initial (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
YHR49ZRADQ YHR49ZRADQ
| URI | m2://inv/YHR49ZRADQ |
|---|---|
| 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.05582#UWMY (statement). In 9X4TANWWWR/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Zero winding on the active arc YHR5929XR8
| URI | m2://inv/YHR5929XR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27970#PUOM, Zero winding on the active arc (statement)
History
- 2026-11-01: add by m2/v0.6.15
YHR6QR934Q YHR6QR934Q
| URI | m2://inv/YHR6QR934Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#RMOC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Classification and Regression Tree YHR6WCMG0X
| URI | m2://inv/YHR6WCMG0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree learning#SSLF, Classification and Regression Tree (unknown)
History
- 2026-11-02: add by m2/dev
Spectral density YHR7XN9RJV
| URI | m2://inv/YHR7XN9RJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral density, Spectral density (definition). Also Wikidata Q1331626
History
- 2026-11-02: add by m2/dev
No ACFAA YHRCHXB7S5
| URI | m2://inv/YHRCHXB7S5 |
|---|---|
| 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#D42E, No ACFAA (statement). In 9J7TJYKGYX/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
YHRK9WK4Q6 YHRK9WK4Q6
| URI | m2://inv/YHRK9WK4Q6 |
|---|---|
| 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.29111#XE01 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Plotkin bound YHRZ4M5HBN
| URI | m2://inv/YHRZ4M5HBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plotkin bound, Plotkin bound (definition). Also Wikidata Q1476195
History
- 2026-11-02: add by m2/dev
Commutativity of \(n\)-valued monoids on \(\Pp^1_{\kfield}\ YHS2HBY6VN
| URI | m2://inv/YHS2HBY6VN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.14044#CXO9, Commutativity of \(n\)-valued monoids on \(\Pp^1_{\kfield}\ (statement). In 5452SJRWDT/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Sequential dynamical system YHS53GPGTJ
| URI | m2://inv/YHS53GPGTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential dynamical system, Sequential dynamical system (definition). Also Wikidata Q3509394
History
- 2026-11-02: add by m2/dev
Fátima de Madrid YHSBVVZFHH
| URI | m2://inv/YHSBVVZFHH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fátima de Madrid, Fátima de Madrid (topic). Also Wikidata Q4481452
History
- 2026-11-02: add by m2/dev
Martin T. Barlow YHSDCS1K9T
| URI | m2://inv/YHSDCS1K9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin T. Barlow, Martin T. Barlow (topic). Also Wikidata Q3740815
History
- 2026-11-02: add by m2/dev
Completed central small-ratio extension YHSGYE9CKZ
| URI | m2://inv/YHSGYE9CKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#M2T5, Completed central small-ratio extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
YHSJTBX7GA YHSJTBX7GA
| URI | m2://inv/YHSJTBX7GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-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.24232#V5OC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Transport integration by parts on a rectangular domain YHSKTQ9NFV
| URI | m2://inv/YHSKTQ9NFV |
|---|---|
| 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.33033#NS05, Transport integration by parts on a rectangular domain (statement). In AJWBAHJ8VD/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
YHSQ4YSQT3 YHSQ4YSQT3
| URI | m2://inv/YHSQ4YSQT3 |
|---|---|
| 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.12810#R77Y (statement). In DR35633CPN/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Properties YHSRNG0KNE
| URI | m2://inv/YHSRNG0KNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct limit#N9P9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Base YHT8P2442P
| URI | m2://inv/YHT8P2442P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base (geometry), Base (definition). Also Wikidata Q2553861
History
- 2026-11-02: add by m2/dev
maximum clique YHT9Q397CH
| URI | m2://inv/YHT9Q397CH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93598415, maximum clique (unknown). Also MathWorld MaximumClique
History
- 2026-10-26: add by m2/dev
YHTD1SWDM6 YHTD1SWDM6
| URI | m2://inv/YHTD1SWDM6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-81 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem YHTJ31CFA9
| URI | m2://inv/YHTJ31CFA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parthasarathy's theorem#1WB9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
set YHTPKNMEWV
| URI | m2://inv/YHTPKNMEWV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.1/set, set (concept). In N54F33XE07, index, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
YHTYJ3EBAW YHTYJ3EBAW
| URI | m2://inv/YHTYJ3EBAW |
|---|---|
| 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.16225#DCXB (statement). In H3DJV9YQW1/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Ptolemy's inequality YHVDKJHZ59
| URI | m2://inv/YHVDKJHZ59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's inequality, Ptolemy's inequality (statement). Also Wikidata Q743775
History
- 2026-11-02: add by m2/dev
Application YHVHMK86DY
| URI | m2://inv/YHVHMK86DY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-port network#0PYF, Application (example)
History
- 2026-11-02: add by m2/dev
Earth's magnetic field YHVM4ZSVTX
| URI | m2://inv/YHVM4ZSVTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6500960, Earth's magnetic field (statement). Also ProofWiki Planet_Earth_is_Permanent_Magnet
- wikipedia: Wikipedia Earth's magnetic field, Earth's magnetic field (definition). Also Wikidata Q6500960
History
- 2026-10-26: add by m2/dev
Stochastic equicontinuity YHVM8V3JVD
| URI | m2://inv/YHVM8V3JVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic equicontinuity, Stochastic equicontinuity (definition). Also Wikidata Q7617817
History
- 2026-11-02: add by m2/dev
Properties YHVPQS6CH2
| URI | m2://inv/YHVPQS6CH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jones polynomial#UROA, Properties (statement)
History
- 2026-11-02: add by m2/dev
YHVSEKJJFY YHVSEKJJFY
| URI | m2://inv/YHVSEKJJFY |
|---|---|
| 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#GBGM (statement). In R0Q0RV8XCF/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Schwarz lemma YHW0NB6NRH
| URI | m2://inv/YHW0NB6NRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Schwarz lemma 0MB48XDBY3 |
Mentions
- wikidata: Wikidata Q1341771, Schwarz lemma (statement). Also EoM Schwarz_lemma, MathWorld SchwarzsLemma, ProofWiki Schwarz's_Lemma
- wikipedia: Wikipedia Schwarz lemma, Schwarz lemma (statement). Also Wikidata Q1341771
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Statement YHW4747NQH
| URI | m2://inv/YHW4747NQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borell–TIS inequality#SSHP, Statement (statement)
History
- 2026-11-02: add by m2/dev
YHWBZR9NBT YHWBZR9NBT
| URI | m2://inv/YHWBZR9NBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#YNA5 (statement). In 3KTZ6Z615H/e1, theorem 3.16
History
- 2026-10-30: add by m2/v0.4.12
Matyas-Meyer-Oseas YHWDQ094H4
| URI | m2://inv/YHWDQ094H4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-way compression function#8SC6, Matyas-Meyer-Oseas (unknown)
History
- 2026-11-02: add by m2/dev
per mille YHWNH48KJN
| URI | m2://inv/YHWNH48KJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q181011, per mille (unknown). Also MathWorld Permil
History
- 2026-10-26: add by m2/dev
Properties YHX3VFE9QT
| URI | m2://inv/YHX3VFE9QT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann integral#W5LA, Properties (statement)
History
- 2026-11-02: add by m2/dev
YHX589PTBW YHX589PTBW
| URI | m2://inv/YHX589PTBW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#UKGD (definition). In E1Y93JNBJA/e1, definition 4.3
History
- 2026-10-31: add by m2/v0.5.6
T-theory YHXDGFWS32
| URI | m2://inv/YHXDGFWS32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-theory, T-theory (topic). Also Wikidata Q4448839
History
- 2026-11-02: add by m2/dev
tangent space YHXP9FR261
| URI | m2://inv/YHXP9FR261 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > tangent space, tangent space (unknown)
History
- 2026-10-26: add by m2/dev
Grothendieck pretopology YHXS2TKJMY
| URI | m2://inv/YHXS2TKJMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck topology#U08K, Grothendieck pretopology (unknown)
History
- 2026-11-02: add by m2/dev
YHXVHES71F YHXVHES71F
| URI | m2://inv/YHXVHES71F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#HGN4 (statement). In 6WJ0R9YEBR/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
YHXXE0MNW7 YHXXE0MNW7
| URI | m2://inv/YHXXE0MNW7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
Variations YHXY8260C3
| URI | m2://inv/YHXY8260C3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds algorithm#67LQ, Variations (statement)
History
- 2026-11-02: add by m2/dev
Mathematics for the million YHXYEMZ9VA
| URI | m2://inv/YHXYEMZ9VA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109394441, Mathematics for the million (unknown). Also ProofWiki Book:Lancelot_Hogben/Mathematics_for_the_Million
History
- 2026-10-26: add by m2/dev
YHY1VK6977 YHY1VK6977
| URI | m2://inv/YHY1VK6977 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#NW7Z (statement). In N0JJM098W2/e1, theorem 22
History
- 2026-10-27: add by m2/v0.4.0
change of basis YHY98WRQQ9
| URI | m2://inv/YHY98WRQQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q810255, change of basis (unknown). Also MathWorld ChangeofBasis
- wikipedia: Wikipedia Change of basis, Change of basis (definition). Also Wikidata Q810255
History
- 2026-10-26: add by m2/dev
Absolute vorticity YHYYE9SRPT
| URI | m2://inv/YHYYE9SRPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vorticity#12TO, Absolute vorticity (unknown)
History
- 2026-11-02: add by m2/dev
YHYYHXKA5W YHYYHXKA5W
| URI | m2://inv/YHYYHXKA5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-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.23464#GLHZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quasiregular representation YHZ9GMF0FS
| URI | m2://inv/YHZ9GMF0FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiregular representation, Quasiregular representation (definition). Also Wikidata Q7269523
History
- 2026-11-02: add by m2/dev
Acute and obtuse triangles YHZJYX2SVK
| URI | m2://inv/YHZJYX2SVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#Q135, Acute and obtuse triangles (definition)
History
- 2026-11-02: add by m2/dev
Extensions YHZPF1956V
| URI | m2://inv/YHZPF1956V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-graph procedure#VX6C, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Path space YHZY3TNRGH
| URI | m2://inv/YHZY3TNRGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path space (algebraic topology), Path space (definition). Also Wikidata Q65155940
History
- 2026-11-02: add by m2/dev
YHZYV58PXR YHZYV58PXR
| URI | m2://inv/YHZYV58PXR |
|---|---|
| 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 2012.05048#THOO (statement). In NY9HW1E6DY/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
material derivative YHZZD76X6Y
| URI | m2://inv/YHZZD76X6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1801562, material derivative (unknown). Also MathWorld ConvectiveDerivative
- wikipedia: Wikipedia Material derivative, Material derivative (definition). Also Wikidata Q1801562
History
- 2026-10-26: add by m2/dev