Inventory rows 2P
The cards of the rows of the inventory whose ids start with 2P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
2P03K5KYKB 2P03K5KYKB
| URI | m2://inv/2P03K5KYKB |
|---|---|
| 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.06764#MEI3 (statement). In MSWV3MJ5CE/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
2P04V2593G 2P04V2593G
| URI | m2://inv/2P04V2593G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#PSQ8 (definition). In 3PSAWXCCJ8/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Definition 2P05C5XM85
| URI | m2://inv/2P05C5XM85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinantal variety#I53G, Definition (definition)
History
- 2026-11-02: add by m2/dev
2P067EZ7MN 2P067EZ7MN
| URI | m2://inv/2P067EZ7MN |
|---|---|
| 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.06557#SQJ0 (statement). In VV5CH6Y31D/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
MMH-Badger MAC 2P06BYZQP9
| URI | m2://inv/2P06BYZQP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMH-Badger MAC, MMH-Badger MAC (definition). Also Wikidata Q6716783
History
- 2026-11-02: add by m2/dev
2P09J7QFR2 2P09J7QFR2
| URI | m2://inv/2P09J7QFR2 |
|---|---|
| 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.02756#1AMB (statement). In GCQ5YCQQHD/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
2P0CMC20QJ 2P0CMC20QJ
| URI | m2://inv/2P0CMC20QJ |
|---|---|
| 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 2609.24325#S1D1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2P0N2CPR5J 2P0N2CPR5J
| URI | m2://inv/2P0N2CPR5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31104#BINR (statement). In 67NFPNF39Y/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
2P0V9MRCDE 2P0V9MRCDE
| URI | m2://inv/2P0V9MRCDE |
|---|---|
| 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#EWP7 (statement). In WWAQEF0093/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.2
Egyptian multiplication and division 2P11V1CJD7
| URI | m2://inv/2P11V1CJD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancient Egyptian mathematics#98XB, Egyptian multiplication and division (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Farrer, 1st Baron Farrer 2P12R6YD1Z
| URI | m2://inv/2P12R6YD1Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Farrer, 1st Baron Farrer, Thomas Farrer, 1st Baron Farrer (topic). Also Wikidata Q7789533
History
- 2026-11-02: add by m2/dev
Benjamin Bramer 2P12VZGMQ8
| URI | m2://inv/2P12VZGMQ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Bramer, Benjamin Bramer (topic). Also Wikidata Q817424
History
- 2026-11-02: add by m2/dev
334 (number) 2P1GD08DB7
| URI | m2://inv/2P1GD08DB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#JPV9, 334 (number) (unknown)
History
- 2026-11-02: add by m2/dev
2P1QEGM7R0 2P1QEGM7R0
| URI | m2://inv/2P1QEGM7R0 |
|---|---|
| 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 2610.20663#I072 (statement). In AZMX0CY5NE/e1, theorem 28
History
- 2026-10-27: add by m2/v0.4.2
2P1T23J8WX 2P1T23J8WX
| URI | m2://inv/2P1T23J8WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14068#Y8FL (statement). In JF19FEH3SW/e1, theorem 9.2
History
- 2026-10-28: add by m2/v0.4.2
2P1TNV7BTP 2P1TNV7BTP
| URI | m2://inv/2P1TNV7BTP |
|---|---|
| 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.20077#KC44 (statement). In W5XRKWDADE/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.4.2
Subsonic periodic waves 2P1VWKH50N
| URI | m2://inv/2P1VWKH50N |
|---|---|
| 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.01883#IDIR, Subsonic periodic waves (statement). In CYV4P9TDV0/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Autonomous system (mathematics) 2P1ZS4Y8WG
| URI | m2://inv/2P1ZS4Y8WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#7VAK, Autonomous system (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Rosemary Renaut 2P22BKBMK6
| URI | m2://inv/2P22BKBMK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosemary Renaut, Rosemary Renaut (topic). Also Wikidata Q102165022
History
- 2026-11-02: add by m2/dev
2P27AT37QH 2P27AT37QH
| URI | m2://inv/2P27AT37QH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#BZMJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
2P297HQPYR 2P297HQPYR
| URI | m2://inv/2P297HQPYR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/foundation.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 74.2
History
- 2026-11-01: add by m2/v0.6.13
Menger space 2P29BMQ0D6
| URI | m2://inv/2P29BMQ0D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger space, Menger space (definition). Also Wikidata Q28453861
History
- 2026-11-02: add by m2/dev
2P2B4KBQQ0 2P2B4KBQQ0
| URI | m2://inv/2P2B4KBQQ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Roland Weitzenböck 2P2DE4TJ9W
| URI | m2://inv/2P2DE4TJ9W |
|---|---|
| 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#9FI3, Roland Weitzenböck (topic)
History
- 2026-11-02: add by m2/dev
Büchi's problem 2P2EBNAQ7G
| URI | m2://inv/2P2EBNAQ7G |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#EGD0, Büchi's problem (conjecture)
History
- 2026-11-02: add by m2/dev
Mixed derivatives 2P2M050DHS
| URI | m2://inv/2P2M050DHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#1DVA, Mixed derivatives (definition)
History
- 2026-11-02: add by m2/dev
$\Uc_i$ implies $\mathrel{<:_i}$ 2P2NS3P2CG
| URI | m2://inv/2P2NS3P2CG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#KR27, $\Uc_i$ implies $\mathrel{<:_i}$ (statement). In CPYWHRTPKC/e1, lemma 6.17
History
- 2026-10-27: add by m2/v0.4.2
Ian Goldberg 2P2RYR7DQB
| URI | m2://inv/2P2RYR7DQB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ian Goldberg, Ian Goldberg (topic). Also Wikidata Q3147268
History
- 2026-11-02: add by m2/dev
Neopythagoreanism 2P2W8S5ZS1
| URI | m2://inv/2P2W8S5ZS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#SD04, Neopythagoreanism (definition)
History
- 2026-11-02: add by m2/dev
Properties 2P33HEM7T7
| URI | m2://inv/2P33HEM7T7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (set theory)#P1MN, Properties (statement)
History
- 2026-11-02: add by m2/dev
2P35C8QCC8 2P35C8QCC8
| URI | m2://inv/2P35C8QCC8 |
|---|---|
| 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 2610.07741#MKJ8 (statement). In K4YV2SF9MG/e1, lemma A.8
History
- 2026-10-29: add by m2/v0.4.10
Statement 2P37RD9KZQ
| URI | m2://inv/2P37RD9KZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular value decomposition#9GUT, Statement (statement)
History
- 2026-11-02: add by m2/dev
Properties 2P3YJ869SD
| URI | m2://inv/2P3YJ869SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bivector#USQU, Properties (statement)
History
- 2026-11-02: add by m2/dev
2P44HW5V6A 2P44HW5V6A
| URI | m2://inv/2P44HW5V6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#6TS9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arto Salomaa 2P483SGWMH
| URI | m2://inv/2P483SGWMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arto Salomaa, Arto Salomaa (topic). Also Wikidata Q578300
History
- 2026-11-02: add by m2/dev
2P48ERZET0 2P48ERZET0
| URI | m2://inv/2P48ERZET0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-19 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
cap product 2P4DJV7REF
| URI | m2://inv/2P4DJV7REF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cap product N7SXBQ7WK0 |
Mentions
- wikidata: Wikidata Q5034459, cap product (unknown). Also nLab cap product
- wikipedia: Wikipedia Cap product, Cap product (definition). Also Wikidata Q5034459
History
- 2026-10-26: add by m2/dev
2P4DMQ40K2 2P4DMQ40K2
| URI | m2://inv/2P4DMQ40K2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#DY0F (example). In XNJGNMS6H0/e1, example 3.12
History
- 2026-10-28: add by m2/v0.4.2
2P4EHN8WRV 2P4EHN8WRV
| URI | m2://inv/2P4EHN8WRV |
|---|---|
| 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.05621#QZOB (statement). In ADE39RC6C0/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Quantity of matter 2P4JGJ9W27
| URI | m2://inv/2P4JGJ9W27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional analysis#CADY, Quantity of matter (unknown)
History
- 2026-11-02: add by m2/dev
2P4NJGMSSZ 2P4NJGMSSZ
| URI | m2://inv/2P4NJGMSSZ |
|---|---|
| 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.23470#E7T8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
2P4QWF3EVM 2P4QWF3EVM
| URI | m2://inv/2P4QWF3EVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#2U5B (statement). In F8RC6AENB0/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Mutation of orbifolds 2P4SREEZFD
| URI | m2://inv/2P4SREEZFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform tiling symmetry mutations#IJ7F, Mutation of orbifolds (unknown)
History
- 2026-11-02: add by m2/dev
2P4SW41VH8 2P4SW41VH8
| URI | m2://inv/2P4SW41VH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#188Z (statement). In MRR92GQNZE/e1, theorem G
History
- 2026-10-30: add by m2/v0.4.12
Box–Behnken design 2P553T2HTD
| URI | m2://inv/2P553T2HTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EYJ9, Box–Behnken design (definition)
History
- 2026-11-02: add by m2/dev
Examples 2P5E7EQER4
| URI | m2://inv/2P5E7EQER4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sexy primes#25V0, Examples (example)
History
- 2026-11-02: add by m2/dev
Atomic domain 2P5EDJ978S
| URI | m2://inv/2P5EDJ978S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic domain, Atomic domain (definition). Also Wikidata Q257414
History
- 2026-11-02: add by m2/dev
2P5GFA9MMN 2P5GFA9MMN
| URI | m2://inv/2P5GFA9MMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.01958#ZQGL (statement). In NQFYT2M6YZ/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
Erd\H{o}s, Rényi 2P5GKK28PS
| URI | m2://inv/2P5GKK28PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#J81W, Erd\H{o}s, Rényi (statement)
History
- 2026-11-01: add by m2/v0.6.15
quantum computing 2P5R7EC57X
| URI | m2://inv/2P5R7EC57X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17995793, quantum computing (unknown). Also nLab quantum computation
- wikipedia: Wikipedia Quantum computing, Quantum computing (definition). Also Wikidata Q17995793
History
- 2026-10-26: add by m2/dev
superformula 2P60RQKEJR
| URI | m2://inv/2P60RQKEJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1413738, superformula (unknown). Also MathWorld Superformula
- wikipedia: Wikipedia Superformula, Superformula (definition). Also Wikidata Q1413738
History
- 2026-10-26: add by m2/dev
Arnaud Chéritat 2P6B6TKZ6Q
| URI | m2://inv/2P6B6TKZ6Q |
|---|---|
| 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#UJYI, Arnaud Chéritat (topic)
History
- 2026-11-02: add by m2/dev
Cut-off estimate 2P6CB6DFWG
| URI | m2://inv/2P6CB6DFWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09001#OCCD, Cut-off estimate (statement). In HJC1JJZRSH/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
2P6DEK15Q8 2P6DEK15Q8
| URI | m2://inv/2P6DEK15Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#X6ZB (statement). In 6B2PCEGCYZ/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
2P6E8FNF91 2P6E8FNF91
| URI | m2://inv/2P6E8FNF91 |
|---|---|
| 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 2606.02312#BPR8 (statement). In 1SZV94R22Y/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
2P6MN9TQ5W 2P6MN9TQ5W
| URI | m2://inv/2P6MN9TQ5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#D4HU (definition). In NBMA6DBKJG/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Special cases 2P6W5GBB03
| URI | m2://inv/2P6W5GBB03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homothetic center#BDXF, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Bayes' theorem 2P73ZK75EM
| URI | m2://inv/2P73ZK75EM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Bayes#NKYD, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
One-step method 2P7AE1Y5TT
| URI | m2://inv/2P7AE1Y5TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-step method, One-step method (definition). Also Wikidata Q1308986
History
- 2026-11-02: add by m2/dev
2P7BP74Y2F 2P7BP74Y2F
| URI | m2://inv/2P7BP74Y2F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-22 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Lebesgue constant 2P7GD1KW0A
| URI | m2://inv/2P7GD1KW0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#M0GJ, Lebesgue constant (definition)
History
- 2026-11-02: add by m2/dev
Delfino Codazzi 2P7JJY4PZ6
| URI | m2://inv/2P7JJY4PZ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#TH5C, Delfino Codazzi (topic)
History
- 2026-11-02: add by m2/dev
Diana Miglioretti 2P7YWYKP7R
| URI | m2://inv/2P7YWYKP7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#DYBX, Diana Miglioretti (unknown)
History
- 2026-11-02: add by m2/dev
Mirsky–Newman theorem 2P7YXAZ4ZK
| URI | m2://inv/2P7YXAZ4ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering system#QGOY, Mirsky–Newman theorem (statement)
History
- 2026-11-02: add by m2/dev
Blackwell, David 2P7ZHE0JMD
| URI | m2://inv/2P7ZHE0JMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OQ3Y, Blackwell, David (topic)
History
- 2026-11-02: add by m2/dev
well-behaved 2P834KGQC8
| URI | m2://inv/2P834KGQC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#XIR3, well-behaved (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 2P8746YSRT
| URI | m2://inv/2P8746YSRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson's theorem#O7R3, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Open problems 2P8ETVGJZ6
| URI | m2://inv/2P8ETVGJZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit cycle#CMD5, Open problems (statement)
History
- 2026-11-02: add by m2/dev
2P8MSN7BMR 2P8MSN7BMR
| URI | m2://inv/2P8MSN7BMR |
|---|---|
| Kind | example |
| 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#9U43 (example). In RAF0BFY3Z3/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
Huzihiro Araki 2P8QQCEGND
| URI | m2://inv/2P8QQCEGND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5NPP, Huzihiro Araki (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WL4G, Huzihiro Araki (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y6DW, Huzihiro Araki (topic)
History
- 2026-11-02: add by m2/dev
2P8RA3N0W3 2P8RA3N0W3
| URI | m2://inv/2P8RA3N0W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-4 (statement). In E9HS8K3A52, theorem, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Formula translation 2P8WCQDM8D
| URI | m2://inv/2P8WCQDM8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectica interpretation#8NNG, Formula translation (statement)
History
- 2026-11-02: add by m2/dev
2P90FW5THK 2P90FW5THK
| URI | m2://inv/2P90FW5THK |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#QW8B (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
2P921SMVVW 2P921SMVVW
| URI | m2://inv/2P921SMVVW |
|---|---|
| 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.11886#TSHK (example). In T0APQY74CA/e1, example 12
History
- 2026-10-28: add by m2/v0.4.3
Likelihood principle interpretation 2P98MN2B4Q
| URI | m2://inv/2P98MN2B4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sufficient statistic#VZOI, Likelihood principle interpretation (statement)
History
- 2026-11-02: add by m2/dev
Dirac spinor field 2P9AP2S3VE
| URI | m2://inv/2P9AP2S3VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18456248, Dirac spinor field (unknown). Also nLab Dirac field
History
- 2026-10-26: add by m2/dev
2P9APXNFF8 2P9APXNFF8
| URI | m2://inv/2P9APXNFF8 |
|---|---|
| Kind | definition |
| 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 1806.00752#D32P (definition). In GGW2N4JHXM/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Prior probability distribution 2P9BNPH3W9
| URI | m2://inv/2P9BNPH3W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6FSO, Prior probability distribution (definition)
History
- 2026-11-02: add by m2/dev
2P9DRNRT4E 2P9DRNRT4E
| URI | m2://inv/2P9DRNRT4E |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02681#7256 (conjecture). In 7BBJMB97N7/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.12
Charts correspond to admissible deformations 2P9GAZ1253
| URI | m2://inv/2P9GAZ1253 |
|---|---|
| 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.00039#EHKP, Charts correspond to admissible deformations (statement). In 2YQ3WX6VSW/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
``Reversed" Hofer--Zehnder conjecture 2P9QNRNQJK
| URI | m2://inv/2P9QNRNQJK |
|---|---|
| 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#IJI0, ``Reversed" Hofer--Zehnder conjecture (statement). In 13GSWBXPCM/e1, theorem 1.13
History
- 2026-10-27: add by m2/v0.3.5
2P9WTD8FXW 2P9WTD8FXW
| URI | m2://inv/2P9WTD8FXW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#G0FI (definition). In 2QP93JHYNB/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.4.2
2P9XQ5DAGY 2P9XQ5DAGY
| URI | m2://inv/2P9XQ5DAGY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#0GOR (definition). In FK89DQ9J4S/e1, definition 6.14
History
- 2026-10-30: add by m2/v0.4.12
2PA4S83MJM 2PA4S83MJM
| URI | m2://inv/2PA4S83MJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#Z0RX (statement). In QG9ATXTKJ6/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Property 2PA5VSC73R
| URI | m2://inv/2PA5VSC73R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotypical representation#U0GB, Property (statement)
History
- 2026-11-02: add by m2/dev
2PA7BAB02H 2PA7BAB02H
| URI | m2://inv/2PA7BAB02H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#MK0U (example). In GWQP1XPM8E/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.12
Static versus Holevo threshold 2PA99ZD0D4
| URI | m2://inv/2PA99ZD0D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#HQ6E, Static versus Holevo threshold (statement). In WK0PT95WW1/e1, proposition D.2
History
- 2026-10-30: add by m2/v0.4.12
2PAFSGEQ61 2PAFSGEQ61
| URI | m2://inv/2PAFSGEQ61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#RRFY (statement). In FDYZFDHZH9/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
History of generative art 2PAGJFMSAR
| URI | m2://inv/2PAGJFMSAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generative art#OYU7, History of generative art (unknown)
History
- 2026-11-02: add by m2/dev
Ramon Llull 2PAJVCQDJW
| URI | m2://inv/2PAJVCQDJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramon Llull, Ramon Llull (topic). Also Wikidata Q193660
History
- 2026-11-02: add by m2/dev
Examples 2PAMV57V4H
| URI | m2://inv/2PAMV57V4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonally dominant matrix#FWO2, Examples (example)
History
- 2026-11-02: add by m2/dev
2PAZBQ2BZR 2PAZBQ2BZR
| URI | m2://inv/2PAZBQ2BZR |
|---|---|
| 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 2610.08594#K46U (statement). In FEE70SSD96/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
Kida 2PAZYE44GV
| URI | m2://inv/2PAZYE44GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#DXJ8, Kida (statement). In 1A01NFHBGA/e1, lemma 2.25
History
- 2026-10-28: add by m2/v0.4.3
Universe (mathematics) 2PB0VRN8HB
| URI | m2://inv/2PB0VRN8HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#WTMY, Universe (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Properties 2PB1A6P4KX
| URI | m2://inv/2PB1A6P4KX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite graph#6G8M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jonathan Lubin 2PB86YP3SV
| URI | m2://inv/2PB86YP3SV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YRFL, Jonathan Lubin (topic)
History
- 2026-11-02: add by m2/dev
2PB9GQAMF9 2PB9GQAMF9
| URI | m2://inv/2PB9GQAMF9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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.02017#JG9G (definition). In F6C80AEXC1/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
2PBCC8A0EM 2PBCC8A0EM
| URI | m2://inv/2PBCC8A0EM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#KSFU (definition). In 628KM8869P/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.10
Market risk 2PBF9V0F13
| URI | m2://inv/2PBF9V0F13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#F765, Market risk (unknown)
History
- 2026-11-02: add by m2/dev
Clifford Cocks 2PBHAJMEE6
| URI | m2://inv/2PBHAJMEE6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford Cocks, Clifford Cocks (topic). Also Wikidata Q448942
History
- 2026-11-02: add by m2/dev
Well-behaved statistic 2PBHNBKYNS
| URI | m2://inv/2PBHNBKYNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VQPI, Well-behaved statistic (definition)
History
- 2026-11-02: add by m2/dev
2PBP7ZHEYZ 2PBP7ZHEYZ
| URI | m2://inv/2PBP7ZHEYZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.20522#C9BW (definition)
History
- 2026-11-02: add by m2/v0.6.18
2PBS85EYSN 2PBS85EYSN
| URI | m2://inv/2PBS85EYSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2208.13855#GU9S (statement). In GJKRVZ5YN5/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Theta function of a lattice 2PBZFM533C
| URI | m2://inv/2PBZFM533C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta function of a lattice, Theta function of a lattice (definition). Also Wikidata Q7783550
History
- 2026-11-02: add by m2/dev
2PC0ERSTCN 2PC0ERSTCN
| URI | m2://inv/2PC0ERSTCN |
|---|---|
| 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.26318#E90A (statement)
History
- 2026-11-01: add by m2/v0.6.15
KCipher-2 2PC3Q2C1D7
| URI | m2://inv/2PC3Q2C1D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KCipher-2, KCipher-2 (definition). Also Wikidata Q17990776
History
- 2026-11-02: add by m2/dev
Lagrange inversion theorem 2PCTCZC70Y
| URI | m2://inv/2PCTCZC70Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QJ9J, Lagrange inversion theorem (statement)
History
- 2026-11-02: add by m2/dev
degree of a vertex 2PCX2DK3MD
| URI | m2://inv/2PCX2DK3MD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/degree-of-a-vertex, degree of a vertex (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Alessandra Sarti 2PD0P1NS8A
| URI | m2://inv/2PD0P1NS8A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandra Sarti, Alessandra Sarti (topic). Also Wikidata Q102355735
History
- 2026-11-02: add by m2/dev
Examples 2PD5YJFMPS
| URI | m2://inv/2PD5YJFMPS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strain-rate tensor#KYOV, Examples (example)
History
- 2026-11-02: add by m2/dev
2PD8KB0KRE 2PD8KB0KRE
| URI | m2://inv/2PD8KB0KRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#UKGH (statement). In K2MDWD9V46/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Embedding into free group factors 2PDJGMS1WR
| URI | m2://inv/2PDJGMS1WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#890E, Embedding into free group factors (statement). In MZ60NP20BH/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
2PDKRSB6HG 2PDKRSB6HG
| URI | m2://inv/2PDKRSB6HG |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#9SU7 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Mikhail Gurevich 2PDYKT44BB
| URI | m2://inv/2PDYKT44BB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#AUJ4, Mikhail Gurevich (unknown)
- wikipedia: Wikipedia List of Ukrainian Jews#R47J, Mikhail Gurevich (unknown)
History
- 2026-11-02: add by m2/dev
complete graph K10 2PEB1ZK5GH
| URI | m2://inv/2PEB1ZK5GH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131179462, complete graph K10 (unknown). Also House of Graphs 152
History
- 2026-10-26: add by m2/dev
2PEC7C59KA 2PEC7C59KA
| URI | m2://inv/2PEC7C59KA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#JHQK (example)
History
- 2026-11-02: add by m2/v0.6.18
Non-examples 2PEE5AE911
| URI | m2://inv/2PEE5AE911 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous function#FH8N, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Quenched standardized Berry--Esseen theorem for additive functionals 2PEK9PJ4BG
| URI | m2://inv/2PEK9PJ4BG |
|---|---|
| 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#OYAW, Quenched standardized Berry--Esseen theorem for additive functionals (statement). In XFE35F9NEV/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
2PEMR0CHGV 2PEMR0CHGV
| URI | m2://inv/2PEMR0CHGV |
|---|---|
| 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.10973#7RXJ (statement). In H8NGNDP0XT/e1, corollary 16
History
- 2026-10-28: add by m2/v0.4.3
3 implies 1 2PERY11XVY
| URI | m2://inv/2PERY11XVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative force#9H8U, 3 implies 1 (definition)
History
- 2026-11-02: add by m2/dev
2PEZQK24F3 2PEZQK24F3
| URI | m2://inv/2PEZQK24F3 |
|---|---|
| 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.22393#XY5Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
Set cover problem 2PF697QYS9
| URI | m2://inv/2PF697QYS9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#YQF5, Set cover problem (problem)
History
- 2026-11-02: add by m2/dev
Empirical likelihood 2PF9J5GR1T
| URI | m2://inv/2PF9J5GR1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical likelihood, Empirical likelihood (definition). Also Wikidata Q5374245
History
- 2026-11-02: add by m2/dev
Stephen Gelbart 2PFED3FD4A
| URI | m2://inv/2PFED3FD4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2344728, Stephen Gelbart (unknown). Also nLab Stephen Gelbart
- wikipedia: Wikipedia Stephen Gelbart, Stephen Gelbart (topic). Also Wikidata Q2344728
History
- 2026-10-26: add by m2/dev
2PFHYEAVNJ 2PFHYEAVNJ
| URI | m2://inv/2PFHYEAVNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#YPSF (statement)
History
- 2026-11-01: add by m2/v0.6.15
tensor algebra of a commutative ring 2PFP00GJX4
| URI | m2://inv/2PFP00GJX4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > tensor algebra of a commutative ring, tensor algebra of a commutative ring (unknown). Also Mathlib TensorAlgebra
History
- 2026-10-26: add by m2/dev
Eye of Providence 2PFT3ESXRS
| URI | m2://inv/2PFT3ESXRS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#8O2F, Eye of Providence (unknown)
History
- 2026-11-02: add by m2/dev
Simmons–Su protocols 2PFWDTY4YT
| URI | m2://inv/2PFWDTY4YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simmons–Su protocols, Simmons–Su protocols (definition). Also Wikidata Q25303675
History
- 2026-11-02: add by m2/dev
Master inequality 2PG2KBY1HG
| URI | m2://inv/2PG2KBY1HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#IMEN, Master inequality (statement)
History
- 2026-11-02: add by m2/v0.6.18
Moment bound for the cover time 2PG5EXG16S
| URI | m2://inv/2PG5EXG16S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#RUDP, Moment bound for the cover time (statement). In G3E1P350Z6/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
2PG7Q2JD3N 2PG7Q2JD3N
| URI | m2://inv/2PG7Q2JD3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#lemma-2 (statement). In RZP28ERRZV, lemma, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Critical-tail coercivity 2PGD5RF8M7
| URI | m2://inv/2PGD5RF8M7 |
|---|---|
| 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.00339#J0YK, Critical-tail coercivity (statement). In ZRG6NY1ECH/e1, lemma 46
History
- 2026-10-30: add by m2/v0.4.12
2PGJ8CBV30 2PGJ8CBV30
| URI | m2://inv/2PGJ8CBV30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#CZ81 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2PGJAX516B 2PGJAX516B
| URI | m2://inv/2PGJAX516B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#IN8Q (statement). In F3BKXXPR3K/e1, lemma D.5
History
- 2026-10-27: add by m2/v0.4.2
2PGTSX0G35 2PGTSX0G35
| URI | m2://inv/2PGTSX0G35 |
|---|---|
| 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 2207.12181#1QZD (definition). In FSD8NE3XSR/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Sequence Type 2PGW6THX4V
| URI | m2://inv/2PGW6THX4V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09998#AQRR, Sequence Type (definition). In AFMB05H7A6/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.10
Generalizations 2PGWC9DVGJ
| URI | m2://inv/2PGWC9DVGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse element#GU2Z, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Ramsey number 2PGYFWS5MC
| URI | m2://inv/2PGYFWS5MC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/11.2/ramsey-number, Ramsey number (concept). In QKM9DD2H56, index, section 11.2
History
- 2026-11-01: add by m2/v0.6.13
2PH52RP72A 2PH52RP72A
| URI | m2://inv/2PH52RP72A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#QMYY (statement)
History
- 2026-11-01: add by m2/v0.6.15
2PH56NWPGD 2PH56NWPGD
| URI | m2://inv/2PH56NWPGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#K4T3 (statement). In JXTG8KP95P/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Maximal binary rank 2PHA526KZF
| URI | m2://inv/2PHA526KZF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30203#DCCZ, Maximal binary rank (definition)
History
- 2026-11-01: add by m2/v0.6.15
BMP 2PHB3HS632
| URI | m2://inv/2PHB3HS632 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of interactive geometry software#8XMS, BMP (unknown)
History
- 2026-11-02: add by m2/dev
2PHDGFRNZ1 2PHDGFRNZ1
| URI | m2://inv/2PHDGFRNZ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
2PHKN7KX2P 2PHKN7KX2P
| URI | m2://inv/2PHKN7KX2P |
|---|---|
| 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.27046#LAPX (statement)
History
- 2026-11-01: add by m2/v0.6.15
2PHW7ESQBB 2PHW7ESQBB
| URI | m2://inv/2PHW7ESQBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#YLE7 (statement). In SN6F0MPPVF/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
Algebra representation 2PHZ8DTGAE
| URI | m2://inv/2PHZ8DTGAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#2PSU, Algebra representation (topic)
- wikipedia: Wikipedia List of abstract algebra topics#RW25, Algebra representation (topic)
History
- 2026-11-02: add by m2/dev
connectives, or 2PJ9TJ7MAV
| URI | m2://inv/2PJ9TJ7MAV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/connectives-or, connectives, or (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
∞-Yoneda embedding 2PJC30CP1Z
| URI | m2://inv/2PJC30CP1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-Yoneda lemma#EIX4, ∞-Yoneda embedding (unknown)
History
- 2026-11-02: add by m2/dev
John E. Savage 2PJDKZYH6M
| URI | m2://inv/2PJDKZYH6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#05H4, John E. Savage (unknown)
History
- 2026-11-02: add by m2/dev
2PJDTQP586 2PJDTQP586
| URI | m2://inv/2PJDTQP586 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-20 (exercise). In P1C114YBXG, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Relationship of propositions 2PJE8JJ4J3
| URI | m2://inv/2PJE8JJ4J3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraposition#ZGWT, Relationship of propositions (statement)
History
- 2026-11-02: add by m2/dev
cardinal number, inequality of 2PJES908K8
| URI | m2://inv/2PJES908K8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/cardinal-number-inequality-of, cardinal number, inequality of (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
2PJH0PANWR 2PJH0PANWR
| URI | m2://inv/2PJH0PANWR |
|---|---|
| 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 2609.24314#G3R2 (example)
History
- 2026-11-01: add by m2/v0.6.15
Dichotomy paradox 2PJH5SPF2D
| URI | m2://inv/2PJH5SPF2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeno's paradoxes#TPE3, Dichotomy paradox (statement)
History
- 2026-11-02: add by m2/dev
Pathwise uniqueness for the stopped Zakai equation 2PJR05ZG1K
| URI | m2://inv/2PJR05ZG1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#77VE, Pathwise uniqueness for the stopped Zakai equation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Krull's intersection theorem 2PJTRYW81N
| URI | m2://inv/2PJTRYW81N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Rees lemma#YK7T, Krull's intersection theorem (statement)
History
- 2026-11-02: add by m2/dev
2PJW8PVQ2D 2PJW8PVQ2D
| URI | m2://inv/2PJW8PVQ2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#CYVS (statement). In GJ7N2EWACX/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
tri-axial ellipsoid 2PJZ56VZX1
| URI | m2://inv/2PJZ56VZX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61567790, tri-axial ellipsoid (unknown). Also MathWorld TriaxialEllipsoid
History
- 2026-10-26: add by m2/dev
Canonical cospan-algebra presentation of OC process trees 2PKF9MWDAG
| URI | m2://inv/2PKF9MWDAG |
|---|---|
| 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 2609.20478#RQRX, Canonical cospan-algebra presentation of OC process trees (statement)
History
- 2026-11-02: add by m2/v0.6.18
Separable Policy 2PKN45SZVM
| URI | m2://inv/2PKN45SZVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#0TCC, Separable Policy (definition). In KVXDWX9B11/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
Numerical solutions of polynomial equations 2PM2BGGQJR
| URI | m2://inv/2PM2BGGQJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of polynomial equations#ZJOH, Numerical solutions of polynomial equations (unknown)
History
- 2026-11-02: add by m2/dev
2PM7YE7TF5 2PM7YE7TF5
| URI | m2://inv/2PM7YE7TF5 |
|---|---|
| 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.20077#KI4R (statement). In W5XRKWDADE/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.4.2
2PMD455T0Z 2PMD455T0Z
| URI | m2://inv/2PMD455T0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#eg:cofiber (example). In N54F33XE07, eg, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
network 2PMETP0CZS
| URI | m2://inv/2PMETP0CZS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.1/network, network (concept). In QKM9DD2H56, index, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
2PMGCDCTWX 2PMGCDCTWX
| URI | m2://inv/2PMGCDCTWX |
|---|---|
| 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.29943#31XM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 2PMHZGQ1HA
| URI | m2://inv/2PMHZGQ1HA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opial property#XKL1, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 2PMMPTJDSX
| URI | m2://inv/2PMMPTJDSX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schramm–Loewner evolution#DELO, Applications (example)
History
- 2026-11-02: add by m2/dev
2PMWNRREPJ 2PMWNRREPJ
| URI | m2://inv/2PMWNRREPJ |
|---|---|
| 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.33643#KYG4 (statement). In G8Y8XD02EC/e1, corollary 6.4
History
- 2026-10-30: add by m2/v0.4.12
2PMZN0KMPB 2PMZN0KMPB
| URI | m2://inv/2PMZN0KMPB |
|---|---|
| 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 2610.18094#64DY (statement). In AYANBEWSFH/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
the admissible weights for stability 2PMZYXBH6H
| URI | m2://inv/2PMZYXBH6H |
|---|---|
| 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 2610.17678#X1O6, the admissible weights for stability (statement). In V753EAWQ3S/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
spanning 2PN4W69311
| URI | m2://inv/2PN4W69311 |
|---|---|
| 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.39511#AO3U, spanning (statement). In 6W9H24A378/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Knot tabulation 2PN823R0JP
| URI | m2://inv/2PN823R0JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#U057, Knot tabulation (definition)
History
- 2026-11-02: add by m2/dev
2PNAP25G8R 2PNAP25G8R
| URI | m2://inv/2PNAP25G8R |
|---|---|
| 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 2506.21337#5IG4 (statement). In EPZN0JTG2Z/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.5
entry of a matrix 2PNBBBJ1DF
| URI | m2://inv/2PNBBBJ1DF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.2.1/entry-of-a-matrix, entry of a matrix (concept). In E9HS8K3A52, index, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
Block encoding from a purification circuit, cf. Lemma 45 in Ref. 2PNQ49EABQ
| URI | m2://inv/2PNQ49EABQ |
|---|---|
| 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.39992#8U14, Block encoding from a purification circuit, cf. Lemma 45 in Ref. (statement). In WF64CGYVK1/e1, lemma S24
History
- 2026-10-30: add by m2/v0.4.12
Definition (Extractor) 2PNQQHWRYP
| URI | m2://inv/2PNQQHWRYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#40LX, Definition (Extractor) (definition)
History
- 2026-11-02: add by m2/dev
Três Marias 2PNW36V53H
| URI | m2://inv/2PNW36V53H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HNPU, Três Marias (unknown)
History
- 2026-11-02: add by m2/dev
Alain A. Lewis 2PP2MKWM8Y
| URI | m2://inv/2PP2MKWM8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain A. Lewis, Alain A. Lewis (topic). Also Wikidata Q19863998
History
- 2026-11-02: add by m2/dev
Jiří Matoušek 2PP91NWPCJ
| URI | m2://inv/2PP91NWPCJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CAFL, Jiří Matoušek (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZH2Q, Jiří Matoušek (topic)
History
- 2026-11-02: add by m2/dev
Properties 2PPD3PGDKV
| URI | m2://inv/2PPD3PGDKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borda count#JB69, Properties (statement)
History
- 2026-11-02: add by m2/dev
Venezuelan Mathematical Association 2PPDAD9Y6F
| URI | m2://inv/2PPDAD9Y6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Venezuelan Mathematical Association, Venezuelan Mathematical Association (definition). Also Wikidata Q67201824
History
- 2026-11-02: add by m2/dev
24-cell honeycomb honeycomb 2PPGXV67SD
| URI | m2://inv/2PPGXV67SD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6MN9, 24-cell honeycomb honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
2PPHJKMZJ3 2PPHJKMZJ3
| URI | m2://inv/2PPHJKMZJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.09133#GY60 (statement). In E7BPGPP9Z5/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
Elongated dodecahedral honeycomb 2PPRNRCHHJ
| URI | m2://inv/2PPRNRCHHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated dodecahedron#CQB1, Elongated dodecahedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Itzhak Gilboa 2PQ3BZHW6M
| URI | m2://inv/2PQ3BZHW6M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itzhak Gilboa, Itzhak Gilboa (topic). Also Wikidata Q3156015
History
- 2026-11-02: add by m2/dev
2PQB0WQ1F2 2PQB0WQ1F2
| URI | m2://inv/2PQB0WQ1F2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/public-announcement-logic-semantics.tex#defn:mmodels (definition). In PKGMM3P5QY, defn, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
stereotype space 2PQCZPZ7K9
| URI | m2://inv/2PQCZPZ7K9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4442333, stereotype space (unknown). Also nLab stereotype space
History
- 2026-10-26: add by m2/dev
2PQG2PD3YK 2PQG2PD3YK
| URI | m2://inv/2PQG2PD3YK |
|---|---|
| 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 2609.24845#B82P (example)
History
- 2026-11-01: add by m2/v0.6.15
2PQGD5W0P2 2PQGD5W0P2
| URI | m2://inv/2PQGD5W0P2 |
|---|---|
| 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 2609.29759#5IA2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MA 2PR0HV4X2E
| URI | m2://inv/2PR0HV4X2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9802134#F7GT, MA (statement). In 235B1J1ETB/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
2PR9MNTMZ6 2PR9MNTMZ6
| URI | m2://inv/2PR9MNTMZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#D1ZO (statement). In CY1FE8W1ZW/e1, lemma 0.267
History
- 2026-10-27: add by m2/v0.3.5
Burnside's lemma 2PRBNKADBN
| URI | m2://inv/2PRBNKADBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#JEF4, Burnside's lemma (statement)
History
- 2026-11-02: add by m2/dev
Variants of Greibach normal form 2PREH1TARK
| URI | m2://inv/2PREH1TARK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greibach normal form#44FA, Variants of Greibach normal form (statement)
History
- 2026-11-02: add by m2/dev
2PRFSQA7SE 2PRFSQA7SE
| URI | m2://inv/2PRFSQA7SE |
|---|---|
| Kind | conjecture |
| 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.05646#COIJ (conjecture). In K7Z6TZDFYK/e1, conjecture Conjecture
History
- 2026-10-29: add by m2/v0.4.10
American Invitational Mathematics Examination 2PRQGS048G
| URI | m2://inv/2PRQGS048G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#A9DX, American Invitational Mathematics Examination (unknown)
History
- 2026-11-02: add by m2/dev
Ken Ono 2PS33Z0Y53
| URI | m2://inv/2PS33Z0Y53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#71KS, Ken Ono (unknown)
History
- 2026-11-02: add by m2/dev
Symmetric Turnover 2PS60ZXWZR
| URI | m2://inv/2PS60ZXWZR |
|---|---|
| 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 2610.12228#PDOH, Symmetric Turnover (statement). In CTQDSD0HAD/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
2PS64V7FYG 2PS64V7FYG
| URI | m2://inv/2PS64V7FYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#RJM9 (statement). In K8JMTRS42G/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Gauge (mathematics) 2PSCXYW3HF
| URI | m2://inv/2PSCXYW3HF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm (mathematics)#E3D7, Gauge (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm 2PSDPRBBJV
| URI | m2://inv/2PSDPRBBJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Legendre algorithm#WQNQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
2PSKCYFCSD 2PSKCYFCSD
| URI | m2://inv/2PSKCYFCSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#8WWA (statement). In P7KT88N75Q/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
A numerical skew-Ricci value 2PSQX9TWK0
| URI | m2://inv/2PSQX9TWK0 |
|---|---|
| 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#QEQJ, A numerical skew-Ricci value (example). In KXYGWSGP9M/e1, example 4.4
History
- 2026-10-30: add by m2/v0.4.12
2PSR2SSQQ5 2PSR2SSQQ5
| URI | m2://inv/2PSR2SSQQ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#1E9G (definition). In G02N9D40B9/e1, definition 3.2.8
History
- 2026-10-29: add by m2/v0.4.10
Elementary algebra 2PSVA5KGG7
| URI | m2://inv/2PSVA5KGG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#FLIA, Elementary algebra (definition)
History
- 2026-11-02: add by m2/dev
2PSZV5CKTR 2PSZV5CKTR
| URI | m2://inv/2PSZV5CKTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#EDWW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Heresthetic 2PT2NF6ARE
| URI | m2://inv/2PT2NF6ARE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heresthetic, Heresthetic (definition). Also Wikidata Q106610294
History
- 2026-11-02: add by m2/dev
Applications 2PT3MJ5Z8T
| URI | m2://inv/2PT3MJ5Z8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associativity equation#16W4, Applications (example)
History
- 2026-11-02: add by m2/dev
inverse limit 2PT5V88F1C
| URI | m2://inv/2PT5V88F1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Inverse limit DZB378CNCK |
Mentions
- wikidata: Wikidata Q2634828, inverse limit (unknown). Also MathWorld InverseLimit, nLab inverse limit
- wikipedia: Wikipedia Inverse limit, Inverse limit (definition). Also Wikidata Q2634828
History
- 2026-10-26: add by m2/dev
2PT6GTGV92 2PT6GTGV92
| URI | m2://inv/2PT6GTGV92 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08293#A8EK (definition). In 90A5DJG27R/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
2PT8AJ2BMB 2PT8AJ2BMB
| URI | m2://inv/2PT8AJ2BMB |
|---|---|
| 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.14582#T7GZ (statement). In 6XP6PD2XZA/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Harish-Chandra's formula 2PTCZHEP11
| URI | m2://inv/2PTCZHEP11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonal spherical function#N8QP, Harish-Chandra's formula (statement)
History
- 2026-11-02: add by m2/dev
2PTE27DNXE 2PTE27DNXE
| URI | m2://inv/2PTE27DNXE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
Rodolphe Radau 2PTSB8F4WZ
| URI | m2://inv/2PTSB8F4WZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YVE9, Rodolphe Radau (topic)
History
- 2026-11-02: add by m2/dev
Fisher's least significant difference 2PTTHZQRM5
| URI | m2://inv/2PTTHZQRM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's least significant difference, Fisher's least significant difference (definition). Also Wikidata Q138003546
History
- 2026-11-02: add by m2/dev
Law enforcement and legal proceedings 2PTVV7GN8J
| URI | m2://inv/2PTVV7GN8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic bias#8XRZ, Law enforcement and legal proceedings (statement)
History
- 2026-11-02: add by m2/dev
Sports analytics 2PV1B7JRTZ
| URI | m2://inv/2PV1B7JRTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sports analytics, Sports analytics (definition). Also Wikidata Q28403107
History
- 2026-11-02: add by m2/dev
2PVH1DV1EV 2PVH1DV1EV
| URI | m2://inv/2PVH1DV1EV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:regularbiholomorphic (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Useful formulas 2PVKKY9FKF
| URI | m2://inv/2PVKKY9FKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway triangle notation#HOLH, Useful formulas (statement)
History
- 2026-11-02: add by m2/dev
Major index 2PVPWWBGT9
| URI | m2://inv/2PVPWWBGT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#GVFV, Major index (definition)
History
- 2026-11-02: add by m2/dev
George Paxton Young 2PVWWF4YXA
| URI | m2://inv/2PVWWF4YXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Paxton Young, George Paxton Young (topic). Also Wikidata Q94883942
History
- 2026-11-02: add by m2/dev
completion, exact 2PW32467N4
| URI | m2://inv/2PW32467N4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/completion-exact, completion, exact (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
2PWGKV18VT 2PWGKV18VT
| URI | m2://inv/2PWGKV18VT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#HS2N (definition)
History
- 2026-11-02: add by m2/v0.6.18
Shirshov–Witt theorem 2PWQ8KSAJH
| URI | m2://inv/2PWQ8KSAJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7S6N, Shirshov–Witt theorem (definition)
History
- 2026-11-02: add by m2/dev
Alicia L. Carriquiry 2PWTAF415X
| URI | m2://inv/2PWTAF415X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5EHZ, Alicia L. Carriquiry (unknown)
History
- 2026-11-02: add by m2/dev
2PWZJZJWM0 2PWZJZJWM0
| URI | m2://inv/2PWZJZJWM0 |
|---|---|
| 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.36717#OH38 (statement). In 69FBWG9P3B/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
2PX4B4A83B 2PX4B4A83B
| URI | m2://inv/2PX4B4A83B |
|---|---|
| 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 2411.16655#GDP9 (statement). In EJHAXRV685/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Ethics, behavioral psychology, philosophies of identity 2PXGQ9PTFY
| URI | m2://inv/2PXGQ9PTFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchy#MESA, Ethics, behavioral psychology, philosophies of identity (statement)
History
- 2026-11-02: add by m2/dev
Run-length encoding 2PXJ5YZH1Z
| URI | m2://inv/2PXJ5YZH1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#8DW6, Run-length encoding (definition)
History
- 2026-11-02: add by m2/dev
Set theory of the real line 2PXK6W8BT0
| URI | m2://inv/2PXK6W8BT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set theory of the real line, Set theory of the real line (topic). Also Wikidata Q17142223
History
- 2026-11-02: add by m2/dev
Examples 2PXVAZZQF9
| URI | m2://inv/2PXVAZZQF9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-complementary graph#A6O2, Examples (example)
History
- 2026-11-02: add by m2/dev
Polynomial lemniscate 2PY4M3KEX9
| URI | m2://inv/2PY4M3KEX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#0G2E, Polynomial lemniscate (definition)
- wikipedia: Wikipedia List of curves#Z0UF, Polynomial lemniscate (definition)
History
- 2026-11-02: add by m2/dev
2PYC9P0VMH 2PYC9P0VMH
| URI | m2://inv/2PYC9P0VMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34613#8S8C (statement). In JPR86T9Y78/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Carl Jockusch 2PYH2GS4DK
| URI | m2://inv/2PYH2GS4DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Jockusch, Carl Jockusch (topic). Also Wikidata Q3709793
History
- 2026-11-02: add by m2/dev
2PYS344VTE 2PYS344VTE
| URI | m2://inv/2PYS344VTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#765Y (statement). In E7W2HDNEKJ/e1, theorem 5.40
History
- 2026-10-30: add by m2/v0.4.12
2PYS5J5MR5 2PYS5J5MR5
| URI | m2://inv/2PYS5J5MR5 |
|---|---|
| Kind | problem |
| 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.38493#SC0N (problem). In WTA8VGP6B1/e1, problem 31
History
- 2026-10-30: add by m2/v0.4.12
Even/odd 2PZ1AN60ZJ
| URI | m2://inv/2PZ1AN60ZJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.3493#OFT7, Even/odd (definition). In 1ARY7220P4/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
2PZ418X1HT 2PZ418X1HT
| URI | m2://inv/2PZ418X1HT |
|---|---|
| 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 2609.19945#FN3Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
solution space 2PZ4ZXFP83
| URI | m2://inv/2PZ4ZXFP83 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.1.2/solution-space, solution space (concept). In 649HGZKE96, index, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
2PZ5FVD4GA 2PZ5FVD4GA
| URI | m2://inv/2PZ5FVD4GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#CH8Q (statement). In HVGT9D84WV/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.3.5
2PZ8WBVPGD 2PZ8WBVPGD
| URI | m2://inv/2PZ8WBVPGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#DQ6Q (statement). In 986DENWM1D/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
2PZDQBXG93 2PZDQBXG93
| URI | m2://inv/2PZDQBXG93 |
|---|---|
| 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.31278#0F6R (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
Two-square cipher 2PZE81A7TR
| URI | m2://inv/2PZE81A7TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-square cipher, Two-square cipher (definition). Also Wikidata Q1124307
History
- 2026-11-02: add by m2/dev
Möbius net 2PZFN40B3R
| URI | m2://inv/2PZFN40B3R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1213332, Möbius net (concept). Also MathWorld MoebiusNet
History
- 2026-10-26: add by m2/dev
lower matching number 2PZHHN7E2Y
| URI | m2://inv/2PZHHN7E2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130493784, lower matching number (unknown). Also MathWorld LowerMatchingNumber
History
- 2026-10-26: add by m2/dev
bialgebra 2PZNAHAEYE
| URI | m2://inv/2PZNAHAEYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bialgebra Q9HHVN606G |
Mentions
- wikidata: Wikidata Q494141, bialgebra (unknown). Also nLab bialgebra
- wikipedia: Wikipedia Bialgebra, Bialgebra (definition). Also Wikidata Q494141
History
- 2026-10-26: add by m2/dev
2PZVHYXQJM 2PZVHYXQJM
| URI | m2://inv/2PZVHYXQJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#8SSB (statement). In MVSGDTN2PB/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.10
Properties 2PZX0YK302
| URI | m2://inv/2PZX0YK302 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#P88Q, Properties (statement)
History
- 2026-11-02: add by m2/dev