Inventory rows PT
The cards of the rows of the inventory whose ids start with PT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Double-residue identities PT03MYR05M
| URI | m2://inv/PT03MYR05M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#XZA5, Double-residue identities (statement). In 9S7HGSEX6Q/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
PT097R7AFM PT097R7AFM
| URI | m2://inv/PT097R7AFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#DHG2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PT09MVGWN4 PT09MVGWN4
| URI | m2://inv/PT09MVGWN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03728#12OI (statement). In NXR84SNM8F/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
PT0CVRBCV5 PT0CVRBCV5
| URI | m2://inv/PT0CVRBCV5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29723#CNUM (example)
History
- 2026-11-01: add by m2/v0.6.15
PT0FMADCP4 PT0FMADCP4
| URI | m2://inv/PT0FMADCP4 |
|---|---|
| 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#GFL8 (statement). In CY1FE8W1ZW/e1, proposition 0.91
History
- 2026-10-27: add by m2/v0.3.5
PT0X86AFKW PT0X86AFKW
| URI | m2://inv/PT0X86AFKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#J1YU (statement). In X1AGBB90EH/e1, lemma 7.25
History
- 2026-10-28: add by m2/v0.4.2
PT0XTGESBC PT0XTGESBC
| URI | m2://inv/PT0XTGESBC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-217 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Multiple factor models PT0YERBZFM
| URI | m2://inv/PT0YERBZFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple factor models, Multiple factor models (definition). Also Wikidata Q28456057
History
- 2026-11-02: add by m2/dev
Outline of category theory PT10RNTPWD
| URI | m2://inv/PT10RNTPWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of category theory, Outline of category theory (topic). Also Wikidata Q7112576
History
- 2026-11-02: add by m2/dev
Dedekind's theorem PT15HSTCP8
| URI | m2://inv/PT15HSTCP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese remainder theorem#CYGR, Dedekind's theorem (statement)
History
- 2026-11-02: add by m2/dev
Even stages PT1D0CMWW0
| URI | m2://inv/PT1D0CMWW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#15KY, Even stages (statement). In 2VQ90WEZKB/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Variants PT1E3ENK2K
| URI | m2://inv/PT1E3ENK2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of stake#ZQ0Q, Variants (statement)
History
- 2026-11-02: add by m2/dev
PT1FAHXRCR PT1FAHXRCR
| URI | m2://inv/PT1FAHXRCR |
|---|---|
| Kind | example |
| 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#6EZD (example)
History
- 2026-11-01: add by m2/v0.6.15
Geronimus, Yakov Lazarevich PT1MHMCFKY
| URI | m2://inv/PT1MHMCFKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#LR47, Geronimus, Yakov Lazarevich (unknown)
History
- 2026-11-02: add by m2/dev
Cototient PT1W9MR9FX
| URI | m2://inv/PT1W9MR9FX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#I8YZ, Cototient (unknown)
History
- 2026-11-02: add by m2/dev
Diffie–Hellman key exchange PT1WED7HN8
| URI | m2://inv/PT1WED7HN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#58OM, Diffie–Hellman key exchange (definition)
History
- 2026-11-02: add by m2/dev
Lidskii's inequality PT1Z3NE7FW
| URI | m2://inv/PT1Z3NE7FW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#YP1A, Lidskii's inequality (statement)
History
- 2026-11-02: add by m2/dev
Ferrers diagram PT22ATSSC1
| URI | m2://inv/PT22ATSSC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer partition#24SP, Ferrers diagram (unknown)
History
- 2026-11-02: add by m2/dev
Suresh Venapally PT24BAY7BQ
| URI | m2://inv/PT24BAY7BQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suresh Venapally, Suresh Venapally (topic). Also Wikidata Q7645799
History
- 2026-11-02: add by m2/dev
PT24QM1XM6 PT24QM1XM6
| URI | m2://inv/PT24QM1XM6 |
|---|---|
| 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.06466#0X53 (statement). In 6W451V3N75/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.10
Bielawski-Swann PT27BWEG9Y
| URI | m2://inv/PT27BWEG9Y |
|---|---|
| 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.24578#KZEZ, Bielawski-Swann (statement)
History
- 2026-11-01: add by m2/v0.6.15
PT29Q3GHCG PT29Q3GHCG
| URI | m2://inv/PT29Q3GHCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#88TZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Folk theorem PT2E8BHRR0
| URI | m2://inv/PT2E8BHRR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#16A0, Folk theorem (statement)
History
- 2026-11-02: add by m2/dev
Néron symbol PT2KTQQ0BH
| URI | m2://inv/PT2KTQQ0BH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#85UE, Néron symbol (definition)
History
- 2026-11-02: add by m2/dev
Insertion sort PT2MEBSCD1
| URI | m2://inv/PT2MEBSCD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Insertion sort, Insertion sort (definition). Also Wikidata Q117241
History
- 2026-11-02: add by m2/dev
Hereditary structure on almost all cap mass PT2R5AHT36
| URI | m2://inv/PT2R5AHT36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#3D9G, Hereditary structure on almost all cap mass (statement)
History
- 2026-11-01: add by m2/v0.6.15
PT2R60H236 PT2R60H236
| URI | m2://inv/PT2R60H236 |
|---|---|
| Kind | definition |
| 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 2105.13129#J5YC (definition). In J5Z1JD5VKR/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Norbert Wiener Center for Harmonic Analysis and Applications PT3BM1Q5SQ
| URI | m2://inv/PT3BM1Q5SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norbert Wiener Center for Harmonic Analysis and Applications, Norbert Wiener Center for Harmonic Analysis and Applications (definition). Also Wikidata Q7050382
History
- 2026-11-02: add by m2/dev
Properties PT3DS7KDFT
| URI | m2://inv/PT3DS7KDFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daubechies wavelet#Y141, Properties (statement)
History
- 2026-11-02: add by m2/dev
Simons' formula PT3VCYQDWD
| URI | m2://inv/PT3VCYQDWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simons' formula, Simons' formula (statement). Also Wikidata Q104865188
History
- 2026-11-02: add by m2/dev
PT3YARDJX2 PT3YARDJX2
| URI | m2://inv/PT3YARDJX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13271#F4I1 (statement). In G8ZEBKZY8M/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Michael Mann PT4115V1BV
| URI | m2://inv/PT4115V1BV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#0IRE, Michael Mann (unknown)
History
- 2026-11-02: add by m2/dev
Average Area Asymptotics in $s$ PT46J5B118
| URI | m2://inv/PT46J5B118 |
|---|---|
| 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.07671#I73L, Average Area Asymptotics in $s$ (statement). In XHHBGCVG90/e1, corollary 6.3.1
History
- 2026-10-29: add by m2/v0.4.10
List of conjectures PT47PW5BWK
| URI | m2://inv/PT47PW5BWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#FJIC, List of conjectures (topic)
- wikipedia: Wikipedia List of theorems#KWN1, List of conjectures (topic)
History
- 2026-11-02: add by m2/dev
PT49SCDCH0 PT49SCDCH0
| URI | m2://inv/PT49SCDCH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#V5DT (definition). In X88HPQ0W8C/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
PT4HCQKK79 PT4HCQKK79
| URI | m2://inv/PT4HCQKK79 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-4.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Bishop–Phelps theorem PT4RS7ZAFR
| URI | m2://inv/PT4RS7ZAFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bishop–Phelps theorem#JWV3, Bishop–Phelps theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications PT4TV8ZH32
| URI | m2://inv/PT4TV8ZH32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurtosis#DWHR, Applications (example)
History
- 2026-11-02: add by m2/dev
PT4V06EVT4 PT4V06EVT4
| URI | m2://inv/PT4V06EVT4 |
|---|---|
| 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.27518#HTU9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PT4WFBYBE8 PT4WFBYBE8
| URI | m2://inv/PT4WFBYBE8 |
|---|---|
| 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.40282#BSM6 (statement). In P86RWY99S2/e1, theorem 3.3.1
History
- 2026-10-30: add by m2/v0.4.12
Contraction of a product of depth kernels PT55FSE12J
| URI | m2://inv/PT55FSE12J |
|---|---|
| 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.14988#KJKZ, Contraction of a product of depth kernels (statement). In B29M4E6KGC/e1, lemma J.6
History
- 2026-10-28: add by m2/v0.4.2
PT57WYXTRB PT57WYXTRB
| URI | m2://inv/PT57WYXTRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#QIRU (statement). In 5E9G06XJKC/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.2
GRE Mathematics Test PT5D26MXZK
| URI | m2://inv/PT5D26MXZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GRE Mathematics Test, GRE Mathematics Test (definition). Also Wikidata Q5514444
History
- 2026-11-02: add by m2/dev
PT5JYSFE2Q PT5JYSFE2Q
| URI | m2://inv/PT5JYSFE2Q |
|---|---|
| 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.03555#GSAV (statement). In 9JZJTRRVR1/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
PT5PENE7Z6 PT5PENE7Z6
| URI | m2://inv/PT5PENE7Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#QCOX (statement). In MVWSXXCXB7/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.4.2
PT5XKJ1W5H PT5XKJ1W5H
| URI | m2://inv/PT5XKJ1W5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20469#UX5W (statement)
History
- 2026-11-02: add by m2/v0.6.18
PT65S2YMY5 PT65S2YMY5
| URI | m2://inv/PT65S2YMY5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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 2609.32916#4X38 (definition). In G1RP4JY5PE/e1, definition 2.2.4
History
- 2026-10-31: add by m2/v0.5.6
PT6CJ0PADB PT6CJ0PADB
| URI | m2://inv/PT6CJ0PADB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#3IL5 (statement). In V0MA250K2P/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
PT6ENGP3JF PT6ENGP3JF
| URI | m2://inv/PT6ENGP3JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#56HR (statement). In X47RYAZF8P/e1, lemma 10.1
History
- 2026-10-28: add by m2/v0.4.2
begging the question PT6QCPFFC3
| URI | m2://inv/PT6QCPFFC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q219429, begging the question (statement). Also ProofWiki Begging_the_Question
- wikipedia: Wikipedia Begging the question, Begging the question (definition). Also Wikidata Q219429
History
- 2026-10-26: add by m2/dev
Defects control the error PT6XB6KE1X
| URI | m2://inv/PT6XB6KE1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#SMCS, Defects control the error (statement)
History
- 2026-11-02: add by m2/v0.6.17
PT76NRK75A PT76NRK75A
| URI | m2://inv/PT76NRK75A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-5.xml#activity-2 (exercise). In 649HGZKE96, activity, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
PT7BEHRQQW PT7BEHRQQW
| URI | m2://inv/PT7BEHRQQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:hoprecat (example). In N54F33XE07, eg, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
PT7CW2ZG0N PT7CW2ZG0N
| URI | m2://inv/PT7CW2ZG0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#BFTI (statement)
History
- 2026-11-02: add by m2/v0.6.17
European Mathematical Psychology Group PT88C6XFKJ
| URI | m2://inv/PT88C6XFKJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Mathematical Psychology Group, European Mathematical Psychology Group (topic). Also Wikidata Q1376766
History
- 2026-11-02: add by m2/dev
PT8JMZD31G PT8JMZD31G
| URI | m2://inv/PT8JMZD31G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24008#Y4QX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hermite constant PT8KNV63D7
| URI | m2://inv/PT8KNV63D7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#MIMR, Hermite constant (object)
History
- 2026-11-02: add by m2/dev
George W. Myers PT8MFJG1KW
| URI | m2://inv/PT8MFJG1KW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George W. Myers, George W. Myers (topic). Also Wikidata Q5545709
History
- 2026-11-02: add by m2/dev
Generalization PT8X32VX56
| URI | m2://inv/PT8X32VX56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic space#DX38, Generalization (statement)
History
- 2026-11-02: add by m2/dev
PT92H20JCP PT92H20JCP
| URI | m2://inv/PT92H20JCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#03N3 (statement). In C87H6KZSBM/e1, proposition 1.6
History
- 2026-10-28: add by m2/v0.4.2
E. Mark Gold PT941M3SAT
| URI | m2://inv/PT941M3SAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. Mark Gold, E. Mark Gold (topic). Also Wikidata Q71332631
History
- 2026-11-02: add by m2/dev
Example PT97JJFGZW
| URI | m2://inv/PT97JJFGZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph entropy#Y8HS, Example (example)
History
- 2026-11-02: add by m2/dev
PT9J5DMY1N PT9J5DMY1N
| URI | m2://inv/PT9J5DMY1N |
|---|---|
| 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 2506.16491#PTVB (definition). In P9J6P06Y40/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
PT9JDVV1G7 PT9JDVV1G7
| URI | m2://inv/PT9JDVV1G7 |
|---|---|
| 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.26600#D8EF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Courtney, Leonard PT9JTJ4CKK
| URI | m2://inv/PT9JTJ4CKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3ER3, Courtney, Leonard (unknown)
History
- 2026-11-02: add by m2/dev
Statement PT9S65PM3P
| URI | m2://inv/PT9S65PM3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Niven theorem#48Z8, Statement (statement)
History
- 2026-11-02: add by m2/dev
PT9SGCYA0T PT9SGCYA0T
| URI | m2://inv/PT9SGCYA0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#thm:cr (statement). In PKGMM3P5QY, thm, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
Matrix representation of conic sections PTA33BXXKJ
| URI | m2://inv/PTA33BXXKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix representation of conic sections, Matrix representation of conic sections (definition). Also Wikidata Q3930282
History
- 2026-11-02: add by m2/dev
PTAD0W4WQ9 PTAD0W4WQ9
| URI | m2://inv/PTAD0W4WQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#3CPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Enumeration PTAE3SEDQ0
| URI | m2://inv/PTAE3SEDQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous relation#V5JA, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
balance puzzle PTAGPXSB61
| URI | m2://inv/PTAGPXSB61 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3823917, balance puzzle (problem). Also MathWorld Weighing
- wikipedia: Wikipedia Balance puzzle, Balance puzzle (problem). Also Wikidata Q3823917
History
- 2026-10-26: add by m2/dev
PTAM39682A PTAM39682A
| URI | m2://inv/PTAM39682A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36306#BS0C (statement). In NHQEAVMJE1/e1, theorem 12
History
- 2026-10-30: add by m2/v0.4.12
Sergei Bernstein PTAMN50PEF
| URI | m2://inv/PTAMN50PEF |
|---|---|
| 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#X37K, Sergei Bernstein (topic)
History
- 2026-11-02: add by m2/dev
PTANYY90Z4 PTANYY90Z4
| URI | m2://inv/PTANYY90Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#WXUN (statement). In 6M96RM3T7N/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.4.2
Accuracy of $T_r(\Zbar)$ PTAQYTBTPT
| URI | m2://inv/PTAQYTBTPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#1AVO, Accuracy of $T_r(\Zbar)$ (statement). In T7R1Q29DQK/e1, lemma H.3
History
- 2026-10-29: add by m2/v0.4.10
Ingrid C. Kildegaard PTAS7HJ2SK
| URI | m2://inv/PTAS7HJ2SK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#X6C4, Ingrid C. Kildegaard (topic)
History
- 2026-11-02: add by m2/dev
Examples PTAT5VNJM0
| URI | m2://inv/PTAT5VNJM0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty principle#0JO4, Examples (example)
History
- 2026-11-02: add by m2/dev
Mean-field lower bound on the plus-density PTAYTFPM5R
| URI | m2://inv/PTAYTFPM5R |
|---|---|
| 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.22301#9FHA, Mean-field lower bound on the plus-density (statement)
History
- 2026-11-02: add by m2/v0.6.17
PTAYTTS0Z6 PTAYTTS0Z6
| URI | m2://inv/PTAYTTS0Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#Z4V4 (statement). In Z7M2JSF6HA/e1, theorem 9.1
History
- 2026-10-31: add by m2/v0.5.6
Edward Teller PTAZ7WRZK5
| URI | m2://inv/PTAZ7WRZK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DX37, Edward Teller (unknown)
History
- 2026-11-02: add by m2/dev
Language equation PTB4A32J58
| URI | m2://inv/PTB4A32J58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language equation, Language equation (definition). Also Wikidata Q6486727
History
- 2026-11-02: add by m2/dev
PTB7HJQRAC PTB7HJQRAC
| URI | m2://inv/PTB7HJQRAC |
|---|---|
| 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.29205#7GEL (statement)
History
- 2026-11-01: add by m2/v0.6.15
PTB8WHD764 PTB8WHD764
| URI | m2://inv/PTB8WHD764 |
|---|---|
| Kind | statement |
| 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 2609.40028#J5JD (statement). In N8TDKGGC7S/e1, proposition 2.4
- arxiv: arXiv 2609.40029#O4X4 (statement). In 71C8YHM5A1/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
PTB9081WCW PTB9081WCW
| URI | m2://inv/PTB9081WCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#72PT (statement). In E31CZYM2H8/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Autonomous limits are self-adjoint PTBDSS5F1F
| URI | m2://inv/PTBDSS5F1F |
|---|---|
| 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.04271#TT4M, Autonomous limits are self-adjoint (statement). In WBXAW9G4JB/e1, proposition 15.3
History
- 2026-10-29: add by m2/v0.4.12
PTBN2V4HHK PTBN2V4HHK
| URI | m2://inv/PTBN2V4HHK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-61 (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
Dunkl operator PTBPXPEDEQ
| URI | m2://inv/PTBPXPEDEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dunkl operator GTVCECGH40 |
Mentions
- wikidata: Wikidata Q5315392, Dunkl operator (unknown). Also nLab Dunkl operator
- wikipedia: Wikipedia Dunkl operator, Dunkl operator (definition). Also Wikidata Q5315392
History
- 2026-10-26: add by m2/dev
PTBQDFKJ7W PTBQDFKJ7W
| URI | m2://inv/PTBQDFKJ7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#SP8T (statement). In 68AE571S4P/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
PTBSKC8HDW PTBSKC8HDW
| URI | m2://inv/PTBSKC8HDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.29399#7BKN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sensitivity analysis PTBSSMF4RG
| URI | m2://inv/PTBSSMF4RG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensitivity analysis, Sensitivity analysis (topic). Also Wikidata Q1889114
History
- 2026-11-02: add by m2/dev
B. R. Bhat PTBXD35HVQ
| URI | m2://inv/PTBXD35HVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B. R. Bhat, B. R. Bhat (topic). Also Wikidata Q4834156
History
- 2026-11-02: add by m2/dev
Time-scale desingularization PTC4V3RDF7
| URI | m2://inv/PTC4V3RDF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#CM6M, Time-scale desingularization (definition). In TZ5BMDXRQZ/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
PTC7J6T8XQ PTC7J6T8XQ
| URI | m2://inv/PTC7J6T8XQ |
|---|---|
| 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.13799#5K6K (statement). In HECT28CM5V/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Juan Luis Vázquez PTC9663FP4
| URI | m2://inv/PTC9663FP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#96SG, Juan Luis Vázquez (unknown)
History
- 2026-11-02: add by m2/dev
PTCDJ64ZHZ PTCDJ64ZHZ
| URI | m2://inv/PTCDJ64ZHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33238#6E58 (statement). In MVWXMDFP3P/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Highest-weight subspace perturbation PTCFJX7Q43
| URI | m2://inv/PTCFJX7Q43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.06742#N2PA, Highest-weight subspace perturbation (statement). In 24FJ7C8WPN/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
PTCR1GC92J PTCR1GC92J
| URI | m2://inv/PTCR1GC92J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#SS41 (statement). In XK6H7F2F13/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Definitions PTCXG7FNZA
| URI | m2://inv/PTCXG7FNZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemniscate elliptic functions#BPA3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties PTCZEV3BGS
| URI | m2://inv/PTCZEV3BGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic radiation#FRDQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
PTD0EAW55H PTD0EAW55H
| URI | m2://inv/PTD0EAW55H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#corollary-1 (statement). In P1C114YBXG, corollary, section 1
History
- 2026-11-01: add by m2/v0.6.13
Luc Devroye PTD4A90MJ5
| URI | m2://inv/PTD4A90MJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8CZ1, Luc Devroye (unknown)
History
- 2026-11-02: add by m2/dev
Application PTD4WCKW83
| URI | m2://inv/PTD4WCKW83 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent class model#AY4O, Application (example)
History
- 2026-11-02: add by m2/dev
PTD5AFDSTF PTD5AFDSTF
| URI | m2://inv/PTD5AFDSTF |
|---|---|
| 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.28597#DO0S (statement)
History
- 2026-11-01: add by m2/v0.6.15
PTD9S0CZK5 PTD9S0CZK5
| URI | m2://inv/PTD9S0CZK5 |
|---|---|
| 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.19283#MBPS (statement). In 28BAGZRCKG/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
Regularity PTDJB9CQ2V
| URI | m2://inv/PTDJB9CQ2V |
|---|---|
| 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.29185#U9R0, Regularity (statement)
History
- 2026-11-01: add by m2/v0.6.15
The American Statistician PTDNP4837R
| URI | m2://inv/PTDNP4837R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The American Statistician, The American Statistician (definition). Also Wikidata Q12212581
History
- 2026-11-02: add by m2/dev
Euler's theorem PTDR8EWZAX
| URI | m2://inv/PTDR8EWZAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#A88Q, Euler's theorem (statement)
- wikipedia: Wikipedia List of mathematical proofs#N2SH, Euler's theorem (statement)
- wikipedia: Wikipedia List of number theory topics#VA5L, Euler's theorem (statement)
History
- 2026-11-02: add by m2/dev
PTDWMJSJNR PTDWMJSJNR
| URI | m2://inv/PTDWMJSJNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#TF0Z (statement). In ZNBQD5WH1M/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Marvin Zelen PTDY1M99N5
| URI | m2://inv/PTDY1M99N5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marvin Zelen, Marvin Zelen (topic). Also Wikidata Q18575891
History
- 2026-11-02: add by m2/dev
PTDYJ5AGGJ PTDYJ5AGGJ
| URI | m2://inv/PTDYJ5AGGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#9IGU (statement). In WRE0P7V6Z3/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
PTDYTA3YMN PTDYTA3YMN
| URI | m2://inv/PTDYTA3YMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21655#SOPR (statement). In 3Q0387SH7Q/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.2
Gaps PTE0W9ZVX6
| URI | m2://inv/PTE0W9ZVX6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#H0TH, Gaps (definition). In WD2NCBV9F0/e1, definition 15.9
History
- 2026-10-27: add by m2/v0.3.5
Statement PTE13AG2M0
| URI | m2://inv/PTE13AG2M0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beilinson–Bernstein localization#3PXF, Statement (statement)
History
- 2026-11-02: add by m2/dev
Concours général PTE68DDYQK
| URI | m2://inv/PTE68DDYQK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#4N09, Concours général (unknown)
History
- 2026-11-02: add by m2/dev
PTED499H7E PTED499H7E
| URI | m2://inv/PTED499H7E |
|---|---|
| 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.31555#101K (statement). In 2GC6K487FE/e1, proposition
History
- 2026-10-31: add by m2/v0.5.6
PTEFWT839P PTEFWT839P
| URI | m2://inv/PTEFWT839P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#2SIR (statement). In K7505G10SS/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.5
PTEQAYXVNK PTEQAYXVNK
| URI | m2://inv/PTEQAYXVNK |
|---|---|
| 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.04411#3J6V (statement). In 6AY8SX3XBW/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
units PTEXNT9ANM
| URI | m2://inv/PTEXNT9ANM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#D55E, units (definition)
History
- 2026-11-02: add by m2/dev
PTF0R6A1GE PTF0R6A1GE
| URI | m2://inv/PTF0R6A1GE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.01410#WDEB (statement). In BE0P5W2W3T/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
PTF1N11ASF PTF1N11ASF
| URI | m2://inv/PTF1N11ASF |
|---|---|
| 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 2605.30679#7UZ0 (statement). In Z31GMHMG7B/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Properties PTFA28ZGYS
| URI | m2://inv/PTFA28ZGYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permanent (mathematics)#R3MI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalizations PTFEE39BZJ
| URI | m2://inv/PTFEE39BZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal power series#SMS6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
McEliece cryptosystem PTFMWKKE8P
| URI | m2://inv/PTFMWKKE8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#JUYH, McEliece cryptosystem (definition)
History
- 2026-11-02: add by m2/dev
PTFQ4GFQCZ PTFQ4GFQCZ
| URI | m2://inv/PTFQ4GFQCZ |
|---|---|
| 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.30823#JCRY (statement). In 1YHQ9YNQ68/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
MARS PTFXEP9M8P
| URI | m2://inv/PTFXEP9M8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MARS (cipher), MARS (definition). Also Wikidata Q1881198
History
- 2026-11-02: add by m2/dev
PTFYBA85PV PTFYBA85PV
| URI | m2://inv/PTFYBA85PV |
|---|---|
| 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 2212.05398#UEXK (statement). In WQKQ8438M7/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
PTFYXT9D33 PTFYXT9D33
| URI | m2://inv/PTFYXT9D33 |
|---|---|
| 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.28350#9ONC (statement)
History
- 2026-11-01: add by m2/v0.6.15
960 (number) PTFZ3QHXGY
| URI | m2://inv/PTFZ3QHXGY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#IPM9, 960 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Kendall rank correlation coefficient PTG3TQZ232
| URI | m2://inv/PTG3TQZ232 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient, Kendall rank correlation coefficient (definition). Also Wikidata Q3268404
History
- 2026-11-02: add by m2/dev
Bienias, Julia PTG82BP5ZG
| URI | m2://inv/PTG82BP5ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5DAH, Bienias, Julia (unknown)
History
- 2026-11-02: add by m2/dev
Helmut Koch PTGCQCCHDE
| URI | m2://inv/PTGCQCCHDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmut Koch, Helmut Koch (topic). Also Wikidata Q1514441
History
- 2026-11-02: add by m2/dev
PTGD2JW8DT PTGD2JW8DT
| URI | m2://inv/PTGD2JW8DT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Growth rate PTGFZP2VFQ
| URI | m2://inv/PTGFZP2VFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Growth rate (group theory), Growth rate (definition). Also Wikidata Q4139973
History
- 2026-11-02: add by m2/dev
Carleson's inequality PTGGCEA8VF
| URI | m2://inv/PTGGCEA8VF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman's inequality#JE3X, Carleson's inequality (statement)
History
- 2026-11-02: add by m2/dev
List of polygons, polyhedra and polytopes PTGQDFDD3B
| URI | m2://inv/PTGQDFDD3B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#DKU9, List of polygons, polyhedra and polytopes (topic)
- wikipedia: Wikipedia Lists of shapes#E56G, List of polygons, polyhedra and polytopes (topic)
- wikipedia: Wikipedia Lists of mathematics topics#L43G, List of polygons, polyhedra and polytopes (topic)
History
- 2026-11-02: add by m2/dev
Abate PTH33V4PFP
| URI | m2://inv/PTH33V4PFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01520#JX4F, Abate (statement). In GTZYR8QA3G/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
Peter G. Harrison PTH6EB5MFD
| URI | m2://inv/PTH6EB5MFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IQU7, Peter G. Harrison (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet eta function PTH9GCPVXX
| URI | m2://inv/PTH9GCPVXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#1TVJ, Dirichlet eta function (definition)
History
- 2026-11-02: add by m2/dev
Properties PTHAZF54FJ
| URI | m2://inv/PTHAZF54FJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual space#5J4O, Properties (statement)
History
- 2026-11-02: add by m2/dev
Number of first-stage iterations PTHCKM2JB3
| URI | m2://inv/PTHCKM2JB3 |
|---|---|
| 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.21461#NQRA, Number of first-stage iterations (statement). In DWQANBV7B7/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Horrocks construction PTHEHDSQM5
| URI | m2://inv/PTHEHDSQM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horrocks construction, Horrocks construction (definition). Also Wikidata Q16994110
History
- 2026-11-02: add by m2/dev
PTHN7WDAJE PTHN7WDAJE
| URI | m2://inv/PTHN7WDAJE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#NTHU (definition). In MG51GG0QZN/e1, definition 3.17
History
- 2026-10-27: add by m2/v0.3.5
Abel's irreducibility theorem PTHY2TDXQM
| URI | m2://inv/PTHY2TDXQM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4666518, Abel's irreducibility theorem (concept). Also MathWorld AbelsIrreducibilityTheorem
- wikipedia: Wikipedia Abel's irreducibility theorem, Abel's irreducibility theorem (statement). Also Wikidata Q4666518
History
- 2026-10-26: add by m2/dev
Examples PTJ08GM57R
| URI | m2://inv/PTJ08GM57R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary transformation (quantum mechanics)#PBIK, Examples (example)
History
- 2026-11-02: add by m2/dev
Brocard inellipse PTJ6MKB66A
| URI | m2://inv/PTJ6MKB66A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3798419, Brocard inellipse (unknown). Also MathWorld BrocardInellipse
History
- 2026-10-26: add by m2/dev
PTJ8G09SW7 PTJ8G09SW7
| URI | m2://inv/PTJ8G09SW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#608P (statement). In X3RFXWN6FW/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.6
Further examples PTJ951AS4B
| URI | m2://inv/PTJ951AS4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subobject classifier#E4P8, Further examples (example)
History
- 2026-11-02: add by m2/dev
Polygon intersection PTJ9T6GYXP
| URI | m2://inv/PTJ9T6GYXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#7284, Polygon intersection (unknown)
History
- 2026-11-02: add by m2/dev
Cartan's criterion PTJFJNMD2H
| URI | m2://inv/PTJFJNMD2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra#JDCQ, Cartan's criterion (statement)
History
- 2026-11-02: add by m2/dev
Applications of Computational Finance PTJGGWWCAE
| URI | m2://inv/PTJGGWWCAE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational finance#SWD8, Applications of Computational Finance (example)
History
- 2026-11-02: add by m2/dev
Eilenberg-MacLane graphs PTJK43HEMW
| URI | m2://inv/PTJK43HEMW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#EALY, Eilenberg-MacLane graphs (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Definition PTJMPNEAT3
| URI | m2://inv/PTJMPNEAT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted isometry property#B3QQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Comptes rendus de l'Académie des sciences PTJVXZ472C
| URI | m2://inv/PTJVXZ472C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2667573, Comptes rendus de l'Académie des sciences (unknown). Also ProofWiki Book:Journal/Comptes_rendus_de_l'Académie_des_Sciences
History
- 2026-10-26: add by m2/dev
Vladimir Dotsenko PTK805ZREJ
| URI | m2://inv/PTK805ZREJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102182923, Vladimir Dotsenko (unknown). Also nLab Vladimir S. Dotsenko
History
- 2026-10-26: add by m2/dev
Example PTKF6QPCVG
| URI | m2://inv/PTKF6QPCVG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic agility#L9NN, Example (example)
History
- 2026-11-02: add by m2/dev
Coordinate singularity PTKJ1HAE7X
| URI | m2://inv/PTKJ1HAE7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate singularity, Coordinate singularity (definition). Also Wikidata Q5168006
History
- 2026-11-02: add by m2/dev
Stephen Hilbert PTKK9YF40D
| URI | m2://inv/PTKK9YF40D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Hilbert, Stephen Hilbert (topic). Also Wikidata Q3498571
History
- 2026-11-02: add by m2/dev
Examples PTKKNP0EGF
| URI | m2://inv/PTKKNP0EGF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar measure#N9JB, Examples (example)
History
- 2026-11-02: add by m2/dev
PTKMCFK49T PTKMCFK49T
| URI | m2://inv/PTKMCFK49T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#UCG7 (example). In RPC7VG3KHQ/e1, example 5.3
History
- 2026-10-30: add by m2/v0.4.12
PTKQ6DEAW3 PTKQ6DEAW3
| URI | m2://inv/PTKQ6DEAW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21305#NHKN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Correlation inequality PTKZ17QJ17
| URI | m2://inv/PTKZ17QJ17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SPWC, Correlation inequality (statement)
History
- 2026-11-02: add by m2/dev
Euler's formula PTM5TWY3QB
| URI | m2://inv/PTM5TWY3QB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar graph#OGXV, Euler's formula (statement)
History
- 2026-11-02: add by m2/dev
Projective diameter PTM804PBYF
| URI | m2://inv/PTM804PBYF |
|---|---|
| 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.04264#NJ9U, Projective diameter (definition). In 5YRJ4HGY4N/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
quantifier shift fallacy PTMGDGTF74
| URI | m2://inv/PTMGDGTF74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8L4O, quantifier shift fallacy (definition)
History
- 2026-11-02: add by m2/dev
Algebraic geometry codes PTMH6EKFP2
| URI | m2://inv/PTMH6EKFP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#LEJI, Algebraic geometry codes (definition)
History
- 2026-11-02: add by m2/dev
PTMJHW1E1D PTMJHW1E1D
| URI | m2://inv/PTMJHW1E1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12053#MTGS (statement). In MQ226ETRP6/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.3
Dirichlet convolution PTMY4211KY
| URI | m2://inv/PTMY4211KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#06JW, Dirichlet convolution (definition)
History
- 2026-11-02: add by m2/dev
Richard Rado PTMZX5STH1
| URI | m2://inv/PTMZX5STH1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Rado, Richard Rado (topic). Also Wikidata Q77515
History
- 2026-11-02: add by m2/dev
Artin approximation theorem PTN6AAABGA
| URI | m2://inv/PTN6AAABGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4801169, Artin approximation theorem (statement). Also Wikidata Q4801169
- thousand_plus: thousand_plus Q4801169, Artin approximation theorem (statement). Also Wikidata Q4801169, Wikipedia Artin approximation theorem
- wikipedia: Wikipedia Artin approximation theorem, Artin approximation theorem (statement). Also Wikidata Q4801169
History
- 2026-10-26: add by m2/dev
Explicit Solution of the Sandpile Gambler's Ruin PTND1Q99YG
| URI | m2://inv/PTND1Q99YG |
|---|---|
| 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 2603.16304#GOWA, Explicit Solution of the Sandpile Gambler's Ruin (statement). In NEGP0YBA3C/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
S transform PTP3ENQ58M
| URI | m2://inv/PTP3ENQ58M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S transform, S transform (definition). Also Wikidata Q7395403
History
- 2026-11-02: add by m2/dev
Uses PTP44BXEAR
| URI | m2://inv/PTP44BXEAR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#OY7O, Uses (example)
History
- 2026-11-02: add by m2/dev
PTP91NBPHX PTP91NBPHX
| URI | m2://inv/PTP91NBPHX |
|---|---|
| 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.23803#21I4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Modulus PTPE16PKJH
| URI | m2://inv/PTPE16PKJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus (algebraic number theory), Modulus (definition). Also Wikidata Q6889814
History
- 2026-11-02: add by m2/dev
PTPE3XM5EH PTPE3XM5EH
| URI | m2://inv/PTPE3XM5EH |
|---|---|
| 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 2607.00323#KVC3 (example). In BPRFEQY7W4/e1, example 4.4
History
- 2026-10-27: add by m2/v0.3.6
Theorem 3.1 , Theorem 1 PTPGCM319Q
| URI | m2://inv/PTPGCM319Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#N13V, Theorem 3.1 , Theorem 1 (statement). In 9YR0E0T9XA/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Hadamard manifold PTPHMAWDE6
| URI | m2://inv/PTPHMAWDE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard manifold, Hadamard manifold (definition). Also Wikidata Q3554817
History
- 2026-11-02: add by m2/dev
pure set theory PTPQT5PB8K
| URI | m2://inv/PTPQT5PB8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#JXGD, pure set theory (definition)
History
- 2026-11-02: add by m2/dev
PTPWRQTC07 PTPWRQTC07
| URI | m2://inv/PTPWRQTC07 |
|---|---|
| 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.18600#8IRK (statement). In 31D6TQVCNZ/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
PTQ0J1GFZN PTQ0J1GFZN
| URI | m2://inv/PTQ0J1GFZN |
|---|---|
| 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.08766#1ZL8 (statement). In QA4JM9SHPA/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
PTQ1JN842Q PTQ1JN842Q
| URI | m2://inv/PTQ1JN842Q |
|---|---|
| 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.06785#X5DJ (statement). In PG6AEWX25E/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Applications PTQ2X3ZQA0
| URI | m2://inv/PTQ2X3ZQA0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer automorphism group#3UTV, Applications (example)
History
- 2026-11-02: add by m2/dev
Climatology PTQ8CAW04Z
| URI | m2://inv/PTQ8CAW04Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#ZIAF, Climatology (unknown)
History
- 2026-11-02: add by m2/dev
Pretzel link PTQ99ANJAM
| URI | m2://inv/PTQ99ANJAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#SJDN, Pretzel link (definition)
History
- 2026-11-02: add by m2/dev
PTQA0V1KCR PTQA0V1KCR
| URI | m2://inv/PTQA0V1KCR |
|---|---|
| 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.33185#SS89 (statement). In QX30H2WNA7/e1, theorem 9.1
History
- 2026-10-30: add by m2/v0.4.12
Crossing number PTQAEQ8NVH
| URI | m2://inv/PTQAEQ8NVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing number (knot theory), Crossing number (definition). Also Wikidata Q2548661
History
- 2026-11-02: add by m2/dev
PTQB15CQZA PTQB15CQZA
| URI | m2://inv/PTQB15CQZA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-2 (example). In Y91XFCEVHQ, example, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Ludwig Schlesinger PTQCHKG3VD
| URI | m2://inv/PTQCHKG3VD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Schlesinger, Ludwig Schlesinger (topic). Also Wikidata Q72104
History
- 2026-11-02: add by m2/dev
PTQCQ6TVFV PTQCQ6TVFV
| URI | m2://inv/PTQCQ6TVFV |
|---|---|
| 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 2011.06637#UGO9 (statement). In KFCJ5CFP3G/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Wealth and religion PTQCTTNWPV
| URI | m2://inv/PTQCTTNWPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wealth and religion, Wealth and religion (definition). Also Wikidata Q7978027
History
- 2026-11-02: add by m2/dev
Thomas Francis Banchoff PTQFR9Y5HW
| URI | m2://inv/PTQFR9Y5HW |
|---|---|
| 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#2VAE, Thomas Francis Banchoff (topic)
History
- 2026-11-02: add by m2/dev
PTQPA0KZKK PTQPA0KZKK
| URI | m2://inv/PTQPA0KZKK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#LE4Q (definition). In 1R7H0ZAHWA/e1, definition 3.7
History
- 2026-10-28: add by m2/v0.4.2
homomorphism PTQWVC3SJ7
| URI | m2://inv/PTQWVC3SJ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homomorphism KBXSZC6BV1 |
Mentions
- wikidata: Wikidata Q215111, homomorphism (concept). Also EoM Homomorphism, MathWorld Homomorphism, nLab homomorphism, ProofWiki Definition:Homomorphism_(Abstract_Algebra)
- wikipedia: Wikipedia Homomorphism, Homomorphism (definition). Also Wikidata Q215111
History
- 2026-10-26: add by m2/dev
Definition PTQX48KEK1
| URI | m2://inv/PTQX48KEK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trembling hand perfect equilibrium#Q98R, Definition (definition)
History
- 2026-11-02: add by m2/dev
PTRC73NGGF PTRC73NGGF
| URI | m2://inv/PTRC73NGGF |
|---|---|
| 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.03358#0EP3 (definition). In KCXEY7HJ8V/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Audio watermark PTRGKXNS64
| URI | m2://inv/PTRGKXNS64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#PLAI, Audio watermark (unknown)
History
- 2026-11-02: add by m2/dev
Other identities called the "law of cotangents" PTRHJNSHV2
| URI | m2://inv/PTRHJNSHV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of cotangents#XKQC, Other identities called the "law of cotangents" (statement)
History
- 2026-11-02: add by m2/dev
Frank Deutsch PTRSVSYT7T
| URI | m2://inv/PTRSVSYT7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Deutsch, Frank Deutsch (topic). Also Wikidata Q16104424
History
- 2026-11-02: add by m2/dev
MIT Department of Mathematics PTRT4468CP
| URI | m2://inv/PTRT4468CP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MIT Department of Mathematics, MIT Department of Mathematics (topic). Also Wikidata Q6716303
History
- 2026-11-02: add by m2/dev
PTRVBCEEBB PTRVBCEEBB
| URI | m2://inv/PTRVBCEEBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#6F66 (statement). In 793KXAR957/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
The Layer and the Gap PTS4XH0094
| URI | m2://inv/PTS4XH0094 |
|---|---|
| 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.13222#QOLX, The Layer and the Gap (statement). In Z6WA2R0J50/e1, corollary 2.32
History
- 2026-10-28: add by m2/v0.4.2
PTS80PXZGD PTS80PXZGD
| URI | m2://inv/PTS80PXZGD |
|---|---|
| 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.15528#ZKHE (statement). In G9GEE64N32/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
PTSCJJM6GK PTSCJJM6GK
| URI | m2://inv/PTSCJJM6GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#84XM (statement). In Q39BEKW6D9/e1, corollary 2.18
History
- 2026-10-29: add by m2/v0.4.10
Construction PTSEYKT744
| URI | m2://inv/PTSEYKT744 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karnaugh map#67B6, Construction (definition)
History
- 2026-11-02: add by m2/dev
Tanh-sinh quadrature PTSF4PB63Q
| URI | m2://inv/PTSF4PB63Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tanh-sinh quadrature X4EXEGM2BV |
Mentions
- wikidata: Wikidata Q7683194, Tanh-sinh quadrature (concept). Also MathWorld Tanh-SinhQuadrature
- wikipedia: Wikipedia Tanh-sinh quadrature, Tanh-sinh quadrature (definition). Also Wikidata Q7683194
History
- 2026-10-26: add by m2/dev
Precalculus PTSHFW3KMS
| URI | m2://inv/PTSHFW3KMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DREM, Precalculus (definition)
History
- 2026-11-02: add by m2/dev
PTSNBN9563 PTSNBN9563
| URI | m2://inv/PTSNBN9563 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#ZUAH (statement). In 2PP4XRVS0J/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.4.2
No-three-in-line problem PTSNQB65MX
| URI | m2://inv/PTSNQB65MX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#YTG7, No-three-in-line problem (conjecture)
History
- 2026-11-02: add by m2/dev
Sweedler notation PTSSGSWCHB
| URI | m2://inv/PTSSGSWCHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91592841, Sweedler notation (unknown). Also nLab Sweedler notation
History
- 2026-10-26: add by m2/dev
Warnsdorff's rule PTT4ARVQ22
| URI | m2://inv/PTT4ARVQ22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5O88, Warnsdorff's rule (definition)
History
- 2026-11-02: add by m2/dev
PTTABM00BT PTTABM00BT
| URI | m2://inv/PTTABM00BT |
|---|---|
| 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.12014#HMKB (statement). In DR7BK4CQ0V/e1, lemma 3.23
History
- 2026-10-28: add by m2/v0.4.3
PTTF6PRAKH PTTF6PRAKH
| URI | m2://inv/PTTF6PRAKH |
|---|---|
| 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 2211.14214#DAE2 (statement). In SY85Y9E45A/e1, theorem 55
History
- 2026-10-27: add by m2/v0.3.5
Product-corner envelope for higher face increments PTTHVW1NH6
| URI | m2://inv/PTTHVW1NH6 |
|---|---|
| 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 2609.29658#Y0PW, Product-corner envelope for higher face increments (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carmen L. Rivera-Medina PTTMFKHPQQ
| URI | m2://inv/PTTMFKHPQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmen L. Rivera-Medina, Carmen L. Rivera-Medina (topic). Also Wikidata Q65969896
History
- 2026-11-02: add by m2/dev
Propensity score PTTY4NT6BR
| URI | m2://inv/PTTY4NT6BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L8KP, Propensity score (definition)
History
- 2026-11-02: add by m2/dev
PTTZKYKQRH PTTZKYKQRH
| URI | m2://inv/PTTZKYKQRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.08190#AKPS (statement). In AC1NA254DB/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
Easy PTV223KJ1Y
| URI | m2://inv/PTV223KJ1Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-83, Easy (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Properties PTV35FZHHK
| URI | m2://inv/PTV35FZHHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Googol#HD5Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
PTV3JM5M16 PTV3JM5M16
| URI | m2://inv/PTV3JM5M16 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
Linda Cummings PTVJGW6RFH
| URI | m2://inv/PTVJGW6RFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Cummings, Linda Cummings (topic). Also Wikidata Q100996041
History
- 2026-11-02: add by m2/dev
Generalizations PTVKDCDH4P
| URI | m2://inv/PTVKDCDH4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isserlis's theorem#2IHQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Frigyes Riesz PTVM9V28HJ
| URI | m2://inv/PTVM9V28HJ |
|---|---|
| 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 Q380366, Frigyes Riesz (unknown). Also nLab Frigyes Riesz
- wikipedia: Wikipedia Frigyes Riesz, Frigyes Riesz (topic). Also Wikidata Q380366
History
- 2026-10-26: add by m2/dev
Examples PTVNCSPHV7
| URI | m2://inv/PTVNCSPHV7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuss–Catalan number#N41S, Examples (example)
History
- 2026-11-02: add by m2/dev
PTVNRB22QW PTVNRB22QW
| URI | m2://inv/PTVNRB22QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#PCA1 (statement). In JQFPH09JG8/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Creative telescoping PTW03DTYS7
| URI | m2://inv/PTW03DTYS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#VTYL, Creative telescoping (statement). In 59BZ4V9RQW/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
PTWDXPEXH6 PTWDXPEXH6
| URI | m2://inv/PTWDXPEXH6 |
|---|---|
| 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-29 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
PTWHRERAQ6 PTWHRERAQ6
| URI | m2://inv/PTWHRERAQ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Boundary crossing for unequal domains PTWJXX2ERK
| URI | m2://inv/PTWJXX2ERK |
|---|---|
| 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.08011#HKMG, Boundary crossing for unequal domains (statement). In K0BXT951HT/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
Closing signs of the product circles PTWQ2Y06NP
| URI | m2://inv/PTWQ2Y06NP |
|---|---|
| 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.29839#SZOT, Closing signs of the product circles (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions PTWQ77CR3Y
| URI | m2://inv/PTWQ77CR3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad algebra#HADQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Pierre-Simon Laplace PTWRCV643Z
| URI | m2://inv/PTWRCV643Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#MV4S, List of things named after Pierre-Simon Laplace (unknown)
History
- 2026-11-02: add by m2/dev
automorphism, fixed-point-free PTWSJQ2SRX
| URI | m2://inv/PTWSJQ2SRX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.2/automorphism-fixed-point-free, automorphism, fixed-point-free (concept). In N54F33XE07, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
PTWX8VSHXS PTWX8VSHXS
| URI | m2://inv/PTWX8VSHXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#CVBN (statement). In PHXJ87HKYB/e1, corollary 3.7
History
- 2026-10-31: add by m2/v0.5.6
Frequency-localized Strichartz estimates PTX03MAZEN
| URI | m2://inv/PTX03MAZEN |
|---|---|
| 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 2508.08809#761D, Frequency-localized Strichartz estimates (statement). In X5NX1YEABW/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
PTX2P39XKP PTX2P39XKP
| URI | m2://inv/PTX2P39XKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22374#QZR1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
PTX9DAAT6Q PTX9DAAT6Q
| URI | m2://inv/PTX9DAAT6Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#6NU4 (example). In VNN52G3BRE/e1, example 1.3
History
- 2026-10-28: add by m2/v0.4.2
Asahi illusion PTX9N6N13J
| URI | m2://inv/PTX9N6N13J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asahi illusion, Asahi illusion (definition). Also Wikidata Q124037975
History
- 2026-11-02: add by m2/dev
Dirichlet's approximation theorem PTXAQHJ7PV
| URI | m2://inv/PTXAQHJ7PV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Dirichlet's approximation theorem 04JAY9DGB7 |
Mentions
- mathlib_1000: mathlib_1000 Q1227703, Dirichlet's approximation theorem (statement). Also Mathlib AddCircle.exists_norm_nsmul_le, Mathlib Real.exists_int_int_abs_mul_sub_le, Mathlib Real.exists_nat_abs_mul_sub_round_le, Mathlib Real.exists_rat_abs_sub_le_and_den_le, Wikidata Q1227703
- thousand_plus: thousand_plus Q1227703, Dirichlet's approximation theorem (statement). Also Mathlib AddCircle.exists_norm_nsmul_le, Mathlib Real.exists_int_int_abs_mul_sub_le, Mathlib Real.exists_nat_abs_mul_sub_round_le, Mathlib Real.exists_rat_abs_sub_le_and_den_le, Wikidata Q1227703, Wikipedia Dirichlet's approximation theorem
- wikipedia: Wikipedia Dirichlet's approximation theorem, Dirichlet's approximation theorem (statement). Also Wikidata Q1227703
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
PTXB2X5NGJ PTXB2X5NGJ
| URI | m2://inv/PTXB2X5NGJ |
|---|---|
| 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 2212.05398#C7ES (statement). In WQKQ8438M7/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Differential operator PTXFRPYT49
| URI | m2://inv/PTXFRPYT49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#DJCH, Differential operator (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#YGVK, Differential operator (definition)
History
- 2026-11-02: add by m2/dev
Definitions PTXJSWBMS0
| URI | m2://inv/PTXJSWBMS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler manifold#LFLI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
PTXNHDE2RA PTXNHDE2RA
| URI | m2://inv/PTXNHDE2RA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#SL9N (statement)
History
- 2026-11-02: add by m2/v0.6.18
PTYEAD7Q7T PTYEAD7Q7T
| URI | m2://inv/PTYEAD7Q7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#KIR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
partial differential equation PTYFXNF4GT
| URI | m2://inv/PTYFXNF4GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 2 |
| Outcome | open |
| Node | Partial differential equation GC5BDZ6QBC |
Mentions
- wikidata: Wikidata Q271977, partial differential equation (topic). Also EoM Differential_equation,_partial, MathWorld PartialDifferentialEquation, ProofWiki Definition:Differential_Equation/Partial
- wikipedia: Wikipedia Partial differential equation, Partial differential equation (definition). Also Wikidata Q271977
History
- 2026-10-26: add by m2/dev
Lehmann–Scheffé theorem PTYKBSVSXF
| URI | m2://inv/PTYKBSVSXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness (statistics)#QCYW, Lehmann–Scheffé theorem (statement)
History
- 2026-11-02: add by m2/dev
Dyadic interval PTYKYE0S3Z
| URI | m2://inv/PTYKYE0S3Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval (mathematics)#WNLP, Dyadic interval (unknown)
History
- 2026-11-02: add by m2/dev
PTYQ11JFRX PTYQ11JFRX
| URI | m2://inv/PTYQ11JFRX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-1.xml#ula-preview-4-1 (exercise). In 649HGZKE96, exploration, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
PTYQPT5JX7 PTYQPT5JX7
| URI | m2://inv/PTYQPT5JX7 |
|---|---|
| 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#PNU3 (statement). In 235B1J1ETB/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
PTZ31XBF4B PTZ31XBF4B
| URI | m2://inv/PTZ31XBF4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#85OW (statement). In Y8XQT02BBF/e1, proposition 2.40
History
- 2026-10-28: add by m2/v0.4.2
Capacitated minimum spanning tree PTZ3FAPH9Z
| URI | m2://inv/PTZ3FAPH9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capacitated minimum spanning tree, Capacitated minimum spanning tree (definition). Also Wikidata Q5034477
History
- 2026-11-02: add by m2/dev
PTZ4MBE8KQ PTZ4MBE8KQ
| URI | m2://inv/PTZ4MBE8KQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_relations.ptx#proposition-1 (statement). In QKM9DD2H56, proposition, section B.4
History
- 2026-11-01: add by m2/v0.6.13
PTZQAK2X5H PTZQAK2X5H
| URI | m2://inv/PTZQAK2X5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#definition-4 (definition). In RZP28ERRZV, definition, section 37.6
History
- 2026-11-01: add by m2/v0.6.13
real root PTZRKG46V6
| URI | m2://inv/PTZRKG46V6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141332768, real root (unknown). Also MathWorld RealRoot
History
- 2026-10-26: add by m2/dev
PTZV3XK1ZN PTZV3XK1ZN
| URI | m2://inv/PTZV3XK1ZN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#FCF0 (definition)
History
- 2026-11-02: add by m2/v0.6.18
PTZVMXZ486 PTZVMXZ486
| URI | m2://inv/PTZVMXZ486 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-2 (proof). In E59CDZA4DP, proof, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
PTZYVH6E98 PTZYVH6E98
| URI | m2://inv/PTZYVH6E98 |
|---|---|
| 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.31220#QY7O (statement). In JMWCGMNE84/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
PTZYW1ADSE PTZYW1ADSE
| URI | m2://inv/PTZYW1ADSE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:reals-apart-neq-MP (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Henrik Selberg PTZZ5509Y6
| URI | m2://inv/PTZZ5509Y6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henrik Selberg, Henrik Selberg (topic). Also Wikidata Q5716523
History
- 2026-11-02: add by m2/dev