Inventory rows 1W
The cards of the rows of the inventory whose ids start with 1W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Talbot effect 1W01D0ZH87
| URI | m2://inv/1W01D0ZH87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Talbot effect, Talbot effect (definition). Also Wikidata Q180622
History
- 2026-11-02: add by m2/dev
1W06ZJBJ3X 1W06ZJBJ3X
| URI | m2://inv/1W06ZJBJ3X |
|---|---|
| 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.12353#7Q1F (statement). In 7TSXNR7TC5/e1, proposition II.3
History
- 2026-10-28: add by m2/v0.4.2
1W07M5M76H 1W07M5M76H
| URI | m2://inv/1W07M5M76H |
|---|---|
| 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.36444#XMJM (statement). In 4DJE72VPJP/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
1W0D2339NM 1W0D2339NM
| URI | m2://inv/1W0D2339NM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#V58G (example). In KFCJ5CFP3G/e1, example 5.9
History
- 2026-10-27: add by m2/v0.3.5
XTR 1W0MD2XKCC
| URI | m2://inv/1W0MD2XKCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR, XTR (definition). Also Wikidata Q2053930
History
- 2026-11-02: add by m2/dev
Trace bound 1W0MH7RVT3
| URI | m2://inv/1W0MH7RVT3 |
|---|---|
| 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.22927#ARS0, Trace bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Upper bound under trial heterogeneity 1W0MMJSYNQ
| URI | m2://inv/1W0MMJSYNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04135#S65T, Upper bound under trial heterogeneity (statement). In 587PWJ6W5D/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
1W0MSG5X3Y 1W0MSG5X3Y
| URI | m2://inv/1W0MSG5X3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#P4VO (statement). In HXFA55BREZ/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
1W0PR2HWA6 1W0PR2HWA6
| URI | m2://inv/1W0PR2HWA6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 39.4
History
- 2026-11-01: add by m2/v0.6.13
Henkin's theorem 1W0S1FBYH1
| URI | m2://inv/1W0S1FBYH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistency#LS5R, Henkin's theorem (statement)
History
- 2026-11-02: add by m2/dev
1W23B9130Q 1W23B9130Q
| URI | m2://inv/1W23B9130Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13954#1Y9M (statement). In 5J7XTBQN85/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
1W2B3D8N99 1W2B3D8N99
| URI | m2://inv/1W2B3D8N99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#BL4W (statement). In QD0X3XJS6T/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Kurt Gödel 1W311Y62RW
| URI | m2://inv/1W311Y62RW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#A00B, Kurt Gödel (topic)
History
- 2026-11-02: add by m2/dev
Julian J. Bussgang 1W32DFSFCQ
| URI | m2://inv/1W32DFSFCQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian J. Bussgang, Julian J. Bussgang (topic). Also Wikidata Q26924817
History
- 2026-11-02: add by m2/dev
Corrected trichotomy at halting 1W32Z1D9ZR
| URI | m2://inv/1W32Z1D9ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#W1WY, Corrected trichotomy at halting (statement)
History
- 2026-11-01: add by m2/v0.6.15
1W33DZ08S5 1W33DZ08S5
| URI | m2://inv/1W33DZ08S5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#OUD1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Dirichlet form comparison 1W374FGHN1
| URI | m2://inv/1W374FGHN1 |
|---|---|
| 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.09522#OONP, Dirichlet form comparison (statement). In KKR9167FPT/e1, proposition 31
History
- 2026-10-29: add by m2/v0.4.10
1W3ANHV0GY 1W3ANHV0GY
| URI | m2://inv/1W3ANHV0GY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#LVYG (definition). In TJH58FRGEN/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
1W4BQKQ8JH 1W4BQKQ8JH
| URI | m2://inv/1W4BQKQ8JH |
|---|---|
| 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.09390#Q67M (statement). In 7SSKW778T8/e1, lemma 2.28
History
- 2026-10-29: add by m2/v0.4.10
$A$-sweep 1W4D1A1WNR
| URI | m2://inv/1W4D1A1WNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#2S7G, $A$-sweep (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pseudorandomness 1W4DSAPJN6
| URI | m2://inv/1W4DSAPJN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandomness, Pseudorandomness (definition). Also Wikidata Q2115856
History
- 2026-11-02: add by m2/dev
1W4EMEQY16 1W4EMEQY16
| URI | m2://inv/1W4EMEQY16 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#UGDZ (statement). In JS5FKV1S9T/e1, lemma F.2
History
- 2026-10-27: add by m2/v0.3.5
Jucys–Murphy element 1W4PH50GPZ
| URI | m2://inv/1W4PH50GPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#QPWW, Jucys–Murphy element (definition)
History
- 2026-11-02: add by m2/dev
Hyperbolic group 1W4T4ZN145
| URI | m2://inv/1W4T4ZN145 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic group, Hyperbolic group (definition). Also Wikidata Q81194
History
- 2026-11-02: add by m2/dev
1W4YGX2EM3 1W4YGX2EM3
| URI | m2://inv/1W4YGX2EM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#H7ON (statement). In SXTX59QBVT/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
1W51F7CDQY 1W51F7CDQY
| URI | m2://inv/1W51F7CDQY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#FTPR (definition). In ZA6XNBA90V/e1, definition 3.20
History
- 2026-10-27: add by m2/v0.3.5
Uses 1W55APXQ79
| URI | m2://inv/1W55APXQ79 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Public key infrastructure#SFYQ, Uses (example)
History
- 2026-11-02: add by m2/dev
1W583XRNXC 1W583XRNXC
| URI | m2://inv/1W583XRNXC |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#MV38 (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Babinet's principle in radiofrequency structures 1W5843PHMY
| URI | m2://inv/1W5843PHMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babinet's principle#89QZ, Babinet's principle in radiofrequency structures (statement)
History
- 2026-11-02: add by m2/dev
Weyl's inequality 1W5D4CEX5M
| URI | m2://inv/1W5D4CEX5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's inequality (number theory), Weyl's inequality (statement). Also Wikidata Q110692590
History
- 2026-11-02: add by m2/dev
Monadic Boolean algebra 1W5HFN988A
| URI | m2://inv/1W5HFN988A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#T8WX, Monadic Boolean algebra (definition)
History
- 2026-11-02: add by m2/dev
1W5PNSSPCX 1W5PNSSPCX
| URI | m2://inv/1W5PNSSPCX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#P3T3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Marie Litzinger 1W5QZV90P8
| URI | m2://inv/1W5QZV90P8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Litzinger, Marie Litzinger (topic). Also Wikidata Q22018860
History
- 2026-11-02: add by m2/dev
1W5XNWHZZK 1W5XNWHZZK
| URI | m2://inv/1W5XNWHZZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:deriv (statement). In PKGMM3P5QY, prop, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
Formulario mathematico 1W5YMS9P72
| URI | m2://inv/1W5YMS9P72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formulario mathematico, Formulario mathematico (definition). Also Wikidata Q3077563
History
- 2026-11-02: add by m2/dev
Diagrammatic Monte Carlo 1W67K1QQHY
| URI | m2://inv/1W67K1QQHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagrammatic Monte Carlo, Diagrammatic Monte Carlo (definition). Also Wikidata Q60790928
History
- 2026-11-02: add by m2/dev
1W6E5E3CAA 1W6E5E3CAA
| URI | m2://inv/1W6E5E3CAA |
|---|---|
| Kind | problem |
| 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.28669#KF4Z (problem)
History
- 2026-11-01: add by m2/v0.6.15
1W6E8E4A7A 1W6E8E4A7A
| URI | m2://inv/1W6E8E4A7A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
induction principle, for identity type 1W6JV1ZBBC
| URI | m2://inv/1W6JV1ZBBC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.1/induction-principle-for-identity-type, induction principle, for identity type (concept). In N54F33XE07, index, section A.12.1
History
- 2026-11-01: add by m2/v0.6.13
1W745G61QT 1W745G61QT
| URI | m2://inv/1W745G61QT |
|---|---|
| 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 2610.13505#A8JE (definition). In 6Z1DDCYCQ8/e1, definition A.1
History
- 2026-10-28: add by m2/v0.4.2
1W74817DE8 1W74817DE8
| URI | m2://inv/1W74817DE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#P34Q (statement). In NGZ5AZ70NN/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
1W7F5K3G0J 1W7F5K3G0J
| URI | m2://inv/1W7F5K3G0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01498#IDDQ (statement). In 75GDSC8460/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
1W7FQGKZ7J 1W7FQGKZ7J
| URI | m2://inv/1W7FQGKZ7J |
|---|---|
| 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.32446#CE32 (statement). In W1KVJEGJ1W/e1, lemma A.3
History
- 2026-10-31: add by m2/v0.5.6
Centered polyhedral number 1W7ME2J2EZ
| URI | m2://inv/1W7ME2J2EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered polyhedral number, Centered polyhedral number (definition). Also Wikidata Q14469439
History
- 2026-11-02: add by m2/dev
Examples 1W7XRDSHBZ
| URI | m2://inv/1W7XRDSHBZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Case fatality rate#I5HD, Examples (example)
History
- 2026-11-02: add by m2/dev
Integration by parts 1W7YS2Q2K9
| URI | m2://inv/1W7YS2Q2K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#DOXS, Integration by parts (definition)
History
- 2026-11-02: add by m2/dev
Kruskal–Wallis one-way analysis of variance 1W816YHNYJ
| URI | m2://inv/1W816YHNYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8WJ3, Kruskal–Wallis one-way analysis of variance (definition)
History
- 2026-11-02: add by m2/dev
1W836CG80E 1W836CG80E
| URI | m2://inv/1W836CG80E |
|---|---|
| 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.29677#NG8B (statement)
History
- 2026-11-01: add by m2/v0.6.15
1W89Z4QDWH 1W89Z4QDWH
| URI | m2://inv/1W89Z4QDWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#G73E (statement)
History
- 2026-11-01: add by m2/v0.6.15
upper triangular matrix 1W8C1QV0S3
| URI | m2://inv/1W8C1QV0S3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Upper triangular matrix 0MKABWDRNC |
Mentions
- wikidata: Wikidata Q77968835, upper triangular matrix (unknown). Also MathWorld UpperTriangularMatrix
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
December 1W8CKTC2EF
| URI | m2://inv/1W8CKTC2EF |
|---|---|
| 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 Q126, December (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/December
History
- 2026-10-26: add by m2/dev
1W8E0W6GEG 1W8E0W6GEG
| URI | m2://inv/1W8E0W6GEG |
|---|---|
| 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.01855#QNPL (statement). In MM8P5CJR18/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
Roderick Melnik 1W8EV9CY2A
| URI | m2://inv/1W8EV9CY2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roderick Melnik, Roderick Melnik (topic). Also Wikidata Q7356656
History
- 2026-11-02: add by m2/dev
1W8FPTR74W 1W8FPTR74W
| URI | m2://inv/1W8FPTR74W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#MXXV (example). In VP29RN7ZMA/e1, example 4
History
- 2026-10-28: add by m2/v0.4.2
1W8GJ3QVBT 1W8GJ3QVBT
| URI | m2://inv/1W8GJ3QVBT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15700#GLZM (example). In S95MSZ7MDR/e1, example
History
- 2026-10-28: add by m2/v0.4.2
Induced decision-space dynamics 1W8HCGAKTX
| URI | m2://inv/1W8HCGAKTX |
|---|---|
| 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.02528#LYOQ, Induced decision-space dynamics (statement). In 5FQHVY6RXK/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Quantitative trajectory bounds 1W8PSHDZ3S
| URI | m2://inv/1W8PSHDZ3S |
|---|---|
| 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.09356#HR5E, Quantitative trajectory bounds (statement). In 3VVGPXWH6R/e1, proposition C.4
History
- 2026-10-29: add by m2/v0.4.10
1W8WNKZ8N6 1W8WNKZ8N6
| URI | m2://inv/1W8WNKZ8N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.08176#OSTN (statement). In SYGR43673J/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
Examples 1W913R52Z6
| URI | m2://inv/1W913R52Z6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order polynomial#T4BN, Examples (example)
History
- 2026-11-02: add by m2/dev
Category theory 1W93XN5PJR
| URI | m2://inv/1W93XN5PJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#1B88, Category theory (definition)
History
- 2026-11-02: add by m2/dev
Diffeomorphometry 1W9768MFSA
| URI | m2://inv/1W9768MFSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffeomorphometry, Diffeomorphometry (definition). Also Wikidata Q48798331
History
- 2026-11-02: add by m2/dev
1W9D10KTV9 1W9D10KTV9
| URI | m2://inv/1W9D10KTV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#X02Q (statement). In C8VC86B6H8/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
1W9M9RDND9 1W9M9RDND9
| URI | m2://inv/1W9M9RDND9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#T0U3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Extension by definition 1W9VJE9M4M
| URI | m2://inv/1W9VJE9M4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension by definition, Extension by definition (definition). Also Wikidata Q5421941
History
- 2026-11-02: add by m2/dev
$L^1$-trace inequality for free boundary varifolds 1W9WAYT1M3
| URI | m2://inv/1W9WAYT1M3 |
|---|---|
| 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.04833#T44W, $L^1$-trace inequality for free boundary varifolds (statement). In AKB3CNDA0F/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
1WA27FE8QW 1WA27FE8QW
| URI | m2://inv/1WA27FE8QW |
|---|---|
| Kind | example |
| 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#KBHE (example). In N8TDKGGC7S/e1, example 2.3
History
- 2026-10-30: add by m2/v0.4.12
1WAD942Y33 1WAD942Y33
| URI | m2://inv/1WAD942Y33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#AVPR (statement). In VQA35Q7C00/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
1WAHMASH8P 1WAHMASH8P
| URI | m2://inv/1WAHMASH8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#W0N8 (statement). In SVJYA0171G/e1, theorem 8.3
History
- 2026-10-30: add by m2/v0.4.12
1WAWF98S4T 1WAWF98S4T
| URI | m2://inv/1WAWF98S4T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#KO4C (example)
History
- 2026-11-01: add by m2/v0.6.15
1WAZCQR8H4 1WAZCQR8H4
| URI | m2://inv/1WAZCQR8H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#0JT5 (statement). In TZXEMCBK5V/e1, lemma 7.6
History
- 2026-10-30: add by m2/v0.4.12
𝑝-group 1WB316ECB3
| URI | m2://inv/1WB316ECB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | P-group 06QYRTX9KQ |
Mentions
- wikidata: Wikidata Q286972, 𝑝-group (definition). Also EoM P-group, MathWorld p-Group, ProofWiki Definition:P-Group
- wikipedia: Wikipedia P-group, P-group (definition). Also Wikidata Q286972
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
1WB92TE88H 1WB92TE88H
| URI | m2://inv/1WB92TE88H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#5LK0 (definition). In J7ZX3WWRQP/e1, definition 2.29
History
- 2026-10-28: add by m2/v0.4.2
1WB9CYFA21 1WB9CYFA21
| URI | m2://inv/1WB9CYFA21 |
|---|---|
| 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 1809.07362#X33K (statement). In GJ61KHH4AD/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Natasha Dobrinen 1WBDJDZTJF
| URI | m2://inv/1WBDJDZTJF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natasha Dobrinen, Natasha Dobrinen (topic). Also Wikidata Q102233905
History
- 2026-11-02: add by m2/dev
1WBNBREJ8B 1WBNBREJ8B
| URI | m2://inv/1WBNBREJ8B |
|---|---|
| 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.26477#Y9PB (statement)
History
- 2026-11-01: add by m2/v0.6.15
matrix decomposition 1WBS054FZR
| URI | m2://inv/1WBS054FZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1361088, matrix decomposition (unknown). Also EoM Matrix_factorization, MathWorld MatrixDecomposition
- wikipedia: Wikipedia Matrix decomposition, Matrix decomposition (definition). Also Wikidata Q1361088
History
- 2026-10-26: add by m2/dev
1WBXT42NX2 1WBXT42NX2
| URI | m2://inv/1WBXT42NX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#L9HH (statement). In PGAZ70WGMG/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
Polynomial identity rings 1WC51SEYK9
| URI | m2://inv/1WC51SEYK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shimshon Amitsur#FLG3, Polynomial identity rings (statement)
History
- 2026-11-02: add by m2/dev
1WC64RSK2T 1WC64RSK2T
| URI | m2://inv/1WC64RSK2T |
|---|---|
| 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.26581#WNP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1WC82NA3M9 1WC82NA3M9
| URI | m2://inv/1WC82NA3M9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#AXOS (definition). In 7V3HG30ZGW/e1, definition A.5
History
- 2026-10-27: add by m2/v0.4.0
Guy Terjanian 1WC8Z3RDSF
| URI | m2://inv/1WC8Z3RDSF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guy Terjanian, Guy Terjanian (topic). Also Wikidata Q5622635
History
- 2026-11-02: add by m2/dev
BM 13901 1WCBYP965A
| URI | m2://inv/1WCBYP965A |
|---|---|
| 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 Q2877307, BM 13901 (unknown). Also ProofWiki Book:Tablet/BM_13901
History
- 2026-10-26: add by m2/dev
Direct one step crossing comparison 1WCF62088N
| URI | m2://inv/1WCF62088N |
|---|---|
| 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.09522#CI6P, Direct one step crossing comparison (statement). In KKR9167FPT/e1, proposition 32
History
- 2026-10-29: add by m2/v0.4.10
Definitions 1WCTB15EE5
| URI | m2://inv/1WCTB15EE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comonotonicity#1F3B, Definitions (definition)
History
- 2026-11-02: add by m2/dev
1WCXWGP6DQ 1WCXWGP6DQ
| URI | m2://inv/1WCXWGP6DQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#SGR1 (example). In HX63A1PH1W/e1, example 6.18
History
- 2026-10-28: add by m2/v0.4.3
1WD4YXMK0E 1WD4YXMK0E
| URI | m2://inv/1WD4YXMK0E |
|---|---|
| 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.08052#1ECM (statement). In 672XAVEQ34/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
algebraic independence 1WD8WWFMJM
| URI | m2://inv/1WD8WWFMJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic independence KV4PT6KW10 |
Mentions
- wikidata: Wikidata Q1495342, algebraic independence (unknown). Also MathWorld AlgebraicallyIndependent
- wikipedia: Wikipedia Algebraic independence, Algebraic independence (definition). Also Wikidata Q1495342
History
- 2026-10-26: add by m2/dev
1WDHSVBR6F 1WDHSVBR6F
| URI | m2://inv/1WDHSVBR6F |
|---|---|
| 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.05696#DV61 (statement). In MG81A9XJTQ/e1, lemma V.6
History
- 2026-10-29: add by m2/v0.4.10
Percy Deift 1WDKQXQ3Q8
| URI | m2://inv/1WDKQXQ3Q8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#95QG, Percy Deift (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#06R7, Percy Deift (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J6JH, Percy Deift (topic)
History
- 2026-11-02: add by m2/dev
1WDRTTA0ST 1WDRTTA0ST
| URI | m2://inv/1WDRTTA0ST |
|---|---|
| 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.37897#I1JY (statement). In RBQ5FNCVNZ/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
propositional connective 1WE6BYNPBN
| URI | m2://inv/1WE6BYNPBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SXSF, propositional connective (definition)
History
- 2026-11-02: add by m2/dev
1WE7W9HZV4 1WE7W9HZV4
| URI | m2://inv/1WE7W9HZV4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#E8MC (example). In T3W7SMWQ73/e1, example 26
History
- 2026-10-28: add by m2/v0.4.3
Catalogue of Triangle Cubics 1WEE6BGGYK
| URI | m2://inv/1WEE6BGGYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalogue of Triangle Cubics, Catalogue of Triangle Cubics (definition). Also Wikidata Q109973376
History
- 2026-11-02: add by m2/dev
Examples 1WEMJ2CZBY
| URI | m2://inv/1WEMJ2CZBY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach algebra#T9NM, Examples (example)
History
- 2026-11-02: add by m2/dev
Factorization 1WESK0MSPQ
| URI | m2://inv/1WESK0MSPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#IE1A, Factorization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Voter segments in political polling 1WETWPQ3QW
| URI | m2://inv/1WETWPQ3QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voter segments in political polling, Voter segments in political polling (definition). Also Wikidata Q28134687
History
- 2026-11-02: add by m2/dev
1WEXDBNMVE 1WEXDBNMVE
| URI | m2://inv/1WEXDBNMVE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-12 (example). In E9HS8K3A52, example, section 10.6.3
History
- 2026-11-01: add by m2/v0.6.13
square brackets 1WF1GYFFV0
| URI | m2://inv/1WF1GYFFV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2751137, square brackets (unknown). Also MathWorld SquareBracket, ProofWiki Symbols:Brackets/Square_Brackets
History
- 2026-10-26: add by m2/dev
1WFEKK6EG1 1WFEKK6EG1
| URI | m2://inv/1WFEKK6EG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24675#ISRH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elevation 1WFK0JZR16
| URI | m2://inv/1WFK0JZR16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#MYC7, Elevation (unknown)
History
- 2026-11-02: add by m2/dev
Quaternionic Kähler manifold 1WFKQ7AQQ1
| URI | m2://inv/1WFKQ7AQQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#LY0L, Quaternionic Kähler manifold (definition)
History
- 2026-11-02: add by m2/dev
1WFR1D3F6W 1WFR1D3F6W
| URI | m2://inv/1WFR1D3F6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#U03X (statement). In 9H45HQE7AZ/e1, corollary 6.13
History
- 2026-10-27: add by m2/v0.3.5
1WFWMGBF7W 1WFWMGBF7W
| URI | m2://inv/1WFWMGBF7W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#J07W (definition). In EY0QS456EC/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.12
1WGA9KKZPZ 1WGA9KKZPZ
| URI | m2://inv/1WGA9KKZPZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial hierarchy#55CK (problem)
History
- 2026-11-02: add by m2/dev
1WGBEP01F5 1WGBEP01F5
| URI | m2://inv/1WGBEP01F5 |
|---|---|
| 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.18673#NZRB (statement). In 7ZFD9XRKA1/e1, corollary 2.14
History
- 2026-10-28: add by m2/v0.4.2
1WH0BQS0SC 1WH0BQS0SC
| URI | m2://inv/1WH0BQS0SC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#5HZE (statement)
History
- 2026-11-02: add by m2/v0.6.17
J. Michael Steele 1WH0VCWM55
| URI | m2://inv/1WH0VCWM55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#2CKB, J. Michael Steele (unknown)
History
- 2026-11-02: add by m2/dev
Levent Alpöge 1WH71V8CC7
| URI | m2://inv/1WH71V8CC7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levent Alpöge, Levent Alpöge (topic). Also Wikidata Q102078476
History
- 2026-11-02: add by m2/dev
1WHC7GHN0X 1WHC7GHN0X
| URI | m2://inv/1WHC7GHN0X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#T0C7 (example)
History
- 2026-11-01: add by m2/v0.6.15
Normal score 1WHEDNBR84
| URI | m2://inv/1WHEDNBR84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal score, Normal score (definition). Also Wikidata Q7051833
History
- 2026-11-02: add by m2/dev
1WHFQCEZKK 1WHFQCEZKK
| URI | m2://inv/1WHFQCEZKK |
|---|---|
| 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.33557#JY94 (statement). In 95YZVAPGJA/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Desney Tan 1WHP6GWQV6
| URI | m2://inv/1WHP6GWQV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A0PN, Desney Tan (unknown)
History
- 2026-11-02: add by m2/dev
Implementations 1WHPJE3329
| URI | m2://inv/1WHPJE3329 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential quadratic programming#VAEC, Implementations (definition)
History
- 2026-11-02: add by m2/dev
1WHRDWXMY5 1WHRDWXMY5
| URI | m2://inv/1WHRDWXMY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14600#8QQ5 (statement). In CJHTDS522P/e1, theorem 4.2.1
History
- 2026-10-28: add by m2/v0.4.2
1WHTY5ME44 1WHTY5ME44
| URI | m2://inv/1WHTY5ME44 |
|---|---|
| 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#JPEI (statement). In CY1FE8W1ZW/e1, lemma 0.128
History
- 2026-10-27: add by m2/v0.4.0
Examples 1WHXX3BZAV
| URI | m2://inv/1WHXX3BZAV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection homology#229Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Variants 1WHZJ7KM7B
| URI | m2://inv/1WHZJ7KM7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős distinct distances problem#5QUR, Variants (statement)
History
- 2026-11-02: add by m2/dev
1WHZSFR243 1WHZSFR243
| URI | m2://inv/1WHZSFR243 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#RJ1J (example)
History
- 2026-11-01: add by m2/v0.6.15
1WJ2DH5HCX 1WJ2DH5HCX
| URI | m2://inv/1WJ2DH5HCX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-20 (proof). In VNMV985MXX, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Compatibility of the finite Metelmann factorizations 1WJ3722BX0
| URI | m2://inv/1WJ3722BX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#LGUQ, Compatibility of the finite Metelmann factorizations (statement). In FDDA562VCA/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.10
List of things named after Johannes Kepler 1WJ3KMSH7D
| URI | m2://inv/1WJ3KMSH7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#35DT, List of things named after Johannes Kepler (topic)
History
- 2026-11-02: add by m2/dev
Invertible profile 1WJ670QAK9
| URI | m2://inv/1WJ670QAK9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05767#OR04, Invertible profile (example). In BG6MTYCXWS/e1, example 4.2
History
- 2026-10-29: add by m2/v0.4.10
Five Corners, Outagamie County, Wisconsin 1WJ7J9MG1D
| URI | m2://inv/1WJ7J9MG1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AK60, Five Corners, Outagamie County, Wisconsin (unknown)
History
- 2026-11-02: add by m2/dev
Schr\"odinger reduction 1WJ7ZB6BR4
| URI | m2://inv/1WJ7ZB6BR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14069#1D4C, Schr\"odinger reduction (statement). In ABYRBVNC3Y/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
1WJ9DPTYM8 1WJ9DPTYM8
| URI | m2://inv/1WJ9DPTYM8 |
|---|---|
| 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.23262#UVE5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
1WJGT4B8HK 1WJGT4B8HK
| URI | m2://inv/1WJGT4B8HK |
|---|---|
| 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.27646#JL6Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
1WJHSM50ZW 1WJHSM50ZW
| URI | m2://inv/1WJHSM50ZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2410.07651#J1II (statement). In B338B7DBPA/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.6
Peter Keevash 1WJKHDZAR0
| URI | m2://inv/1WJKHDZAR0 |
|---|---|
| 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#34Z5, Peter Keevash (topic)
History
- 2026-11-02: add by m2/dev
1WJR30DHXS 1WJR30DHXS
| URI | m2://inv/1WJR30DHXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38815#5OCK (statement). In 2CEETN5YTZ/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Geometric modeling 1WJSKY96F9
| URI | m2://inv/1WJSKY96F9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#D50M, Geometric modeling (unknown)
History
- 2026-11-02: add by m2/dev
1WJWH0GB90 1WJWH0GB90
| URI | m2://inv/1WJWH0GB90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#4G4Q (statement). In P7KT88N75Q/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Gerland 1WJYEXWXAW
| URI | m2://inv/1WJYEXWXAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerland (mathematician), Gerland (topic). Also Wikidata Q5550939
History
- 2026-11-02: add by m2/dev
Forking paths problem 1WJZRTWZD1
| URI | m2://inv/1WJZRTWZD1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forking paths problem, Forking paths problem (conjecture). Also Wikidata Q121365276
History
- 2026-11-02: add by m2/dev
Nyquist Diagram 1WKCB3S28H
| URI | m2://inv/1WKCB3S28H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyquist stability criterion#9DKU, Nyquist Diagram (unknown)
History
- 2026-11-02: add by m2/dev
Calculator input methods 1WKQBDRPFW
| URI | m2://inv/1WKQBDRPFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculator input methods, Calculator input methods (definition). Also Wikidata Q5018891
History
- 2026-11-02: add by m2/dev
1WKTB0VCJ3 1WKTB0VCJ3
| URI | m2://inv/1WKTB0VCJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#JAEU (statement). In V8MYP6MBAZ/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Graham's pebbling conjecture 1WKTSC0KFH
| URI | m2://inv/1WKTSC0KFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph pebbling#49CL, Graham's pebbling conjecture (statement)
History
- 2026-11-02: add by m2/dev
Eugenie Maria Morenus 1WM1FQY6QH
| URI | m2://inv/1WM1FQY6QH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugenie Maria Morenus, Eugenie Maria Morenus (topic). Also Wikidata Q95223463
History
- 2026-11-02: add by m2/dev
E. Sampathkumar 1WM1X3DNN0
| URI | m2://inv/1WM1X3DNN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. Sampathkumar, E. Sampathkumar (topic). Also Wikidata Q5322147
History
- 2026-11-02: add by m2/dev
1WM6JTX4VY 1WM6JTX4VY
| URI | m2://inv/1WM6JTX4VY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.37520#D6WD (statement). In BDN507RN7J/e1, corollary 3.8.10
History
- 2026-10-30: add by m2/v0.4.12
Angela Dean 1WM7XWK6M5
| URI | m2://inv/1WM7XWK6M5 |
|---|---|
| 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#PK9C, Angela Dean (topic)
History
- 2026-11-02: add by m2/dev
Certificate 1WMN67RYX7
| URI | m2://inv/1WMN67RYX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certificate (complexity), Certificate (definition). Also Wikidata Q2946816
History
- 2026-11-02: add by m2/dev
Association (statistics) 1WMT67JHQ7
| URI | m2://inv/1WMT67JHQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M0IT, Association (statistics) (definition)
History
- 2026-11-02: add by m2/dev
1WMT71MFB2 1WMT71MFB2
| URI | m2://inv/1WMT71MFB2 |
|---|---|
| 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 1007.4365#V8EA (statement). In 935WKCMD8C/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
1WMVKWW72Q 1WMVKWW72Q
| URI | m2://inv/1WMVKWW72Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#GAIJ (statement). In 1MPH7GCFJ2/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
1WMWM7H513 1WMWM7H513
| URI | m2://inv/1WMWM7H513 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#O68P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hausdorff Center for Mathematics 1WN3RJ8R8S
| URI | m2://inv/1WN3RJ8R8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff Center for Mathematics, Hausdorff Center for Mathematics (definition). Also Wikidata Q1591067
History
- 2026-11-02: add by m2/dev
JMP 1WN5MBNE7Q
| URI | m2://inv/1WN5MBNE7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#FFZK, JMP (definition)
History
- 2026-11-02: add by m2/dev
1WNXKJV1J4 1WNXKJV1J4
| URI | m2://inv/1WNXKJV1J4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15877#Z73Q (definition). In F3W750X9N6/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Terminology 1WP5HSHGY4
| URI | m2://inv/1WP5HSHGY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Academic Games#GQ71, Terminology (definition)
History
- 2026-11-02: add by m2/dev
1WP8SV5NQH 1WP8SV5NQH
| URI | m2://inv/1WP8SV5NQH |
|---|---|
| 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.09694#UMZ0 (statement). In 7VXBVQ5SAC/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
1WP9XJ2K32 1WP9XJ2K32
| URI | m2://inv/1WP9XJ2K32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#N7PF (statement)
History
- 2026-11-01: add by m2/v0.6.15
1WPA20EB9E 1WPA20EB9E
| URI | m2://inv/1WPA20EB9E |
|---|---|
| Kind | example |
| 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.11043#AFTJ (example). In R3NJYPZH52/e1, example 3.10
History
- 2026-10-28: add by m2/v0.4.3
1WPAT1ADWV 1WPAT1ADWV
| URI | m2://inv/1WPAT1ADWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#1PH3 (statement). In 9ZD87293QS/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.0
Orbit modeling 1WPBTD3EER
| URI | m2://inv/1WPBTD3EER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit modeling, Orbit modeling (definition). Also Wikidata Q7100050
History
- 2026-11-02: add by m2/dev
1WPCH578CK 1WPCH578CK
| URI | m2://inv/1WPCH578CK |
|---|---|
| Kind | example |
| 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#37BX (example). In X88HPQ0W8C/e1, example 2.9
History
- 2026-10-27: add by m2/v0.3.5
Definition 1WPDEQZCDG
| URI | m2://inv/1WPDEQZCDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definable set#OSM5, Definition (definition)
History
- 2026-11-02: add by m2/dev
1WPQNT1PD7 1WPQNT1PD7
| URI | m2://inv/1WPQNT1PD7 |
|---|---|
| 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.20345#R4HR (statement). In WVRRST04WS/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.2
1WPTVYX3G7 1WPTVYX3G7
| URI | m2://inv/1WPTVYX3G7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 98.6
History
- 2026-11-01: add by m2/v0.6.13
Confusion matrix 1WPZ4D0ZD8
| URI | m2://inv/1WPZ4D0ZD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confusion matrix, Confusion matrix (definition). Also Wikidata Q2709591
History
- 2026-11-02: add by m2/dev
Asymptotic realization with coefficients 1WQ2DXRGW0
| URI | m2://inv/1WQ2DXRGW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#00FI, Asymptotic realization with coefficients (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jeffreys interval 1WQ57XYV27
| URI | m2://inv/1WQ57XYV27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial proportion confidence interval#H1BU, Jeffreys interval (unknown)
History
- 2026-11-02: add by m2/dev
1WQAH2TM6F 1WQAH2TM6F
| URI | m2://inv/1WQAH2TM6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#LHEI (statement). In H4CM84JVPC/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
1WQAK85HB9 1WQAK85HB9
| URI | m2://inv/1WQAK85HB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#definition-1 (definition). In P1C114YBXG, definition, section J
History
- 2026-11-01: add by m2/v0.6.13
1WQGFYWZYJ 1WQGFYWZYJ
| URI | m2://inv/1WQGFYWZYJ |
|---|---|
| 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 2309.15424#5TXW (statement). In NXYZ1EAWKN/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Gérard Ben Arous 1WQJ88QWZZ
| URI | m2://inv/1WQJ88QWZZ |
|---|---|
| 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#MTAR, Gérard Ben Arous (topic)
History
- 2026-11-02: add by m2/dev
utility graph 1WQK79BR99
| URI | m2://inv/1WQK79BR99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#G6ZE, utility graph (definition)
History
- 2026-11-02: add by m2/dev
Biometrical Journal 1WQZFD6GAS
| URI | m2://inv/1WQZFD6GAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#8AZF, Biometrical Journal (unknown)
History
- 2026-11-02: add by m2/dev
1WR3NBW9NB 1WR3NBW9NB
| URI | m2://inv/1WR3NBW9NB |
|---|---|
| Kind | example |
| 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.21533#J8DP (example). In N3Z6JFEPCF/e1, example 3.2
History
- 2026-10-27: add by m2/v0.4.2
1WR42NX40N 1WR42NX40N
| URI | m2://inv/1WR42NX40N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20094#MXQD (statement)
History
- 2026-11-02: add by m2/v0.6.18
1WR6FA5ETP 1WR6FA5ETP
| URI | m2://inv/1WR6FA5ETP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#CQL1 (statement). In ZPT9XCCAPQ/e1, proposition 1.4.9
History
- 2026-10-31: add by m2/v0.5.6
1WR6V32GKP 1WR6V32GKP
| URI | m2://inv/1WR6V32GKP |
|---|---|
| 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.06310#4X0U (statement). In WR5S1V9V8J/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
1WR88W11JN 1WR88W11JN
| URI | m2://inv/1WR88W11JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06755#3ZOP (statement). In DKEX05SEXS/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
Sparsity of nonapproximable points 1WR8QYPSYS
| URI | m2://inv/1WR8QYPSYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#HJTE, Sparsity of nonapproximable points (statement). In KM3Q791JY0/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.2
Applications 1WRKHKG7X5
| URI | m2://inv/1WRKHKG7X5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat transfer#MO3S, Applications (example)
History
- 2026-11-02: add by m2/dev
1WRW4MRXZC 1WRW4MRXZC
| URI | m2://inv/1WRW4MRXZC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#SRR2 (definition). In SVJYA0171G/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Functional CLT 1WRWBJMCB2
| URI | m2://inv/1WRWBJMCB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#D19D, Functional CLT (statement). In G3E1P350Z6/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
1WS1EQRS49 1WS1EQRS49
| URI | m2://inv/1WS1EQRS49 |
|---|---|
| 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.04452#74C4 (statement). In ZV3ANMKJ0Y/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Fano variety 1WS444MWD0
| URI | m2://inv/1WS444MWD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 14J45 |
| Sources | 2 |
| Outcome | open |
| Node | Fano variety FMHA649HJ9 |
Mentions
- wikidata: Wikidata Q846881, Fano variety (topic). Also EoM Fano_variety
- wikipedia: Wikipedia Fano variety, Fano variety (definition). Also Wikidata Q846881
History
- 2026-10-26: add by m2/dev
\textbf{Extrinsic discrete and continuous graph Laplace operators 1WS4SE1ZM0
| URI | m2://inv/1WS4SE1ZM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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.17032#37HA, \textbf{Extrinsic discrete and continuous graph Laplace operators (definition). In MXPK9A2HK2/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
1WS88CQSY6 1WS88CQSY6
| URI | m2://inv/1WS88CQSY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#N7KY (statement). In KQ8JPHDKKE/e1, theorem 9.6.4
History
- 2026-10-27: add by m2/v0.3.5
1WSBPZNQ4E 1WSBPZNQ4E
| URI | m2://inv/1WSBPZNQ4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#DG1D (statement). In TTRSZVT4VX/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.2
Fuzzy controller 1WSENWSWJ6
| URI | m2://inv/1WSENWSWJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy control system#HPVK, Fuzzy controller (unknown)
History
- 2026-11-02: add by m2/dev
Jan Philip Solovej 1WSHBYC462
| URI | m2://inv/1WSHBYC462 |
|---|---|
| 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#V5G4, Jan Philip Solovej (topic)
History
- 2026-11-02: add by m2/dev
Wei Zhang 1WSJ8VWQF4
| URI | m2://inv/1WSJ8VWQF4 |
|---|---|
| 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#3Q0D, Wei Zhang (topic)
History
- 2026-11-02: add by m2/dev
1WSK44F272 1WSK44F272
| URI | m2://inv/1WSK44F272 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#B00H (definition)
History
- 2026-11-02: add by m2/v0.6.18
1WSMJRRCPM 1WSMJRRCPM
| URI | m2://inv/1WSMJRRCPM |
|---|---|
| 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 2609.21098#UEV1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Junction tree algorithm 1WSS50PDCT
| URI | m2://inv/1WSS50PDCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Junction tree algorithm, Junction tree algorithm (definition). Also Wikidata Q2859761
History
- 2026-11-02: add by m2/dev
Properties 1WSWCB39BB
| URI | m2://inv/1WSWCB39BB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta function#DB7H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Werner's formula 1WT113KB2H
| URI | m2://inv/1WT113KB2H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3748395, Werner's formula (unknown). Also MathWorld WernerFormulas
History
- 2026-10-26: add by m2/dev
Axioms and intermediate premises 1WT5Q85WGA
| URI | m2://inv/1WT5Q85WGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Premise#00U2, Axioms and intermediate premises (statement)
History
- 2026-11-02: add by m2/dev
1WT9BEB0SQ 1WT9BEB0SQ
| URI | m2://inv/1WT9BEB0SQ |
|---|---|
| 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#38NL (statement). In SY85Y9E45A/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Margit Rösler 1WTAHA1D9N
| URI | m2://inv/1WTAHA1D9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margit Rösler, Margit Rösler (topic). Also Wikidata Q67000959
History
- 2026-11-02: add by m2/dev
Applications 1WTDRNFQY8
| URI | m2://inv/1WTDRNFQY8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias–variance tradeoff#9KUK, Applications (example)
History
- 2026-11-02: add by m2/dev
1WTGW5R0BR 1WTGW5R0BR
| URI | m2://inv/1WTGW5R0BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#37CP (statement)
History
- 2026-11-01: add by m2/v0.6.15
1WTGZAJRR6 1WTGZAJRR6
| URI | m2://inv/1WTGZAJRR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0911.1417#TFJO (statement). In BBD7TZW79R/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
1WTHZ7VCHG 1WTHZ7VCHG
| URI | m2://inv/1WTHZ7VCHG |
|---|---|
| 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 2504.00267#SLY7 (definition). In 38XJWDZ2PH/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Factorial experiment 1WTK0T62N7
| URI | m2://inv/1WTK0T62N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q3DN, Factorial experiment (definition)
History
- 2026-11-02: add by m2/dev
1WTN7NK6WF 1WTN7NK6WF
| URI | m2://inv/1WTN7NK6WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#THKJ (statement). In DPT4P2BTEW/e1, lemma 9.4
History
- 2026-10-30: add by m2/v0.4.12
1WTNZ54KXY 1WTNZ54KXY
| URI | m2://inv/1WTNZ54KXY |
|---|---|
| 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.13475#6IV1 (statement). In P5SQ4CMX42/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Maximum principle 1WTTYY49CF
| URI | m2://inv/1WTTYY49CF |
|---|---|
| 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.24185#GMRT, Maximum principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
1WV1N35WYS 1WV1N35WYS
| URI | m2://inv/1WV1N35WYS |
|---|---|
| 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-2 (proof). In PKGMM3P5QY, proof, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Exponential score moments on bounded supports 1WV6FFX6EV
| URI | m2://inv/1WV6FFX6EV |
|---|---|
| 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 2609.38228#AB7Q, Exponential score moments on bounded supports (statement). In 9YAE8FNQST/e1, proposition 19.22
History
- 2026-10-30: add by m2/v0.4.12
1WVBZ6K8YF 1WVBZ6K8YF
| URI | m2://inv/1WVBZ6K8YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#OIMM (statement). In E7W2HDNEKJ/e1, corollary 9.12
History
- 2026-10-30: add by m2/v0.4.12
1WVDH6QHWW 1WVDH6QHWW
| URI | m2://inv/1WVDH6QHWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/WellOrderingPrinciple.tex#theorem-1 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Ax–Grothendieck theorem 1WVRGN68ZA
| URI | m2://inv/1WVRGN68ZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#7BBD, Ax–Grothendieck theorem (statement)
History
- 2026-11-02: add by m2/dev
1WVV71N2HH 1WVV71N2HH
| URI | m2://inv/1WVV71N2HH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#S6OH (statement). In 9ZD87293QS/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.4.0
Three Lamps, Ponsonby 1WVVHZ45X6
| URI | m2://inv/1WVVHZ45X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#K537, Three Lamps, Ponsonby (unknown)
History
- 2026-11-02: add by m2/dev
Coercivity without an inf-sup constant 1WVWDAAP8H
| URI | m2://inv/1WVWDAAP8H |
|---|---|
| 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.39531#CXH7, Coercivity without an inf-sup constant (statement). In SN9RSTHQ07/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms for solving equations 1WVWYS7AQJ
| URI | m2://inv/1WVWYS7AQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation solving#XURC, Algorithms for solving equations (unknown)
History
- 2026-11-02: add by m2/dev
Henryk Struve 1WW56T08CY
| URI | m2://inv/1WW56T08CY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henryk Struve, Henryk Struve (topic). Also Wikidata Q130387
History
- 2026-11-02: add by m2/dev
1WW8M2AS09 1WW8M2AS09
| URI | m2://inv/1WW8M2AS09 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#VTUN (conjecture). In 7ZBX5WVEZP/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
Failure of pointwise convergence 1WWHWSD903
| URI | m2://inv/1WWHWSD903 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29047#R4UP, Failure of pointwise convergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform values for every original lower-boundary chain 1WWJPGCNFF
| URI | m2://inv/1WWJPGCNFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#1XEQ, Uniform values for every original lower-boundary chain (statement). In KFEASG3ZHS/e1, theorem 7.6
History
- 2026-10-28: add by m2/v0.4.2
Löb's theorem in provability logic 1WWMN5M6CY
| URI | m2://inv/1WWMN5M6CY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Löb's theorem#SMBU, Löb's theorem in provability logic (statement)
History
- 2026-11-02: add by m2/dev
1WWR2E44Q4 1WWR2E44Q4
| URI | m2://inv/1WWR2E44Q4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.21337#4S2G (statement). In EPZN0JTG2Z/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
1WX1Q8KJET 1WX1Q8KJET
| URI | m2://inv/1WX1Q8KJET |
|---|---|
| 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.01225#7B7P (statement). In MFR807V4YG/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
initial condition 1WX44MTVDX
| URI | m2://inv/1WX44MTVDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18351510, initial condition (unknown). Also MathWorld CauchyConditions
- wikipedia: Wikipedia Initial condition, Initial condition (definition). Also Wikidata Q18351510
History
- 2026-10-26: add by m2/dev
Ann Zauber 1WX6J98F84
| URI | m2://inv/1WX6J98F84 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#FEPL, Ann Zauber (unknown)
History
- 2026-11-02: add by m2/dev
Mersenne conjectures 1WX7GPDNJN
| URI | m2://inv/1WX7GPDNJN |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2739186, Mersenne conjectures (unknown). Also MathWorld NewMersennePrimeConjecture, MathWorld WagstaffsConjecture
- wikipedia: Wikipedia Mersenne conjectures, Mersenne conjectures (conjecture). Also Wikidata Q2739186
History
- 2026-10-26: add by m2/dev
1WXE3HE3G2 1WXE3HE3G2
| URI | m2://inv/1WXE3HE3G2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#OVTA (definition). In QFA8TMJPHZ/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
Central limit theorem 1WXEMG7D9K
| URI | m2://inv/1WXEMG7D9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal distribution#4EOF, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
Weighted value-gap reduction 1WXEV1373E
| URI | m2://inv/1WXEV1373E |
|---|---|
| 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.39837#XNLF, Weighted value-gap reduction (statement). In MDQXTBEK0F/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Surface vertex 1WXJSF6DA6
| URI | m2://inv/1WXJSF6DA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#VY67, Surface vertex (unknown)
History
- 2026-11-02: add by m2/dev
Formal Statement 1WXT0CKHK2
| URI | m2://inv/1WXT0CKHK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Benthem's theorem#V78Y, Formal Statement (statement)
History
- 2026-11-02: add by m2/dev
1WXTB0BZX7 1WXTB0BZX7
| URI | m2://inv/1WXTB0BZX7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Ping-pong lemma for several subgroups 1WXV4961FG
| URI | m2://inv/1WXV4961FG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ping-pong lemma#GPNP, Ping-pong lemma for several subgroups (statement)
History
- 2026-11-02: add by m2/dev
Boltzmann equation 1WYA314P2J
| URI | m2://inv/1WYA314P2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann equation, Boltzmann equation (definition). Also Wikidata Q891653
History
- 2026-11-02: add by m2/dev
1WYBZN91MA 1WYBZN91MA
| URI | m2://inv/1WYBZN91MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32140#ISIE (statement). In 96Z8GEEFH4/e1, corollary 2.2
History
- 2026-10-31: add by m2/v0.5.6
Mixture model 1WZ20VBQJM
| URI | m2://inv/1WZ20VBQJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#81GN, Mixture model (definition)
History
- 2026-11-02: add by m2/dev
1WZ55VARAS 1WZ55VARAS
| URI | m2://inv/1WZ55VARAS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#H8P0 (definition). In 6NVP3YRWVA/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Siegel disc 1WZTRG7098
| URI | m2://inv/1WZTRG7098 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel disc, Siegel disc (definition). Also Wikidata Q4162128
History
- 2026-11-02: add by m2/dev
Assignment problem 1WZXW5BV95
| URI | m2://inv/1WZXW5BV95 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assignment problem, Assignment problem (problem). Also Wikidata Q620614
History
- 2026-11-02: add by m2/dev
Herbert Wilf 1WZYRVWYNQ
| URI | m2://inv/1WZYRVWYNQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8XY3, Herbert Wilf (topic)
History
- 2026-11-02: add by m2/dev