Inventory rows WB
The cards of the rows of the inventory whose ids start with WB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
WB03HHPWB6 WB03HHPWB6
| URI | m2://inv/WB03HHPWB6 |
|---|---|
| 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.23538#5BSZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
WB0AFQHKK0 WB0AFQHKK0
| URI | m2://inv/WB0AFQHKK0 |
|---|---|
| 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 2601.00910#01ER (statement). In 8B1548XAJ4/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Ultimate Boeing 747 gambit WB0BTD8RJ2
| URI | m2://inv/WB0BTD8RJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultimate Boeing 747 gambit, Ultimate Boeing 747 gambit (definition). Also Wikidata Q2510067
History
- 2026-11-02: add by m2/dev
WB0QDA67HB WB0QDA67HB
| URI | m2://inv/WB0QDA67HB |
|---|---|
| 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 1709.08958#90GM (statement). In H46J8XRDFJ/e1, theorem 6.1.3
History
- 2026-10-27: add by m2/v0.3.5
Cosmic variance WB0XAPEVT9
| URI | m2://inv/WB0XAPEVT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JUD8, Cosmic variance (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#YDXP, Cosmic variance (definition)
History
- 2026-11-02: add by m2/dev
WB0ZW528Q4 WB0ZW528Q4
| URI | m2://inv/WB0ZW528Q4 |
|---|---|
| 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.36334#RPDE (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
WB16H68MAK WB16H68MAK
| URI | m2://inv/WB16H68MAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#IRKG (statement). In ABS9M47F4K/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.6
Applications WB1ATY3JTG
| URI | m2://inv/WB1ATY3JTG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregate data#GUIB, Applications (example)
History
- 2026-11-02: add by m2/dev
Example WB1DS7WBDN
| URI | m2://inv/WB1DS7WBDN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy (information theory)#H44F, Example (example)
History
- 2026-11-02: add by m2/dev
Empirical visible perimeter WB1EW71AC8
| URI | m2://inv/WB1EW71AC8 |
|---|---|
| Kind | definition |
| 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.05064#JK1D, Empirical visible perimeter (definition). In 11SW7NAN7M/e1, definition 3.13
History
- 2026-10-29: add by m2/v0.4.12
WB1MKN9JG5 WB1MKN9JG5
| URI | m2://inv/WB1MKN9JG5 |
|---|---|
| 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.20672#VKTJ (statement). In ZD0RCDSQ61/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
WB1Y95DRS0 WB1Y95DRS0
| URI | m2://inv/WB1Y95DRS0 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12716#EI0B (unknown). In M6BCSQSM3R/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
Formulas WB21ZGFDW4
| URI | m2://inv/WB21ZGFDW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stadium (geometry)#0X8D, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Generalizations WB2260NTG4
| URI | m2://inv/WB2260NTG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amicable numbers#B2XI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Least squares and central limit theorem WB24FG4RF8
| URI | m2://inv/WB24FG4RF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre-Simon Laplace#CBOD, Least squares and central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
H. C. Hamaker WB25QWDHZY
| URI | m2://inv/WB25QWDHZY |
|---|---|
| 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#MJGF, H. C. Hamaker (topic)
History
- 2026-11-02: add by m2/dev
WB26EWQ9RH WB26EWQ9RH
| URI | m2://inv/WB26EWQ9RH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#DYDP (definition). In N1S169J2MV/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Moment bound for moving reference WB2CJYJ9B5
| URI | m2://inv/WB2CJYJ9B5 |
|---|---|
| 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#8X04, Moment bound for moving reference (statement). In W1KVJEGJ1W/e1, lemma D.2
History
- 2026-10-31: add by m2/v0.5.6
WB2EJTSPBC WB2EJTSPBC
| URI | m2://inv/WB2EJTSPBC |
|---|---|
| Kind | example |
| 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.01247#M980 (example). In 6EVNCRZ118/e1, example 39
History
- 2026-10-29: add by m2/v0.4.12
WB2QCHSDHN WB2QCHSDHN
| URI | m2://inv/WB2QCHSDHN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#activity-4 (exercise). In 649HGZKE96, activity, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Conditioning point mass WB2RTM8BKN
| URI | m2://inv/WB2RTM8BKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39633#LQOS, Conditioning point mass (statement). In B339AJZP2S/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
WB2RZNAPTD WB2RZNAPTD
| URI | m2://inv/WB2RZNAPTD |
|---|---|
| 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.05457#5C0R (statement). In SV36P5P5Z3/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Universal point set WB2S1WN7JA
| URI | m2://inv/WB2S1WN7JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal point set, Universal point set (definition). Also Wikidata Q7894146
History
- 2026-11-02: add by m2/dev
WB2WVMQ8NF WB2WVMQ8NF
| URI | m2://inv/WB2WVMQ8NF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#IHDP (definition). In H21X3FHNYJ/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Al-Abbās ibn Said al-Jawharī WB336QDEAM
| URI | m2://inv/WB336QDEAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#4I11, Al-Abbās ibn Said al-Jawharī (unknown)
History
- 2026-11-02: add by m2/dev
Two Rocks WB38RGB3KD
| URI | m2://inv/WB38RGB3KD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PV1Z, Two Rocks (unknown)
History
- 2026-11-02: add by m2/dev
Wilson Sutherland WB39CGDGC3
| URI | m2://inv/WB39CGDGC3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson Sutherland, Wilson Sutherland (topic). Also Wikidata Q27663408
History
- 2026-11-02: add by m2/dev
PCP theorem WB3ATXE04P
| URI | m2://inv/WB3ATXE04P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FLFF, PCP theorem (statement)
History
- 2026-11-02: add by m2/dev
WB3ENQ52YX WB3ENQ52YX
| URI | m2://inv/WB3ENQ52YX |
|---|---|
| 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.22752#1YAE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bin WB3H1T5S22
| URI | m2://inv/WB3H1T5S22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bin (computational geometry), Bin (definition). Also Wikidata Q4913766
History
- 2026-11-02: add by m2/dev
Theorem WB3H7FWC11
| URI | m2://inv/WB3H7FWC11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary symmetric channel#GFQX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
$\ZZ$ is the infinite cyclic group WB3KCC0QWF
| URI | m2://inv/WB3KCC0QWF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-1, $\ZZ$ is the infinite cyclic group (example). In RZP28ERRZV, example, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
WB3VXKNWWD WB3VXKNWWD
| URI | m2://inv/WB3VXKNWWD |
|---|---|
| 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.32680#YJ8Q (statement). In XVJGVCZA7V/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Large deviation principle WB3W8FDPRT
| URI | m2://inv/WB3W8FDPRT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 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 2609.40271#SDAS, Large deviation principle (definition). In 9MXMRKFKDW/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
WB3YG4QY4Y WB3YG4QY4Y
| URI | m2://inv/WB3YG4QY4Y |
|---|---|
| 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#P4N3 (statement). In E7W2HDNEKJ/e1, lemma 10.31
History
- 2026-10-30: add by m2/v0.4.12
Local stabilizer basis change WB43RNTT3P
| URI | m2://inv/WB43RNTT3P |
|---|---|
| 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.02097#YJKG, Local stabilizer basis change (statement). In DQSRCCAG6G/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
WB45X4J06Z WB45X4J06Z
| URI | m2://inv/WB45X4J06Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#example-3 (example). In Y91XFCEVHQ, example, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Jinchao Xu WB4N1YXJR1
| URI | m2://inv/WB4N1YXJR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3EDG, Jinchao Xu (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YNIF, Jinchao Xu (topic)
History
- 2026-11-02: add by m2/dev
Planar product formula WB4SXW01H0
| URI | m2://inv/WB4SXW01H0 |
|---|---|
| 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.28501#Y96Z, Planar product formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrei Vladimirovich Roiter WB4VFZWXWD
| URI | m2://inv/WB4VFZWXWD |
|---|---|
| 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#TQ1F, Andrei Vladimirovich Roiter (unknown)
History
- 2026-11-02: add by m2/dev
simplicial manifold WB53E4V2Q7
| URI | m2://inv/WB53E4V2Q7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7520904, simplicial manifold (unknown). Also nLab simplicial manifold
- wikipedia: Wikipedia Simplicial manifold, Simplicial manifold (definition). Also Wikidata Q7520904
History
- 2026-10-26: add by m2/dev
Günter M. Ziegler WB55K9293A
| URI | m2://inv/WB55K9293A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LQC6, Günter M. Ziegler (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1KA6, Günter M. Ziegler (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KA0S, Günter M. Ziegler (topic)
- wikipedia: Wikipedia List of German mathematicians#VCLC, Günter M. Ziegler (topic)
History
- 2026-11-02: add by m2/dev
Homological conjectures in commutative algebra WB56CWVFHF
| URI | m2://inv/WB56CWVFHF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological conjectures in commutative algebra, Homological conjectures in commutative algebra (conjecture). Also Wikidata Q5891416
History
- 2026-11-02: add by m2/dev
WB59S7PZ5S WB59S7PZ5S
| URI | m2://inv/WB59S7PZ5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#0O04 (definition). In X1J5HKPS3R/e1, definition 1.7
History
- 2026-10-29: add by m2/v0.4.10
WB5D2W1QBP WB5D2W1QBP
| URI | m2://inv/WB5D2W1QBP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-9 (proof). In E59CDZA4DP, proof, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
E. C. George Sudarshan WB5H0JCY1Q
| URI | m2://inv/WB5H0JCY1Q |
|---|---|
| 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 Q1384866, E. C. George Sudarshan (unknown). Also nLab E. C. George Sudarshan
History
- 2026-10-26: add by m2/dev
WB5HMAYM5K WB5HMAYM5K
| URI | m2://inv/WB5HMAYM5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20049#Z9IL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Overtaking WB5TTW0MN8
| URI | m2://inv/WB5TTW0MN8 |
|---|---|
| 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#FC3S, Overtaking (statement). In 5E9G06XJKC/e1, lemma E.20
History
- 2026-10-28: add by m2/v0.4.2
Institutional model theory WB5WNDRRA1
| URI | m2://inv/WB5WNDRRA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#B91Z, Institutional model theory (definition)
History
- 2026-11-02: add by m2/dev
WB63Q3AX8T WB63Q3AX8T
| URI | m2://inv/WB63Q3AX8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#4ZDR (definition). In QG9ATXTKJ6/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
WB66SXAWFC WB66SXAWFC
| URI | m2://inv/WB66SXAWFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#11L2 (statement). In CGA36VE1C5/e1, fact 3.2.1
History
- 2026-10-27: add by m2/v0.3.6
Example WB67SWYHVN
| URI | m2://inv/WB67SWYHVN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On-Line Encyclopedia of Integer Sequences#8NNX, Example (example)
History
- 2026-11-02: add by m2/dev
Artinian ring WB6NMH5MCB
| URI | m2://inv/WB6NMH5MCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#LDPF, Artinian ring (definition)
- wikipedia: Wikipedia List of things named after Emil Artin#57GB, Artinian ring (definition)
- wikipedia: Wikipedia List of commutative algebra topics#LKB2, Artinian ring (definition)
History
- 2026-11-02: add by m2/dev
Construction WB6XR2AWCR
| URI | m2://inv/WB6XR2AWCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Postnikov system#37GL, Construction (definition)
History
- 2026-11-02: add by m2/dev
Critical-ball difference coverage WB71RBY24A
| URI | m2://inv/WB71RBY24A |
|---|---|
| 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 2609.37482#OW9N, Critical-ball difference coverage (statement). In 9QDRMZX8EY/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Ronald J. DiPerna WB761A2SC7
| URI | m2://inv/WB761A2SC7 |
|---|---|
| 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#CSDU, Ronald J. DiPerna (unknown)
History
- 2026-11-02: add by m2/dev
WB794YGXZ2 WB794YGXZ2
| URI | m2://inv/WB794YGXZ2 |
|---|---|
| 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 2504.13516#6L55 (example). In Z9JWKWH7CJ/e1, example 4.8
History
- 2026-10-27: add by m2/v0.3.5
WB7Q6X4DV2 WB7Q6X4DV2
| URI | m2://inv/WB7Q6X4DV2 |
|---|---|
| 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.10840#9C3C (statement). In JSJQEPY71E/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
WB80CVSXH6 WB80CVSXH6
| URI | m2://inv/WB80CVSXH6 |
|---|---|
| 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 2610.03424#TYYW (statement). In Q6HRJP4AWA/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Hirschberg's algorithm WB8NZN18A5
| URI | m2://inv/WB8NZN18A5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5WQO, Hirschberg's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Universal property of the limit operator system WB8R71B7YB
| URI | m2://inv/WB8R71B7YB |
|---|---|
| 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 2510.02019#JKPC, Universal property of the limit operator system (statement). In PD607VXPY3/e1, proposition 17
History
- 2026-10-27: add by m2/v0.3.5
WB8XB6000K WB8XB6000K
| URI | m2://inv/WB8XB6000K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#0PMM (statement). In 6KR7Z5ETRY/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Bessel polynomials WB8ZZ6M5FW
| URI | m2://inv/WB8ZZ6M5FW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bessel polynomials M5NXATQ48S |
Mentions
- wikidata: Wikidata Q4896402, Bessel polynomials (concept). Also MathWorld BesselPolynomial
- wikipedia: Wikipedia Bessel polynomials, Bessel polynomials (definition). Also Wikidata Q4896402
History
- 2026-10-26: add by m2/dev
WB90CBYRXQ WB90CBYRXQ
| URI | m2://inv/WB90CBYRXQ |
|---|---|
| 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.08583#28F8 (statement). In 5EKTECQ2P1/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
WB9BX50T21 WB9BX50T21
| URI | m2://inv/WB9BX50T21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.27366#U0KD (statement)
History
- 2026-11-01: add by m2/v0.6.15
WB9FAMCZW3 WB9FAMCZW3
| URI | m2://inv/WB9FAMCZW3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20153#Q04Q (example). In EYB107TM4Q/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.2
Double factorial WB9FASE5BQ
| URI | m2://inv/WB9FASE5BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#ET5I, Double factorial (definition)
History
- 2026-11-02: add by m2/dev
Leaf-count concentration and sensitivity WB9JB8V8A7
| URI | m2://inv/WB9JB8V8A7 |
|---|---|
| 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.40077#ICYF, Leaf-count concentration and sensitivity (statement). In F0HMNYB8WB/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Tiny Encryption Algorithm WB9NN1KVJ2
| URI | m2://inv/WB9NN1KVJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tiny Encryption Algorithm, Tiny Encryption Algorithm (definition). Also Wikidata Q1595597
History
- 2026-11-02: add by m2/dev
Minty gap under SGC WB9XHTEHTE
| URI | m2://inv/WB9XHTEHTE |
|---|---|
| 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.12641#HKWS, Minty gap under SGC (statement). In X5BYGZZHPF/e1, theorem H.7
History
- 2026-10-28: add by m2/v0.4.2
132 polytope WBA32C06SW
| URI | m2://inv/WBA32C06SW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#EBFA, 132 polytope (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#DLK2, 132 polytope (object)
History
- 2026-11-02: add by m2/dev
WBA3B850A9 WBA3B850A9
| URI | m2://inv/WBA3B850A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#9I1N (statement)
History
- 2026-11-01: add by m2/v0.6.15
WBA4NWJKKY WBA4NWJKKY
| URI | m2://inv/WBA4NWJKKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2306.12846#I1M8 (statement). In D6XA7JXZF3/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
Second action of the adjoint generator WBAH4QB6RB
| URI | m2://inv/WBAH4QB6RB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.06308#NJGB, Second action of the adjoint generator (statement). In HTWSDDAWGS/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
Logarithmic norm WBARGRBK8Y
| URI | m2://inv/WBARGRBK8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic norm, Logarithmic norm (definition). Also Wikidata Q6667309
History
- 2026-11-02: add by m2/dev
WBB0351JVG WBB0351JVG
| URI | m2://inv/WBB0351JVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#X9J4 (statement). In XCSQ27P0XW/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
WBB1Z11WDD WBB1Z11WDD
| URI | m2://inv/WBB1Z11WDD |
|---|---|
| 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.15643#1QZ5 (definition). In 7QFBJCRPW1/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
WBBEA7XZPP WBBEA7XZPP
| URI | m2://inv/WBBEA7XZPP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#O8T7 (example). In 317GZJ38HS/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.12
Example WBBM1EQVA4
| URI | m2://inv/WBBM1EQVA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex torus#56B2, Example (example)
History
- 2026-11-02: add by m2/dev
WBBN09KM1B WBBN09KM1B
| URI | m2://inv/WBBN09KM1B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#problem-1 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Monod equation WBBPJHKNF0
| URI | m2://inv/WBBPJHKNF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monod equation, Monod equation (definition). Also Wikidata Q1944979
History
- 2026-11-02: add by m2/dev
Simple example WBBQKHXQCD
| URI | m2://inv/WBBQKHXQCD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#BW44, Simple example (example)
History
- 2026-11-02: add by m2/dev
Yongbin Ruan WBBSPK2611
| URI | m2://inv/WBBSPK2611 |
|---|---|
| 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 Q15456141, Yongbin Ruan (unknown). Also nLab Yongbin Ruan
History
- 2026-10-26: add by m2/dev
Leonhard Euler WBBTPK3H5B
| URI | m2://inv/WBBTPK3H5B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#FIRP, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
WBC4C7PGX9 WBC4C7PGX9
| URI | m2://inv/WBC4C7PGX9 |
|---|---|
| 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#Q8ID (statement)
History
- 2026-11-01: add by m2/v0.6.15
WBCBJWVDA0 WBCBJWVDA0
| URI | m2://inv/WBCBJWVDA0 |
|---|---|
| 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.15167#FDJF (statement). In 4ME94TPA7R/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Local field WBCP4YP6WW
| URI | m2://inv/WBCP4YP6WW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#G95N, Local field (definition)
- wikipedia: Wikipedia List of abstract algebra topics#9WJN, Local field (definition)
History
- 2026-11-02: add by m2/dev
Formal definition WBCS1F342C
| URI | m2://inv/WBCS1F342C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular language#UKKP, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
WBCSEBCGD2 WBCSEBCGD2
| URI | m2://inv/WBCSEBCGD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.17441#05GB (statement). In 9Q8S0NWHP2/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Francesco Ricci WBCWRV7GV7
| URI | m2://inv/WBCWRV7GV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Ricci (mathematician), Francesco Ricci (topic). Also Wikidata Q20657573
History
- 2026-11-02: add by m2/dev
WBD1V7P79X WBD1V7P79X
| URI | m2://inv/WBD1V7P79X |
|---|---|
| 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 2609.21668#CR4G (statement)
History
- 2026-11-02: add by m2/v0.6.18
WBD2CA3FSP WBD2CA3FSP
| URI | m2://inv/WBD2CA3FSP |
|---|---|
| Kind | problem |
| 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.08193#SOD9 (problem). In 8XAKGH8S2D/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
Evectant WBD3A31E96
| URI | m2://inv/WBD3A31E96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evectant, Evectant (definition). Also Wikidata Q5416221
History
- 2026-11-02: add by m2/dev
extension of scalars WBDK2QDZ0V
| URI | m2://inv/WBDK2QDZ0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5421950, extension of scalars (unknown). Also nLab extension of scalars
History
- 2026-10-26: add by m2/dev
WBDKS34ED9 WBDKS34ED9
| URI | m2://inv/WBDKS34ED9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#0GDT (statement). In H21X3FHNYJ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Cumulative incidence WBDQF0T3T0
| URI | m2://inv/WBDQF0T3T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RJI6, Cumulative incidence (definition)
History
- 2026-11-02: add by m2/dev
Marcel J. E. Golay WBDTY3YAC9
| URI | m2://inv/WBDTY3YAC9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcel J. E. Golay, Marcel J. E. Golay (topic). Also Wikidata Q92950
History
- 2026-11-02: add by m2/dev
Casas-Alvero conjecture WBDX7AFAY8
| URI | m2://inv/WBDX7AFAY8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casas-Alvero conjecture, Casas-Alvero conjecture (conjecture). Also Wikidata Q5048045
History
- 2026-11-02: add by m2/dev
Krull–Akizuki theorem WBEC4J4PZX
| URI | m2://inv/WBEC4J4PZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull–Akizuki theorem, Krull–Akizuki theorem (statement). Also Wikidata Q6439289
History
- 2026-11-02: add by m2/dev
Robert Brandom WBEDNA8KC3
| URI | m2://inv/WBEDNA8KC3 |
|---|---|
| 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 Q1312168, Robert Brandom (unknown). Also nLab Robert Brandom
- wikipedia: Wikipedia Robert Brandom, Robert Brandom (topic). Also Wikidata Q1312168
History
- 2026-10-26: add by m2/dev
WBEDSPPJPY WBEDSPPJPY
| URI | m2://inv/WBEDSPPJPY |
|---|---|
| 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 2103.08272#CH17 (statement). In H72E12TYHA/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.0
Five Towns WBEG7DNEYZ
| URI | m2://inv/WBEG7DNEYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#O62E, Five Towns (unknown)
History
- 2026-11-02: add by m2/dev
Anna Nevius WBEPYXWPRG
| URI | m2://inv/WBEPYXWPRG |
|---|---|
| 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#CEU7, Anna Nevius (topic)
History
- 2026-11-02: add by m2/dev
Shooting method WBEYF4T9NQ
| URI | m2://inv/WBEYF4T9NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shooting method, Shooting method (definition). Also Wikidata Q1749769
History
- 2026-11-02: add by m2/dev
WBEYZJ8F58 WBEYZJ8F58
| URI | m2://inv/WBEYZJ8F58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17009#TLBX (statement). In PESAKD6SSW/e1, corollary 5.23
History
- 2026-10-27: add by m2/v0.3.6
Jessica Purcell WBF02C56X3
| URI | m2://inv/WBF02C56X3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jessica Purcell, Jessica Purcell (topic). Also Wikidata Q102327263
History
- 2026-11-02: add by m2/dev
Pentatope number WBFSNZ2863
| URI | m2://inv/WBFSNZ2863 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#9DF7, Pentatope number (unknown)
History
- 2026-11-02: add by m2/dev
Jean-Claude Tougeron WBFXCGA3AE
| URI | m2://inv/WBFXCGA3AE |
|---|---|
| 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#L6FF, Jean-Claude Tougeron (unknown)
History
- 2026-11-02: add by m2/dev
Exact feasibility and gap WBG45SG9K3
| URI | m2://inv/WBG45SG9K3 |
|---|---|
| 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.13685#FSD7, Exact feasibility and gap (statement). In 4XQWY8C4AV/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
WBG76RSG45 WBG76RSG45
| URI | m2://inv/WBG76RSG45 |
|---|---|
| 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.23350#1G40 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robert Marshak WBG833QQE8
| URI | m2://inv/WBG833QQE8 |
|---|---|
| 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 Q181687, Robert Marshak (unknown). Also nLab Robert Eugene Marshak
History
- 2026-10-26: add by m2/dev
Stokes' theorem WBGA4MC1C4
| URI | m2://inv/WBGA4MC1C4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Stokes' theorem 0AKRKVHW94 |
Mentions
- mathlib_1000: mathlib_1000 Q467756, Stokes's theorem (statement). Also Wikidata Q467756
- thousand_plus: thousand_plus Q467756, Stokes's theorem (statement). Also Wikidata Q467756, Wikipedia Stokes's theorem
- wikidata: Wikidata Q467756, Stokes' theorem (statement). Also EoM Stokes_formula, MathWorld CurlTheorem, MathWorld StokesTheorem, nLab Stokes theorem
- wikipedia: Wikipedia Stokes' theorem, Stokes' theorem (statement). Also Wikidata Q467756
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Kent State University WBGGTNYC88
| URI | m2://inv/WBGGTNYC88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of schools for quantitative psychology#ZUCT, Kent State University (unknown)
History
- 2026-11-02: add by m2/dev
atomic WBGHPXAQA1
| URI | m2://inv/WBGHPXAQA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#IP1R, atomic (definition)
History
- 2026-11-02: add by m2/dev
Proposition 1 WBH0QVZ4J7
| URI | m2://inv/WBH0QVZ4J7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#WO6S, Proposition 1 (statement)
History
- 2026-11-02: add by m2/dev
Contour integral WBH6DK2WEA
| URI | m2://inv/WBH6DK2WEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#W022, Contour integral (definition)
History
- 2026-11-02: add by m2/dev
(Nigeria #2) WBH9BCTCEH
| URI | m2://inv/WBH9BCTCEH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#HJVS, (Nigeria #2) (unknown)
History
- 2026-11-02: add by m2/dev
Conventions WBHBHN0SMM
| URI | m2://inv/WBHBHN0SMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindrical coordinate system#TTFL, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Henri Cohen WBHMJ06X6B
| URI | m2://inv/WBHMJ06X6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZH45, Henri Cohen (unknown)
History
- 2026-11-02: add by m2/dev
Theorems WBHSZQ2HHJ
| URI | m2://inv/WBHSZQ2HHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear span#URSB, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Hom functor WBHVVB0JEE
| URI | m2://inv/WBHVVB0JEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#5SQV, Hom functor (definition)
History
- 2026-11-02: add by m2/dev
Moran, Pat WBJ1DFZW4A
| URI | m2://inv/WBJ1DFZW4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3L70, Moran, Pat (topic)
History
- 2026-11-02: add by m2/dev
Definition WBJKHABH1E
| URI | m2://inv/WBJKHABH1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic coordinates#B45F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bose-Einstein condensation: a network theory approach WBJKMKNFJ9
| URI | m2://inv/WBJKMKNFJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#G1D2, Bose-Einstein condensation: a network theory approach (unknown)
History
- 2026-11-02: add by m2/dev
Length bound for CDF-level intervals WBJMDSAS3X
| URI | m2://inv/WBJMDSAS3X |
|---|---|
| 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.12740#7OC1, Length bound for CDF-level intervals (statement). In HKYRZSZPEC/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
Provable $\delta$-Perturbations WBJPQHX4W9
| URI | m2://inv/WBJPQHX4W9 |
|---|---|
| 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 2506.08233#3T2Z, Provable $\delta$-Perturbations (statement). In 2TXXQ2575Y/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.3.5
Quaternions and spatial rotation WBJR93NVTF
| URI | m2://inv/WBJR93NVTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternions and spatial rotation, Quaternions and spatial rotation (definition). Also Wikidata Q2634405
History
- 2026-11-02: add by m2/dev
Formal definition WBJY76BGC7
| URI | m2://inv/WBJY76BGC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege system#5Z9H, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
WBJZQC1BRZ WBJZQC1BRZ
| URI | m2://inv/WBJZQC1BRZ |
|---|---|
| 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.11047#XYNL (statement). In MNQAZ70XTH/e1, proposition 13.6
History
- 2026-10-28: add by m2/v0.4.3
WBK19TWVCW WBK19TWVCW
| URI | m2://inv/WBK19TWVCW |
|---|---|
| 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.25255#ZUBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
WBK2DBZP4H WBK2DBZP4H
| URI | m2://inv/WBK2DBZP4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#5X36 (statement). In CTVPA2FQT1/e1, lemma 8.3.2
History
- 2026-10-27: add by m2/v0.4.0
Mahler's inequality WBK4SYN746
| URI | m2://inv/WBK4SYN746 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahler's inequality, Mahler's inequality (statement). Also Wikidata Q865371
History
- 2026-11-02: add by m2/dev
WBK52J8J1P WBK52J8J1P
| URI | m2://inv/WBK52J8J1P |
|---|---|
| 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.07442#U48Q (statement). In 6SDC2Z8Y8M/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
WBK6F604PT WBK6F604PT
| URI | m2://inv/WBK6F604PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#def:lukasiewicz (definition). In PKGMM3P5QY, defn, section 40.2
History
- 2026-11-01: add by m2/v0.6.13
Definition WBK6FPFS7P
| URI | m2://inv/WBK6FPFS7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev distance#I7C3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement WBK6JWWY0Q
| URI | m2://inv/WBK6JWWY0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bombieri–Vinogradov theorem#UWPP, Statement (statement)
History
- 2026-11-02: add by m2/dev
Fréchet distribution WBKBHMP2MV
| URI | m2://inv/WBKBHMP2MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet distribution, Fréchet distribution (definition). Also Wikidata Q923006
History
- 2026-11-02: add by m2/dev
WBKD21E23Z WBKD21E23Z
| URI | m2://inv/WBKD21E23Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14068#394O (statement). In JF19FEH3SW/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Amelino-Camelia WBKGP1X2B4
| URI | m2://inv/WBKGP1X2B4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1N5S, Giovanni Amelino-Camelia (unknown)
History
- 2026-11-02: add by m2/dev
Improvement of oscillation WBKJ92XDCF
| URI | m2://inv/WBKJ92XDCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#BQ5R, Improvement of oscillation (statement)
History
- 2026-11-02: add by m2/v0.6.18
epitrochoid WBKYMNPE7G
| URI | m2://inv/WBKYMNPE7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#2JO8, epitrochoid (definition)
History
- 2026-11-02: add by m2/dev
Sorlin's theorem WBKZP4ACVE
| URI | m2://inv/WBKZP4ACVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#WET5, Sorlin's theorem (definition)
History
- 2026-11-02: add by m2/dev
Hypersequent WBM10G2A4C
| URI | m2://inv/WBM10G2A4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypersequent, Hypersequent (definition). Also Wikidata Q30702215
History
- 2026-11-02: add by m2/dev
WBM7HJ11XS WBM7HJ11XS
| URI | m2://inv/WBM7HJ11XS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#7RZ0 (example)
History
- 2026-11-01: add by m2/v0.6.15
Theorem WBMD9ABRMK
| URI | m2://inv/WBMD9ABRMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley–Wiener theorem#MXMI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
WBMDEB7J3S WBMDEB7J3S
| URI | m2://inv/WBMDEB7J3S |
|---|---|
| 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#I81H (statement). In E7W2HDNEKJ/e1, proposition 10.26
History
- 2026-10-30: add by m2/v0.4.12
List of first-order theories WBMG7HGCME
| URI | m2://inv/WBMG7HGCME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories, List of first-order theories (topic). Also Wikidata Q2908665
History
- 2026-11-02: add by m2/dev
non-classical logic WBMJQJ702E
| URI | m2://inv/WBMJQJ702E |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03B60 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q239179, non-classical logic (topic)
- wikipedia: Wikipedia Non-classical logic, Non-classical logic (definition). Also Wikidata Q239179
History
- 2026-10-26: add by m2/dev
Associativity WBMJSE6J9G
| URI | m2://inv/WBMJSE6J9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#KF7F, Associativity (statement). In V7VCEA0VAA/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
WBMPHV5HKX WBMPHV5HKX
| URI | m2://inv/WBMPHV5HKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12819#G379 (statement). In JW8S0XEMWG/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
WBMR8PQQHC WBMR8PQQHC
| URI | m2://inv/WBMR8PQQHC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33682#QVI7 (problem). In GN608RC9ES/e1, problem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Corollary 5 WBMRPM9YG9
| URI | m2://inv/WBMRPM9YG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#HPKN, Corollary 5 (statement)
History
- 2026-11-02: add by m2/dev
WBMV8WSHFA WBMV8WSHFA
| URI | m2://inv/WBMV8WSHFA |
|---|---|
| Kind | definition |
| 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.31858#JAUE (definition). In QV16PHDXKJ/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Epi-convergence WBN0H0NTYC
| URI | m2://inv/WBN0H0NTYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epi-convergence, Epi-convergence (definition). Also Wikidata Q25305385
History
- 2026-11-02: add by m2/dev
WBN0SV4P8N WBN0SV4P8N
| URI | m2://inv/WBN0SV4P8N |
|---|---|
| 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.08912#MNJP (statement). In DK5QY64NGH/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Basis pursuit WBN68R4H18
| URI | m2://inv/WBN68R4H18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis pursuit, Basis pursuit (definition). Also Wikidata Q4867576
History
- 2026-11-02: add by m2/dev
Definition WBNG4T63HD
| URI | m2://inv/WBNG4T63HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dissipation#61V7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Moderated measure WBNH43ACKE
| URI | m2://inv/WBNH43ACKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon measure#OQWA, Moderated measure (unknown)
History
- 2026-11-02: add by m2/dev
WBNPHK9V96 WBNPHK9V96
| URI | m2://inv/WBNPHK9V96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:full-faithful (definition). In N54F33XE07, defn, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
WBNWF90RDW WBNWF90RDW
| URI | m2://inv/WBNWF90RDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#TJW3 (statement). In ZBQX9341RV/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Benoit Mandelbrot WBNY6YDGX4
| URI | m2://inv/WBNY6YDGX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#H7V6, Benoit Mandelbrot (topic)
History
- 2026-11-02: add by m2/dev
WBP4F039NK WBP4F039NK
| URI | m2://inv/WBP4F039NK |
|---|---|
| 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.16235#GH8A (statement). In RNGNWGMX85/e1, theorem 3.18
History
- 2026-10-28: add by m2/v0.4.2
Checkers WBP8C4HBKP
| URI | m2://inv/WBP8C4HBKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#RP3S, Checkers (unknown)
History
- 2026-11-02: add by m2/dev
Definition WBP8G9QYXN
| URI | m2://inv/WBP8G9QYXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#DIAX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Every cell reaches out to $37.7612\ldots^\circ$ WBP8NPDT58
| URI | m2://inv/WBP8NPDT58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#FZO1, Every cell reaches out to $37.7612\ldots^\circ$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
WBPA7AKT1A WBPA7AKT1A
| URI | m2://inv/WBPA7AKT1A |
|---|---|
| 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.04835#KIV0 (statement). In P6PHR4W23S/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Markus Banagl WBPC68MJJF
| URI | m2://inv/WBPC68MJJF |
|---|---|
| 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 Q93370386, Markus Banagl (unknown). Also nLab Markus Banagl
History
- 2026-10-26: add by m2/dev
George Willis WBPMFEQ8ND
| URI | m2://inv/WBPMFEQ8ND |
|---|---|
| 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#DIP4, George Willis (unknown)
History
- 2026-11-02: add by m2/dev
Integrable algorithm WBPX7JJE9D
| URI | m2://inv/WBPX7JJE9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrable algorithm, Integrable algorithm (definition). Also Wikidata Q89466598
History
- 2026-11-02: add by m2/dev
Higher-order pattern unification WBQ1TPX0MX
| URI | m2://inv/WBQ1TPX0MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unification (computer science)#XATY, Higher-order pattern unification (unknown)
History
- 2026-11-02: add by m2/dev
Omitted-variable bias WBQ2PASG2D
| URI | m2://inv/WBQ2PASG2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omitted-variable bias, Omitted-variable bias (definition). Also Wikidata Q3274486
History
- 2026-11-02: add by m2/dev
WBQ6X9MC46 WBQ6X9MC46
| URI | m2://inv/WBQ6X9MC46 |
|---|---|
| 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#QBLX (definition). In P9J6P06Y40/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Lorenz attractor WBQ8650VC1
| URI | m2://inv/WBQ8650VC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#291V, Lorenz attractor (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#47E2, Lorenz attractor (definition)
History
- 2026-11-02: add by m2/dev
Theorem WBQGT1K37F
| URI | m2://inv/WBQGT1K37F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#IQUU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Eulerian WBQMWDGTV1
| URI | m2://inv/WBQMWDGTV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#SIM3, Eulerian (definition)
History
- 2026-11-02: add by m2/dev
WBQS2MV5MQ WBQS2MV5MQ
| URI | m2://inv/WBQS2MV5MQ |
|---|---|
| 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 2610.18483#PRGE (statement). In FF4HDVF1DC/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
WBQTX7PHVW WBQTX7PHVW
| URI | m2://inv/WBQTX7PHVW |
|---|---|
| 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.12295#8FGX (statement). In 6DZPR52HRP/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Netherlands WBQYHFXD77
| URI | m2://inv/WBQYHFXD77 |
|---|---|
| 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 Q55, Netherlands (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Netherlands
History
- 2026-10-26: add by m2/dev
One rank release for all monotone tasks WBR2GE56XF
| URI | m2://inv/WBR2GE56XF |
|---|---|
| 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#OHL6, One rank release for all monotone tasks (statement). In 9YAE8FNQST/e1, corollary 29.8
History
- 2026-10-30: add by m2/v0.4.12
Horst Sachs WBR3GW444Q
| URI | m2://inv/WBR3GW444Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horst Sachs, Horst Sachs (topic). Also Wikidata Q78039
History
- 2026-11-02: add by m2/dev
2503 (number) WBR3W0GSA1
| URI | m2://inv/WBR3W0GSA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#7FGM, 2503 (number) (unknown)
History
- 2026-11-02: add by m2/dev
WBR8KMG77J WBR8KMG77J
| URI | m2://inv/WBR8KMG77J |
|---|---|
| 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.04809#GERZ (statement). In 2VHV0RNTNV/e1, fact 2.8
History
- 2026-10-29: add by m2/v0.4.12
Example WBRDK85WAN
| URI | m2://inv/WBRDK85WAN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental solution#THF2, Example (example)
History
- 2026-11-02: add by m2/dev
Moving equilibrium theorem WBRV07MHM6
| URI | m2://inv/WBRV07MHM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6927135, Moving equilibrium theorem (statement). Also Wikidata Q6927135
- thousand_plus: thousand_plus Q6927135, Moving equilibrium theorem (statement). Also Wikidata Q6927135, Wikipedia Moving equilibrium theorem
- wikipedia: Wikipedia Moving equilibrium theorem, Moving equilibrium theorem (statement). Also Wikidata Q6927135
History
- 2026-10-26: add by m2/dev
757 (number) WBRY6ZGKSV
| URI | m2://inv/WBRY6ZGKSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#1CF1, 757 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry WBS0DNM1Q1
| URI | m2://inv/WBS0DNM1Q1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexadecagon#P6CR, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
WBS40WVEWB WBS40WVEWB
| URI | m2://inv/WBS40WVEWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#GEEG (statement). In 6XP6PD2XZA/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
in rebus vagueness WBS8W4EG88
| URI | m2://inv/WBS8W4EG88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2G9U, in rebus vagueness (definition)
History
- 2026-11-02: add by m2/dev
Properties WBSBX6FBR3
| URI | m2://inv/WBSBX6FBR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic unit#6IE0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Real number WBSD82PSNS
| URI | m2://inv/WBSD82PSNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#LXP7, Real number (definition)
History
- 2026-11-02: add by m2/dev
Information ratio WBSG64HPBT
| URI | m2://inv/WBSG64HPBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information ratio, Information ratio (definition). Also Wikidata Q1662488
History
- 2026-11-02: add by m2/dev
WBSGCMNV5X WBSGCMNV5X
| URI | m2://inv/WBSGCMNV5X |
|---|---|
| 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.19360#8DPT (statement). In MFCW5CY96C/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
goat problem WBSKRZ5WV9
| URI | m2://inv/WBSKRZ5WV9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23719451, goat problem (concept). Also MathWorld GoatProblem
- wikipedia: Wikipedia Goat grazing problem, Goat grazing problem (problem). Also Wikidata Q23719451
History
- 2026-10-26: add by m2/dev
Discretization of continuous features WBSN0H5DVN
| URI | m2://inv/WBSN0H5DVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discretization of continuous features, Discretization of continuous features (definition). Also Wikidata Q665193
History
- 2026-11-02: add by m2/dev
Involute of a circle WBSYT38D2J
| URI | m2://inv/WBSYT38D2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1787648, Involute of a circle (unknown). Also MathWorld CircleInvolute
History
- 2026-10-26: add by m2/dev
Gumbel, Emil Julius WBT0QCBVKM
| URI | m2://inv/WBT0QCBVKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8N3E, Gumbel, Emil Julius (unknown)
History
- 2026-11-02: add by m2/dev
WBT0YHW3X2 WBT0YHW3X2
| URI | m2://inv/WBT0YHW3X2 |
|---|---|
| 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.15217#4CR9 (definition). In G70Q2FB591/e1, definition 4.11
History
- 2026-10-28: add by m2/v0.4.2
Cauchy–Hadamard theorem WBT52FDX6C
| URI | m2://inv/WBT52FDX6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#DUPF, Cauchy–Hadamard theorem (statement)
History
- 2026-11-02: add by m2/dev
River sinuosity WBT64WWE86
| URI | m2://inv/WBT64WWE86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinuosity#G201, River sinuosity (unknown)
History
- 2026-11-02: add by m2/dev
Institute for Mathematics and its Applications WBTFZZW1RF
| URI | m2://inv/WBTFZZW1RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute for Mathematics and its Applications, Institute for Mathematics and its Applications (definition). Also Wikidata Q15995177
History
- 2026-11-02: add by m2/dev
The axioms WBTK9PXAF9
| URI | m2://inv/WBTK9PXAF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separoid#CXS3, The axioms (statement)
History
- 2026-11-02: add by m2/dev
WBTPXGNG27 WBTPXGNG27
| URI | m2://inv/WBTPXGNG27 |
|---|---|
| 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.22825#XPFQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Walter Carnielli WBTZ7JV2GE
| URI | m2://inv/WBTZ7JV2GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5OR3, Walter Carnielli (topic)
History
- 2026-11-02: add by m2/dev
WBV1TBJ8V0 WBV1TBJ8V0
| URI | m2://inv/WBV1TBJ8V0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36922#3B4M (definition). In BMHWE5QTTR/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Salem H. Khamis WBV6FDR7S9
| URI | m2://inv/WBV6FDR7S9 |
|---|---|
| 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#LOVR, Salem H. Khamis (unknown)
History
- 2026-11-02: add by m2/dev
John Holwell WBVFBR76FP
| URI | m2://inv/WBVFBR76FP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Holwell, John Holwell (topic). Also Wikidata Q6239711
History
- 2026-11-02: add by m2/dev
WBVMHV4QTZ WBVMHV4QTZ
| URI | m2://inv/WBVMHV4QTZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-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.24448#QF2X (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lantern relation WBVNCBPC1J
| URI | m2://inv/WBVNCBPC1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lantern relation, Lantern relation (definition). Also Wikidata Q6487579
History
- 2026-11-02: add by m2/dev
Generalization WBVWSGDN6B
| URI | m2://inv/WBVWSGDN6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein's criterion#1HAA, Generalization (statement)
History
- 2026-11-02: add by m2/dev
WBVZWQM68Q WBVZWQM68Q
| URI | m2://inv/WBVZWQM68Q |
|---|---|
| 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.21692#0O85 (statement)
History
- 2026-11-02: add by m2/v0.6.18
WBW1BF60DQ WBW1BF60DQ
| URI | m2://inv/WBW1BF60DQ |
|---|---|
| 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#QZ2M (statement)
History
- 2026-11-02: add by m2/v0.6.17
WBW1K4TCA2 WBW1K4TCA2
| URI | m2://inv/WBW1K4TCA2 |
|---|---|
| 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.20110#B9AX (statement). In 1SAMKN4477/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.4.2
Veblen–Young theorem WBWB0J1ZWC
| URI | m2://inv/WBWB0J1ZWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veblen–Young theorem, Veblen–Young theorem (statement). Also Wikidata Q7917715
History
- 2026-11-02: add by m2/dev
WBWF5KY8ZK WBWF5KY8ZK
| URI | m2://inv/WBWF5KY8ZK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-14 (proof). In N54F33XE07, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
WBWNX4N7SA WBWNX4N7SA
| URI | m2://inv/WBWNX4N7SA |
|---|---|
| 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.08357#JMM8 (statement). In R9GRCAWHG0/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
WBWYVY46BC WBWYVY46BC
| URI | m2://inv/WBWYVY46BC |
|---|---|
| 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.29422#1DZ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WBX0CE13S3 WBX0CE13S3
| URI | m2://inv/WBX0CE13S3 |
|---|---|
| Kind | definition |
| 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 2305.10921#BNXY (definition). In PD5PJ0EYG6/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Constant points on a nonconstant curve WBXB1MEKEN
| URI | m2://inv/WBXB1MEKEN |
|---|---|
| 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.33327#3MAF, Constant points on a nonconstant curve (statement). In A5R31P82BK/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
WBXGTV9JE1 WBXGTV9JE1
| URI | m2://inv/WBXGTV9JE1 |
|---|---|
| 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.29631#2CQI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Module preservation under ideal-compatible column reduction WBXWB0P78B
| URI | m2://inv/WBXWB0P78B |
|---|---|
| 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.32936#LVB5, Module preservation under ideal-compatible column reduction (statement). In QDBYK125AB/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
WBXWWFT9NM WBXWWFT9NM
| URI | m2://inv/WBXWWFT9NM |
|---|---|
| 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#HE7I (statement). In CY1FE8W1ZW/e1, lemma 0.290
History
- 2026-10-27: add by m2/v0.4.0
Test for structural change WBXXV8188B
| URI | m2://inv/WBXXV8188B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q07Y, Test for structural change (definition)
History
- 2026-11-02: add by m2/dev
WBY3AZFSGH WBY3AZFSGH
| URI | m2://inv/WBY3AZFSGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#lem:subst (statement). In PKGMM3P5QY, lem, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
WBY4D6N3BQ WBY4D6N3BQ
| URI | m2://inv/WBY4D6N3BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#JI8O (statement). In 25B3WHEKH2/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Estimator WBY6K9J0DA
| URI | m2://inv/WBY6K9J0DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9JVX, Estimator (definition)
History
- 2026-11-02: add by m2/dev
WBYK0DBTGE WBYK0DBTGE
| URI | m2://inv/WBYK0DBTGE |
|---|---|
| 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.18803#VHFG (statement). In VG8AF124T3/e1, theorem 7.8
History
- 2026-10-28: add by m2/v0.4.2
Definition WBYNV4VJ9M
| URI | m2://inv/WBYNV4VJ9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch group#HI0D, Definition (definition)
History
- 2026-11-02: add by m2/dev
Takurō Mochizuki WBYZ7Q7BY5
| URI | m2://inv/WBYZ7Q7BY5 |
|---|---|
| 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 Q11517092, Takurō Mochizuki (unknown). Also nLab Takuro Mochizuki
- wikipedia: Wikipedia Takurō Mochizuki, Takurō Mochizuki (topic). Also Wikidata Q11517092
History
- 2026-10-26: add by m2/dev
WBZ2VYKW11 WBZ2VYKW11
| URI | m2://inv/WBZ2VYKW11 |
|---|---|
| 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 2606.00589#I2O0 (statement). In C8JAGP8VCQ/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
WBZ35K2XT7 WBZ35K2XT7
| URI | m2://inv/WBZ35K2XT7 |
|---|---|
| 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.10452#T6GK (statement). In 2F4PNP1V3B/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Ola Svensson WBZ7KWBFZF
| URI | m2://inv/WBZ7KWBFZF |
|---|---|
| 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#N0KS, Ola Svensson (unknown)
History
- 2026-11-02: add by m2/dev
The infinite independence lemma WBZA8WMMFC
| URI | m2://inv/WBZA8WMMFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1912.02769#T92F, The infinite independence lemma (statement). In JH7VQ2EC16/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
WBZAPEBC86 WBZAPEBC86
| URI | m2://inv/WBZAPEBC86 |
|---|---|
| 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 2110.06338#T520 (definition). In W1VVK7WDPK/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Extensions WBZC66C3SH
| URI | m2://inv/WBZC66C3SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian mechanics#QPPK, Extensions (statement)
History
- 2026-11-02: add by m2/dev
John Major WBZPC6P6VZ
| URI | m2://inv/WBZPC6P6VZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Major (philosopher), John Major (topic). Also Wikidata Q579194
History
- 2026-11-02: add by m2/dev
WBZW40XRY9 WBZW40XRY9
| URI | m2://inv/WBZW40XRY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#YVJL (statement). In Y1DR0DPWD0/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Equidistribution theorem WBZWCKV879
| URI | m2://inv/WBZWCKV879 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3984052, Equidistribution theorem (statement). Also Wikidata Q3984052
- thousand_plus: thousand_plus Q3984052, Equidistribution theorem (statement). Also Wikidata Q3984052, Wikipedia Equidistribution theorem
- wikipedia: Wikipedia Equidistribution theorem, Equidistribution theorem (statement). Also Wikidata Q3984052
History
- 2026-10-26: add by m2/dev
Julio Ríos Gallego WBZYJYV90W
| URI | m2://inv/WBZYJYV90W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julio Ríos Gallego, Julio Ríos Gallego (topic). Also Wikidata Q5955749
History
- 2026-11-02: add by m2/dev