Inventory rows A9
The cards of the rows of the inventory whose ids start with A9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Jacopo Riccati A900TH7534
| URI | m2://inv/A900TH7534 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#K23A, Jacopo Riccati (unknown)
History
- 2026-11-02: add by m2/dev
Czekanowski, Jan A902M4WK5Y
| URI | m2://inv/A902M4WK5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#48MO, Czekanowski, Jan (unknown)
History
- 2026-11-02: add by m2/dev
Cubing the cube A905R6CAG4
| URI | m2://inv/A905R6CAG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squaring the square#1RV8, Cubing the cube (unknown)
History
- 2026-11-02: add by m2/dev
Robert Charles Vaughan A90DTAP78K
| URI | m2://inv/A90DTAP78K |
|---|---|
| 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#J4RM, Robert Charles Vaughan (topic)
History
- 2026-11-02: add by m2/dev
François Lalonde A90JHR8J4C
| URI | m2://inv/A90JHR8J4C |
|---|---|
| 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#EJTL, François Lalonde (unknown)
History
- 2026-11-02: add by m2/dev
Example A90QBGXBZ1
| URI | m2://inv/A90QBGXBZ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwasawa theory#7ZMF, Example (example)
History
- 2026-11-02: add by m2/dev
Properties A90YY82MFA
| URI | m2://inv/A90YY82MFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical range#ONP7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition A9133PHKRV
| URI | m2://inv/A9133PHKRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin structure#E5UQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications A916KG22E2
| URI | m2://inv/A916KG22E2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split normal distribution#HVSZ, Applications (example)
History
- 2026-11-02: add by m2/dev
A9178NERKT A9178NERKT
| URI | m2://inv/A9178NERKT |
|---|---|
| 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 2310.11101#SQKK (statement). In YBBKTP4E70/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Mixed shorter-edge graph A917RHZEBN
| URI | m2://inv/A917RHZEBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30561#HY0L, Mixed shorter-edge graph (statement). In EHQBEXHF9W/e1, lemma 1.1
History
- 2026-10-31: add by m2/v0.5.6
Subjective trust networks A91CSAV0Y4
| URI | m2://inv/A91CSAV0Y4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjective logic#4FV7, Subjective trust networks (unknown)
History
- 2026-11-02: add by m2/dev
Rendering equation A91VXSWCEH
| URI | m2://inv/A91VXSWCEH |
|---|---|
| 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#KFHN, Rendering equation (unknown)
History
- 2026-11-02: add by m2/dev
Example A921CWAZ2K
| URI | m2://inv/A921CWAZ2K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block cipher mode of operation#45EA, Example (example)
History
- 2026-11-02: add by m2/dev
A921S4Q5CV A921S4Q5CV
| URI | m2://inv/A921S4Q5CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01467#AZ3T (statement). In 10GZB25WAC/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
A929676PVA A929676PVA
| URI | m2://inv/A929676PVA |
|---|---|
| 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.20588#ZHM7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
A92C2C5RF3 A92C2C5RF3
| URI | m2://inv/A92C2C5RF3 |
|---|---|
| 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.12053#C5QM (statement). In MQ226ETRP6/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.3
Minimax guarantees A92E1Y5221
| URI | m2://inv/A92E1Y5221 |
|---|---|
| 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.11330#LXDU, Minimax guarantees (statement). In Z73GKA9WDB/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.3
A92G3R6QSV A92G3R6QSV
| URI | m2://inv/A92G3R6QSV |
|---|---|
| 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.22667#S1WM (statement)
History
- 2026-11-02: add by m2/v0.6.17
A92RA93GZN A92RA93GZN
| URI | m2://inv/A92RA93GZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#OWLM (statement). In 67GE5M1GGD/e1, proposition 7.7
History
- 2026-10-30: add by m2/v0.4.12
Convergence of PINNs for $p$-Laplace Problems A92Y0E82BB
| URI | m2://inv/A92Y0E82BB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30809#PI40, Convergence of PINNs for $p$-Laplace Problems (statement). In KNXDEB3ED7/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Qi Lu A931BBBC0S
| URI | m2://inv/A931BBBC0S |
|---|---|
| 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#M9W3, Qi Lu (unknown)
History
- 2026-11-02: add by m2/dev
Regular and singular set A93D25FPVW
| URI | m2://inv/A93D25FPVW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#22QE, Regular and singular set (definition). In HXFA55BREZ/e1, definition C.3
History
- 2026-10-29: add by m2/v0.4.10
A93MDS0BN0 A93MDS0BN0
| URI | m2://inv/A93MDS0BN0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#FH85 (definition)
History
- 2026-11-01: add by m2/v0.6.15
A93P5T0S7W A93P5T0S7W
| URI | m2://inv/A93P5T0S7W |
|---|---|
| Kind | problem |
| 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 2609.32300#EUE4 (problem). In VNE8N0D2FB/e1, problem 1.10
History
- 2026-10-31: add by m2/v0.5.6
Dilaton A93QT6AK04
| URI | m2://inv/A93QT6AK04 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#IOP1, Dilaton (unknown)
History
- 2026-11-02: add by m2/dev
The measures with a cubic term A93XVPX42G
| URI | m2://inv/A93XVPX42G |
|---|---|
| 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.06480#CON0, The measures with a cubic term (statement). In 2Y47E704Z9/e1, proposition E.1
History
- 2026-10-29: add by m2/v0.4.10
A93Z1K3RCK A93Z1K3RCK
| URI | m2://inv/A93Z1K3RCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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 0811.0544#KSN3 (definition). In RKPZ3SC956/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
26-fullerene graph A940JSBZ08
| URI | m2://inv/A940JSBZ08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55602720, 26-fullerene graph (unknown). Also House of Graphs 27327
- wikipedia: Wikipedia 26-fullerene graph, 26-fullerene graph (definition). Also Wikidata Q55602720
History
- 2026-10-26: add by m2/dev
A94813WYDX A94813WYDX
| URI | m2://inv/A94813WYDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#YAN2 (statement). In TX0H26X4VX/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
locally Noetherian A949Y4WB9V
| URI | m2://inv/A949Y4WB9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#1JPZ, locally Noetherian (definition)
History
- 2026-11-02: add by m2/dev
A94B8TJZQK A94B8TJZQK
| URI | m2://inv/A94B8TJZQK |
|---|---|
| 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.33926#WD3U (statement). In 1XF3T5HXNV/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
A94BY0A5EY A94BY0A5EY
| URI | m2://inv/A94BY0A5EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22708#DBNC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Matti Vuorinen A94C4XQH42
| URI | m2://inv/A94C4XQH42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matti Vuorinen, Matti Vuorinen (topic). Also Wikidata Q6791720
History
- 2026-11-02: add by m2/dev
A94FRCCXC2 A94FRCCXC2
| URI | m2://inv/A94FRCCXC2 |
|---|---|
| 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.35466#SHTB (statement). In MVR35ZJPCC/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
A94MKR6PAJ A94MKR6PAJ
| URI | m2://inv/A94MKR6PAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#S7XS (statement). In HBZXCMYPME/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Module structure A94WW2J41S
| URI | m2://inv/A94WW2J41S |
|---|---|
| Kind | statement |
| 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.27966#68LU, Module structure (statement)
History
- 2026-11-01: add by m2/v0.6.15
A94ZK1XV3R A94ZK1XV3R
| URI | m2://inv/A94ZK1XV3R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#MJ5O (example)
History
- 2026-11-01: add by m2/v0.6.15
Conjecture (equivalent form) A950XV6NRH
| URI | m2://inv/A950XV6NRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine plank problem#M8RE, Conjecture (equivalent form) (statement)
History
- 2026-11-02: add by m2/dev
Argelia Velez-Rodriguez A955S7P0YG
| URI | m2://inv/A955S7P0YG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argelia Velez-Rodriguez, Argelia Velez-Rodriguez (topic). Also Wikidata Q12887511
History
- 2026-11-02: add by m2/dev
Ornstein–Uhlenbeck process A95AR7PZFD
| URI | m2://inv/A95AR7PZFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#35KD, Ornstein–Uhlenbeck process (unknown)
History
- 2026-11-02: add by m2/dev
A95BAY9Q4B A95BAY9Q4B
| URI | m2://inv/A95BAY9Q4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#C997 (statement). In 1PN6NESQER/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
A95BCFBCJ0 A95BCFBCJ0
| URI | m2://inv/A95BCFBCJ0 |
|---|---|
| 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 2407.20385#8ANJ (statement). In PZRSZ19KAH/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Tjalling Koopmans A95DB8QPG8
| URI | m2://inv/A95DB8QPG8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tjalling Koopmans, Tjalling Koopmans (topic). Also Wikidata Q110968
History
- 2026-11-02: add by m2/dev
Paul Erdős Award A95DER1GZ7
| URI | m2://inv/A95DER1GZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Erdős Award, Paul Erdős Award (definition). Also Wikidata Q7150513
History
- 2026-11-02: add by m2/dev
A95EEMKBG8 A95EEMKBG8
| URI | m2://inv/A95EEMKBG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.38556#9976 (statement). In GC2H0HS7ZM/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
Weighted predictor and shoreline-gradient estimate A95FMXR7PZ
| URI | m2://inv/A95FMXR7PZ |
|---|---|
| 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.34938#JU41, Weighted predictor and shoreline-gradient estimate (statement). In N57GZ5N6E1/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
Cancellation lemma A95TCG5C7K
| URI | m2://inv/A95TCG5C7K |
|---|---|
| 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.02392#PCEV, Cancellation lemma (statement). In W066HQZQBF/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Johannes Trithemius A95VAZASGX
| URI | m2://inv/A95VAZASGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#OJO4, Johannes Trithemius (unknown)
History
- 2026-11-02: add by m2/dev
Harnack's theorem A960ZXWRTN
| URI | m2://inv/A960ZXWRTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#282W, Harnack's theorem (statement)
History
- 2026-11-02: add by m2/dev
A9635ZA1P9 A9635ZA1P9
| URI | m2://inv/A9635ZA1P9 |
|---|---|
| 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.28594#IB8U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lie coalgebra A967CGD4RS
| URI | m2://inv/A967CGD4RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6543816, Lie coalgebra (unknown). Also nLab Lie coalgebra
- wikipedia: Wikipedia Lie coalgebra, Lie coalgebra (definition). Also Wikidata Q6543816
History
- 2026-10-26: add by m2/dev
path class A96959WNGC
| URI | m2://inv/A96959WNGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#99Z1, path class (definition)
History
- 2026-11-02: add by m2/dev
David Gibb A96JZEC8PB
| URI | m2://inv/A96JZEC8PB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Gibb (mathematician), David Gibb (topic). Also Wikidata Q25238693
History
- 2026-11-02: add by m2/dev
Riemann problem A96WC4ZCJF
| URI | m2://inv/A96WC4ZCJF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann problem, Riemann problem (problem). Also Wikidata Q2152221
History
- 2026-11-02: add by m2/dev
amenable number A9724N7KKE
| URI | m2://inv/A9724N7KKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4742387, amenable number (unknown). Also MathWorld AmenableNumber, OEIS A100832
- wikipedia: Wikipedia Amenable number, Amenable number (definition). Also Wikidata Q4742387
History
- 2026-10-26: add by m2/dev
A973XVDHKA A973XVDHKA
| URI | m2://inv/A973XVDHKA |
|---|---|
| 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.00512#0D5K (statement). In RB5QBG3MJY/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Poisson cohomology A97AJHZA60
| URI | m2://inv/A97AJHZA60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59539876, Poisson cohomology (unknown). Also nLab Poisson cohomology
History
- 2026-10-26: add by m2/dev
Holomorphic Symplectic Length Independence A97E576WXK
| URI | m2://inv/A97E576WXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#BTAI, Holomorphic Symplectic Length Independence (statement). In J55JTTKG84/e1, proposition 4.34
History
- 2026-10-29: add by m2/v0.4.12
Pseudo-reductive group A97SDHC25D
| URI | m2://inv/A97SDHC25D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-reductive group, Pseudo-reductive group (definition). Also Wikidata Q7254443
History
- 2026-11-02: add by m2/dev
Definition A981RJCA8X
| URI | m2://inv/A981RJCA8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bivariant theory#5SQ1, Definition (definition)
History
- 2026-11-02: add by m2/dev
A983322GP7 A983322GP7
| URI | m2://inv/A983322GP7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#HTR0 (definition). In BJGS6ZCQ12/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
Edwards curve A9845HPX7W
| URI | m2://inv/A9845HPX7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwards curve, Edwards curve (definition). Also Wikidata Q3001190
History
- 2026-11-02: add by m2/dev
Error in estimated magnetization A984MY3EER
| URI | m2://inv/A984MY3EER |
|---|---|
| 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.30590#A34L, Error in estimated magnetization (statement). In WYE2JVEZBT/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
A985BPV1AP A985BPV1AP
| URI | m2://inv/A985BPV1AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.01653#E1LM (statement). In WZMHJCQPB2/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Dev set A98DEEWSTN
| URI | m2://inv/A98DEEWSTN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Training, validation, and test data sets#LS92, Dev set (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (general Leibniz rule) A98KY0JJ44
| URI | m2://inv/A98KY0JJ44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl algebra#XB1Y, Theorem (general Leibniz rule) (statement)
History
- 2026-11-02: add by m2/dev
A98TV0AF3S A98TV0AF3S
| URI | m2://inv/A98TV0AF3S |
|---|---|
| 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 2610.21752#3X6Z (example). In E4DJTPKHAX/e1, example 4.10
History
- 2026-10-27: add by m2/v0.4.2
List of things named after Adrien-Marie Legendre A98WRP2EC6
| URI | m2://inv/A98WRP2EC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre, List of things named after Adrien-Marie Legendre (topic). Also Wikidata Q6643267
History
- 2026-11-02: add by m2/dev
A98YZKN1JJ A98YZKN1JJ
| URI | m2://inv/A98YZKN1JJ |
|---|---|
| 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.21552#2G6R (statement)
History
- 2026-11-02: add by m2/v0.6.18
$\infty$-groupoid, structure of a type A992DPA17W
| URI | m2://inv/A992DPA17W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/infty-groupoid-structure-of-a-type, $\infty$-groupoid, structure of a type (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Juncheng Wei A9930C0MTS
| URI | m2://inv/A9930C0MTS |
|---|---|
| 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#LK4R, Juncheng Wei (topic)
History
- 2026-11-02: add by m2/dev
Target ring A996Z2Q6P8
| URI | m2://inv/A996Z2Q6P8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#AQ2O, Target ring (definition). In A1GWWGRXPA/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.2
A99FRT0PSE A99FRT0PSE
| URI | m2://inv/A99FRT0PSE |
|---|---|
| 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 2610.09596#5TC8 (statement). In HXFA55BREZ/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
As an axiom of probability A99GK67G4E
| URI | m2://inv/A99GK67G4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional probability#IFXJ, As an axiom of probability (statement)
History
- 2026-11-02: add by m2/dev
Example A99VD390MY
| URI | m2://inv/A99VD390MY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautness (topology)#KMPO, Example (example)
History
- 2026-11-02: add by m2/dev
Examples A99YD52D5S
| URI | m2://inv/A99YD52D5S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donkey sentence#25UO, Examples (example)
History
- 2026-11-02: add by m2/dev
Mean dimension of the diagonal presentation A99YEG7N6R
| URI | m2://inv/A99YEG7N6R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11143#614J, Mean dimension of the diagonal presentation (definition). In 9CS15SV662/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.3
A9A65JVQ3S A9A65JVQ3S
| URI | m2://inv/A9A65JVQ3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#JCST (statement). In 55QFMZQ5HM/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
Form factor A9A8F59Y0M
| URI | m2://inv/A9A8F59Y0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Form factor (electronics), Form factor (definition). Also Wikidata Q1437700
History
- 2026-11-02: add by m2/dev
A9AAGQR1HR A9AAGQR1HR
| URI | m2://inv/A9AAGQR1HR |
|---|---|
| Kind | conjecture |
| 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.13295#C33H (conjecture). In 8Q7QXTWD0S/e1, conjecture 4.11
History
- 2026-10-28: add by m2/v0.4.2
Minimal K-type A9AD5AMXVH
| URI | m2://inv/A9AD5AMXVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal K-type, Minimal K-type (definition). Also Wikidata Q16938023
History
- 2026-11-02: add by m2/dev
A9AF7H7J5Q A9AF7H7J5Q
| URI | m2://inv/A9AF7H7J5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#HN8X (statement). In GM3S19KFDH/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
vector, space A9AHK1VM43
| URI | m2://inv/A9AHK1VM43 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.7/vector-space, vector, space (concept). In N54F33XE07, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Chinese hypothesis A9AKY71284
| URI | m2://inv/A9AKY71284 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#NH7C, Chinese hypothesis (statement)
History
- 2026-11-02: add by m2/dev
A9ATWGZNS5 A9ATWGZNS5
| URI | m2://inv/A9ATWGZNS5 |
|---|---|
| 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.04993#IZFD (statement). In JQBWZPXKAV/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Polynomial root-finding A9AXNPY8BP
| URI | m2://inv/A9AXNPY8BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial root-finding, Polynomial root-finding (definition). Also Wikidata Q116457386
History
- 2026-11-02: add by m2/dev
A9B0YPRVRX A9B0YPRVRX
| URI | m2://inv/A9B0YPRVRX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.14762#YW5F (definition). In ZC1B70NT4D/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
A9B6B16QQY A9B6B16QQY
| URI | m2://inv/A9B6B16QQY |
|---|---|
| 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 2011.14561#NDXY (statement). In V2XJJJX1Z8/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
A9B6CE1G39 A9B6CE1G39
| URI | m2://inv/A9B6CE1G39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.01474#VR1H (statement). In 2QB5F6J24Q/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.0
Example A9B6KV2ADX
| URI | m2://inv/A9B6KV2ADX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy traffic approximation#OL5Z, Example (example)
History
- 2026-11-02: add by m2/dev
Geodesic hyperspheres in the standard $S^6$ A9B8EW9P13
| URI | m2://inv/A9B8EW9P13 |
|---|---|
| Kind | example |
| 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.00078#MSGZ, Geodesic hyperspheres in the standard $S^6$ (example). In KXYGWSGP9M/e1, example 3.4
History
- 2026-10-30: add by m2/v0.4.12
A9BE1GGXHC A9BE1GGXHC
| URI | m2://inv/A9BE1GGXHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-4 (definition). In RZP28ERRZV, definition, section 100.4
History
- 2026-11-01: add by m2/v0.6.13
Correspondences pass to pointed ultralimits A9BMWSV7AN
| URI | m2://inv/A9BMWSV7AN |
|---|---|
| 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 2610.17400#19UN, Correspondences pass to pointed ultralimits (statement). In 8VDXGR4SVD/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
A9BPYW8A4W A9BPYW8A4W
| URI | m2://inv/A9BPYW8A4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.10460#2H8Q (statement). In 3N20HKKXTJ/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
A9BTGKAMYT A9BTGKAMYT
| URI | m2://inv/A9BTGKAMYT |
|---|---|
| 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.36403#AHZP (statement). In A4XGTS3QXQ/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Two-terminal reduction A9BV73EHGK
| URI | m2://inv/A9BV73EHGK |
|---|---|
| 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.37479#DOFM, Two-terminal reduction (statement). In P3RTT99C41/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
Marino Ghetaldi A9BVEAWQHS
| URI | m2://inv/A9BVEAWQHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#IW7P, Marino Ghetaldi (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#UPL0, Marino Ghetaldi (unknown)
History
- 2026-11-02: add by m2/dev
A9C4YVZVBZ A9C4YVZVBZ
| URI | m2://inv/A9C4YVZVBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#RKRF (statement). In 8T90H89HNB/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
A9C8QEDKKJ A9C8QEDKKJ
| URI | m2://inv/A9C8QEDKKJ |
|---|---|
| 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.20416#F5AF (statement). In P603M3M91A/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Unitarizable projective monodromy A9CJ8ZNVDA
| URI | m2://inv/A9CJ8ZNVDA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#2EDC, Unitarizable projective monodromy (definition). In A02X6MX28Y/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Veronese map A9CMBB44RS
| URI | m2://inv/A9CMBB44RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veronese map, Veronese map (definition). Also Wikidata Q129112856
History
- 2026-11-02: add by m2/dev
A9CPHAJXWD A9CPHAJXWD
| URI | m2://inv/A9CPHAJXWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#VCF5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A9CVPWXVP4 A9CVPWXVP4
| URI | m2://inv/A9CVPWXVP4 |
|---|---|
| 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 2204.01073#SZ6U (statement). In W4TYN4PGE8/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
Axial lower MDA with an arbitrarily slow, nonregular diagonal remainder A9CZYC3CDQ
| URI | m2://inv/A9CZYC3CDQ |
|---|---|
| Kind | example |
| 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 2609.29658#2KAQ, Axial lower MDA with an arbitrarily slow, nonregular diagonal remainder (example)
History
- 2026-11-01: add by m2/v0.6.15
A9D0FWFAXC A9D0FWFAXC
| URI | m2://inv/A9D0FWFAXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.06455#GAKC (statement). In N6GB5J5BAY/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
A9D4B5T5BT A9D4B5T5BT
| URI | m2://inv/A9D4B5T5BT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:npaths (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
A9D5JG8QK1 A9D5JG8QK1
| URI | m2://inv/A9D5JG8QK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.29877#HWK6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Line at infinity A9DB6QG3JJ
| URI | m2://inv/A9DB6QG3JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line at infinity, Line at infinity (definition). Also Wikidata Q2130665
History
- 2026-11-02: add by m2/dev
Extensions A9DGP55TKW
| URI | m2://inv/A9DGP55TKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agreeable subset#4U58, Extensions (statement)
History
- 2026-11-02: add by m2/dev
A9DJFRR88R A9DJFRR88R
| URI | m2://inv/A9DJFRR88R |
|---|---|
| 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.32207#TT6N (statement). In R94G9XD5AC/e1, theorem 1.6
History
- 2026-10-31: add by m2/v0.5.6
Gregory Chudnovsky A9DJH573Y1
| URI | m2://inv/A9DJH573Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#665M, Gregory Chudnovsky (topic)
History
- 2026-11-02: add by m2/dev
A9DJH6DABM A9DJH6DABM
| URI | m2://inv/A9DJH6DABM |
|---|---|
| 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.21043#JMNN (statement)
History
- 2026-11-02: add by m2/v0.6.18
A9DJT7E25K A9DJT7E25K
| URI | m2://inv/A9DJT7E25K |
|---|---|
| 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.21675#A113 (statement). In TB1294GY5X/e1, corollary B.15
History
- 2026-10-27: add by m2/v0.4.2
A9DN5QMP1J A9DN5QMP1J
| URI | m2://inv/A9DN5QMP1J |
|---|---|
| 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.12983#91TD (statement). In M6TFZ6E060/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Cristián A9DP4SJ2J6
| URI | m2://inv/A9DP4SJ2J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#MGAO, Cristián (unknown)
History
- 2026-11-02: add by m2/dev
A9E4EWNVF7 A9E4EWNVF7
| URI | m2://inv/A9E4EWNVF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#cor-4 (statement). In E59CDZA4DP, cor, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
A9E6YDAH66 A9E6YDAH66
| URI | m2://inv/A9E6YDAH66 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#28IW (example). In FWA5QW6FCF/e1, example 7.2
History
- 2026-10-31: add by m2/v0.5.6
A9EDYB0K0Z A9EDYB0K0Z
| URI | m2://inv/A9EDYB0K0Z |
|---|---|
| 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.16386#548L (statement). In RAF0BFY3Z3/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
Examples A9EKM34NH8
| URI | m2://inv/A9EKM34NH8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#4LL1, Examples (example)
History
- 2026-11-02: add by m2/dev
Action groupoid A9EKYFWGSC
| URI | m2://inv/A9EKYFWGSC |
|---|---|
| Kind | example |
| 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.25987#7K6U, Action groupoid (example)
History
- 2026-11-01: add by m2/v0.6.15
A9ET7WV2DG A9ET7WV2DG
| URI | m2://inv/A9ET7WV2DG |
|---|---|
| Kind | conjecture |
| 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#JHKG (conjecture). In PRVQPSBVHK/e1, conjecture 2
History
- 2026-10-29: add by m2/v0.4.10
Cauchy problem A9EZ1MNEC1
| URI | m2://inv/A9EZ1MNEC1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1412436, Cauchy problem (problem). Also EoM Cauchy_problem, MathWorld CauchyProblem
- wikipedia: Wikipedia Cauchy problem, Cauchy problem (problem). Also Wikidata Q1412436
History
- 2026-10-26: add by m2/dev
A9F2NHGAHS A9F2NHGAHS
| URI | m2://inv/A9F2NHGAHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#D6W9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Interior Higher Order Estimates - Laplacian A9F9844J62
| URI | m2://inv/A9F9844J62 |
|---|---|
| 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 2401.14638#VQ1U, Interior Higher Order Estimates - Laplacian (statement). In 2XC2MZFWPP/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
Examples A9FK96R9JV
| URI | m2://inv/A9FK96R9JV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raw data#WC0V, Examples (example)
History
- 2026-11-02: add by m2/dev
bargaining A9FXYR7RGC
| URI | m2://inv/A9FXYR7RGC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/bargaining, bargaining (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Properties A9FZKVYG87
| URI | m2://inv/A9FZKVYG87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypersimplex#QMK4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kerker effect A9G8ZWX18K
| URI | m2://inv/A9G8ZWX18K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mie scattering#3PP0, Kerker effect (unknown)
History
- 2026-11-02: add by m2/dev
A9G9PSZSZW A9G9PSZSZW
| URI | m2://inv/A9G9PSZSZW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Applications A9GAAEWEWP
| URI | m2://inv/A9GAAEWEWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact quasi-Newton representation#Q392, Applications (example)
History
- 2026-11-02: add by m2/dev
A9GD1MH9XR A9GD1MH9XR
| URI | m2://inv/A9GD1MH9XR |
|---|---|
| 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.38138#3K2Z (statement). In G97FA99ZEF/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
A9GF9GV9Q2 A9GF9GV9Q2
| URI | m2://inv/A9GF9GV9Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#ZRV7 (statement). In WRE0P7V6Z3/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Skorokhod's embedding theorem A9GGM03S7W
| URI | m2://inv/A9GGM03S7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PBU1, Skorokhod's embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Aldona Aleškevičienė-Statulevičienė A9GKERHSX4
| URI | m2://inv/A9GKERHSX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aldona Aleškevičienė-Statulevičienė, Aldona Aleškevičienė-Statulevičienė (topic). Also Wikidata Q16443000
History
- 2026-11-02: add by m2/dev
Homogenization limit A9GPZY97B0
| URI | m2://inv/A9GPZY97B0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20302#VDUF, Homogenization limit (statement). In GN8JWKH956/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
A9GQHQMF89 A9GQHQMF89
| URI | m2://inv/A9GQHQMF89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#D18X (statement). In PQHTR84RAJ/e1, corollary 6.7
History
- 2026-10-27: add by m2/v0.4.0
Quadratic loss function A9GR5QHTFE
| URI | m2://inv/A9GR5QHTFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loss function#AUG9, Quadratic loss function (unknown)
History
- 2026-11-02: add by m2/dev
A9GY48PQZH A9GY48PQZH
| URI | m2://inv/A9GY48PQZH |
|---|---|
| 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.13670#N1P5 (statement). In 4PGTZ19B26/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
A9GYE1KHK8 A9GYE1KHK8
| URI | m2://inv/A9GYE1KHK8 |
|---|---|
| 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.02751#QNBM (statement). In MWGXPXF3BW/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Algorithm A9H1YZ2VE8
| URI | m2://inv/A9H1YZ2VE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit trap#ZMZQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Fifth column (m=4) of triangle A060556 . A9HE16ZN6A
| URI | m2://inv/A9HE16ZN6A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194561, Fifth column (m=4) of triangle A060556 . (object). Also OEIS A060558
History
- 2026-10-26: add by m2/dev
Conway's dead fly problem A9HGQ73NE3
| URI | m2://inv/A9HGQ73NE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danzer set#H0PE, Conway's dead fly problem (unknown)
History
- 2026-11-02: add by m2/dev
Quadratic moments A9HHF39PZ7
| URI | m2://inv/A9HHF39PZ7 |
|---|---|
| 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.19356#JV5W, Quadratic moments (statement). In 2B5QA28NCX/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
A9HJ1E74GB A9HJ1E74GB
| URI | m2://inv/A9HJ1E74GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#TJPZ (statement). In 8PZXZ8Y9FK/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.4.2
A9HK2EZN4Z A9HK2EZN4Z
| URI | m2://inv/A9HK2EZN4Z |
|---|---|
| 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.19285#6QOT (statement). In 6DJR9DKY5W/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
stack A9HM6VG61W
| URI | m2://inv/A9HM6VG61W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7595945, stack (definition). Also nLab stack, ProofWiki Definition:Stack
- wikipedia: Wikipedia Stack (mathematics), Stack (definition). Also Wikidata Q7595945
History
- 2026-10-26: add by m2/dev
Boltzmann equation A9HMG8P9VP
| URI | m2://inv/A9HMG8P9VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#4GCE, Boltzmann equation (definition)
History
- 2026-11-02: add by m2/dev
Plumbing A9HNVKCJHM
| URI | m2://inv/A9HNVKCJHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plumbing (mathematics), Plumbing (definition). Also Wikidata Q85793702
History
- 2026-11-02: add by m2/dev
degree of a polynomial A9HRZZP8VY
| URI | m2://inv/A9HRZZP8VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#5L73, degree of a polynomial (definition)
History
- 2026-11-02: add by m2/dev
Recognition at fixed local arity A9HSN6GZNB
| URI | m2://inv/A9HSN6GZNB |
|---|---|
| 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.04027#ILBJ, Recognition at fixed local arity (statement). In DQB4YR2DFH/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
A9J2TCMWWX A9J2TCMWWX
| URI | m2://inv/A9J2TCMWWX |
|---|---|
| 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.04772#A08S (statement). In WW08CYN4D4/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
A9J9T2MD8R A9J9T2MD8R
| URI | m2://inv/A9J9T2MD8R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 95.6
History
- 2026-11-01: add by m2/v0.6.13
A9JA0A6J28 A9JA0A6J28
| URI | m2://inv/A9JA0A6J28 |
|---|---|
| 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.40096#2MCM (statement). In XFE35F9NEV/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
A9JJMXNBFJ A9JJMXNBFJ
| URI | m2://inv/A9JJMXNBFJ |
|---|---|
| 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.20207#K24V (statement). In 1MPH7GCFJ2/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Transfer of convergence A9JRKP5ADV
| URI | m2://inv/A9JRKP5ADV |
|---|---|
| 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.05864#G9H3, Transfer of convergence (statement). In 31QPXWDZSH/e1, theorem A.7
History
- 2026-10-29: add by m2/v0.4.10
Planted clique A9JTY1J0RG
| URI | m2://inv/A9JTY1J0RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planted clique, Planted clique (definition). Also Wikidata Q25304372
History
- 2026-11-02: add by m2/dev
Kuhn's theorem A9JVS93E2F
| URI | m2://inv/A9JVS93E2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5V4T, Kuhn's theorem (statement)
History
- 2026-11-02: add by m2/dev
Change detection A9JZNNCA5K
| URI | m2://inv/A9JZNNCA5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D2OX, Change detection (definition)
History
- 2026-11-02: add by m2/dev
Goertzel algorithm A9K9GGM62F
| URI | m2://inv/A9K9GGM62F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goertzel algorithm, Goertzel algorithm (definition). Also Wikidata Q1472192
History
- 2026-11-02: add by m2/dev
Notestein, Frank W. A9KBWNSW68
| URI | m2://inv/A9KBWNSW68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9IHU, Notestein, Frank W. (unknown)
History
- 2026-11-02: add by m2/dev
Properties A9KFQD7Y9K
| URI | m2://inv/A9KFQD7Y9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore algebra#LG1N, Properties (statement)
History
- 2026-11-02: add by m2/dev
A group structure implies the axiom of choice A9KQ26MMSB
| URI | m2://inv/A9KQ26MMSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group structure and the axiom of choice#54MP, A group structure implies the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
A9KWRS114B A9KWRS114B
| URI | m2://inv/A9KWRS114B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#EVTP (statement)
History
- 2026-11-01: add by m2/v0.6.15
A9KXEY7F24 A9KXEY7F24
| URI | m2://inv/A9KXEY7F24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#DM21 (statement). In GHKR740SG3/e1, corollary 2.15
History
- 2026-10-31: add by m2/v0.5.6
A9KYC1A4GC A9KYC1A4GC
| URI | m2://inv/A9KYC1A4GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#15NL (statement). In H21X3FHNYJ/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.4.2
Arnold Scholz A9M5KAJXBC
| URI | m2://inv/A9M5KAJXBC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#I2TC, Arnold Scholz (topic)
History
- 2026-11-02: add by m2/dev
A9MJRGYNXT A9MJRGYNXT
| URI | m2://inv/A9MJRGYNXT |
|---|---|
| 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.29605#K6EG (statement)
History
- 2026-11-01: add by m2/v0.6.15
A9MKT3655M A9MKT3655M
| URI | m2://inv/A9MKT3655M |
|---|---|
| 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.36181#3J1R (statement). In 1KSE33PVS6/e1, theorem 26
History
- 2026-10-30: add by m2/v0.4.12
Deviant logic A9MNZGFQSE
| URI | m2://inv/A9MNZGFQSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviant logic, Deviant logic (definition). Also Wikidata Q5266983
History
- 2026-11-02: add by m2/dev
Definition A9MQ3XCCRB
| URI | m2://inv/A9MQ3XCCRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravity anomaly#5VVJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
event, dependent A9MS2PX8F6
| URI | m2://inv/A9MS2PX8F6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.2.1/event-dependent, event, dependent (concept). In QKM9DD2H56, index, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
non-Schesinger deformations, Bolibruch A9MWJQJ5S5
| URI | m2://inv/A9MWJQJ5S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#5DJR, non-Schesinger deformations, Bolibruch (statement). In M8F4PDHH3S/e1, theorem A.13
History
- 2026-10-27: add by m2/v0.3.5
Flexible algebra A9NHRHZNXP
| URI | m2://inv/A9NHRHZNXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#N9HU, Flexible algebra (definition)
History
- 2026-11-02: add by m2/dev
A9NJ8C8189 A9NJ8C8189
| URI | m2://inv/A9NJ8C8189 |
|---|---|
| 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 2511.05069#V858 (statement). In SFQBJBTW8K/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
1729 (anecdote) A9NN0TD9J1
| URI | m2://inv/A9NN0TD9J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#P0FH, 1729 (anecdote) (definition)
History
- 2026-11-02: add by m2/dev
A9NNMV08Q8 A9NNMV08Q8
| URI | m2://inv/A9NNMV08Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16821#4TS3 (statement). In EFSGMHG5BW/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
A9NR1V1XBE A9NR1V1XBE
| URI | m2://inv/A9NR1V1XBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#SWTC (statement). In Y8A35AV31M/e1, corollary 6.8
History
- 2026-10-28: add by m2/v0.4.2
A9NRVQ4DD3 A9NRVQ4DD3
| URI | m2://inv/A9NRVQ4DD3 |
|---|---|
| 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 2304.02722#9IJB (statement). In AH7D55D3WV/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Reasoning system A9NXHPZQQX
| URI | m2://inv/A9NXHPZQQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reasoning system, Reasoning system (definition). Also Wikidata Q7301504
History
- 2026-11-02: add by m2/dev
A9P240C927 A9P240C927
| URI | m2://inv/A9P240C927 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#W81Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
A9P3XHWGGX A9P3XHWGGX
| URI | m2://inv/A9P3XHWGGX |
|---|---|
| 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.21868#T6U1 (statement). In WWAQEF0093/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
A9PK80H0P3 A9PK80H0P3
| URI | m2://inv/A9PK80H0P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2406.13841#1OQL (statement). In AB2EMMXC7X/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
A9PK946988 A9PK946988
| URI | m2://inv/A9PK946988 |
|---|---|
| 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.18324#NC9V (statement). In C0EG2EY0M4/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Dan Pedersen A9PKMCY7WH
| URI | m2://inv/A9PKMCY7WH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#T9YE, Dan Pedersen (unknown)
History
- 2026-11-02: add by m2/dev
A9PKTKNGKS A9PKTKNGKS
| URI | m2://inv/A9PKTKNGKS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#90DQ (example). In A1GWWGRXPA/e1, example 1.6
History
- 2026-10-27: add by m2/v0.4.2
A9PSAPSEVV A9PSAPSEVV
| URI | m2://inv/A9PSAPSEVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#def:simulation (definition). In N54F33XE07, defn, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Definable function A9PV5DM5NB
| URI | m2://inv/A9PV5DM5NB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#B90T, Definable function (definition). In ZJ6VQCRDVR/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Tschirnhaus transformation A9PYJ0VK9Q
| URI | m2://inv/A9PYJ0VK9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#CULI, Tschirnhaus transformation (definition)
History
- 2026-11-02: add by m2/dev
Jennifer Hom A9QAMAJR98
| URI | m2://inv/A9QAMAJR98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Hom, Jennifer Hom (topic). Also Wikidata Q102379349
History
- 2026-11-02: add by m2/dev
standard deviation A9QAWPQV65
| URI | m2://inv/A9QAWPQV65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Standard deviation 0P4FTHHMYS |
Mentions
- wikidata: Wikidata Q159375, standard deviation (unknown). Also EoM Quadratic_deviation, MathWorld StandardDeviation
- wikipedia: Wikipedia Standard deviation, Standard deviation (definition). Also Wikidata Q159375
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Examples A9QBBNWM73
| URI | m2://inv/A9QBBNWM73 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coequalizer#SR57, Examples (example)
History
- 2026-11-02: add by m2/dev
A9QBV03622 A9QBV03622
| URI | m2://inv/A9QBV03622 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#JSB7 (statement). In X1J5HKPS3R/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
A9QEC7F0ED A9QEC7F0ED
| URI | m2://inv/A9QEC7F0ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#87DN (statement). In ESDKTYDHC8/e1, corollary 20
History
- 2026-10-29: add by m2/v0.4.12
Axiom of Induction A9QGDXSQF5
| URI | m2://inv/A9QGDXSQF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#axiom:induction, Axiom of Induction (statement). In P1C114YBXG, axiom, section D
History
- 2026-11-01: add by m2/v0.6.13
GF(2) A9QKB609ZX
| URI | m2://inv/A9QKB609ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GF(2), GF(2) (definition). Also Wikidata Q5513324
History
- 2026-11-02: add by m2/dev
Because sign A9QNCHYBFG
| URI | m2://inv/A9QNCHYBFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Therefore sign#T2NH, Because sign (unknown)
History
- 2026-11-02: add by m2/dev
Max Noether A9QRKHN1FT
| URI | m2://inv/A9QRKHN1FT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7O02, Max Noether (topic)
History
- 2026-11-02: add by m2/dev
A9R0345V8K A9R0345V8K
| URI | m2://inv/A9R0345V8K |
|---|---|
| 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.12983#89UR (statement). In M6TFZ6E060/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Conway puzzle A9R0H9JANC
| URI | m2://inv/A9R0H9JANC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#60E2, Conway puzzle (problem)
History
- 2026-11-02: add by m2/dev
Robin Fourier decomposition A9R3S1DCBZ
| URI | m2://inv/A9R3S1DCBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14323#FM11, Robin Fourier decomposition (statement). In VAWEP32BEX/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Properties A9RHM8PGQ4
| URI | m2://inv/A9RHM8PGQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential dispersion model#T29U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Covering space A9RWQK3RET
| URI | m2://inv/A9RWQK3RET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#G79Y, Covering space (definition)
History
- 2026-11-02: add by m2/dev
A9RZ37R6JA A9RZ37R6JA
| URI | m2://inv/A9RZ37R6JA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#M5V4 (example). In 58D1ZC82DW/e1, example 26
History
- 2026-10-27: add by m2/v0.3.5
principle of mathematical induction A9S2EJPE8N
| URI | m2://inv/A9S2EJPE8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54500890, principle of mathematical induction (statement). Also EoM Induction_axiom, MathWorld PrincipleofMathematicalInduction, ProofWiki Principle_of_Mathematical_Induction
History
- 2026-10-26: add by m2/dev
Oriented Grassmannian A9SFNYF5NA
| URI | m2://inv/A9SFNYF5NA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grassmannian#9LUB, Oriented Grassmannian (unknown)
History
- 2026-11-02: add by m2/dev
Applications A9SV3BT88Q
| URI | m2://inv/A9SV3BT88Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler problem#8LW4, Applications (example)
History
- 2026-11-02: add by m2/dev
Zhiwei Yun A9SWQ559WM
| URI | m2://inv/A9SWQ559WM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhiwei Yun, Zhiwei Yun (topic). Also Wikidata Q8462706
History
- 2026-11-02: add by m2/dev
Examples A9T1B7094Z
| URI | m2://inv/A9T1B7094Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (graph theory)#IZ35, Examples (example)
History
- 2026-11-02: add by m2/dev
A sufficient corruption allowance A9TMC9RFW0
| URI | m2://inv/A9TMC9RFW0 |
|---|---|
| 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#9FTP, A sufficient corruption allowance (statement). In X1FPG0KYBM/e1, corollary M.8
History
- 2026-10-28: add by m2/v0.4.2
Contour line A9TMYAAF2C
| URI | m2://inv/A9TMYAAF2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XOIC, Contour line (definition)
History
- 2026-11-02: add by m2/dev
triangle inequality theorem A9TYT4V40W
| URI | m2://inv/A9TYT4V40W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Triangle inequality 03HF5PMY5T |
Mentions
- wikidata: Wikidata Q208216, triangle inequality theorem (statement). Also MathWorld TriangleInequality, nLab triangle inequality, ProofWiki Triangle_Inequality
- wikipedia: Wikipedia Triangle inequality, Triangle inequality (statement). Also Wikidata Q208216
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Notation A9V0HZ7SD9
| URI | m2://inv/A9V0HZ7SD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnorr signature#J3RW, Notation (definition)
History
- 2026-11-02: add by m2/dev
Artin's conjecture A9V2B5CYQA
| URI | m2://inv/A9V2B5CYQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley–Warning theorem#BOUR, Artin's conjecture (statement)
History
- 2026-11-02: add by m2/dev
irreducible component A9V93VS419
| URI | m2://inv/A9V93VS419 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Irreducible component SY2MWC434Z |
Mentions
- wikidata: Wikidata Q6073574, irreducible component (unknown). Also nLab irreducible component
- wikipedia: Wikipedia Irreducible component, Irreducible component (definition). Also Wikidata Q6073574
History
- 2026-10-26: add by m2/dev
A9VAG158QZ A9VAG158QZ
| URI | m2://inv/A9VAG158QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#BCIJ (statement). In WRE0P7V6Z3/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
One-part code A9VG8QFYNE
| URI | m2://inv/A9VG8QFYNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code (cryptography)#1FWX, One-part code (unknown)
History
- 2026-11-02: add by m2/dev
Two-element Boolean algebra A9VK7PND0X
| URI | m2://inv/A9VK7PND0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-element Boolean algebra, Two-element Boolean algebra (definition). Also Wikidata Q7858706
History
- 2026-11-02: add by m2/dev
Ridge regression A9VQP7F2Y4
| URI | m2://inv/A9VQP7F2Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ridge regression, Ridge regression (definition). Also Wikidata Q106091291
History
- 2026-11-02: add by m2/dev
Formula generalization A9VSPK8BB2
| URI | m2://inv/A9VSPK8BB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion–exclusion principle#FCP9, Formula generalization (statement)
History
- 2026-11-02: add by m2/dev
Matrix t-distribution A9VWMYQHJ4
| URI | m2://inv/A9VWMYQHJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix t-distribution, Matrix t-distribution (definition). Also Wikidata Q17098779
History
- 2026-11-02: add by m2/dev
A9VXNYHS9R A9VXNYHS9R
| URI | m2://inv/A9VXNYHS9R |
|---|---|
| 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.16258#YAV8 (statement). In AZ6QMVKFHD/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Eulerian coherent structure A9W06X68QY
| URI | m2://inv/A9W06X68QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian coherent structure, Eulerian coherent structure (definition). Also Wikidata Q28134413
History
- 2026-11-02: add by m2/dev
Tor functor A9WEWS0FX0
| URI | m2://inv/A9WEWS0FX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#KIJL, Tor functor (definition)
History
- 2026-11-02: add by m2/dev
A9WGNVANDH A9WGNVANDH
| URI | m2://inv/A9WGNVANDH |
|---|---|
| Kind | example |
| 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.19260#QBI3 (example). In PWXT7J9JX3/e1, example 4.11
History
- 2026-10-28: add by m2/v0.4.2
Example A9WH9P3EA9
| URI | m2://inv/A9WH9P3EA9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelly criterion#1FLN, Example (example)
History
- 2026-11-02: add by m2/dev
A9WK62X905 A9WK62X905
| URI | m2://inv/A9WK62X905 |
|---|---|
| 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#K1V8 (statement). In 7V2PVZS04C/e1, lemma 2.11
History
- 2026-10-31: add by m2/v0.5.6
A9WXKVDMD3 A9WXKVDMD3
| URI | m2://inv/A9WXKVDMD3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20915#P52W (definition). In 5M1SXP75D9/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
A9WXXZ9DCW A9WXXZ9DCW
| URI | m2://inv/A9WXXZ9DCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#3CVM (statement). In 67GE5M1GGD/e1, corollary 3.12
History
- 2026-10-30: add by m2/v0.4.12
A9WZJZV03A A9WZJZV03A
| URI | m2://inv/A9WZJZV03A |
|---|---|
| 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.33283#ZZZQ (statement). In CXPFSDMEPB/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Perron tree A9X2NBYHSF
| URI | m2://inv/A9X2NBYHSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakeya set#ADEF, Perron tree (unknown)
History
- 2026-11-02: add by m2/dev
Douglas R. White A9X4FRYYKC
| URI | m2://inv/A9X4FRYYKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U33V, Douglas R. White (unknown)
History
- 2026-11-02: add by m2/dev
Improved multicollision bound A9X9Y6KHRK
| URI | m2://inv/A9X9Y6KHRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#OH8A, Improved multicollision bound (statement). In Y7NC12TBNP/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Wigner–Yanase–Dyson conjecture A9XBWHRTYB
| URI | m2://inv/A9XBWHRTYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong subadditivity of quantum entropy#K3PY, Wigner–Yanase–Dyson conjecture (statement)
History
- 2026-11-02: add by m2/dev
Principle A9XNCY7WVW
| URI | m2://inv/A9XNCY7WVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero–one law (logic)#I7F2, Principle (statement)
History
- 2026-11-02: add by m2/dev
A9XQ2XRCMA A9XQ2XRCMA
| URI | m2://inv/A9XQ2XRCMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#BUU4 (statement). In NAM9ZMPHZ9/e1, proposition B.6
History
- 2026-10-30: add by m2/v0.4.12
Modal matrix A9XX70ZZ5N
| URI | m2://inv/A9XX70ZZ5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal matrix, Modal matrix (definition). Also Wikidata Q6888018
History
- 2026-11-02: add by m2/dev
A9Y458BSHY A9Y458BSHY
| URI | m2://inv/A9Y458BSHY |
|---|---|
| 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.08567#RB3E (statement). In CMJE9V2BJ0/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Sparsity regularization A9Y50PY4QV
| URI | m2://inv/A9Y50PY4QV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structured sparsity regularization#RUV5, Sparsity regularization (unknown)
History
- 2026-11-02: add by m2/dev
A9Y81P41E1 A9Y81P41E1
| URI | m2://inv/A9Y81P41E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#IZ6G (statement). In PF5JJ9DS8Q/e1, lemma 4.3.2
History
- 2026-10-28: add by m2/v0.4.2
General density bound A9YCQEAYBN
| URI | m2://inv/A9YCQEAYBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#EZEL, General density bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties A9YHH2NW33
| URI | m2://inv/A9YHH2NW33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harshad number#34FW, Properties (statement)
History
- 2026-11-02: add by m2/dev
A9YNHTMYST A9YNHTMYST
| URI | m2://inv/A9YNHTMYST |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#DLFI (example). In TWGMVT1N1G/e1, example 7.3
History
- 2026-10-29: add by m2/v0.4.10
A9YS1674BX A9YS1674BX
| URI | m2://inv/A9YS1674BX |
|---|---|
| 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.24363#YF6Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
A9YTGEC2CB A9YTGEC2CB
| URI | m2://inv/A9YTGEC2CB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
Yuri Gastev A9YX3PNHJC
| URI | m2://inv/A9YX3PNHJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Gastev, Yuri Gastev (topic). Also Wikidata Q4134112
History
- 2026-11-02: add by m2/dev
Brownian surface A9YXPA0JHX
| URI | m2://inv/A9YXPA0JHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian surface, Brownian surface (definition). Also Wikidata Q4976527
History
- 2026-11-02: add by m2/dev
defined over A9YYNA7ARA
| URI | m2://inv/A9YYNA7ARA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#ZLC2, defined over (definition)
History
- 2026-11-02: add by m2/dev
A9ZATR1NNB A9ZATR1NNB
| URI | m2://inv/A9ZATR1NNB |
|---|---|
| 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 2610.14267#E1YS (statement). In 9YTGFNA004/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Maximal inequality over a cover A9ZB4PRGB4
| URI | m2://inv/A9ZB4PRGB4 |
|---|---|
| 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.10080#6DQX, Maximal inequality over a cover (statement). In N6EBNRZCYX/e1, proposition A.6
History
- 2026-10-29: add by m2/v0.4.10
A9ZCWS81HJ A9ZCWS81HJ
| URI | m2://inv/A9ZCWS81HJ |
|---|---|
| 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 2509.21444#8B5S (statement). In CTVPA2FQT1/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
A9ZEMF1A3C A9ZEMF1A3C
| URI | m2://inv/A9ZEMF1A3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#GSEZ (statement). In TN93YFN45W/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
Finiteness of joint moments of $\Gamma$-shaped regions A9ZPCKBBJX
| URI | m2://inv/A9ZPCKBBJX |
|---|---|
| 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 2502.09121#O9M4, Finiteness of joint moments of $\Gamma$-shaped regions (statement). In 559PF7Q5BT/e1, proposition 19
History
- 2026-10-27: add by m2/v0.3.5
A9ZQ6R0AMP A9ZQ6R0AMP
| URI | m2://inv/A9ZQ6R0AMP |
|---|---|
| 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.13670#0723 (statement). In 4PGTZ19B26/e1, lemma 3.17
History
- 2026-10-28: add by m2/v0.4.2
A9ZRW5AJH5 A9ZRW5AJH5
| URI | m2://inv/A9ZRW5AJH5 |
|---|---|
| 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.17408#PDMY (statement). In QR8H4M1X4N/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Block cipher A9ZTZ89ED9
| URI | m2://inv/A9ZTZ89ED9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block cipher, Block cipher (definition). Also Wikidata Q543151
History
- 2026-11-02: add by m2/dev
A9ZVAMBP85 A9ZVAMBP85
| URI | m2://inv/A9ZVAMBP85 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#N9LJ (example). In X2AEJAQEP8/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
A9ZXYCEB87 A9ZXYCEB87
| URI | m2://inv/A9ZXYCEB87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#14HI (statement). In 13GSWBXPCM/e1, proposition C.11
History
- 2026-10-27: add by m2/v0.3.5