Inventory rows YB
The cards of the rows of the inventory whose ids start with YB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ashoke Sen YB0BBAYHX4
| URI | m2://inv/YB0BBAYHX4 |
|---|---|
| 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 Q726244, Ashoke Sen (unknown). Also nLab Ashoke Sen
History
- 2026-10-26: add by m2/dev
YB0CTQB3G6 YB0CTQB3G6
| URI | m2://inv/YB0CTQB3G6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#investigation-2 (exercise). In Y91XFCEVHQ, investigation, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
YB0FMJ36Z3 YB0FMJ36Z3
| URI | m2://inv/YB0FMJ36Z3 |
|---|---|
| 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 2011.07352#VBBD (statement). In 3VPC1GGZ3E/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Shelah families YB0W3HGQ8X
| URI | m2://inv/YB0W3HGQ8X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#L9H8, Shelah families (example). In 4H727T2YAS/e1, example 6.4
History
- 2026-10-29: add by m2/v0.4.12
YB1044H304 YB1044H304
| URI | m2://inv/YB1044H304 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2603.29838#2MDJ (statement). In KP0X1RKKKB/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.0
YB1G4HFW75 YB1G4HFW75
| URI | m2://inv/YB1G4HFW75 |
|---|---|
| Kind | definition |
| 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 2408.13548#PLQ7 (definition). In EQF1ZQ5K1S/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.0
Results YB1HXYPQQS
| URI | m2://inv/YB1HXYPQQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1881 United Kingdom census#WS6T, Results (statement)
History
- 2026-11-02: add by m2/dev
YB1XYSATS2 YB1XYSATS2
| URI | m2://inv/YB1XYSATS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#BB1N (statement). In ZH0PFTZ12Y/e1, proposition 4.20
History
- 2026-10-28: add by m2/v0.4.2
Clark–Ocone theorem YB1ZPV33MX
| URI | m2://inv/YB1ZPV33MX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WH1U, Clark–Ocone theorem (statement)
History
- 2026-11-02: add by m2/dev
chessboard YB23Q6YWRJ
| URI | m2://inv/YB23Q6YWRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110079, chessboard (definition). Also MathWorld Chessboard, ProofWiki Definition:Chess/Chessboard
History
- 2026-10-26: add by m2/dev
Four-dimensional space YB25K5V044
| URI | m2://inv/YB25K5V044 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-dimensional space, Four-dimensional space (definition). Also Wikidata Q238125
History
- 2026-11-02: add by m2/dev
YB2KKJA860 YB2KKJA860
| URI | m2://inv/YB2KKJA860 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.12486#EA81 (definition). In 3343AEAXB3/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
F4 lattice YB3D8C9PPM
| URI | m2://inv/YB3D8C9PPM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F4 (mathematics)#KMZ0, F4 lattice (unknown)
History
- 2026-11-02: add by m2/dev
YB3EY59931 YB3EY59931
| URI | m2://inv/YB3EY59931 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.20128#S6ZC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Moralistic fallacy YB3H2TVRP7
| URI | m2://inv/YB3H2TVRP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moralistic fallacy, Moralistic fallacy (definition). Also Wikidata Q1581960
History
- 2026-11-02: add by m2/dev
YB3M20E6T3 YB3M20E6T3
| URI | m2://inv/YB3M20E6T3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#example-6 (example). In RZP28ERRZV, example, section 66.3
History
- 2026-11-01: add by m2/v0.6.13
YB3MM5G3CM YB3MM5G3CM
| URI | m2://inv/YB3MM5G3CM |
|---|---|
| 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.09001#7ISI (statement). In HJC1JJZRSH/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
decision theory YB3PXRB4YJ
| URI | m2://inv/YB3PXRB4YJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 62Cxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177571, decision theory (topic). Also MathWorld DecisionTheory, ProofWiki Definition:Decision_Theory
- wikipedia: Wikipedia Decision theory, Decision theory (topic). Also Wikidata Q177571
History
- 2026-10-26: add by m2/dev
Pfister's identity YB3VHCMZY3
| URI | m2://inv/YB3VHCMZY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's four-square identity#AWVW, Pfister's identity (statement)
History
- 2026-11-02: add by m2/dev
Albert W. Tucker YB3XHTP1QV
| URI | m2://inv/YB3XHTP1QV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert W. Tucker, Albert W. Tucker (topic). Also Wikidata Q777234
History
- 2026-11-02: add by m2/dev
Fan R. K. Chung YB431N9A5G
| URI | m2://inv/YB431N9A5G |
|---|---|
| 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#I456, Fan R. K. Chung (topic)
History
- 2026-11-02: add by m2/dev
YB4AA6B7EK YB4AA6B7EK
| URI | m2://inv/YB4AA6B7EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#86B9 (statement). In GSN5YTQS2K/e1, proposition 4.5
History
- 2026-10-31: add by m2/v0.5.6
Definition YB4AKBJZ72
| URI | m2://inv/YB4AKBJZ72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (discrete subgroup)#818M, Definition (definition)
History
- 2026-11-02: add by m2/dev
YB4J4RJHWF YB4J4RJHWF
| URI | m2://inv/YB4J4RJHWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12481#1BCT (statement). In TD288AK3EJ/e1, corollary 16
History
- 2026-10-28: add by m2/v0.4.2
YB4JTWD5CP YB4JTWD5CP
| URI | m2://inv/YB4JTWD5CP |
|---|---|
| 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.19309#HJ77 (statement). In XKENQH35DW/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
YB4N5SJ8H8 YB4N5SJ8H8
| URI | m2://inv/YB4N5SJ8H8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#X61Y (statement). In BT6E9BXXF3/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
YB4S3R1QHX YB4S3R1QHX
| URI | m2://inv/YB4S3R1QHX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#activity-1 (exercise). In 649HGZKE96, activity, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
finitary YB4Y4EDHYM
| URI | m2://inv/YB4Y4EDHYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#CO5K, finitary (definition)
History
- 2026-11-02: add by m2/dev
YB4YBK0YBN YB4YBK0YBN
| URI | m2://inv/YB4YBK0YBN |
|---|---|
| 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 2108.03672#Q5H8 (statement). In EZZSZ1F071/e1, fact 3.2
History
- 2026-10-27: add by m2/v0.4.0
Numbers: The Universal Language YB565HCGJ0
| URI | m2://inv/YB565HCGJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numbers: The Universal Language, Numbers: The Universal Language (definition). Also Wikidata Q101854270
History
- 2026-11-02: add by m2/dev
YB5BD8EGES YB5BD8EGES
| URI | m2://inv/YB5BD8EGES |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2610.18302#YBXK (definition). In VJTRH1S4JA/e1, definition 4.23
History
- 2026-10-28: add by m2/v0.4.2
Steelmanning YB5MTYNJXF
| URI | m2://inv/YB5MTYNJXF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straw man#FE1X, Steelmanning (unknown)
History
- 2026-11-02: add by m2/dev
Bartolomeo Pollastri YB62CSY4JK
| URI | m2://inv/YB62CSY4JK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartolomeo Pollastri, Bartolomeo Pollastri (topic). Also Wikidata Q21208946
History
- 2026-11-02: add by m2/dev
Industrial process control YB67XEG24H
| URI | m2://inv/YB67XEG24H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Industrial process control, Industrial process control (topic). Also Wikidata Q1649571
History
- 2026-11-02: add by m2/dev
Journal of Logic and Computation YB693KJ3Y5
| URI | m2://inv/YB693KJ3Y5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#LB2Z, Journal of Logic and Computation (definition)
History
- 2026-11-02: add by m2/dev
Definition YB69QSVWRQ
| URI | m2://inv/YB69QSVWRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra class#WTE1, Definition (definition)
History
- 2026-11-02: add by m2/dev
YB6CQKF1MP YB6CQKF1MP
| URI | m2://inv/YB6CQKF1MP |
|---|---|
| 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.01928#D3EO (statement). In BSJRRHKGX0/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.12
Preference profile YB6HZCD1A1
| URI | m2://inv/YB6HZCD1A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#TJKW, Preference profile (definition)
History
- 2026-11-02: add by m2/dev
factor YB6MHG3KN1
| URI | m2://inv/YB6MHG3KN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#Y013, factor (definition)
History
- 2026-11-02: add by m2/dev
Boundary-incompressible surface YB6R8ASFC0
| URI | m2://inv/YB6R8ASFC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary-incompressible surface, Boundary-incompressible surface (definition). Also Wikidata Q4949907
History
- 2026-11-02: add by m2/dev
One-regime aggregation envelope YB6SY9DK2W
| URI | m2://inv/YB6SY9DK2W |
|---|---|
| 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.08821#3BFK, One-regime aggregation envelope (statement). In KP1THB2C09/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Jurkat–Richert theorem YB6ZBDJHWV
| URI | m2://inv/YB6ZBDJHWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MJZK, Jurkat–Richert theorem (statement)
History
- 2026-11-02: add by m2/dev
YB6ZF5W049 YB6ZF5W049
| URI | m2://inv/YB6ZF5W049 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/standard-models.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 49.4
History
- 2026-11-01: add by m2/v0.6.13
Frits Zernike YB72820MQK
| URI | m2://inv/YB72820MQK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#QRFA, Frits Zernike (unknown)
History
- 2026-11-02: add by m2/dev
YB7A680341 YB7A680341
| URI | m2://inv/YB7A680341 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#QRLK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stochastic maximal regularity YB7AEK4M85
| URI | m2://inv/YB7AEK4M85 |
|---|---|
| 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.24789#16VZ, Stochastic maximal regularity (statement)
History
- 2026-11-01: add by m2/v0.6.15
YB7AFKDVC2 YB7AFKDVC2
| URI | m2://inv/YB7AFKDVC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#66FK (statement). In N5ZM8MXJXH/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
YB7KC7EHRT YB7KC7EHRT
| URI | m2://inv/YB7KC7EHRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35153#OQYP (statement). In RNDAAR1ER9/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
YB7RDAZ9H3 YB7RDAZ9H3
| URI | m2://inv/YB7RDAZ9H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25030#HO6X (statement)
History
- 2026-11-01: add by m2/v0.6.15
YB7T6EXZV5 YB7T6EXZV5
| URI | m2://inv/YB7T6EXZV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#3UL9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YB7TZ9M4KM YB7TZ9M4KM
| URI | m2://inv/YB7TZ9M4KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#ZONP (statement). In TZXEMCBK5V/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
brick YB7XK9XVAK
| URI | m2://inv/YB7XK9XVAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#YXOC, brick (definition)
History
- 2026-11-02: add by m2/dev
Daniel Gabriel Fahrenheit YB831SRZMH
| URI | m2://inv/YB831SRZMH |
|---|---|
| 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 Q57073, Daniel Gabriel Fahrenheit (unknown). Also ProofWiki Mathematician:Daniel_Gabriel_Fahrenheit
History
- 2026-10-26: add by m2/dev
YB8A05FEVP YB8A05FEVP
| URI | m2://inv/YB8A05FEVP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#YYP5 (problem)
History
- 2026-11-01: add by m2/v0.6.15
YB8C0XGKFD YB8C0XGKFD
| URI | m2://inv/YB8C0XGKFD |
|---|---|
| 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.21963#U8MF (statement). In HR9R8RPKN8/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Roger Penrose YB8GP5PXZX
| URI | m2://inv/YB8GP5PXZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#55XU, Roger Penrose (topic)
History
- 2026-11-02: add by m2/dev
YB8H8PM4AG YB8H8PM4AG
| URI | m2://inv/YB8H8PM4AG |
|---|---|
| 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.19545#XRP0 (statement). In MKNMVBEYK2/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Christine Riedtmann YB8HDFC5KA
| URI | m2://inv/YB8HDFC5KA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Riedtmann, Christine Riedtmann (topic). Also Wikidata Q15433136
History
- 2026-11-02: add by m2/dev
YB8JD92PB3 YB8JD92PB3
| URI | m2://inv/YB8JD92PB3 |
|---|---|
| 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.20097#EHEW (statement)
History
- 2026-11-02: add by m2/v0.6.18
YB8M1P757V YB8M1P757V
| URI | m2://inv/YB8M1P757V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#HGBA (statement). In KM2FWKP93A/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
Pseudosquare YB8MWC9KK3
| URI | m2://inv/YB8MWC9KK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic residue#4VIT, Pseudosquare (unknown)
History
- 2026-11-02: add by m2/dev
YB8NYS3CCK YB8NYS3CCK
| URI | m2://inv/YB8NYS3CCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#GP5N (statement). In GX0K0ZM700/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
YB8SGNG8XN YB8SGNG8XN
| URI | m2://inv/YB8SGNG8XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.31445#1ZS5 (statement). In 7V2PVZS04C/e1, proposition 6.24
History
- 2026-10-31: add by m2/v0.5.6
Pre-step acceleration on a simultaneous error event YB8SXABKQJ
| URI | m2://inv/YB8SXABKQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#WK5X, Pre-step acceleration on a simultaneous error event (statement). In X1FPG0KYBM/e1, theorem T.3
History
- 2026-10-28: add by m2/v0.4.2
Task-orthogonal off-boundary expansion YB94WKT85F
| URI | m2://inv/YB94WKT85F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39190#7JB7, Task-orthogonal off-boundary expansion (example). In J144J3ANFZ/e1, example 5.18
History
- 2026-10-30: add by m2/v0.4.12
YB981G3YH5 YB981G3YH5
| URI | m2://inv/YB981G3YH5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#U1FG (definition)
History
- 2026-11-02: add by m2/v0.6.18
YB9K47MVD6 YB9K47MVD6
| URI | m2://inv/YB9K47MVD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#PO1D (statement). In F8RC6AENB0/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.5
YB9MTAT92H YB9MTAT92H
| URI | m2://inv/YB9MTAT92H |
|---|---|
| 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 math/9602216#EREC (definition). In SD43497T8C/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Laurent Freidel YB9QKS9C0H
| URI | m2://inv/YB9QKS9C0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EITZ, Laurent Freidel (unknown)
History
- 2026-11-02: add by m2/dev
Mark Sapir YB9V3Q6JZH
| URI | m2://inv/YB9V3Q6JZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Sapir, Mark Sapir (topic). Also Wikidata Q58303202
History
- 2026-11-02: add by m2/dev
Exact residual density YB9XF9HBR3
| URI | m2://inv/YB9XF9HBR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#8LBN, Exact residual density (statement). In 5PN85N6EJF/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
YB9YBKM70F YB9YBKM70F
| URI | m2://inv/YB9YBKM70F |
|---|---|
| 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.21078#5Y7E (statement). In S95P85BHRQ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Krein–Smulian theorem YBADQ3XEQD
| URI | m2://inv/YBADQ3XEQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Smulian theorem, Krein–Smulian theorem (statement). Also Wikidata Q2226697
History
- 2026-11-02: add by m2/dev
YBAJCA8PK3 YBAJCA8PK3
| URI | m2://inv/YBAJCA8PK3 |
|---|---|
| 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 2404.05965#KD88 (statement). In GD1GED3FZ3/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
YBAREQ7R67 YBAREQ7R67
| URI | m2://inv/YBAREQ7R67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#W1X0 (statement). In WE001PR75Z/e1, proposition 26
History
- 2026-10-28: add by m2/v0.4.2
Bregman method YBATZQY7N5
| URI | m2://inv/YBATZQY7N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman method, Bregman method (definition). Also Wikidata Q4960383
History
- 2026-11-02: add by m2/dev
YBAZMEHDQF YBAZMEHDQF
| URI | m2://inv/YBAZMEHDQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 66.6.1
History
- 2026-11-01: add by m2/v0.6.13
Definition YBB1P60H1V
| URI | m2://inv/YBB1P60H1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient#RT01, Definition (definition)
History
- 2026-11-02: add by m2/dev
Subdirect product YBB2MCW9NY
| URI | m2://inv/YBB2MCW9NY |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 08A30 |
| Sources | 2 |
| Outcome | open |
| Node | Subdirect product 88WN3AD2VQ |
Mentions
- wikidata: Wikidata Q1691827, Subdirect product (topic)
- wikipedia: Wikipedia Subdirect product, Subdirect product (definition). Also Wikidata Q1691827
History
- 2026-10-26: add by m2/dev
YBB36MKGH5 YBB36MKGH5
| URI | m2://inv/YBB36MKGH5 |
|---|---|
| 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.20197#V9YH (statement)
History
- 2026-11-02: add by m2/v0.6.18
YBBMJ2Y7D9 YBBMJ2Y7D9
| URI | m2://inv/YBBMJ2Y7D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#definition-8 (definition). In RZP28ERRZV, definition, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
Definition YBBMNZBX0H
| URI | m2://inv/YBBMNZBX0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Begging the question#HN0D, Definition (definition)
History
- 2026-11-02: add by m2/dev
coincidence, of Cauchy approximations YBBNNYEGHN
| URI | m2://inv/YBBNNYEGHN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/coincidence-of-cauchy-approximations, coincidence, of Cauchy approximations (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Niky Kamran YBBPM2643B
| URI | m2://inv/YBBPM2643B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#VHYY, Niky Kamran (topic)
History
- 2026-11-02: add by m2/dev
Examples YBBRSKA139
| URI | m2://inv/YBBRSKA139 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microbundle#NQXE, Examples (example)
History
- 2026-11-02: add by m2/dev
Kalonymus ben Kalonymus YBCHR21CGD
| URI | m2://inv/YBCHR21CGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#H4D5, Kalonymus ben Kalonymus (unknown)
History
- 2026-11-02: add by m2/dev
The normalized criterion YBCJR5QX7Y
| URI | m2://inv/YBCJR5QX7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#ZZ5D, The normalized criterion (statement). In JY6RYSNXMJ/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
YBCQA1DKRP YBCQA1DKRP
| URI | m2://inv/YBCQA1DKRP |
|---|---|
| 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.05193#PK1P (statement). In XDMM0KNNZ9/e1, lemma 55
History
- 2026-10-29: add by m2/v0.4.10
YBCSDXXKZ3 YBCSDXXKZ3
| URI | m2://inv/YBCSDXXKZ3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/complement-ce.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
YBCV1SCD21 YBCV1SCD21
| URI | m2://inv/YBCV1SCD21 |
|---|---|
| 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.10365#T4OO (statement). In PRVQPSBVHK/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.10
YBCXBGVGR5 YBCXBGVGR5
| URI | m2://inv/YBCXBGVGR5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#SCA9 (definition). In X765ZXXVC3/e1, definition 4.15
History
- 2026-10-29: add by m2/v0.4.12
Damien Calaque YBD0MD9QPJ
| URI | m2://inv/YBD0MD9QPJ |
|---|---|
| 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 Q102105162, Damien Calaque (unknown). Also nLab Damien Calaque
History
- 2026-10-26: add by m2/dev
YBD1NMVJES YBD1NMVJES
| URI | m2://inv/YBD1NMVJES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#H5YD (statement). In RB2B1N73P0/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Optimistic knowledge gradient YBD2FDNT44
| URI | m2://inv/YBD2FDNT44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimistic knowledge gradient, Optimistic knowledge gradient (definition). Also Wikidata Q24963374
History
- 2026-11-02: add by m2/dev
Properties YBD2Z0RK97
| URI | m2://inv/YBD2Z0RK97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian poset#ZN6Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
diagonal intersection YBD43QYFM8
| URI | m2://inv/YBD43QYFM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HHPA, diagonal intersection (definition)
History
- 2026-11-02: add by m2/dev
Triangular coefficients YBD4GJ5F38
| URI | m2://inv/YBD4GJ5F38 |
|---|---|
| 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.15262#C0KE, Triangular coefficients (statement). In C44HVXWYRF/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Joule-Thomson (Kelvin) coefficient YBDA35Y3ZA
| URI | m2://inv/YBDA35Y3ZA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joule–Thomson effect#0PJG, Joule-Thomson (Kelvin) coefficient (unknown)
History
- 2026-11-02: add by m2/dev
Deterministic lower bounds YBDCP3BHV4
| URI | m2://inv/YBDCP3BHV4 |
|---|---|
| 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.16715#BZZV, Deterministic lower bounds (statement). In RA1Z6BV25A/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Alternating direction implicit YBDFNHTS7Q
| URI | m2://inv/YBDFNHTS7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#7V7T, Alternating direction implicit (definition)
History
- 2026-11-02: add by m2/dev
Katrin Wehrheim YBDHZAY8F1
| URI | m2://inv/YBDHZAY8F1 |
|---|---|
| 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 Q6377892, Katrin Wehrheim (unknown). Also nLab Katrin Wehrheim
- wikipedia: Wikipedia Katrin Wehrheim, Katrin Wehrheim (topic). Also Wikidata Q6377892
History
- 2026-10-26: add by m2/dev
YBDKXWX36A YBDKXWX36A
| URI | m2://inv/YBDKXWX36A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
YBDN2HRW23 YBDN2HRW23
| URI | m2://inv/YBDN2HRW23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30817#GK4S (statement). In DP5KJ7AATM/e1, proposition 2.8
History
- 2026-10-31: add by m2/v0.5.6
Sun-Earth L1 YBDNKAGMRJ
| URI | m2://inv/YBDNKAGMRJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange point#NZOF, Sun-Earth L1 (unknown)
History
- 2026-11-02: add by m2/dev
Approximate-symmetry Bayes-set localization YBDPYBKMAH
| URI | m2://inv/YBDPYBKMAH |
|---|---|
| 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.33472#P71N, Approximate-symmetry Bayes-set localization (statement). In WBQQBZ4FCJ/e1, theorem G.1
History
- 2026-10-30: add by m2/v0.4.12
Extensions YBDRA4KHQ7
| URI | m2://inv/YBDRA4KHQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic regression#TTPI, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Yashovijaya YBDSWNE2W0
| URI | m2://inv/YBDSWNE2W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yashovijaya, Yashovijaya (definition). Also Wikidata Q773122
History
- 2026-11-02: add by m2/dev
YBDXXBTWCJ YBDXXBTWCJ
| URI | m2://inv/YBDXXBTWCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#JCAG (statement). In P8KT6JV9N1/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
unicyclic graph YBE5DZHNJ1
| URI | m2://inv/YBE5DZHNJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137545222, unicyclic graph (unknown). Also MathWorld UnicyclicGraph
History
- 2026-10-26: add by m2/dev
based space YBE5F00NX9
| URI | m2://inv/YBE5F00NX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#FN5K, based space (definition)
History
- 2026-11-02: add by m2/dev
YBED4KG6TR YBED4KG6TR
| URI | m2://inv/YBED4KG6TR |
|---|---|
| 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 2409.17318#1T93 (statement). In 2P63T9MJ4P/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
YBEN3G3ASE YBEN3G3ASE
| URI | m2://inv/YBEN3G3ASE |
|---|---|
| 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.08362#OJ04 (statement). In 7JHAD30NBB/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
YBENGMHGY2 YBENGMHGY2
| URI | m2://inv/YBENGMHGY2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:sumofsup (exercise). In E59CDZA4DP, exercise, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
YBENN76RHE YBENN76RHE
| URI | m2://inv/YBENN76RHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#SMXX (statement). In GYSF9JXQCH/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Lorraine Foster YBEWK973SC
| URI | m2://inv/YBEWK973SC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorraine Foster, Lorraine Foster (topic). Also Wikidata Q6681622
History
- 2026-11-02: add by m2/dev
Algebraic condition for normal subgroups YBEXJ4KW67
| URI | m2://inv/YBEXJ4KW67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#theorem-1, Algebraic condition for normal subgroups (statement). In RZP28ERRZV, theorem, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Birkhoff's theorem YBF0PRBPRR
| URI | m2://inv/YBF0PRBPRR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85747361, Birkhoff's theorem (concept). Also MathWorld BirkhoffsTheorem
- wikipedia: Wikipedia Birkhoff's theorem (equational logic), Birkhoff's theorem (statement). Also Wikidata Q85747361
History
- 2026-10-26: add by m2/dev
YBF1AHGCSM YBF1AHGCSM
| URI | m2://inv/YBF1AHGCSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#LEFH (statement)
History
- 2026-11-02: add by m2/v0.6.18
YBF31C8K5W YBF31C8K5W
| URI | m2://inv/YBF31C8K5W |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opaque set#23BB (problem)
History
- 2026-11-02: add by m2/dev
YBF40AXBXB YBF40AXBXB
| URI | m2://inv/YBF40AXBXB |
|---|---|
| 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.36045#R95U (statement). In F0E8YBV0Z0/e1, lemma 6.9
History
- 2026-10-30: add by m2/v0.4.12
Computational collapse under full synchrony YBF631V8N3
| URI | m2://inv/YBF631V8N3 |
|---|---|
| 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.17677#WSUS, Computational collapse under full synchrony (statement). In 5E9G06XJKC/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Albert Hibbs YBF866NWNE
| URI | m2://inv/YBF866NWNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Hibbs, Albert Hibbs (topic). Also Wikidata Q3710550
History
- 2026-11-02: add by m2/dev
YBF9QZE1SK YBF9QZE1SK
| URI | m2://inv/YBF9QZE1SK |
|---|---|
| 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 2501.17009#YRBW (statement). In PESAKD6SSW/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.6
Joseph Oesterlé YBFBAJN48A
| URI | m2://inv/YBFBAJN48A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Oesterlé, Joseph Oesterlé (topic). Also Wikidata Q1385606
History
- 2026-11-02: add by m2/dev
YBFEC9QBZJ YBFEC9QBZJ
| URI | m2://inv/YBFEC9QBZJ |
|---|---|
| Kind | example |
| 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 2608.24424#D95C (example). In RQHGZ4AA5T/e1, example 4.6
History
- 2026-10-27: add by m2/v0.3.6
YBFETG8RSC YBFETG8RSC
| URI | m2://inv/YBFETG8RSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37967#N7ZL (statement). In BR2E3CXQE0/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
YBFKQG56ND YBFKQG56ND
| URI | m2://inv/YBFKQG56ND |
|---|---|
| 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.10230#0LWQ (statement). In YS75517SF7/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
YBFN6Y0E8X YBFN6Y0E8X
| URI | m2://inv/YBFN6Y0E8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#10O0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Fuglede-Putnam-Rosenblum) YBFV15RKN9
| URI | m2://inv/YBFV15RKN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede's theorem#18HM, Theorem (Fuglede-Putnam-Rosenblum) (statement)
History
- 2026-11-02: add by m2/dev
tensor triangulated category YBFZYA368R
| URI | m2://inv/YBFZYA368R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#ED1N, tensor triangulated category (definition)
History
- 2026-11-02: add by m2/dev
Ridge-leverage stability YBG264Q9J8
| URI | m2://inv/YBG264Q9J8 |
|---|---|
| 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.05388#4GF0, Ridge-leverage stability (statement). In 4HJK1986EJ/e1, lemma C.10
History
- 2026-10-29: add by m2/v0.4.10
Frobenius as a translation YBG4HR8VXJ
| URI | m2://inv/YBG4HR8VXJ |
|---|---|
| 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.37466#MEDK, Frobenius as a translation (statement). In KA3KMJQMDY/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
NSANET YBG6D0JXR4
| URI | m2://inv/YBG6D0JXR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Security Agency#OGGL, NSANET (unknown)
History
- 2026-11-02: add by m2/dev
Exact extremal obstruction in degree seven YBG88Z9X2D
| URI | m2://inv/YBG88Z9X2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26152#1SVZ, Exact extremal obstruction in degree seven (statement)
History
- 2026-11-01: add by m2/v0.6.15
chemistry YBGAH56ADN
| URI | m2://inv/YBGAH56ADN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2329, chemistry (definition). Also nLab chemistry, ProofWiki Definition:Chemistry
History
- 2026-10-26: add by m2/dev
YBGH5G5P7Y YBGH5G5P7Y
| URI | m2://inv/YBGH5G5P7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#VU7W (statement). In YVK8EFSYNJ/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
Definitions YBGKHV9GY7
| URI | m2://inv/YBGKHV9GY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic metric space#OTPG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Balanced prime YBGKK1RPGM
| URI | m2://inv/YBGKK1RPGM |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#O2E7, Balanced prime (conjecture)
History
- 2026-11-02: add by m2/dev
YBGQ2PKPZA YBGQ2PKPZA
| URI | m2://inv/YBGQ2PKPZA |
|---|---|
| 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.20008#4A54 (statement). In 60SZ4NYPHF/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Construction YBGS9KH1Q6
| URI | m2://inv/YBGS9KH1Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henson graph#3RI2, Construction (definition)
History
- 2026-11-02: add by m2/dev
type, $n$-sphere YBH0QBSC1T
| URI | m2://inv/YBH0QBSC1T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/type-n-sphere, type, $n$-sphere (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
The equation for localized directional derivatives YBH0RXSRFY
| URI | m2://inv/YBH0RXSRFY |
|---|---|
| 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.20097#M47H, The equation for localized directional derivatives (statement)
History
- 2026-11-02: add by m2/v0.6.18
YBH7MDDRJ1 YBH7MDDRJ1
| URI | m2://inv/YBH7MDDRJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#UO8S (definition)
History
- 2026-11-02: add by m2/v0.6.17
YBH9KW7WSC YBH9KW7WSC
| URI | m2://inv/YBH9KW7WSC |
|---|---|
| Kind | definition |
| 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.31365#VZTD (definition). In 19GENJ3NCP/e1, definition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Severi's theorem YBHF46R3Y7
| URI | m2://inv/YBHF46R3Y7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.2/severi-s-theorem, Severi's theorem (concept). In VNMV985MXX, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Deterministic system YBHGD4TXXT
| URI | m2://inv/YBHGD4TXXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deterministic system, Deterministic system (definition). Also Wikidata Q622381
History
- 2026-11-02: add by m2/dev
YBHH7ZXB9Z YBHH7ZXB9Z
| URI | m2://inv/YBHH7ZXB9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09897#RLS1 (statement). In NYA085FW0M/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
YBHMHE3E0W YBHMHE3E0W
| URI | m2://inv/YBHMHE3E0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#G97F (statement). In XXQAW3ZBDF/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Cam, Lucien Le YBHR63Y5WK
| URI | m2://inv/YBHR63Y5WK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R976, Cam, Lucien Le (topic)
History
- 2026-11-02: add by m2/dev
YBHRHEF8RN YBHRHEF8RN
| URI | m2://inv/YBHRHEF8RN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#A4HP (statement). In BSWNH3NW1M/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.0
YBJ4BTE22X YBJ4BTE22X
| URI | m2://inv/YBJ4BTE22X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#V26G (statement). In HGTFJ325A4/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Addition chain YBJ7B3N2AJ
| URI | m2://inv/YBJ7B3N2AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition chain, Addition chain (definition). Also Wikidata Q4681316
History
- 2026-11-02: add by m2/dev
YBJB18GVG1 YBJB18GVG1
| URI | m2://inv/YBJB18GVG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#B16J (statement)
History
- 2026-11-02: add by m2/v0.6.18
YBJCETTD55 YBJCETTD55
| URI | m2://inv/YBJCETTD55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.08714#674W (definition). In A3RAXBSWA5/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
derivable rule YBJCMDSKN0
| URI | m2://inv/YBJCMDSKN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4UDI, derivable rule (definition)
History
- 2026-11-02: add by m2/dev
YBJMCJ44WG YBJMCJ44WG
| URI | m2://inv/YBJMCJ44WG |
|---|---|
| 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 2609.35631#JGUJ (problem). In 9NCX0S6MTP/e1, problem 1
History
- 2026-10-30: add by m2/v0.4.12
YBJVWWSRMF YBJVWWSRMF
| URI | m2://inv/YBJVWWSRMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#MHMV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maria Deijfen YBK0TKZ6Y7
| URI | m2://inv/YBK0TKZ6Y7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Deijfen, Maria Deijfen (topic). Also Wikidata Q98113647
History
- 2026-11-02: add by m2/dev
supercompact YBK72J66AE
| URI | m2://inv/YBK72J66AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#F25H, supercompact (definition)
History
- 2026-11-02: add by m2/dev
Two-step generation YBK89CPXJW
| URI | m2://inv/YBK89CPXJW |
|---|---|
| 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.11292#OZ5S, Two-step generation (statement). In Y35XMETFV7/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
YBKE1DD6ER YBKE1DD6ER
| URI | m2://inv/YBKE1DD6ER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37846#HN1U (definition). In DCA0M1EE4A/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
M\"untz--Sz\'asz condition YBKFG87C0Z
| URI | m2://inv/YBKFG87C0Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#JQOF, M\"untz--Sz\'asz condition (definition). In S7PNTM0GZC/e1, definition 1.14
History
- 2026-10-28: add by m2/v0.4.2
Carl B. Allendoerfer YBKJZZYYG5
| URI | m2://inv/YBKJZZYYG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl B. Allendoerfer, Carl B. Allendoerfer (topic). Also Wikidata Q1036930
History
- 2026-11-02: add by m2/dev
Applications YBKKQNFDTT
| URI | m2://inv/YBKKQNFDTT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive energy theorem#O6ZH, Applications (example)
History
- 2026-11-02: add by m2/dev
YBKMVCAAW3 YBKMVCAAW3
| URI | m2://inv/YBKMVCAAW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#198T (statement). In BWJS3H55WH/e1, lemma 34
History
- 2026-10-27: add by m2/v0.3.5
Coadjoint orbit YBKNDQM799
| URI | m2://inv/YBKNDQM799 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coadjoint representation#1AAB, Coadjoint orbit (unknown)
History
- 2026-11-02: add by m2/dev
YBKX758PJP YBKX758PJP
| URI | m2://inv/YBKX758PJP |
|---|---|
| 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.12329#5EL7 (statement). In ZJQB9W60T6/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2
Bateman Manuscript Project YBKXRMD9DJ
| URI | m2://inv/YBKXRMD9DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bateman Manuscript Project, Bateman Manuscript Project (definition). Also Wikidata Q1157188
History
- 2026-11-02: add by m2/dev
YBM0BNRBK1 YBM0BNRBK1
| URI | m2://inv/YBM0BNRBK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05365#Q534 (statement). In BKPSH4CD9K/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Properties YBM21W5G1K
| URI | m2://inv/YBM21W5G1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real analytic Eisenstein series#SG7M, Properties (statement)
History
- 2026-11-02: add by m2/dev
YBM4EWFZB0 YBM4EWFZB0
| URI | m2://inv/YBM4EWFZB0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#proof-3 (proof). In RZP28ERRZV, proof, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
Transit method YBM56JKBC2
| URI | m2://inv/YBM56JKBC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of detecting exoplanets#MA5J, Transit method (unknown)
History
- 2026-11-02: add by m2/dev
YBM6PK563K YBM6PK563K
| URI | m2://inv/YBM6PK563K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14055#1BZR (statement). In AKMGN13HE1/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Jacobson ring YBM98PP9BM
| URI | m2://inv/YBM98PP9BM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jacobson ring 7EB64ZBXAT |
Mentions
- wikidata: Wikidata Q2620920, Jacobson ring (concept). Also nLab Jacobson ring
- wikipedia: Wikipedia Jacobson ring, Jacobson ring (definition). Also Wikidata Q2620920
History
- 2026-10-26: add by m2/dev
− YBME6RXHM8
| URI | m2://inv/YBME6RXHM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#48AX, − (definition)
History
- 2026-11-02: add by m2/dev
YBMJZZX8QD YBMJZZX8QD
| URI | m2://inv/YBMJZZX8QD |
|---|---|
| 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 2512.22986#SWTL (statement). In GFP8TEKFBC/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Geometric primitive YBMK97V5Z8
| URI | m2://inv/YBMK97V5Z8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#I64Y, Geometric primitive (unknown)
History
- 2026-11-02: add by m2/dev
Ewald representation YBMM1GD85X
| URI | m2://inv/YBMM1GD85X |
|---|---|
| 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.11077#3X81, Ewald representation (statement). In 4333A6G5K5/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.3
Sergei Bernstein YBMSDCGXYN
| URI | m2://inv/YBMSDCGXYN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Bernstein, Sergei Bernstein (topic). Also Wikidata Q470539
History
- 2026-11-02: add by m2/dev
719 (number) YBMV3PXH28
| URI | m2://inv/YBMV3PXH28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#EXTM, 719 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Virginia Vassilevska Williams YBMX3NFCWM
| URI | m2://inv/YBMX3NFCWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0OZD, Virginia Vassilevska Williams (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K0Z7, Virginia Vassilevska Williams (topic)
History
- 2026-11-02: add by m2/dev
YBN2VYHX1M YBN2VYHX1M
| URI | m2://inv/YBN2VYHX1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#F3KP (statement). In GMRT5GHBZS/e1, proposition 6.8
History
- 2026-10-29: add by m2/v0.4.10
Convex compactification YBN4Q0AY24
| URI | m2://inv/YBN4Q0AY24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex compactification, Convex compactification (definition). Also Wikidata Q127388399
History
- 2026-11-02: add by m2/dev
YBN5AAFM0R YBN5AAFM0R
| URI | m2://inv/YBN5AAFM0R |
|---|---|
| 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#009O (statement). In CVESAPNMCQ/e1, lemma 5.13
History
- 2026-10-28: add by m2/v0.4.2
YBNAGFE2WW YBNAGFE2WW
| URI | m2://inv/YBNAGFE2WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.00832#QCBG (statement). In KM0XEAXFMF/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
YBNBFYQ00Q YBNBFYQ00Q
| URI | m2://inv/YBNBFYQ00Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32181#J50O (definition). In 8FKEQSPN7M/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
YBNBXQK4PR YBNBXQK4PR
| URI | m2://inv/YBNBXQK4PR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#5LOZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition YBNGXRP65D
| URI | m2://inv/YBNGXRP65D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casimir element#0RS0, Definition (definition)
History
- 2026-11-02: add by m2/dev
YBNHMK6QSA YBNHMK6QSA
| URI | m2://inv/YBNHMK6QSA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#proof-3 (proof). In Y91XFCEVHQ, proof, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Biplane geometry YBNNK2TAXN
| URI | m2://inv/YBNNK2TAXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block design#6DYR, Biplane geometry (unknown)
History
- 2026-11-02: add by m2/dev
Jinchi Lv YBNS0T19YJ
| URI | m2://inv/YBNS0T19YJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jinchi Lv, Jinchi Lv (topic). Also Wikidata Q102112829
History
- 2026-11-02: add by m2/dev
YBNSV590CE YBNSV590CE
| URI | m2://inv/YBNSV590CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#XN5F (statement)
History
- 2026-11-01: add by m2/v0.6.15
YBNTG3HEY1 YBNTG3HEY1
| URI | m2://inv/YBNTG3HEY1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#HUHR (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Relation YBNVECNPPW
| URI | m2://inv/YBNVECNPPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relation (mathematics), Relation (definition). Also Wikidata Q107223533
History
- 2026-11-02: add by m2/dev
YBP2SW11T2 YBP2SW11T2
| URI | m2://inv/YBP2SW11T2 |
|---|---|
| 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.18252#ETWU (statement). In PSQ3CNVK2D/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Extensions YBP45FHHMH
| URI | m2://inv/YBP45FHHMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster expansion#7RLI, Extensions (statement)
History
- 2026-11-02: add by m2/dev
DF--CF time-sharing inner bound YBPATGNB30
| URI | m2://inv/YBPATGNB30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12034#4CFS, DF--CF time-sharing inner bound (statement). In 1FRW4N1H90/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
Susan Schechter Bortner YBPTFY2Y59
| URI | m2://inv/YBPTFY2Y59 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Schechter Bortner, Susan Schechter Bortner (topic). Also Wikidata Q106833269
History
- 2026-11-02: add by m2/dev
Survival tree YBPVE5WBPY
| URI | m2://inv/YBPVE5WBPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survival analysis#OEBP, Survival tree (unknown)
History
- 2026-11-02: add by m2/dev
Duong Hong Phong YBPXZMPXCS
| URI | m2://inv/YBPXZMPXCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DFZI, Duong Hong Phong (unknown)
History
- 2026-11-02: add by m2/dev
Hereditary $h$-energy YBQ3ASRKT0
| URI | m2://inv/YBQ3ASRKT0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#WAGF, Hereditary $h$-energy (definition)
History
- 2026-11-01: add by m2/v0.6.15
Evolution does not "plan" to improve an organism's fitness YBQET26864
| URI | m2://inv/YBQET26864 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#V3VW, Evolution does not "plan" to improve an organism's fitness (unknown)
History
- 2026-11-02: add by m2/dev
YBQJ8C9PN8 YBQJ8C9PN8
| URI | m2://inv/YBQJ8C9PN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15160#5ICZ (statement). In 6FV4CCY1NX/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Example YBQKSXCMHQ
| URI | m2://inv/YBQKSXCMHQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional vector function#DK5O, Example (example)
History
- 2026-11-02: add by m2/dev
YBQMAQ4Y6R YBQMAQ4Y6R
| URI | m2://inv/YBQMAQ4Y6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35421#F9JM (statement). In KE8B8KMDJJ/e1, theorem 0.4
History
- 2026-10-30: add by m2/v0.4.12
Statement of the theorem YBQQ7D3PNG
| URI | m2://inv/YBQQ7D3PNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sazonov's theorem#TGZI, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Historical context and the scaling surface law YBQWEMHZYY
| URI | m2://inv/YBQWEMHZYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleiber's law#F5B2, Historical context and the scaling surface law (statement)
History
- 2026-11-02: add by m2/dev
ring YBQXK1B4EE
| URI | m2://inv/YBQXK1B4EE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/ring, ring (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Differentiation of reverse triangle inequality YBQXT6K8W9
| URI | m2://inv/YBQXT6K8W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#OD0I, Differentiation of reverse triangle inequality (statement). In KM3Q791JY0/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
YBR0081WE5 YBR0081WE5
| URI | m2://inv/YBR0081WE5 |
|---|---|
| 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.00584#AGAP (statement). In 3CRSR95BNA/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Michael Shulman YBR2BQW4EZ
| URI | m2://inv/YBR2BQW4EZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Shulman (mathematician), Michael Shulman (topic). Also Wikidata Q19667895
History
- 2026-11-02: add by m2/dev
YBR71T5PY7 YBR71T5PY7
| URI | m2://inv/YBR71T5PY7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/turing-machines.tex#ex-1 (example). In PKGMM3P5QY, ex, section 86.2
History
- 2026-11-01: add by m2/v0.6.13
YBRDAAKXGQ YBRDAAKXGQ
| URI | m2://inv/YBRDAAKXGQ |
|---|---|
| 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#1DZA (statement). In EAABRG99V8/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.4.0
Degree (permutation group) YBREF384E8
| URI | m2://inv/YBREF384E8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation group#PA9J, Degree (permutation group) (unknown)
History
- 2026-11-02: add by m2/dev
trigonometric integral YBRFVCSRWH
| URI | m2://inv/YBRFVCSRWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#1F1J, trigonometric integral (definition)
History
- 2026-11-02: add by m2/dev
YBRH8DR6F4 YBRH8DR6F4
| URI | m2://inv/YBRH8DR6F4 |
|---|---|
| Kind | example |
| 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.33954#ZM3W (example). In DBC6DB2VW0/e1, example 3.5
History
- 2026-10-30: add by m2/v0.4.12
Inner form YBRNRBWM09
| URI | m2://inv/YBRNRBWM09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner form, Inner form (definition). Also Wikidata Q6035641
History
- 2026-11-02: add by m2/dev
YBRP0SBC86 YBRP0SBC86
| URI | m2://inv/YBRP0SBC86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#VBDY (statement)
History
- 2026-11-01: add by m2/v0.6.15
YBRPK5AXQ5 YBRPK5AXQ5
| URI | m2://inv/YBRPK5AXQ5 |
|---|---|
| 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.30480#GL3C (statement). In VP7MPRKH0M/e1, lemma 5.7
History
- 2026-10-31: add by m2/v0.5.6
lower bound YBRWPK205X
| URI | m2://inv/YBRWPK205X |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 68Q25 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12254923, lower bound (topic). Also MathWorld LowerBound
History
- 2026-10-26: add by m2/dev
Jayanta Bhatta YBRXAWFZ8D
| URI | m2://inv/YBRXAWFZ8D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jayanta Bhatta, Jayanta Bhatta (topic). Also Wikidata Q15457107
History
- 2026-11-02: add by m2/dev
Multi-objective linear programming YBRZE7H7ZW
| URI | m2://inv/YBRZE7H7ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-objective linear programming, Multi-objective linear programming (definition). Also Wikidata Q42417256
History
- 2026-11-02: add by m2/dev
YBRZZ62BFP YBRZZ62BFP
| URI | m2://inv/YBRZZ62BFP |
|---|---|
| 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.21535#3TT0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riemann–Hilbert problem YBS4GYKX4P
| URI | m2://inv/YBS4GYKX4P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#FAON, Riemann–Hilbert problem (problem)
History
- 2026-11-02: add by m2/dev
\bf Properties of the hard family YBS5TQZDCG
| URI | m2://inv/YBS5TQZDCG |
|---|---|
| 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.16295#RJWJ, \bf Properties of the hard family (statement). In J1SKCVMNCB/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
YBS8QVTCTX YBS8QVTCTX
| URI | m2://inv/YBS8QVTCTX |
|---|---|
| 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.02993#4JGQ (statement). In TJH58FRGEN/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Kawamata–Viehweg vanishing theorem YBSDYTJ6FR
| URI | m2://inv/YBSDYTJ6FR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H969, Kawamata–Viehweg vanishing theorem (statement)
History
- 2026-11-02: add by m2/dev
YBSNJPCM9Q YBSNJPCM9Q
| URI | m2://inv/YBSNJPCM9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#CK88 (statement). In F3BKXXPR3K/e1, proposition C.5
History
- 2026-10-27: add by m2/v0.4.2
Aristotelian logic YBSRWC33RE
| URI | m2://inv/YBSRWC33RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#DAT5, Aristotelian logic (definition)
History
- 2026-11-02: add by m2/dev
Definition YBSV3D8GJJ
| URI | m2://inv/YBSV3D8GJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (functional programming)#ZMLX, Definition (definition)
History
- 2026-11-02: add by m2/dev
YBT44CZHGT YBT44CZHGT
| URI | m2://inv/YBT44CZHGT |
|---|---|
| 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.06868#1WM2 (statement). In TV73V5E7JV/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Regularized variational identity YBT9G2JR98
| URI | m2://inv/YBT9G2JR98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#I8H4, Regularized variational identity (statement). In AMRWRJDNKJ/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
Beta rectangular distribution YBTFJX33RR
| URI | m2://inv/YBTFJX33RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BAUC, Beta rectangular distribution (definition)
History
- 2026-11-02: add by m2/dev
YBTJ2PFT9D YBTJ2PFT9D
| URI | m2://inv/YBTJ2PFT9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#M9GC (statement). In 3CQJND929F/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Lee Neuwirth YBTNT0HNVA
| URI | m2://inv/YBTNT0HNVA |
|---|---|
| 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 Q15455271, Lee Neuwirth (unknown). Also nLab Lee Neuwirth
History
- 2026-10-26: add by m2/dev
YBTT0XP6HP YBTT0XP6HP
| URI | m2://inv/YBTT0XP6HP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13869#V0KB (definition). In AM0K62YRZ3/e1, definition B
History
- 2026-10-28: add by m2/v0.4.2
Definitions YBTX4P9K4V
| URI | m2://inv/YBTX4P9K4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard W. Cottle#I4KG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
YBTXHMGGX3 YBTXHMGGX3
| URI | m2://inv/YBTXHMGGX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#WAOS (statement). In 74MMMHHPW5/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Rudolf Wille YBV20SW97P
| URI | m2://inv/YBV20SW97P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#AETP, Rudolf Wille (topic)
History
- 2026-11-02: add by m2/dev
Inference without compatibility YBV20XPRSA
| URI | m2://inv/YBV20XPRSA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.01642#P7C7, Inference without compatibility (example). In CD9T8ZFES1/e1, example 3.4.1
History
- 2026-10-27: add by m2/v0.3.6
Harish-Chandra character YBV3Y70MH3
| URI | m2://inv/YBV3Y70MH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra character, Harish-Chandra character (definition). Also Wikidata Q5657842
History
- 2026-11-02: add by m2/dev
YBV4CDN8J0 YBV4CDN8J0
| URI | m2://inv/YBV4CDN8J0 |
|---|---|
| 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.21972#K3X5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
YBV8896XEV YBV8896XEV
| URI | m2://inv/YBV8896XEV |
|---|---|
| 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.15360#EV8V (statement). In DJCXDQQK7Y/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Lagrangian mixing YBVDBWS7K1
| URI | m2://inv/YBVDBWS7K1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#YOBF, Lagrangian mixing (unknown)
History
- 2026-11-02: add by m2/dev
Definition YBVT2VJ4MP
| URI | m2://inv/YBVT2VJ4MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subderivative#CPW4, Definition (definition)
History
- 2026-11-02: add by m2/dev
YBVTV4H27S YBVTV4H27S
| URI | m2://inv/YBVTV4H27S |
|---|---|
| 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 2609.30771#9KYC (statement). In PQ5117EYN3/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Constants YBVWKKS2DW
| URI | m2://inv/YBVWKKS2DW |
|---|---|
| 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.21765#DF44, Constants (statement)
History
- 2026-11-02: add by m2/v0.6.18
Teichmüller–Tukey lemma YBVYG0W3KZ
| URI | m2://inv/YBVYG0W3KZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#AEIO, Teichmüller–Tukey lemma (statement)
History
- 2026-11-02: add by m2/dev
Life expectancy in the United States YBW9YREPJA
| URI | m2://inv/YBW9YREPJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life expectancy#HUF3, Life expectancy in the United States (unknown)
History
- 2026-11-02: add by m2/dev
information entropy YBWGW0CPNX
| URI | m2://inv/YBWGW0CPNX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q204570, information entropy (concept). Also MathWorld Entropy
- wikipedia: Wikipedia Entropy (information theory), Entropy (definition). Also Wikidata Q204570
History
- 2026-10-26: add by m2/dev
Josef Novák YBWKG55EM5
| URI | m2://inv/YBWKG55EM5 |
|---|---|
| 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 Q102105176, Josef Novák (unknown). Also ProofWiki Mathematician:Josef_Novák
History
- 2026-10-26: add by m2/dev
YBWMVZWV2X YBWMVZWV2X
| URI | m2://inv/YBWMVZWV2X |
|---|---|
| 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.10372#O85O (statement). In P77W283VXT/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
YBWR7HJBMF YBWR7HJBMF
| URI | m2://inv/YBWR7HJBMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29008#FX32 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YBWXN0AMWP YBWXN0AMWP
| URI | m2://inv/YBWXN0AMWP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.25188#DNI4 (example)
History
- 2026-11-01: add by m2/v0.6.15
Theorem YBX5E5Q29M
| URI | m2://inv/YBX5E5Q29M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic samples#SFMM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Timothy Augustine Coghlan YBXDFHFRK4
| URI | m2://inv/YBXDFHFRK4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timothy Augustine Coghlan, Timothy Augustine Coghlan (topic). Also Wikidata Q7807037
History
- 2026-11-02: add by m2/dev
Sacred geometry YBXJ0VC6ZK
| URI | m2://inv/YBXJ0VC6ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sacred geometry, Sacred geometry (definition). Also Wikidata Q583915
History
- 2026-11-02: add by m2/dev
Limit of a sequence YBXMG4ASB1
| URI | m2://inv/YBXMG4ASB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#NHOW, Limit of a sequence (definition)
History
- 2026-11-02: add by m2/dev
In Pursuit of the Traveling Salesman YBY5C8DEP1
| URI | m2://inv/YBY5C8DEP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia In Pursuit of the Traveling Salesman, In Pursuit of the Traveling Salesman (definition). Also Wikidata Q96382005
History
- 2026-11-02: add by m2/dev
YBYM5PR2Q5 YBYM5PR2Q5
| URI | m2://inv/YBYM5PR2Q5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-82 (proof). In VNMV985MXX, proof, section 6.8
History
- 2026-11-01: add by m2/v0.6.13
YBYNW4ZMWX YBYNW4ZMWX
| URI | m2://inv/YBYNW4ZMWX |
|---|---|
| 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 2609.28374#AZ7Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fourier–Motzkin elimination YBYRKHG4MX
| URI | m2://inv/YBYRKHG4MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Motzkin elimination, Fourier–Motzkin elimination (definition). Also Wikidata Q1440012
History
- 2026-11-02: add by m2/dev
Archimedes YBYYCTEBG3
| URI | m2://inv/YBYYCTEBG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#3LXJ, Archimedes (topic)
History
- 2026-11-02: add by m2/dev
YBZ31630AM YBZ31630AM
| URI | m2://inv/YBZ31630AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#VIFZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
YBZ50EY2QR YBZ50EY2QR
| URI | m2://inv/YBZ50EY2QR |
|---|---|
| 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 1103.1038#9H92 (statement). In T9VMNNPS0H/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
Definition YBZ74G26CR
| URI | m2://inv/YBZ74G26CR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete orthogonal polynomials#5NPP, Definition (definition)
History
- 2026-11-02: add by m2/dev
YBZD1ENMC5 YBZD1ENMC5
| URI | m2://inv/YBZD1ENMC5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#HMTK (definition). In 76850E2X7T/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
Weyl integration formula YBZJK7QHT4
| URI | m2://inv/YBZJK7QHT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#N6KE, Weyl integration formula (statement)
History
- 2026-11-02: add by m2/dev
YBZK1TN8YT YBZK1TN8YT
| URI | m2://inv/YBZK1TN8YT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#cor:structure_theorem_primary (statement). In RZP28ERRZV, corollary, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Variations YBZK3XG1MR
| URI | m2://inv/YBZK3XG1MR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjacency matrix#TLX8, Variations (statement)
History
- 2026-11-02: add by m2/dev
YBZPTTKJV4 YBZPTTKJV4
| URI | m2://inv/YBZPTTKJV4 |
|---|---|
| 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.20028#BGHD (statement)
History
- 2026-11-02: add by m2/v0.6.18
YBZTE17XT2 YBZTE17XT2
| URI | m2://inv/YBZTE17XT2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2303.09207#8HWD (definition). In 9DQKY7KGE8/e1, definition 4.12
History
- 2026-10-27: add by m2/v0.3.5