Inventory rows 4W
The cards of the rows of the inventory whose ids start with 4W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Corollary 4W04XAD469
| URI | m2://inv/4W04XAD469 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lukacs's proportion-sum independence theorem#AVVB, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Definition 4W0GC956QC
| URI | m2://inv/4W0GC956QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary process#HGG8, Definition (definition)
History
- 2026-11-02: add by m2/dev
material consequence 4W0H76YP20
| URI | m2://inv/4W0H76YP20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3AIH, material consequence (definition)
History
- 2026-11-02: add by m2/dev
Nathan Jacob Fine 4W0K80ERJ0
| URI | m2://inv/4W0K80ERJ0 |
|---|---|
| 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#GRDZ, Nathan Jacob Fine (topic)
History
- 2026-11-02: add by m2/dev
Properties 4W0KC4215Y
| URI | m2://inv/4W0KC4215Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid–Mullin sequence#NW58, Properties (statement)
History
- 2026-11-02: add by m2/dev
4W0KRCNKP1 4W0KRCNKP1
| URI | m2://inv/4W0KRCNKP1 |
|---|---|
| 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.21174#US1Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
Horizontal lift 4W0KRY6C7M
| URI | m2://inv/4W0KRY6C7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehresmann connection#JK3C, Horizontal lift (unknown)
History
- 2026-11-02: add by m2/dev
unimodal distribution 4W0M03NYYZ
| URI | m2://inv/4W0M03NYYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124178356, unimodal distribution (unknown). Also EoM Unimodal_distribution, MathWorld UnimodalDistribution
History
- 2026-10-26: add by m2/dev
Venn diagram 4W0QC9B1EH
| URI | m2://inv/4W0QC9B1EH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.1.2/venn-diagram, Venn diagram (concept). In Y91XFCEVHQ, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
convergent, power series 4W0QVRBSEB
| URI | m2://inv/4W0QVRBSEB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.6.5/convergent-power-series, convergent, power series (concept). In E59CDZA4DP, index, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
4W10J69CEN 4W10J69CEN
| URI | m2://inv/4W10J69CEN |
|---|---|
| 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.20316#P49Y (statement). In YRJS76169Z/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.4.2
4W17463NEE 4W17463NEE
| URI | m2://inv/4W17463NEE |
|---|---|
| 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 2604.23212#TZPK (statement). In 4X12V9RS0D/e1, lemma G.8
History
- 2026-10-27: add by m2/v0.3.5
Jingyi Jessica Li 4W1BSSPXW0
| URI | m2://inv/4W1BSSPXW0 |
|---|---|
| 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#4HA8, Jingyi Jessica Li (unknown)
History
- 2026-11-02: add by m2/dev
4W1CM84HZ5 4W1CM84HZ5
| URI | m2://inv/4W1CM84HZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.28742#NPTN (statement)
History
- 2026-11-01: add by m2/v0.6.15
4W1ESWTWQX 4W1ESWTWQX
| URI | m2://inv/4W1ESWTWQX |
|---|---|
| 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 2609.31910#URTK (example). In E4EK1XXPY4/e1, example 6.5
History
- 2026-10-31: add by m2/v0.5.6
4W1N8DMER0 4W1N8DMER0
| URI | m2://inv/4W1N8DMER0 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#KUYY (unknown). In QNBFHFZ3H0/e1, unknown 129
History
- 2026-10-28: add by m2/v0.4.2
Reductio ad Hitlerum 4W1QTARSZV
| URI | m2://inv/4W1QTARSZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductio ad Hitlerum, Reductio ad Hitlerum (definition). Also Wikidata Q161147
History
- 2026-11-02: add by m2/dev
Minkowski inequality for sums 4W1RBJT45Q
| URI | m2://inv/4W1RBJT45Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117355532, Minkowski inequality for sums (statement). Also ProofWiki Minkowski's_Inequality_for_Sums
History
- 2026-10-26: add by m2/dev
4W1T5Y1HZ6 4W1T5Y1HZ6
| URI | m2://inv/4W1T5Y1HZ6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21532#6H2N (example)
History
- 2026-11-02: add by m2/v0.6.18
4W1WBWTV4M 4W1WBWTV4M
| URI | m2://inv/4W1WBWTV4M |
|---|---|
| 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.05193#SMNI (statement). In XDMM0KNNZ9/e1, corollary 11
History
- 2026-10-29: add by m2/v0.4.10
Bose–Mesner algebra 4W1ZGRH23Q
| URI | m2://inv/4W1ZGRH23Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bose–Mesner algebra, Bose–Mesner algebra (definition). Also Wikidata Q17003644
History
- 2026-11-02: add by m2/dev
4W21CEGH6K 4W21CEGH6K
| URI | m2://inv/4W21CEGH6K |
|---|---|
| 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.37471#CAAF (statement). In KDF1GTQV08/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Olga Taussky-Todd 4W23KSEF42
| URI | m2://inv/4W23KSEF42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DR22, Olga Taussky-Todd (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7TD3, Olga Taussky-Todd (unknown)
History
- 2026-11-02: add by m2/dev
Analytic approximations of the Heaviside step function 4W252PRCT7
| URI | m2://inv/4W252PRCT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heaviside step function#XKSZ, Analytic approximations of the Heaviside step function (unknown)
History
- 2026-11-02: add by m2/dev
4W28VZS8NM 4W28VZS8NM
| URI | m2://inv/4W28VZS8NM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-1 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Tri racial 4W2QYWP0YY
| URI | m2://inv/4W2QYWP0YY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Race and ethnicity in the United States#7PUC, Tri racial (unknown)
History
- 2026-11-02: add by m2/dev
4W2S5SASCQ 4W2S5SASCQ
| URI | m2://inv/4W2S5SASCQ |
|---|---|
| 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 2609.37805#Q5P3 (definition). In 9ABCBQEHZ9/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
4W2W6FFWNW 4W2W6FFWNW
| URI | m2://inv/4W2W6FFWNW |
|---|---|
| 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.36423#T2QM (statement). In Q5Z178SAHP/e1, lemma 8.3
History
- 2026-10-30: add by m2/v0.4.12
Schramm–Loewner evolution 4W2YE8A0G1
| URI | m2://inv/4W2YE8A0G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schramm–Loewner evolution, Schramm–Loewner evolution (definition). Also Wikidata Q7432797
History
- 2026-11-02: add by m2/dev
Examples 4W31DGVDRP
| URI | m2://inv/4W31DGVDRP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigidity (mathematics)#EFGS, Examples (example)
History
- 2026-11-02: add by m2/dev
Plotting algorithms for the Mandelbrot set 4W34KG11DY
| URI | m2://inv/4W34KG11DY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plotting algorithms for the Mandelbrot set, Plotting algorithms for the Mandelbrot set (definition). Also Wikidata Q85793700
History
- 2026-11-02: add by m2/dev
4W3A4AJHG3 4W3A4AJHG3
| URI | m2://inv/4W3A4AJHG3 |
|---|---|
| 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 2510.12502#85HO (definition). In 3A4K47Y9F2/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
4W3D2AQHGT 4W3D2AQHGT
| URI | m2://inv/4W3D2AQHGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#FCZ3 (statement). In 29D4TTE3J2/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.4.2
4W3FT2QZZ3 4W3FT2QZZ3
| URI | m2://inv/4W3FT2QZZ3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-2 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Viscosity of a Gram point 4W3N7WKBG4
| URI | m2://inv/4W3N7WKBG4 |
|---|---|
| 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 2406.06548#85AK, Viscosity of a Gram point (definition). In SCC2N3WNYE/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
Definition 4W3P4FS169
| URI | m2://inv/4W3P4FS169 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Meixner polynomials#2T8W, Definition (definition)
History
- 2026-11-02: add by m2/dev
4W3XYPFMBY 4W3XYPFMBY
| URI | m2://inv/4W3XYPFMBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#prop:equivalences (statement). In PKGMM3P5QY, prop, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
Frobenius theorem 4W45H1PXQJ
| URI | m2://inv/4W45H1PXQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FTUK, Frobenius theorem (statement)
History
- 2026-11-02: add by m2/dev
Probabilistic causation 4W464FH8GB
| URI | m2://inv/4W464FH8GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic causation, Probabilistic causation (definition). Also Wikidata Q17149504
History
- 2026-11-02: add by m2/dev
MPB 4W49RTYH90
| URI | m2://inv/4W49RTYH90 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#CE5I, MPB (unknown)
History
- 2026-11-02: add by m2/dev
Claude Shannon 4W4DPEGASE
| URI | m2://inv/4W4DPEGASE |
|---|---|
| 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 Q92760, Claude Shannon (unknown). Also nLab Claude Shannon
- wikipedia: Wikipedia Claude Shannon, Claude Shannon (topic). Also Wikidata Q92760
History
- 2026-10-26: add by m2/dev
Examples 4W4MBT2CD6
| URI | m2://inv/4W4MBT2CD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth–Bendix completion algorithm#GOQ4, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions 4W4MG5401G
| URI | m2://inv/4W4MG5401G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cichoń's diagram#7KQ2, Definitions (definition)
History
- 2026-11-02: add by m2/dev
nine lemma 4W4RPM2SX3
| URI | m2://inv/4W4RPM2SX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nine lemma 6ZRRH96VZT |
Mentions
- wikidata: Wikidata Q2645980, nine lemma (statement). Also MathWorld NineLemma, nLab 3x3 lemma
- wikipedia: Wikipedia Nine lemma, Nine lemma (statement). Also Wikidata Q2645980
History
- 2026-10-26: add by m2/dev
Applications 4W4S0223M9
| URI | m2://inv/4W4S0223M9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinwheel scheduling#SXJU, Applications (example)
History
- 2026-11-02: add by m2/dev
4W4Z1KC2KZ 4W4Z1KC2KZ
| URI | m2://inv/4W4Z1KC2KZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#example-2 (example). In RZP28ERRZV, example, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
Robin Kelley 4W52E16RN4
| URI | m2://inv/4W52E16RN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#6Z1N, Robin Kelley (unknown)
History
- 2026-11-02: add by m2/dev
4W548618XK 4W548618XK
| URI | m2://inv/4W548618XK |
|---|---|
| Kind | example |
| 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 2508.03972#WHIV (example). In 2JD3KNKJ1P/e1, example 4.6
History
- 2026-10-27: add by m2/v0.3.5
4W596JBPW6 4W596JBPW6
| URI | m2://inv/4W596JBPW6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-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.09319#OQ5V (example). In GMRT5GHBZS/e1, example 6.12
History
- 2026-10-29: add by m2/v0.4.10
Marie-Claude Arnaud 4W59CMCKYN
| URI | m2://inv/4W59CMCKYN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie-Claude Arnaud, Marie-Claude Arnaud (topic). Also Wikidata Q32752655
History
- 2026-11-02: add by m2/dev
Anderson, Theodore Wilbur 4W5DDZH3EA
| URI | m2://inv/4W5DDZH3EA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#949V, Anderson, Theodore Wilbur (topic)
History
- 2026-11-02: add by m2/dev
Clebsch cubic 4W5F3E8XMS
| URI | m2://inv/4W5F3E8XMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IBBO, Clebsch cubic (definition)
History
- 2026-11-02: add by m2/dev
4W5MHR6SJS 4W5MHR6SJS
| URI | m2://inv/4W5MHR6SJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#AIMU (statement). In WE2KKAMEFW/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Least squares support vector machine 4W5MPD9E7P
| URI | m2://inv/4W5MPD9E7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IV1Y, Least squares support vector machine (definition)
History
- 2026-11-02: add by m2/dev
Off-diagonal estimates on spatial supports 4W5NR6DQJG
| URI | m2://inv/4W5NR6DQJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#38WV, Off-diagonal estimates on spatial supports (statement)
History
- 2026-11-02: add by m2/v0.6.17
Linear grammar 4W5SH4FZYR
| URI | m2://inv/4W5SH4FZYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#FY6I, Linear grammar (definition)
History
- 2026-11-02: add by m2/dev
4W63VSZF71 4W63VSZF71
| URI | m2://inv/4W63VSZF71 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-6 (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Ahlfors theory 4W6ADJQ29Q
| URI | m2://inv/4W6ADJQ29Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#NFCK, Ahlfors theory (definition)
History
- 2026-11-02: add by m2/dev
Base change lifting 4W6ES5KG1H
| URI | m2://inv/4W6ES5KG1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base change lifting, Base change lifting (definition). Also Wikidata Q4866383
History
- 2026-11-02: add by m2/dev
4W6JB72N32 4W6JB72N32
| URI | m2://inv/4W6JB72N32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2409.01237#CEUO (statement). In M9VHCG48HB/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.3.5
4W6P58VNW3 4W6P58VNW3
| URI | m2://inv/4W6P58VNW3 |
|---|---|
| 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.20600#GK4G (statement). In H5JZ2T9KVT/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.2
4W6W1345SF 4W6W1345SF
| URI | m2://inv/4W6W1345SF |
|---|---|
| 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.24007#6KKF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eleanor Bernert Sheldon 4W71SVDJCV
| URI | m2://inv/4W71SVDJCV |
|---|---|
| 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#Q8RY, Eleanor Bernert Sheldon (unknown)
History
- 2026-11-02: add by m2/dev
4W73YF9FC6 4W73YF9FC6
| URI | m2://inv/4W73YF9FC6 |
|---|---|
| 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 2304.03611#S9H4 (statement). In 75E8ZB1CBV/e1, proposition 3.3.2
History
- 2026-10-27: add by m2/v0.4.0
4W75D70DV4 4W75D70DV4
| URI | m2://inv/4W75D70DV4 |
|---|---|
| Kind | definition |
| 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 2203.15223#N8JU (definition). In HSY17Q75DM/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
4W766589JS 4W766589JS
| URI | m2://inv/4W766589JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.26771#CNCX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 4W79YBPQ6D
| URI | m2://inv/4W79YBPQ6D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#4SH6, Example (example)
History
- 2026-11-02: add by m2/dev
Vladimir Miklyukov 4W7E6E90MB
| URI | m2://inv/4W7E6E90MB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Miklyukov, Vladimir Miklyukov (topic). Also Wikidata Q4293073
History
- 2026-11-02: add by m2/dev
4W7HBFNWHE 4W7HBFNWHE
| URI | m2://inv/4W7HBFNWHE |
|---|---|
| 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.35442#482C (definition). In C6R0DAA279/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
4W7K31W4ME 4W7K31W4ME
| URI | m2://inv/4W7K31W4ME |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
Generalized Poincaré conjecture 4W7SJMAHZR
| URI | m2://inv/4W7SJMAHZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ORZV, Generalized Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
4W819MXYN1 4W819MXYN1
| URI | m2://inv/4W819MXYN1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-45 (proof). In N54F33XE07, proof, section 7.9
History
- 2026-11-01: add by m2/v0.6.13
Properties 4W87R4HJ1S
| URI | m2://inv/4W87R4HJ1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perrin number#X4C5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 4W88X6KJRS
| URI | m2://inv/4W88X6KJRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lens space#OYXL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lyapunov fractal 4W8G63T73B
| URI | m2://inv/4W8G63T73B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#WSIF, Lyapunov fractal (unknown)
- wikipedia: Wikipedia List of mathematical shapes#W6HW, Lyapunov fractal (unknown)
History
- 2026-11-02: add by m2/dev
4W8J1X8910 4W8J1X8910
| URI | m2://inv/4W8J1X8910 |
|---|---|
| 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 2301.07434#75QY (statement). In 7XZHQ2H5ZD/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
4W8MGSBT8Y 4W8MGSBT8Y
| URI | m2://inv/4W8MGSBT8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#S77H (statement). In JWNYJVH8XG/e1, corollary 2.35
History
- 2026-10-29: add by m2/v0.4.10
Prime number theorem 4W8Q4S32YF
| URI | m2://inv/4W8Q4S32YF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's theorem#CO6F, Prime number theorem (statement)
History
- 2026-11-02: add by m2/dev
Characterization in the projective plane 4W8S4D0RNV
| URI | m2://inv/4W8S4D0RNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#0WQD, Characterization in the projective plane (statement). In Z0SAF18JPP/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
H-cobordism theorem 4W8SSWKHPZ
| URI | m2://inv/4W8SSWKHPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#J453, H-cobordism theorem (definition)
History
- 2026-11-02: add by m2/dev
Gauss–Hermite quadrature 4W8WQ9X8VY
| URI | m2://inv/4W8WQ9X8VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#27BN, Gauss–Hermite quadrature (definition)
History
- 2026-11-02: add by m2/dev
4W91TFP6KB 4W91TFP6KB
| URI | m2://inv/4W91TFP6KB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#CS61 (definition). In VDE5R8HBS1/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Jacob Anatoli 4W95F7GWD9
| URI | m2://inv/4W95F7GWD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VDQJ, Jacob Anatoli (unknown)
History
- 2026-11-02: add by m2/dev
Furstenberg's proof of the infinitude of primes 4W95HFDY7D
| URI | m2://inv/4W95HFDY7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#Y9WO, Furstenberg's proof of the infinitude of primes (definition)
History
- 2026-11-02: add by m2/dev
Example 4W9CZW0S8T
| URI | m2://inv/4W9CZW0S8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amenable group#WRWB, Example (example)
History
- 2026-11-02: add by m2/dev
4W9GYEJDMM 4W9GYEJDMM
| URI | m2://inv/4W9GYEJDMM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#IK1J (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition 4W9KG9A9K9
| URI | m2://inv/4W9KG9A9K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom A#U617, Definition (definition)
History
- 2026-11-02: add by m2/dev
RC4 4W9MTTT248
| URI | m2://inv/4W9MTTT248 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#VI7G, RC4 (definition)
History
- 2026-11-02: add by m2/dev
adjoint operator 4W9P8F0BG9
| URI | m2://inv/4W9P8F0BG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > adjoint operator, adjoint operator (unknown). Also Mathlib LinearPMap.adjoint
History
- 2026-10-26: add by m2/dev
Truncation and monotone convergence for positive observables 4W9W5J0SDZ
| URI | m2://inv/4W9W5J0SDZ |
|---|---|
| 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#DUCI, Truncation and monotone convergence for positive observables (statement). In MM8P5CJR18/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
End 4W9Z045B3C
| URI | m2://inv/4W9Z045B3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End (topology), End (definition). Also Wikidata Q5375784
History
- 2026-11-02: add by m2/dev
Élisabeth Bouscaren 4WA1X468A0
| URI | m2://inv/4WA1X468A0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Élisabeth Bouscaren, Élisabeth Bouscaren (topic). Also Wikidata Q30544180
History
- 2026-11-02: add by m2/dev
Partition decomposition 4WAPBPRK3W
| URI | m2://inv/4WAPBPRK3W |
|---|---|
| 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#1B77, Partition decomposition (statement). In E7W2HDNEKJ/e1, lemma 4.18
History
- 2026-10-30: add by m2/v0.4.12
4WAQNQD1MB 4WAQNQD1MB
| URI | m2://inv/4WAQNQD1MB |
|---|---|
| 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#VR4H (statement). In E7W2HDNEKJ/e1, lemma 4.34
History
- 2026-10-30: add by m2/v0.4.12
power of 10 4WASWQ9DNN
| URI | m2://inv/4WASWQ9DNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184611, power of 10 (object). Also OEIS A011557
- wikipedia: Wikipedia Power of 10, Power of 10 (definition). Also Wikidata Q184611
History
- 2026-10-26: add by m2/dev
4WB2G88V2C 4WB2G88V2C
| URI | m2://inv/4WB2G88V2C |
|---|---|
| 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.36113#MRRB (statement). In FSGSVD0XYH/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
4WB3ZAP88N 4WB3ZAP88N
| URI | m2://inv/4WB3ZAP88N |
|---|---|
| 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.25391#39E6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philippine Math Olympiad 4WBES309JM
| URI | m2://inv/4WBES309JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippine Math Olympiad, Philippine Math Olympiad (definition). Also Wikidata Q130542605
History
- 2026-11-02: add by m2/dev
4WBJGGQS4K 4WBJGGQS4K
| URI | m2://inv/4WBJGGQS4K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Association for Logic, Language and Information 4WBNBRXJB0
| URI | m2://inv/4WBNBRXJB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association for Logic, Language and Information, Association for Logic, Language and Information (definition). Also Wikidata Q4809477
History
- 2026-11-02: add by m2/dev
4WBP834580 4WBP834580
| URI | m2://inv/4WBP834580 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#5ZDH (statement)
History
- 2026-11-01: add by m2/v0.6.15
4WBRKZMN9R 4WBRKZMN9R
| URI | m2://inv/4WBRKZMN9R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2610.22317#7Y81 (definition). In 2W5Z97BBW4/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
4WBYVK0MH7 4WBYVK0MH7
| URI | m2://inv/4WBYVK0MH7 |
|---|---|
| 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.33852#U939 (statement). In 1WPPDSF0EJ/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
4WBZX7562H 4WBZX7562H
| URI | m2://inv/4WBZX7562H |
|---|---|
| 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.08226#SKJ8 (statement). In V6EPE8XHAD/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
parallel vector 4WC5B6F9X1
| URI | m2://inv/4WC5B6F9X1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55091060, parallel vector (unknown). Also MathWorld ParallelVectors
History
- 2026-10-26: add by m2/dev
Q–Q plot 4WC5D3VJC1
| URI | m2://inv/4WC5D3VJC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q378347, Q–Q plot (unknown). Also MathWorld Quantile-QuantilePlot
- wikipedia: Wikipedia Q–Q plot, Q–Q plot (definition). Also Wikidata Q378347
History
- 2026-10-26: add by m2/dev
Strict attenuation can be necessary for an exact output law 4WCD9VXCMT
| URI | m2://inv/4WCD9VXCMT |
|---|---|
| Kind | example |
| 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#TC05, Strict attenuation can be necessary for an exact output law (example). In 9YAE8FNQST/e1, example 30.4
History
- 2026-10-30: add by m2/v0.4.12
Quantum state space 4WCG0Y8A5J
| URI | m2://inv/4WCG0Y8A5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum state space, Quantum state space (definition). Also Wikidata Q2261680
History
- 2026-11-02: add by m2/dev
4WCHS3YZ01 4WCHS3YZ01
| URI | m2://inv/4WCHS3YZ01 |
|---|---|
| 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 2402.05875#47OQ (statement). In 35FDBKEDC0/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Grothendieck; standard conjecture of Hodge type $\mathrm{Hdg}(Y)$ 4WCJ541EBY
| URI | m2://inv/4WCJ541EBY |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#TCL1, Grothendieck; standard conjecture of Hodge type $\mathrm{Hdg}(Y)$ (conjecture). In 3TJ2FWXQ0D/e1, conjecture 2.2
History
- 2026-10-29: add by m2/v0.4.12
4WCXTRD5ZW 4WCXTRD5ZW
| URI | m2://inv/4WCXTRD5ZW |
|---|---|
| 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 2111.07409#6TVL (statement). In KWH4QJDPWC/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
T0 space 4WCZ0EVRNX
| URI | m2://inv/4WCZ0EVRNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#FSEV, T0 space (definition)
History
- 2026-11-02: add by m2/dev
4WD0KHWST3 4WD0KHWST3
| URI | m2://inv/4WD0KHWST3 |
|---|---|
| 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.37794#FEOJ (statement). In ACFC6XHAMQ/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Primer-E Primer 4WD1Q1KTCR
| URI | m2://inv/4WD1Q1KTCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primer-E Primer, Primer-E Primer (definition). Also Wikidata Q7243393
History
- 2026-11-02: add by m2/dev
Euler–Lagrange equation 4WD50FRVW9
| URI | m2://inv/4WD50FRVW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#51RW, Euler–Lagrange equation (definition)
History
- 2026-11-02: add by m2/dev
Census 4WD5YTKZQH
| URI | m2://inv/4WD5YTKZQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EP6C, Census (definition)
History
- 2026-11-02: add by m2/dev
NEMA 4WDASN5B5H
| URI | m2://inv/4WDASN5B5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NEMA (machine), NEMA (definition). Also Wikidata Q504976
History
- 2026-11-02: add by m2/dev
4WDK0JB4RJ 4WDK0JB4RJ
| URI | m2://inv/4WDK0JB4RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#NUJY (statement)
History
- 2026-11-01: add by m2/v0.6.15
The conjecture 4WDN65KKJX
| URI | m2://inv/4WDN65KKJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burr–Erdős conjecture#9MEY, The conjecture (statement)
History
- 2026-11-02: add by m2/dev
4WDNDJ0SPV 4WDNDJ0SPV
| URI | m2://inv/4WDNDJ0SPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#X182 (statement). In NS3RZ26JC7/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
András Némethi 4WDQE7DZEK
| URI | m2://inv/4WDQE7DZEK |
|---|---|
| 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#PJLW, András Némethi (unknown)
History
- 2026-11-02: add by m2/dev
4WDRMFHD2Y 4WDRMFHD2Y
| URI | m2://inv/4WDRMFHD2Y |
|---|---|
| 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.28993#CFYC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dipak K. Dey 4WE8S7GKBM
| URI | m2://inv/4WE8S7GKBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dipak K. Dey, Dipak K. Dey (topic). Also Wikidata Q68824286
History
- 2026-11-02: add by m2/dev
4WEA26Y6ED 4WEA26Y6ED
| URI | m2://inv/4WEA26Y6ED |
|---|---|
| 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.04172#IUWG (statement). In 9Q1D1NMTTS/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.12
Jonckheere's trend test 4WETH2TBW8
| URI | m2://inv/4WETH2TBW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonckheere's trend test, Jonckheere's trend test (definition). Also Wikidata Q1703341
History
- 2026-11-02: add by m2/dev
cubo-cubic 4WF1G01GVK
| URI | m2://inv/4WF1G01GVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#A7XH, cubo-cubic (definition)
History
- 2026-11-02: add by m2/dev
4WFEGT99ZV 4WFEGT99ZV
| URI | m2://inv/4WFEGT99ZV |
|---|---|
| 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#XYBV (statement). In 1MPH7GCFJ2/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
Finlaison, John 4WFM8X6WWW
| URI | m2://inv/4WFM8X6WWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#UF73, Finlaison, John (unknown)
History
- 2026-11-02: add by m2/dev
converse 4WFT3NWY82
| URI | m2://inv/4WFT3NWY82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Converse 09A3N7ZN5G |
Mentions
- wikidata: Wikidata Q1375963, converse (statement). Also MathWorld Converse
- wikipedia: Wikipedia Converse (logic), Converse (definition). Also Wikidata Q1375963
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
4WFVCEE66F 4WFVCEE66F
| URI | m2://inv/4WFVCEE66F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#G0Y5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4WFWBZT096 4WFWBZT096
| URI | m2://inv/4WFWBZT096 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#prop-1 (statement). In E59CDZA4DP, prop, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
4WFX4E3AX0 4WFX4E3AX0
| URI | m2://inv/4WFX4E3AX0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
NAG Numerical Library 4WG0K8CT2P
| URI | m2://inv/4WG0K8CT2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#TTQ4, NAG Numerical Library (unknown)
History
- 2026-11-02: add by m2/dev
Limited hangout 4WG0Z6YS00
| URI | m2://inv/4WG0Z6YS00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limited hangout, Limited hangout (definition). Also Wikidata Q6549537
History
- 2026-11-02: add by m2/dev
critical point 4WG1D9VT5W
| URI | m2://inv/4WG1D9VT5W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.2/critical-point, critical point (concept). In 907G4C4EJ1, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Godement resolution 4WG802CDYF
| URI | m2://inv/4WG802CDYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Godement resolution, Godement resolution (definition). Also Wikidata Q5576320
History
- 2026-11-02: add by m2/dev
Disquotational principle 4WGCQQXNJM
| URI | m2://inv/4WGCQQXNJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disquotational principle, Disquotational principle (statement). Also Wikidata Q5282709
History
- 2026-11-02: add by m2/dev
4WGHAMCKJJ 4WGHAMCKJJ
| URI | m2://inv/4WGHAMCKJJ |
|---|---|
| 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.14741#PSWZ (statement). In RK1VPWWX9E/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
biconditional 4WGMBEHF9Z
| URI | m2://inv/4WGMBEHF9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1P6X, biconditional (definition)
History
- 2026-11-02: add by m2/dev
Attainment of the maximal normalized degree 4WGTCBZJDK
| URI | m2://inv/4WGTCBZJDK |
|---|---|
| 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.05652#7RTM, Attainment of the maximal normalized degree (statement). In 8BNPFYQDQX/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.10
Sampling probability 4WGTPHYD4H
| URI | m2://inv/4WGTPHYD4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XQYJ, Sampling probability (definition)
History
- 2026-11-02: add by m2/dev
Martin Davis 4WGXZVHNN1
| URI | m2://inv/4WGXZVHNN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QPTR, Martin Davis (topic)
History
- 2026-11-02: add by m2/dev
Frank Nielsen 4WGZ5KP066
| URI | m2://inv/4WGZ5KP066 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Nielsen (computer scientist), Frank Nielsen (topic). Also Wikidata Q91707151
History
- 2026-11-02: add by m2/dev
Rigidity of the slow blow-down equation 4WH577PTEW
| URI | m2://inv/4WH577PTEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#2GQ4, Rigidity of the slow blow-down equation (statement). In ZRG6NY1ECH/e1, lemma 45
History
- 2026-10-30: add by m2/v0.4.12
4WH59AGTA9 4WH59AGTA9
| URI | m2://inv/4WH59AGTA9 |
|---|---|
| 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#4WC0 (statement). In Y1DR0DPWD0/e1, corollary 6.11
History
- 2026-10-29: add by m2/v0.4.12
Full and prime Gram clouds 4WH9AC3SGG
| URI | m2://inv/4WH9AC3SGG |
|---|---|
| Kind | definition |
| 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.21952#Q2R6, Full and prime Gram clouds (definition). In 684EB1TQ4B/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
Dedekind psi function 4WHAT12BFC
| URI | m2://inv/4WHAT12BFC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1182153, Dedekind psi function (concept). Also MathWorld DedekindFunction
- wikipedia: Wikipedia Dedekind psi function, Dedekind psi function (definition). Also Wikidata Q1182153
History
- 2026-10-26: add by m2/dev
4WHNT4S8M7 4WHNT4S8M7
| URI | m2://inv/4WHNT4S8M7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#NZQ7 (statement). In MSWV3MJ5CE/e1, corollary 2.1
History
- 2026-10-29: add by m2/v0.4.10
4WHQ64EVB5 4WHQ64EVB5
| URI | m2://inv/4WHQ64EVB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05582#SZUG (statement). In 9X4TANWWWR/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
normal curvature 4WHSMM7XC0
| URI | m2://inv/4WHSMM7XC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132446366, normal curvature (unknown). Also MathWorld NormalCurvature
History
- 2026-10-26: add by m2/dev
standard metric on $\R^n$ 4WHW79DNB1
| URI | m2://inv/4WHW79DNB1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.1/standard-metric-on-r-n, standard metric on $\R^n$ (concept). In E59CDZA4DP, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Saddle-point formulation of robust risk 4WHY0DHAW8
| URI | m2://inv/4WHY0DHAW8 |
|---|---|
| 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.39449#EI4M, Saddle-point formulation of robust risk (statement). In GWC70X14RG/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
temporal logic 4WJ2V1VVWJ
| URI | m2://inv/4WJ2V1VVWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03B44 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q781833, temporal logic (topic). Also nLab temporal logic, ProofWiki Definition:Temporal_Logic
- wikipedia: Wikipedia Temporal logic, Temporal logic (definition). Also Wikidata Q781833
History
- 2026-10-26: add by m2/dev
4WJ8M994BH 4WJ8M994BH
| URI | m2://inv/4WJ8M994BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#ZS6F (statement). In TN93YFN45W/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.0
4WJ8SHQ6A2 4WJ8SHQ6A2
| URI | m2://inv/4WJ8SHQ6A2 |
|---|---|
| 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.02506#QJF7 (statement). In 3JKRBZWJ33/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
4WJ9FMC210 4WJ9FMC210
| URI | m2://inv/4WJ9FMC210 |
|---|---|
| Kind | statement |
| 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#4IPX (statement)
History
- 2026-11-02: add by m2/v0.6.17
small stellated dodecahedron 4WJDESA8FV
| URI | m2://inv/4WJDESA8FV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1234054, small stellated dodecahedron (object). Also MathWorld SmallStellatedDodecahedron
- wikipedia: Wikipedia Small stellated dodecahedron, Small stellated dodecahedron (object). Also Wikidata Q1234054
History
- 2026-10-26: add by m2/dev
Stieltjes constants 4WJE4CP17S
| URI | m2://inv/4WJE4CP17S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1816316, Stieltjes constants (concept). Also MathWorld StieltjesConstants
- wikipedia: Wikipedia Stieltjes constants, Stieltjes constants (definition). Also Wikidata Q1816316
History
- 2026-10-26: add by m2/dev
Special cases 4WJEKPQNNX
| URI | m2://inv/4WJEKPQNNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-j symbol#PDAQ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
4WJWP8ZBE0 4WJWP8ZBE0
| URI | m2://inv/4WJWP8ZBE0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#L7N8 (example). In PWXT7J9JX3/e1, example 2.7
History
- 2026-10-28: add by m2/v0.4.2
4WK7AT4BDK 4WK7AT4BDK
| URI | m2://inv/4WK7AT4BDK |
|---|---|
| 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 2208.05288#IJWP (problem). In RTW3GDYPND/e1, problem 3
History
- 2026-10-27: add by m2/v0.4.0
4WKBWHR8BH 4WKBWHR8BH
| URI | m2://inv/4WKBWHR8BH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#ex:rel_short_exact (example). In RZP28ERRZV, example, section 54.1
History
- 2026-11-01: add by m2/v0.6.13
Christopher Hacon 4WKC64RJFR
| URI | m2://inv/4WKC64RJFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christopher Hacon, Christopher Hacon (topic). Also Wikidata Q1086709
History
- 2026-11-02: add by m2/dev
4WKJVK60TR 4WKJVK60TR
| URI | m2://inv/4WKJVK60TR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/separation.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 47.2
History
- 2026-11-01: add by m2/v0.6.13
Answer to the question 4WKSDNCE8Q
| URI | m2://inv/4WKSDNCE8Q |
|---|---|
| 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.23922#B7EA, Answer to the question (statement)
History
- 2026-11-02: add by m2/v0.6.17
4WKTPCRBKZ 4WKTPCRBKZ
| URI | m2://inv/4WKTPCRBKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.01346#LFP9 (statement). In 44DQ7W1NW9/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.12
Equations defining abelian varieties 4WKV6FJVAB
| URI | m2://inv/4WKV6FJVAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equations defining abelian varieties, Equations defining abelian varieties (definition). Also Wikidata Q5384238
History
- 2026-11-02: add by m2/dev
Trace--norm identity for additive characters 4WM5AVXQTR
| URI | m2://inv/4WM5AVXQTR |
|---|---|
| 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.30301#EQ4A, Trace--norm identity for additive characters (statement). In 7NS75J7HAM/e1, lemma 7.3
History
- 2026-10-31: add by m2/v0.5.6
4WMDM436ZE 4WMDM436ZE
| URI | m2://inv/4WMDM436ZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#E8LL (definition). In WJD9YPGGYH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Wedin's theorem -- Theorem 4.4 4WMNEFPD6D
| URI | m2://inv/4WMNEFPD6D |
|---|---|
| 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.20944#H4NY, Wedin's theorem -- Theorem 4.4 (statement). In DRRKZR6CQC/e1, theorem 8
History
- 2026-10-27: add by m2/v0.4.2
4WMQHCE03B 4WMQHCE03B
| URI | m2://inv/4WMQHCE03B |
|---|---|
| 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 2510.12502#A6OD (statement). In 3A4K47Y9F2/e1, lemma 2.28
History
- 2026-10-27: add by m2/v0.4.0
Approximation formula 4WMWSK2TEQ
| URI | m2://inv/4WMWSK2TEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhāskara I's sine approximation formula#WIV1, Approximation formula (statement)
History
- 2026-11-02: add by m2/dev
4WN26F3NW0 4WN26F3NW0
| URI | m2://inv/4WN26F3NW0 |
|---|---|
| Kind | definition |
| 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.33019#ZEY0 (definition). In R4V2A3Z5GP/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
W. W. Rouse Ball 4WN3AD748B
| URI | m2://inv/4WN3AD748B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. W. Rouse Ball, W. W. Rouse Ball (topic). Also Wikidata Q429858
History
- 2026-11-02: add by m2/dev
4WN3K2ZX9Q 4WN3K2ZX9Q
| URI | m2://inv/4WN3K2ZX9Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#1D9H (definition). In 4F8QRV05BV/e1, definition 2.11
History
- 2026-10-30: add by m2/v0.4.12
Road coloring problem 4WN6TFH25R
| URI | m2://inv/4WN6TFH25R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1937896, Road coloring problem (statement). Also MathWorld RoadColoringProblem
- wikipedia: Wikipedia Road coloring theorem, Road coloring theorem (statement). Also Wikidata Q1937896
History
- 2026-10-26: add by m2/dev
4WN74MSJBK 4WN74MSJBK
| URI | m2://inv/4WN74MSJBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#CESY (statement). In DR7BK4CQ0V/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
Definition 4WNQGRFPDK
| URI | m2://inv/4WNQGRFPDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regulated function#EYUP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Order polynomial 4WNRA18C40
| URI | m2://inv/4WNRA18C40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order polynomial, Order polynomial (definition). Also Wikidata Q55627850
History
- 2026-11-02: add by m2/dev
Weighted estimate under doubling 4WNS9XRJMX
| URI | m2://inv/4WNS9XRJMX |
|---|---|
| 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.20643#X8DC, Weighted estimate under doubling (statement)
History
- 2026-11-02: add by m2/v0.6.18
Self-confrontation method 4WNXWAGQA5
| URI | m2://inv/4WNXWAGQA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-confrontation method, Self-confrontation method (definition). Also Wikidata Q1977417
History
- 2026-11-02: add by m2/dev
4WP2ZDJA0J 4WP2ZDJA0J
| URI | m2://inv/4WP2ZDJA0J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-56 (proof). In VNMV985MXX, proof, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
4WP9YX0ZCN 4WP9YX0ZCN
| URI | m2://inv/4WP9YX0ZCN |
|---|---|
| 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.18101#FFFF (statement). In XXN6KKXPYF/e1, lemma 7.10
History
- 2026-10-28: add by m2/v0.4.2
4WPA8FR5EM 4WPA8FR5EM
| URI | m2://inv/4WPA8FR5EM |
|---|---|
| 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.19464#7MB2 (statement). In G8JCZ109A9/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
trigonometric substitution 4WPDG5MHCA
| URI | m2://inv/4WPDG5MHCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#WF4X, trigonometric substitution (definition)
History
- 2026-11-02: add by m2/dev
Active-set method 4WPKPG9N3J
| URI | m2://inv/4WPKPG9N3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active-set method, Active-set method (definition). Also Wikidata Q2823740
History
- 2026-11-02: add by m2/dev
4WPSW07MFX 4WPSW07MFX
| URI | m2://inv/4WPSW07MFX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 42.5
History
- 2026-11-01: add by m2/v0.6.13
Examples 4WPT4RDZC4
| URI | m2://inv/4WPT4RDZC4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persistence of a number#BRTI, Examples (example)
History
- 2026-11-02: add by m2/dev
4WPWX1V9EV 4WPWX1V9EV
| URI | m2://inv/4WPWX1V9EV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
Definition 4WPWYTG9BW
| URI | m2://inv/4WPWYTG9BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor field#MQ3V, Definition (definition)
History
- 2026-11-02: add by m2/dev
4WPY11X59W 4WPY11X59W
| URI | m2://inv/4WPY11X59W |
|---|---|
| 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.30113#5XLU (statement)
History
- 2026-11-01: add by m2/v0.6.15
4WQ5GHY32J 4WQ5GHY32J
| URI | m2://inv/4WQ5GHY32J |
|---|---|
| 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 2610.22082#9PL3 (statement). In 7PACGDW3N7/e1, proposition 23.3
History
- 2026-10-27: add by m2/v0.4.0
Supersymmetry nonrenormalization theorems 4WQ7HXAQ2Q
| URI | m2://inv/4WQ7HXAQ2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7644264, Supersymmetry nonrenormalization theorems (statement). Also Wikidata Q7644264
- thousand_plus: thousand_plus Q7644264, Supersymmetry nonrenormalization theorems (statement). Also Wikidata Q7644264, Wikipedia Supersymmetry nonrenormalization theorems
- wikipedia: Wikipedia Supersymmetry nonrenormalization theorems, Supersymmetry nonrenormalization theorems (statement). Also Wikidata Q7644264
History
- 2026-10-26: add by m2/dev
Federer's Theorem 4WQ9FWR5ZN
| URI | m2://inv/4WQ9FWR5ZN |
|---|---|
| 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#ISPU, Federer's Theorem (statement). In 7ZFD9XRKA1/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
4WQDRJ85WF 4WQDRJ85WF
| URI | m2://inv/4WQDRJ85WF |
|---|---|
| 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 2506.09840#HDDG (statement). In Y7TWHSF2HC/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Jamet 4WQK3QHQKW
| URI | m2://inv/4WQK3QHQKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21043#BF6R, Jamet (statement)
History
- 2026-11-02: add by m2/v0.6.18
The smooth half-mean exclusion 4WQN9V2XBM
| URI | m2://inv/4WQN9V2XBM |
|---|---|
| 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.24931#VL4H, The smooth half-mean exclusion (statement)
History
- 2026-11-01: add by m2/v0.6.15
4WQZXNEB1N 4WQZXNEB1N
| URI | m2://inv/4WQZXNEB1N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#Z28I (definition)
History
- 2026-11-01: add by m2/v0.6.15
Russel E. Caflisch 4WR3WH1HJ6
| URI | m2://inv/4WR3WH1HJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Russel E. Caflisch, Russel E. Caflisch (topic). Also Wikidata Q17198672
History
- 2026-11-02: add by m2/dev
4WR5HTPV01 4WR5HTPV01
| URI | m2://inv/4WR5HTPV01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#05RY (statement)
History
- 2026-11-02: add by m2/v0.6.18
4WRK3Q1196 4WRK3Q1196
| URI | m2://inv/4WRK3Q1196 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#definition-1 (definition). In RZP28ERRZV, definition, section 77.3
History
- 2026-11-01: add by m2/v0.6.13
4WRS2KJ5TW 4WRS2KJ5TW
| URI | m2://inv/4WRS2KJ5TW |
|---|---|
| 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.24577#1R3T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mann 4WRWFDF64R
| URI | m2://inv/4WRWFDF64R |
|---|---|
| Kind | conjecture |
| 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#WBG8, Mann (conjecture). In BDN507RN7J/e1, conjecture 1.1.1
History
- 2026-10-30: add by m2/v0.4.12
Applications 4WRXGJSSHC
| URI | m2://inv/4WRXGJSSHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trajectory optimization#MR9B, Applications (example)
History
- 2026-11-02: add by m2/dev
E. Brian Davies 4WRYBCSSSC
| URI | m2://inv/4WRYBCSSSC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. Brian Davies, E. Brian Davies (topic). Also Wikidata Q1273470
History
- 2026-11-02: add by m2/dev
Umberto Puppini 4WS1M2VWYD
| URI | m2://inv/4WS1M2VWYD |
|---|---|
| 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#H4SI, Umberto Puppini (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O5G0, Umberto Puppini (unknown)
History
- 2026-11-02: add by m2/dev
Census in Azerbaijan 4WSD1NAYBX
| URI | m2://inv/4WSD1NAYBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census in Azerbaijan, Census in Azerbaijan (definition). Also Wikidata Q56290048
History
- 2026-11-02: add by m2/dev
2004 Moldovan census 4WSEKPXQYF
| URI | m2://inv/4WSEKPXQYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2004 Moldovan census, 2004 Moldovan census (definition). Also Wikidata Q568629
History
- 2026-11-02: add by m2/dev
Parallelogram law and Pythagorean theorem 4WSGYA6113
| URI | m2://inv/4WSGYA6113 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Euclidean space#7O0J, Parallelogram law and Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
semiprime 4WSSA90ADF
| URI | m2://inv/4WSSA90ADF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q765289, semiprime (unknown). Also MathWorld Semiprime, OEIS A001358
- wikipedia: Wikipedia Semiprime, Semiprime (definition). Also Wikidata Q765289
History
- 2026-10-26: add by m2/dev
Properties 4WSYH61RNX
| URI | m2://inv/4WSYH61RNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated icosahedron#RYMV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Perfect construction 4WSZ84B1SC
| URI | m2://inv/4WSZ84B1SC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#SX7W, Perfect construction (definition). In Y7NC12TBNP/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
David A. Sánchez 4WTCF9SGKA
| URI | m2://inv/4WTCF9SGKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David A. Sánchez, David A. Sánchez (topic). Also Wikidata Q102146874
History
- 2026-11-02: add by m2/dev
4WTE5JPM3P 4WTE5JPM3P
| URI | m2://inv/4WTE5JPM3P |
|---|---|
| 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.32903#IBJC (statement). In S8NB83KQX3/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
4WTPRHFEJY 4WTPRHFEJY
| URI | m2://inv/4WTPRHFEJY |
|---|---|
| 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 2405.05684#G0XU (statement). In 1PR73ECTZB/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Statement 4WV2261TKP
| URI | m2://inv/4WV2261TKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferrero–Washington theorem#Q2PJ, Statement (statement)
History
- 2026-11-02: add by m2/dev
4WVQJBSFFY 4WVQJBSFFY
| URI | m2://inv/4WVQJBSFFY |
|---|---|
| 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.31102#DOP1 (statement). In 7CADATJMAA/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
4WVT1ZGT8Z 4WVT1ZGT8Z
| URI | m2://inv/4WVT1ZGT8Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
4WVV8K24B9 4WVV8K24B9
| URI | m2://inv/4WVV8K24B9 |
|---|---|
| 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.21653#FR5G (statement). In 266RE655Z2/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
Ann E. Watkins 4WVZDY6WWD
| URI | m2://inv/4WVZDY6WWD |
|---|---|
| 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#Z4V1, Ann E. Watkins (topic)
History
- 2026-11-02: add by m2/dev
Examples 4WWHZ37JP3
| URI | m2://inv/4WWHZ37JP3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier (Fourier analysis)#V2XT, Examples (example)
History
- 2026-11-02: add by m2/dev
Svetlana Jitomirskaya 4WWK88Q8JW
| URI | m2://inv/4WWK88Q8JW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Svetlana Jitomirskaya, Svetlana Jitomirskaya (topic). Also Wikidata Q2371791
History
- 2026-11-02: add by m2/dev
Pi prime 4WWM5Z53KJ
| URI | m2://inv/4WWM5Z53KJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi prime, Pi prime (conjecture). Also Wikidata Q136400143
History
- 2026-11-02: add by m2/dev
germ 4WWM8YDK92
| URI | m2://inv/4WWM8YDK92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Germ VZXF7RNFKS |
Mentions
- wikidata: Wikidata Q2520842, germ (unknown). Also EoM Germ, MathWorld MapGerm, nLab germ
- wikipedia: Wikipedia Germ (mathematics), Germ (definition). Also Wikidata Q2520842
History
- 2026-10-26: add by m2/dev
4WWZW05FYN 4WWZW05FYN
| URI | m2://inv/4WWZW05FYN |
|---|---|
| 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.19251#9LRP (statement). In CSW6NG0FRN/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Pseudorandom generator 4WX05M4EP0
| URI | m2://inv/4WX05M4EP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom generator, Pseudorandom generator (definition). Also Wikidata Q7255474
History
- 2026-11-02: add by m2/dev
Jacquet–Langlands correspondence 4WX7M4P987
| URI | m2://inv/4WX7M4P987 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacquet–Langlands correspondence, Jacquet–Langlands correspondence (definition). Also Wikidata Q6121005
History
- 2026-11-02: add by m2/dev
\textbf, Remark 3.2 4WX8V1ECGR
| URI | m2://inv/4WX8V1ECGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#YSLU, \textbf, Remark 3.2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conrad Habicht 4WXBM5X3TN
| URI | m2://inv/4WXBM5X3TN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conrad Habicht, Conrad Habicht (topic). Also Wikidata Q28050556
History
- 2026-11-02: add by m2/dev
The order of idealization matters 4WXEN3VEBA
| URI | m2://inv/4WXEN3VEBA |
|---|---|
| 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.11002#09FA, The order of idealization matters (example). In P55JSAYR3T/e1, example
History
- 2026-10-28: add by m2/v0.4.3
4WXNMFF1Q6 4WXNMFF1Q6
| URI | m2://inv/4WXNMFF1Q6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#3DC7 (statement). In 2PP4XRVS0J/e1, corollary 12.7
History
- 2026-10-27: add by m2/v0.4.2
4WY3TMPPGF 4WY3TMPPGF
| URI | m2://inv/4WY3TMPPGF |
|---|---|
| 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 2506.09840#SRB7 (statement). In Y7TWHSF2HC/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Special cases 4WY94FFPRT
| URI | m2://inv/4WY94FFPRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro conformal block#ZVPK, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Outcome bias 4WYF3REN3V
| URI | m2://inv/4WYF3REN3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#AA8I, Outcome bias (unknown)
History
- 2026-11-02: add by m2/dev
Properties 4WYM0PADR3
| URI | m2://inv/4WYM0PADR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint bundle#FSLW, Properties (statement)
History
- 2026-11-02: add by m2/dev
4WYPNP7W3R 4WYPNP7W3R
| URI | m2://inv/4WYPNP7W3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#PYI3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
4WYSDYWWR8 4WYSDYWWR8
| URI | m2://inv/4WYSDYWWR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#ASJ0 (statement). In D424GB5MAW/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Axiom of constructibility 4WYVT7F6KX
| URI | m2://inv/4WYVT7F6KX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#HWCZ, Axiom of constructibility (statement)
History
- 2026-11-02: add by m2/dev
Hans Halvorson 4WYW21N6HA
| URI | m2://inv/4WYW21N6HA |
|---|---|
| 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 Q98187124, Hans Halvorson (unknown). Also nLab Hans Halvorson
History
- 2026-10-26: add by m2/dev
Paul C. Rosenbloom 4WYXBX5A7D
| URI | m2://inv/4WYXBX5A7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul C. Rosenbloom, Paul C. Rosenbloom (topic). Also Wikidata Q2059109
History
- 2026-11-02: add by m2/dev
4WYXK3BK0F 4WYXK3BK0F
| URI | m2://inv/4WYXK3BK0F |
|---|---|
| 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.22090#JAWJ (statement). In NKJWGF050C/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.0
Gilbert Hunt 4WYZM433VK
| URI | m2://inv/4WYZM433VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert Hunt, Gilbert Hunt (topic). Also Wikidata Q16018157
History
- 2026-11-02: add by m2/dev
4WZJZ6HNM5 4WZJZ6HNM5
| URI | m2://inv/4WZJZ6HNM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#NB81 (statement). In Z0SAF18JPP/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Implementations 4WZRBPFKEC
| URI | m2://inv/4WZRBPFKEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPKAC#6L9L, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Lemma 4WZS33WPVN
| URI | m2://inv/4WZS33WPVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#HQPM, Lemma (statement)
History
- 2026-11-02: add by m2/dev
4WZZ9JKB9P 4WZZ9JKB9P
| URI | m2://inv/4WZZ9JKB9P |
|---|---|
| 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#K6WL (statement). In ZV3ANMKJ0Y/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12