Inventory rows 3R
The cards of the rows of the inventory whose ids start with 3R. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bieberbach conjecture 3R03TYSB1C
| URI | m2://inv/3R03TYSB1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#W78S, Bieberbach conjecture (statement)
History
- 2026-11-02: add by m2/dev
3R0DR7JTMN 3R0DR7JTMN
| URI | m2://inv/3R0DR7JTMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#HF2D (statement). In X1AGBB90EH/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.2
3R0F070F6H 3R0F070F6H
| URI | m2://inv/3R0F070F6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#6F72 (statement). In BVAWVRS3R9/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Cohen's kappa 3R0MAXG00W
| URI | m2://inv/3R0MAXG00W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen's kappa, Cohen's kappa (definition). Also Wikidata Q1107106
History
- 2026-11-02: add by m2/dev
Doris Schattschneider 3R0N20VY0M
| URI | m2://inv/3R0N20VY0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YW6V, Doris Schattschneider (topic)
History
- 2026-11-02: add by m2/dev
3R0N9WCKN9 3R0N9WCKN9
| URI | m2://inv/3R0N9WCKN9 |
|---|---|
| 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.08039#YBVD (statement). In Y1K8WE4MDP/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
False Negative Rate 3R0P66W9EW
| URI | m2://inv/3R0P66W9EW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False positives and false negatives#NWA4, False Negative Rate (unknown)
History
- 2026-11-02: add by m2/dev
causal modal logic 3R0SKEVD1E
| URI | m2://inv/3R0SKEVD1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TTT2, causal modal logic (definition)
History
- 2026-11-02: add by m2/dev
3R0VNXF84H 3R0VNXF84H
| URI | m2://inv/3R0VNXF84H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
Statement 3R0VYY5JFJ
| URI | m2://inv/3R0VYY5JFJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer principle#5C7T, Statement (statement)
History
- 2026-11-02: add by m2/dev
Construction 3R0XTM62RX
| URI | m2://inv/3R0XTM62RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand antiprism#QPBD, Construction (definition)
History
- 2026-11-02: add by m2/dev
3R11D4KG8T 3R11D4KG8T
| URI | m2://inv/3R11D4KG8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#IPZX (statement). In 13GSWBXPCM/e1, theorem 2.18
History
- 2026-10-27: add by m2/v0.3.5
Law of large numbers 3R1678XA9D
| URI | m2://inv/3R1678XA9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#CBUC, Law of large numbers (statement)
History
- 2026-11-02: add by m2/dev
3R1A0BF96R 3R1A0BF96R
| URI | m2://inv/3R1A0BF96R |
|---|---|
| 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.00337#EY9Y (statement). In 5STQ3ABZ60/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
3R1BFRMST8 3R1BFRMST8
| URI | m2://inv/3R1BFRMST8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#3H9D (statement)
History
- 2026-11-01: add by m2/v0.6.15
3R1CJ76AHF 3R1CJ76AHF
| URI | m2://inv/3R1CJ76AHF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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 2303.09207#UWJI (definition). In 9DQKY7KGE8/e1, definition 6.30
History
- 2026-10-27: add by m2/v0.3.5
Gustavo Colonnetti 3R1DMGSE0S
| URI | m2://inv/3R1DMGSE0S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#A3XX, Gustavo Colonnetti (unknown)
History
- 2026-11-02: add by m2/dev
improper 3R1GCS12YY
| URI | m2://inv/3R1GCS12YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1OYC, improper (definition)
History
- 2026-11-02: add by m2/dev
Support polygon 3R1NVW2PE2
| URI | m2://inv/3R1NVW2PE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support polygon, Support polygon (definition). Also Wikidata Q3395587
History
- 2026-11-02: add by m2/dev
Mitsuru Ikawa 3R21X2CJB0
| URI | m2://inv/3R21X2CJB0 |
|---|---|
| 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#U1M7, Mitsuru Ikawa (unknown)
History
- 2026-11-02: add by m2/dev
Raphaël Krikorian 3R25XRQQHX
| URI | m2://inv/3R25XRQQHX |
|---|---|
| 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#ZSTC, Raphaël Krikorian (unknown)
History
- 2026-11-02: add by m2/dev
The Journal of Risk Model Validation 3R29DEJN83
| URI | m2://inv/3R29DEJN83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#BYMT, The Journal of Risk Model Validation (unknown)
History
- 2026-11-02: add by m2/dev
Volume 3R29GNRXVT
| URI | m2://inv/3R29GNRXVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#SCYT, Volume (definition)
History
- 2026-11-02: add by m2/dev
3R2J6FR7DZ 3R2J6FR7DZ
| URI | m2://inv/3R2J6FR7DZ |
|---|---|
| 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.20656#G76U (statement)
History
- 2026-11-02: add by m2/v0.6.18
3R2K8EDQD2 3R2K8EDQD2
| URI | m2://inv/3R2K8EDQD2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#3642 (definition)
History
- 2026-11-01: add by m2/v0.6.15
3R2MKHTQ30 3R2MKHTQ30
| URI | m2://inv/3R2MKHTQ30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#O9HJ (statement). In WZPD7TNNY9/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
Éléments de mathématique 3R2NC5QVTD
| URI | m2://inv/3R2NC5QVTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Éléments de mathématique, Éléments de mathématique (definition). Also Wikidata Q3588113
History
- 2026-11-02: add by m2/dev
Properties 3R2RGHJ5AP
| URI | m2://inv/3R2RGHJ5AP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-covariance matrix#A70S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples 3R31W947DG
| URI | m2://inv/3R31W947DG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of maximum entropy#Y0BZ, Examples (example)
History
- 2026-11-02: add by m2/dev
3R3ARDFH21 3R3ARDFH21
| URI | m2://inv/3R3ARDFH21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-9 (statement). In E59CDZA4DP, prop, section 11.3.1
History
- 2026-11-01: add by m2/v0.6.13
Comparison at extreme scales 3R3CVS7PD2
| URI | m2://inv/3R3CVS7PD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#C1B2, Comparison at extreme scales (statement). In T2B54J7121/e1, proposition 3.13
History
- 2026-10-30: add by m2/v0.4.12
Arnold invariants 3R3NREBKE3
| URI | m2://inv/3R3NREBKE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold invariants, Arnold invariants (definition). Also Wikidata Q130543710
History
- 2026-11-02: add by m2/dev
Christian Reiher 3R3PBAKNVK
| URI | m2://inv/3R3PBAKNVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Reiher, Christian Reiher (topic). Also Wikidata Q5110071
History
- 2026-11-02: add by m2/dev
3R3W2AC9YM 3R3W2AC9YM
| URI | m2://inv/3R3W2AC9YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#TDGJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
undecimic 3R3WH3BDA3
| URI | m2://inv/3R3WH3BDA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#4508, undecimic (definition)
History
- 2026-11-02: add by m2/dev
3R40WHMKZN 3R40WHMKZN
| URI | m2://inv/3R40WHMKZN |
|---|---|
| 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.04772#FRAM (statement). In WW08CYN4D4/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
3R41ET7671 3R41ET7671
| URI | m2://inv/3R41ET7671 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#AUE5 (definition). In 6NVP3YRWVA/e1, definition 5.8
History
- 2026-10-29: add by m2/v0.4.10
Nigel Kalton 3R421NT9Y6
| URI | m2://inv/3R421NT9Y6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nigel Kalton, Nigel Kalton (topic). Also Wikidata Q7032488
History
- 2026-11-02: add by m2/dev
Extensionality 3R43J1KGW1
| URI | m2://inv/3R43J1KGW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/basics.tex#defn-1, Extensionality (definition). In PKGMM3P5QY, defn, section 82.3
History
- 2026-11-01: add by m2/v0.6.13
subtracting vectors 3R44NDQ89N
| URI | m2://inv/3R44NDQ89N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.1/subtracting-vectors, subtracting vectors (concept). In E9HS8K3A52, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
Sidney Morris 3R4DH6G3E4
| URI | m2://inv/3R4DH6G3E4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidney Morris, Sidney Morris (topic). Also Wikidata Q102078433
History
- 2026-11-02: add by m2/dev
Example 3R4E3TZ326
| URI | m2://inv/3R4E3TZ326 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearly completely decomposable Markov chain#BHVM, Example (example)
History
- 2026-11-02: add by m2/dev
3R4HJ63FNY 3R4HJ63FNY
| URI | m2://inv/3R4HJ63FNY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#UHXO (example). In QHFP0837Q8/e1, example 2.16
History
- 2026-10-29: add by m2/v0.4.12
3R4VPSSWTN 3R4VPSSWTN
| URI | m2://inv/3R4VPSSWTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#334B (statement). In HXFA55BREZ/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.10
Chessboard complex 3R5043YJW5
| URI | m2://inv/3R5043YJW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chessboard complex, Chessboard complex (definition). Also Wikidata Q117481435
History
- 2026-11-02: add by m2/dev
Wrapped exponential distribution 3R54SA49QQ
| URI | m2://inv/3R54SA49QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#HRR5, Wrapped exponential distribution (definition)
History
- 2026-11-02: add by m2/dev
Angelo Dalli 3R581R1927
| URI | m2://inv/3R581R1927 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GCNP, Angelo Dalli (unknown)
History
- 2026-11-02: add by m2/dev
3R5DA4AJ8X 3R5DA4AJ8X
| URI | m2://inv/3R5DA4AJ8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#3BIV (statement). In SD43497T8C/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Symmetry 3R5GSW7Y8X
| URI | m2://inv/3R5GSW7Y8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhex#0GWV, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Enigma I 3R5K1TMRQS
| URI | m2://inv/3R5K1TMRQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#CG1U, Enigma I (unknown)
History
- 2026-11-02: add by m2/dev
3R5R8QK30F 3R5R8QK30F
| URI | m2://inv/3R5R8QK30F |
|---|---|
| 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.28650#AQXS (example)
History
- 2026-11-01: add by m2/v0.6.15
3R63C7P0G6 3R63C7P0G6
| URI | m2://inv/3R63C7P0G6 |
|---|---|
| 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.30961#1U5J (statement). In FFG2DDWEVB/e1, corollary 4.12
History
- 2026-10-31: add by m2/v0.5.6
3R65HCKFWK 3R65HCKFWK
| URI | m2://inv/3R65HCKFWK |
|---|---|
| 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.00789#KSEP (statement). In 4WPYBTARS2/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
3R67TT39WR 3R67TT39WR
| URI | m2://inv/3R67TT39WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18033#5CYP (statement). In 59VRB6Y27N/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
3R6FJNMNBS 3R6FJNMNBS
| URI | m2://inv/3R6FJNMNBS |
|---|---|
| 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.11388#MKQW (statement). In PC1SZ68BPZ/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.3
3R6J64TCGJ 3R6J64TCGJ
| URI | m2://inv/3R6J64TCGJ |
|---|---|
| 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.26089#R04D (statement)
History
- 2026-11-01: add by m2/v0.6.15
3R6MBKRKKE 3R6MBKRKKE
| URI | m2://inv/3R6MBKRKKE |
|---|---|
| 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.29665#OW5G (statement)
History
- 2026-11-01: add by m2/v0.6.15
3R6QK89MRS 3R6QK89MRS
| URI | m2://inv/3R6QK89MRS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#XDX4 (example). In 91RRFW0K5D/e1, example 18
History
- 2026-10-27: add by m2/v0.3.5
Szegő theorem 3R70AGWMF5
| URI | m2://inv/3R70AGWMF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blaschke product#HXNS, Szegő theorem (statement)
History
- 2026-11-02: add by m2/dev
3R713NRRYJ 3R713NRRYJ
| URI | m2://inv/3R713NRRYJ |
|---|---|
| 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.23526#CFZQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Paul Chernoff 3R74011GA9
| URI | m2://inv/3R74011GA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Chernoff, Paul Chernoff (topic). Also Wikidata Q33093792
History
- 2026-11-02: add by m2/dev
Polynomial hierarchy 3R7479VJVS
| URI | m2://inv/3R7479VJVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#5O5S, Polynomial hierarchy (definition)
History
- 2026-11-02: add by m2/dev
3R76V25WCQ 3R76V25WCQ
| URI | m2://inv/3R76V25WCQ |
|---|---|
| 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.15460#L4PK (statement). In T2Z3D2VQ9B/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Extraction after a fixed public message 3R7BTKA08X
| URI | m2://inv/3R7BTKA08X |
|---|---|
| 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.09472#SQYE, Extraction after a fixed public message (statement). In 35925M9GJW/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
Van Wijngaarden grammar 3R7HQ3NMCT
| URI | m2://inv/3R7HQ3NMCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Wijngaarden grammar, Van Wijngaarden grammar (definition). Also Wikidata Q1644674
History
- 2026-11-02: add by m2/dev
Subsurface scattering 3R7VBGBP15
| URI | m2://inv/3R7VBGBP15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#9DNZ, Subsurface scattering (unknown)
History
- 2026-11-02: add by m2/dev
3R856K0V91 3R856K0V91
| URI | m2://inv/3R856K0V91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10019#49TJ (statement). In 25V7DQEXSW/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
3R95GZGN1K 3R95GZGN1K
| URI | m2://inv/3R95GZGN1K |
|---|---|
| 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.28211#KN8U (statement)
History
- 2026-11-01: add by m2/v0.6.15
3R9C25SNWT 3R9C25SNWT
| URI | m2://inv/3R9C25SNWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/using-addition.tex#rankcomputation (statement). In PKGMM3P5QY, lem, section 72.1
History
- 2026-11-01: add by m2/v0.6.13
No twin paradox in an absolute frame of reference 3R9CP33MYX
| URI | m2://inv/3R9CP33MYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin paradox#8V2O, No twin paradox in an absolute frame of reference (statement)
History
- 2026-11-02: add by m2/dev
3R9CZH4Z0D 3R9CZH4Z0D
| URI | m2://inv/3R9CZH4Z0D |
|---|---|
| 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.29623#SA7F (statement)
History
- 2026-11-01: add by m2/v0.6.15
3R9FHQ7E6Z 3R9FHQ7E6Z
| URI | m2://inv/3R9FHQ7E6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#EY78 (statement). In 8KKYZ4NKT2/e1, lemma 39
History
- 2026-10-27: add by m2/v0.4.2
Markov semigroup 3R9J7DDY6Z
| URI | m2://inv/3R9J7DDY6Z |
|---|---|
| Kind | definition |
| 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.32585#9I3P, Markov semigroup (definition). In FJFJ3WR1SS/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Solar lens 3R9MVGTFVT
| URI | m2://inv/3R9MVGTFVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational lens#H3H9, Solar lens (unknown)
History
- 2026-11-02: add by m2/dev
Signed area 3R9N1D61Z0
| URI | m2://inv/3R9N1D61Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed area, Signed area (definition). Also Wikidata Q3621985
History
- 2026-11-02: add by m2/dev
Statement 3R9N4VGG8Q
| URI | m2://inv/3R9N4VGG8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's integral theorem#2YEP, Statement (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 3R9R2G2PFC
| URI | m2://inv/3R9R2G2PFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of arithmetic#SFGK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Nonlinear combinations of finitely many expectations 3R9YW8SRWD
| URI | m2://inv/3R9YW8SRWD |
|---|---|
| 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.20020#21QB, Nonlinear combinations of finitely many expectations (statement). In TGYC3SE8XM/e1, proposition 9
History
- 2026-10-27: add by m2/v0.4.2
Najiba Sbihi 3RA2F3PMVK
| URI | m2://inv/3RA2F3PMVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Najiba Sbihi, Najiba Sbihi (topic). Also Wikidata Q130545516
History
- 2026-11-02: add by m2/dev
Knot equivalence 3RADSCN9YH
| URI | m2://inv/3RADSCN9YH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot theory#JVRT, Knot equivalence (unknown)
History
- 2026-11-02: add by m2/dev
Lemma \(4.4.2^a\ 3RAHGR8SYY
| URI | m2://inv/3RAHGR8SYY |
|---|---|
| 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.02481#421M, Lemma \(4.4.2^a\ (statement). In 5HACFNFY0P/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.12
Gilah Leder 3RB2FT39TE
| URI | m2://inv/3RB2FT39TE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZS2W, Gilah Leder (topic)
History
- 2026-11-02: add by m2/dev
3RBH097AKK 3RBH097AKK
| URI | m2://inv/3RBH097AKK |
|---|---|
| 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 2609.28824#IJAQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
3RBQ5NNRHG 3RBQ5NNRHG
| URI | m2://inv/3RBQ5NNRHG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_number.ptx#example-1 (example). In QKM9DD2H56, example, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Method 3RBT6MXS9C
| URI | m2://inv/3RBT6MXS9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedman test#RHYU, Method (definition)
History
- 2026-11-02: add by m2/dev
triviality 3RC7D4Z0WD
| URI | m2://inv/3RC7D4Z0WD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SWH5, triviality (definition)
History
- 2026-11-02: add by m2/dev
3RC98CC18W 3RC98CC18W
| URI | m2://inv/3RC98CC18W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21600#ISXV (definition). In EGAXXGHQNK/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
Braid (mathematics) 3RC9V7C57R
| URI | m2://inv/3RC9V7C57R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braid group#78HO, Braid (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Folded cumulative distribution 3RCCVZR8N4
| URI | m2://inv/3RCCVZR8N4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative distribution function#7LQZ, Folded cumulative distribution (unknown)
History
- 2026-11-02: add by m2/dev
Informative prior 3RCE5S7MA3
| URI | m2://inv/3RCE5S7MA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior probability#5NQ7, Informative prior (unknown)
History
- 2026-11-02: add by m2/dev
3RCH1E00PW 3RCH1E00PW
| URI | m2://inv/3RCH1E00PW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27270#SCCV (statement)
History
- 2026-11-01: add by m2/v0.6.15
proof, combinatorial 3RCJ2P5BNY
| URI | m2://inv/3RCJ2P5BNY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.4/proof-combinatorial, proof, combinatorial (concept). In QKM9DD2H56, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Tangle product 3RCMCKXMX1
| URI | m2://inv/3RCMCKXMX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#904O, Tangle product (unknown)
History
- 2026-11-02: add by m2/dev
Cliodynamics 3RCT5ZGN1F
| URI | m2://inv/3RCT5ZGN1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#412P, Cliodynamics (definition)
History
- 2026-11-02: add by m2/dev
3RCYN6R75S 3RCYN6R75S
| URI | m2://inv/3RCYN6R75S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.17318#I4M5 (definition). In 2P63T9MJ4P/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
3RCZWD7269 3RCZWD7269
| URI | m2://inv/3RCZWD7269 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#XN4Z (statement). In C7QZ0VPBC8/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
3RD63FJG88 3RD63FJG88
| URI | m2://inv/3RD63FJG88 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.20801#SNI3 (definition). In A1GWWGRXPA/e1, definition 5.19
History
- 2026-10-27: add by m2/v0.4.2
3RD73KP2W0 3RD73KP2W0
| URI | m2://inv/3RD73KP2W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#FOE9 (statement). In REDG6QVHM3/e1, proposition 7.9
History
- 2026-10-29: add by m2/v0.4.12
3RD7HR7CSS 3RD7HR7CSS
| URI | m2://inv/3RD7HR7CSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#EQVT (statement)
History
- 2026-11-02: add by m2/v0.6.18
effective strength of nearest-neighbour interaction 3RDA066EW5
| URI | m2://inv/3RDA066EW5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#HHOW, effective strength of nearest-neighbour interaction (definition). In 94RBNQA07A/e1, definition 2.36
History
- 2026-10-27: add by m2/v0.3.5
Lattice hypocoercivity 3RDJ8Y68WV
| URI | m2://inv/3RDJ8Y68WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#BJHC, Lattice hypocoercivity (statement). In GJ7N2EWACX/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Integrated Household Survey 3RDQ8HTN14
| URI | m2://inv/3RDQ8HTN14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrated Household Survey, Integrated Household Survey (definition). Also Wikidata Q19597594
History
- 2026-11-02: add by m2/dev
Schur multiplier 3RDSJYMNZF
| URI | m2://inv/3RDSJYMNZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#E6N1, Schur multiplier (definition)
History
- 2026-11-02: add by m2/dev
Exact anisotropy identity 3RDTD84Y30
| URI | m2://inv/3RDTD84Y30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#Q2SQ, Exact anisotropy identity (statement). In C04B15GH1T/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
\bf Total gradient-query complexity 3RDWR0R76Q
| URI | m2://inv/3RDWR0R76Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#30MQ, \bf Total gradient-query complexity (statement). In TT9BA4VMTW/e1, proposition C.6
History
- 2026-10-29: add by m2/v0.4.12
Unit vector conversion formula 3RDYK6ZM18
| URI | m2://inv/3RDYK6ZM18 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Del in cylindrical and spherical coordinates#XR1S, Unit vector conversion formula (statement)
History
- 2026-11-02: add by m2/dev
Known slice-torus link invariants 3RE84X7W0F
| URI | m2://inv/3RE84X7W0F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#7MPC, Known slice-torus link invariants (example). In 8TRCP1482Q/e1, example B.19
History
- 2026-10-29: add by m2/v0.4.10
Properties 3RE8CPXQ9C
| URI | m2://inv/3RE8CPXQ9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi symbol#W2A8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Charles Hellaby 3REGCQ18HT
| URI | m2://inv/3REGCQ18HT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Hellaby, Charles Hellaby (topic). Also Wikidata Q2959341
History
- 2026-11-02: add by m2/dev
3REMCGWRC1 3REMCGWRC1
| URI | m2://inv/3REMCGWRC1 |
|---|---|
| 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.01338#5WTK (statement). In 4BR6MWF13C/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
Marianna Csörnyei 3REN4ADCDZ
| URI | m2://inv/3REN4ADCDZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IKAE, Marianna Csörnyei (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XSCJ, Marianna Csörnyei (topic)
History
- 2026-11-02: add by m2/dev
3RENFPTY0A 3RENFPTY0A
| URI | m2://inv/3RENFPTY0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10247#G85H (statement). In XWTMY44RF1/e1, proposition 1.5
History
- 2026-10-29: add by m2/v0.4.10
3REQNX2F68 3REQNX2F68
| URI | m2://inv/3REQNX2F68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:minusoneconn-surjective (statement). In N54F33XE07, lem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Sum of residues formula 3RER75SZ41
| URI | m2://inv/3RER75SZ41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of residues formula, Sum of residues formula (statement). Also Wikidata Q97358705
History
- 2026-11-02: add by m2/dev
3RESKF8SVQ 3RESKF8SVQ
| URI | m2://inv/3RESKF8SVQ |
|---|---|
| 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.02558#4J3Z (statement). In 7SMKFW1KP1/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Finite index conjecture 3REXPNFYGA
| URI | m2://inv/3REXPNFYGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arboreal Galois representation#5JGE, Finite index conjecture (statement)
History
- 2026-11-02: add by m2/dev
Example 3RF0QERCH7
| URI | m2://inv/3RF0QERCH7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order dimension#AE72, Example (example)
History
- 2026-11-02: add by m2/dev
Secant plane 3RF0RMNKBB
| URI | m2://inv/3RF0RMNKBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secant plane, Secant plane (definition). Also Wikidata Q28456123
History
- 2026-11-02: add by m2/dev
non-Newtonian calculus 3RF3D03BGN
| URI | m2://inv/3RF3D03BGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#DTFY, non-Newtonian calculus (definition)
History
- 2026-11-02: add by m2/dev
3RFBNXVV9D 3RFBNXVV9D
| URI | m2://inv/3RFBNXVV9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#JCA0 (statement). In 95YZVAPGJA/e1, corollary 1.15
History
- 2026-10-30: add by m2/v0.4.12
Fan Chung 3RFQTQKEFE
| URI | m2://inv/3RFQTQKEFE |
|---|---|
| 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 Q450226, Fan Chung (unknown). Also ProofWiki Mathematician:Fan_Chung_Graham
- wikipedia: Wikipedia Fan Chung, Fan Chung (topic). Also Wikidata Q450226
History
- 2026-10-26: add by m2/dev
3RFRK1J1KQ 3RFRK1J1KQ
| URI | m2://inv/3RFRK1J1KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#F1IO (statement). In 9H45HQE7AZ/e1, theorem 7.12
History
- 2026-10-27: add by m2/v0.3.5
Multicolour counting theorem 3RFT7F7SKZ
| URI | m2://inv/3RFT7F7SKZ |
|---|---|
| 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.38772#HHRC, Multicolour counting theorem (statement). In 1C3R5NAQAP/e1, theorem 3.20
History
- 2026-10-30: add by m2/v0.4.12
Vladimir Berkovich 3RFV0KMHD2
| URI | m2://inv/3RFV0KMHD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#492O, Vladimir Berkovich (topic)
History
- 2026-11-02: add by m2/dev
Applications 3RG269ESWW
| URI | m2://inv/3RG269ESWW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit fraction#1929, Applications (example)
History
- 2026-11-02: add by m2/dev
Knockoffs 3RG4W5B1J3
| URI | m2://inv/3RG4W5B1J3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knockoffs (statistics), Knockoffs (definition). Also Wikidata Q104866197
History
- 2026-11-02: add by m2/dev
3RGCVWEEC0 3RGCVWEEC0
| URI | m2://inv/3RGCVWEEC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#OK4Q (statement). In KQ8JPHDKKE/e1, lemma 9.2.10
History
- 2026-10-27: add by m2/v0.3.5
Variational principles 3RGDRAQGA6
| URI | m2://inv/3RGDRAQGA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric mechanics#2RY3, Variational principles (statement)
History
- 2026-11-02: add by m2/dev
3RGEVCX1ER 3RGEVCX1ER
| URI | m2://inv/3RGEVCX1ER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33656#DM0G (statement). In 8PXDPT3X9P/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
3RGFA836K3 3RGFA836K3
| URI | m2://inv/3RGFA836K3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/maximally-consistent-sets.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 11.7
History
- 2026-11-01: add by m2/v0.6.13
Example 3 3RGJJ9WHS4
| URI | m2://inv/3RGJJ9WHS4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affirming the consequent#VRWZ, Example 3 (example)
History
- 2026-11-02: add by m2/dev
GAS on $\mathcal{D}$ 3RGM18ZEMD
| URI | m2://inv/3RGM18ZEMD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36212#6DQ2, GAS on $\mathcal{D}$ (definition). In N1GH8M0BVW/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Disk algebra 3RGX5HY48R
| URI | m2://inv/3RGX5HY48R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#JXW4, Disk algebra (definition)
History
- 2026-11-02: add by m2/dev
hyperstructure 3RH1DAMWVY
| URI | m2://inv/3RH1DAMWVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperstructure 1HJF40J5AK |
Mentions
- wikidata: Wikidata Q5958653, hyperstructure (unknown). Also nLab hyperstructure
- wikipedia: Wikipedia Hyperstructure, Hyperstructure (definition). Also Wikidata Q5958653
History
- 2026-10-26: add by m2/dev
3RH66S9PVN 3RH66S9PVN
| URI | m2://inv/3RH66S9PVN |
|---|---|
| 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.10365#BG6E (statement). In PRVQPSBVHK/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.10
Principal axis theorem 3RHN4QR9M8
| URI | m2://inv/3RHN4QR9M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Principal axis theorem 0PR5P9Z4KM |
Mentions
- mathlib_1000: mathlib_1000 Q7245073, Principal axis theorem (statement). Also Wikidata Q7245073
- thousand_plus: thousand_plus Q7245073, Principal axis theorem (statement). Also Wikidata Q7245073, Wikipedia Principal axis theorem
- wikipedia: Wikipedia Principal axis theorem, Principal axis theorem (statement). Also Wikidata Q7245073
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3RHRZP1NYY 3RHRZP1NYY
| URI | m2://inv/3RHRZP1NYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#Y1KY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 3RHTPDAW3N
| URI | m2://inv/3RHTPDAW3N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topologies on spaces of linear maps#SLFO, Examples (example)
History
- 2026-11-02: add by m2/dev
3RHZNJKX2V 3RHZNJKX2V
| URI | m2://inv/3RHZNJKX2V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#Y380 (definition). In XYYEJN00D8/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Garcia--Stichtenoth tower 3RJAPD9K84
| URI | m2://inv/3RJAPD9K84 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#A5YI, Garcia--Stichtenoth tower (definition). In N4M6B8EMCW/e1, definition 2.12
History
- 2026-10-31: add by m2/v0.5.6
3RJN2V7K40 3RJN2V7K40
| URI | m2://inv/3RJN2V7K40 |
|---|---|
| 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.22381#S9H1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implementations 3RJNZHQMT0
| URI | m2://inv/3RJNZHQMT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error function#0EYP, Implementations (definition)
History
- 2026-11-02: add by m2/dev
3RJWV47GSN 3RJWV47GSN
| URI | m2://inv/3RJWV47GSN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#AUIP (example). In 94RBNQA07A/e1, example 3.16
History
- 2026-10-27: add by m2/v0.3.5
Great deltoidal icositetrahedron 3RK21X27SW
| URI | m2://inv/3RK21X27SW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GF8B, Great deltoidal icositetrahedron (object)
History
- 2026-11-02: add by m2/dev
induction principle, for truncation 3RK3JQB91V
| URI | m2://inv/3RK3JQB91V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/induction-principle-for-truncation, induction principle, for truncation (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
Arithmetic topology 3RK5GM3KBJ
| URI | m2://inv/3RK5GM3KBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AUMX, Arithmetic topology (definition)
History
- 2026-11-02: add by m2/dev
3RK812J55V 3RK812J55V
| URI | m2://inv/3RK812J55V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#3RRZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
3RKBYS3FPR 3RKBYS3FPR
| URI | m2://inv/3RKBYS3FPR |
|---|---|
| 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#YIQE (statement). In 44DQ7W1NW9/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.12
Dependence of the two vector contractions 3RKE1WPR6Y
| URI | m2://inv/3RKE1WPR6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#6EQ4, Dependence of the two vector contractions (statement)
History
- 2026-11-01: add by m2/v0.6.15
3RKF4XM1NJ 3RKF4XM1NJ
| URI | m2://inv/3RKF4XM1NJ |
|---|---|
| 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 2609.39330#ZKY4 (statement). In 7ZTJ23YG7A/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
3RKH20MAR2 3RKH20MAR2
| URI | m2://inv/3RKH20MAR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#XH46 (statement). In SN6F0MPPVF/e1, corollary B
History
- 2026-10-28: add by m2/v0.4.2
Clarence Abiathar Waldo 3RKMND4M75
| URI | m2://inv/3RKMND4M75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarence Abiathar Waldo, Clarence Abiathar Waldo (topic). Also Wikidata Q2602079
History
- 2026-11-02: add by m2/dev
Theorem 3RKMZ4CN2K
| URI | m2://inv/3RKMZ4CN2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bourbaki–Witt theorem#KD45, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Russell, John 3RKS8DRRRB
| URI | m2://inv/3RKS8DRRRB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OGPD, Russell, John (unknown)
History
- 2026-11-02: add by m2/dev
nodal 3RKXJ5YM6Q
| URI | m2://inv/3RKXJ5YM6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#YXN7, nodal (definition)
History
- 2026-11-02: add by m2/dev
3RM26SDWX1 3RM26SDWX1
| URI | m2://inv/3RM26SDWX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_exp.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section B.9
History
- 2026-11-01: add by m2/v0.6.13
Fechner, Gustav 3RM4QQ4G95
| URI | m2://inv/3RM4QQ4G95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZH11, Fechner, Gustav (topic)
History
- 2026-11-02: add by m2/dev
Existence of projection onto the river \& further properties 3RM5DYV39G
| URI | m2://inv/3RM5DYV39G |
|---|---|
| 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.30957#CHKP, Existence of projection onto the river \& further properties (statement). In P5YB6R0RK3/e1, lemma D.4
History
- 2026-10-31: add by m2/v0.5.6
3RM5PG6G0V 3RM5PG6G0V
| URI | m2://inv/3RM5PG6G0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:prop-equiv-trunc (statement). In N54F33XE07, lem, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
3RM6PNQBA3 3RM6PNQBA3
| URI | m2://inv/3RM6PNQBA3 |
|---|---|
| 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.23237#6O50 (statement)
History
- 2026-11-02: add by m2/v0.6.17
All later blocks from finitely many compressed types 3RM7JM9Z16
| URI | m2://inv/3RM7JM9Z16 |
|---|---|
| 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.11143#EUA3, All later blocks from finitely many compressed types (statement). In 9CS15SV662/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.3
Ontological pluralism 3RMA1XGEQJ
| URI | m2://inv/3RMA1XGEQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophical pluralism#THXE, Ontological pluralism (unknown)
History
- 2026-11-02: add by m2/dev
Reduction to a vector-valued Rellich embedding 3RMM6J153T
| URI | m2://inv/3RMM6J153T |
|---|---|
| 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.33033#709N, Reduction to a vector-valued Rellich embedding (statement). In AJWBAHJ8VD/e1, proposition 5.6
History
- 2026-10-31: add by m2/v0.5.6
3RMMSAJ7X1 3RMMSAJ7X1
| URI | m2://inv/3RMMSAJ7X1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:wfmin (statement). In N54F33XE07, lem, section C.3
History
- 2026-11-01: add by m2/v0.6.13
3RMQ0FQNJA 3RMQ0FQNJA
| URI | m2://inv/3RMQ0FQNJA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#1VK6 (definition). In MRR92GQNZE/e1, definition 2.3
- arxiv: arXiv 2609.38206#UFK7 (definition). In F71MS1F637/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Bernoulli's equation 3RMQQ66XX9
| URI | m2://inv/3RMQQ66XX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25447164, Bernoulli's equation (definition). Also ProofWiki Definition:Bernoulli's_Equation_(Fluid_Mechanics)
History
- 2026-10-26: add by m2/dev
3RMR8DDEJQ 3RMR8DDEJQ
| URI | m2://inv/3RMR8DDEJQ |
|---|---|
| Kind | example |
| 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.25431#83K3 (example)
History
- 2026-11-01: add by m2/v0.6.15
Primary decomposition 3RMS32RHS3
| URI | m2://inv/3RMS32RHS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#HR7E, Primary decomposition (definition)
History
- 2026-11-02: add by m2/dev
Axioms 3RN0HT2P4R
| URI | m2://inv/3RN0HT2P4R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary theory of the category of sets#NRYF, Axioms (statement)
History
- 2026-11-02: add by m2/dev
3RN31PSVXK 3RN31PSVXK
| URI | m2://inv/3RN31PSVXK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#SCSG (definition). In 6NVP3YRWVA/e1, definition 2.17
History
- 2026-10-29: add by m2/v0.4.10
3RN3295WHY 3RN3295WHY
| URI | m2://inv/3RN3295WHY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-10 (proof). In E59CDZA4DP, proof, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
3RN4AHNH1G 3RN4AHNH1G
| URI | m2://inv/3RN4AHNH1G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#0O4F (definition). In GYMGDQS25R/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Strong solidity, Ozawa--Popa 3RNC1N29F9
| URI | m2://inv/3RNC1N29F9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#DNE2, Strong solidity, Ozawa--Popa (definition). In MZ60NP20BH/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.4.0
Example 3RNECCJYE6
| URI | m2://inv/3RNECCJYE6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy groups of spheres#23JS, Example (example)
History
- 2026-11-02: add by m2/dev
Translated homogeneous test functions 3RNM97KV6W
| URI | m2://inv/3RNM97KV6W |
|---|---|
| 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.07404#I88J, Translated homogeneous test functions (statement). In VAJ9MBT3SJ/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
3RNSE6EBT0 3RNSE6EBT0
| URI | m2://inv/3RNSE6EBT0 |
|---|---|
| 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.38493#DO6G (statement). In WTA8VGP6B1/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Properties 3RNT0MZ37S
| URI | m2://inv/3RNT0MZ37S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superfactorial#2VL1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Minimum degree algorithm 3RNV03Y4Q9
| URI | m2://inv/3RNV03Y4Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum degree algorithm, Minimum degree algorithm (definition). Also Wikidata Q17098969
History
- 2026-11-02: add by m2/dev
Whitehead problem 3RP8DCEEQE
| URI | m2://inv/3RP8DCEEQE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#YZIA, Whitehead problem (problem)
- wikipedia: Wikipedia List of homological algebra topics#6RWD, Whitehead problem (problem)
History
- 2026-11-02: add by m2/dev
3RP9H80CJG 3RP9H80CJG
| URI | m2://inv/3RP9H80CJG |
|---|---|
| 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.26033#1V7T (statement)
History
- 2026-11-01: add by m2/v0.6.15
3RPA09CZVM 3RPA09CZVM
| URI | m2://inv/3RPA09CZVM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#APHL (example). In 6KR7Z5ETRY/e1, example 3.17
History
- 2026-10-27: add by m2/v0.3.5
ball 3RPKG6KWGQ
| URI | m2://inv/3RPKG6KWGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > ball, ball (unknown). Also Mathlib Metric.ball
- wikidata: Wikidata Q838611, ball (unknown). Also Mathlib Metric.ball, MathWorld Ball, nLab ball
- wikipedia: Wikipedia Ball (mathematics), Ball (definition). Also Wikidata Q838611
History
- 2026-10-26: add by m2/dev
3RQ62SW4BX 3RQ62SW4BX
| URI | m2://inv/3RQ62SW4BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#22OS (statement). In MRR92GQNZE/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 3RQ7WVKRKJ
| URI | m2://inv/3RQ7WVKRKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear predictor function#XBY3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dan Archdeacon 3RQB0M51YC
| URI | m2://inv/3RQB0M51YC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6A1Z, Dan Archdeacon (topic)
History
- 2026-11-02: add by m2/dev
Behavior of all density entries at zero 3RQW4T3NQB
| URI | m2://inv/3RQW4T3NQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#B1YT, Behavior of all density entries at zero (statement). In FDDA562VCA/e1, theorem 3.19
History
- 2026-10-29: add by m2/v0.4.10
Ernst G. Straus 3RR0X8HBC8
| URI | m2://inv/3RR0X8HBC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#Q5UY, Ernst G. Straus (topic)
History
- 2026-11-02: add by m2/dev
Initial mass function 3RR2EWCGQ0
| URI | m2://inv/3RR2EWCGQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial mass function, Initial mass function (definition). Also Wikidata Q1194026
History
- 2026-11-02: add by m2/dev
3RR8AW5B4W 3RR8AW5B4W
| URI | m2://inv/3RR8AW5B4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20678#XXZE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jordan–von Neumann theorems 3RRD24Y3KN
| URI | m2://inv/3RRD24Y3KN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization identity#CLPQ, Jordan–von Neumann theorems (statement)
History
- 2026-11-02: add by m2/dev
Java Anon Proxy 3RREBAK6KF
| URI | m2://inv/3RREBAK6KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Java Anon Proxy, Java Anon Proxy (definition). Also Wikidata Q515489
History
- 2026-11-02: add by m2/dev
Cochran's Q test 3RRGEN7XAH
| URI | m2://inv/3RRGEN7XAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OK03, Cochran's Q test (definition)
History
- 2026-11-02: add by m2/dev
timelike four-vector 3RRK3PN20N
| URI | m2://inv/3RRK3PN20N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122208637, timelike four-vector (unknown). Also MathWorld Timelike
History
- 2026-10-26: add by m2/dev
Example 3RRNTWFMFV
| URI | m2://inv/3RRNTWFMFV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf bifurcation#C1MD, Example (example)
History
- 2026-11-02: add by m2/dev
3RS8HXEJPC 3RS8HXEJPC
| URI | m2://inv/3RS8HXEJPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.35543#Y1EB (statement). In WSG1ZW956E/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
PID Projection 3RS8QM19GR
| URI | m2://inv/3RS8QM19GR |
|---|---|
| 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.37578#2ERH, PID Projection (statement). In D7NDCWSDJE/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
3RS9T9J5HV 3RS9T9J5HV
| URI | m2://inv/3RS9T9J5HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#HELW (statement). In VWNB6QJWFN/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
parametrization 3RSCQMYBGQ
| URI | m2://inv/3RSCQMYBGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3290922, parametrization (unknown). Also MathWorld Parameterization
- wikipedia: Wikipedia Parametrization (geometry), Parametrization (definition). Also Wikidata Q3290922
History
- 2026-10-26: add by m2/dev
Seed-based d mapping 3RSM1CJP3C
| URI | m2://inv/3RSM1CJP3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9Y8G, Seed-based d mapping (definition)
History
- 2026-11-02: add by m2/dev
classifying space 3RSMHX899G
| URI | m2://inv/3RSMHX899G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#4ELZ, classifying space (definition)
History
- 2026-11-02: add by m2/dev
Martin Grohe 3RT65DSG0D
| URI | m2://inv/3RT65DSG0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Grohe, Martin Grohe (topic). Also Wikidata Q59656276
History
- 2026-11-02: add by m2/dev
3RTCP28S9Q 3RTCP28S9Q
| URI | m2://inv/3RTCP28S9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#6OLX (statement)
History
- 2026-11-01: add by m2/v0.6.15
$(\infty,1)$-category 3RTDNZ5HHR
| URI | m2://inv/3RTDNZ5HHR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.4/infty-1-category, $(\infty,1)$-category (concept). In N54F33XE07, index, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
3RTGGZ6809 3RTGGZ6809
| URI | m2://inv/3RTGGZ6809 |
|---|---|
| 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.13798#8YFN (statement). In GF2MA6Y29D/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Mircea Mustaţă 3RTJA9EFMA
| URI | m2://inv/3RTJA9EFMA |
|---|---|
| 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#4XUH, Mircea Mustaţă (unknown)
History
- 2026-11-02: add by m2/dev
Mercado, Joseph 3RTKNTQEXX
| URI | m2://inv/3RTKNTQEXX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2PNC, Mercado, Joseph (topic)
History
- 2026-11-02: add by m2/dev
horocycle 3RTYDCAEMY
| URI | m2://inv/3RTYDCAEMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Horocycle 1E8WCHSAE2 |
Mentions
- wikidata: Wikidata Q2246795, horocycle (unknown). Also MathWorld Horocycle
- wikipedia: Wikipedia Horocycle, Horocycle (definition). Also Wikidata Q2246795
History
- 2026-10-26: add by m2/dev
3RV1JYFVK7 3RV1JYFVK7
| URI | m2://inv/3RV1JYFVK7 |
|---|---|
| Kind | statement |
| 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#3YO1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
the first member 3RV1MT4D74
| URI | m2://inv/3RV1MT4D74 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#NVXA, the first member (example)
History
- 2026-11-01: add by m2/v0.6.15
hypergraph 3RV3V0Q93K
| URI | m2://inv/3RV3V0Q93K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#TK97, hypergraph (definition)
History
- 2026-11-02: add by m2/dev
Reduced phase dynamics 3RVBE7T8MQ
| URI | m2://inv/3RVBE7T8MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09356#03XZ, Reduced phase dynamics (statement). In 3VVGPXWH6R/e1, proposition E.5
History
- 2026-10-29: add by m2/v0.4.10
Non-example 3RVGHR3Q9H
| URI | m2://inv/3RVGHR3Q9H |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable group#RUDY, Non-example (counterexample)
History
- 2026-11-02: add by m2/dev
algebraic variety 3RVKKKVCX0
| URI | m2://inv/3RVKKKVCX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#AKCF, algebraic variety (definition)
History
- 2026-11-02: add by m2/dev
3RW3NG162Z 3RW3NG162Z
| URI | m2://inv/3RW3NG162Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#5QIC (statement). In 9DQKY7KGE8/e1, lemma B.25
History
- 2026-10-31: add by m2/v0.5.6
3RW73HPD2D 3RW73HPD2D
| URI | m2://inv/3RW73HPD2D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler brick#2A9O (problem)
History
- 2026-11-02: add by m2/dev
3RWK2HA6Z8 3RWK2HA6Z8
| URI | m2://inv/3RWK2HA6Z8 |
|---|---|
| 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.38772#STX9 (statement). In 1C3R5NAQAP/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
ZFC 3RWVW31MPF
| URI | m2://inv/3RWVW31MPF |
|---|---|
| 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.19088#ZOP9, ZFC (statement). In 90QTB4CC31/e1, lemma 3.29
History
- 2026-10-28: add by m2/v0.4.2
3RWWK1B3QX 3RWWK1B3QX
| URI | m2://inv/3RWWK1B3QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#RX2B (statement). In 42XHT97E64/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
Journal of Statistical Software 3RX723Q7WA
| URI | m2://inv/3RX723Q7WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#0RG4, Journal of Statistical Software (definition)
- wikipedia: Wikipedia List of statistics journals#C7FI, Journal of Statistical Software (definition)
History
- 2026-11-02: add by m2/dev
3RXB8352JR 3RXB8352JR
| URI | m2://inv/3RXB8352JR |
|---|---|
| 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#F8RY (statement). In Q5Z178SAHP/e1, theorem 7.6
History
- 2026-10-30: add by m2/v0.4.12
Bing metrization theorem 3RXSWQGZT9
| URI | m2://inv/3RXSWQGZT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17081508, Bing metrization theorem (statement). Also Wikidata Q17081508
- thousand_plus: thousand_plus Q17081508, Bing metrization theorem (statement). Also Wikidata Q17081508, Wikipedia Bing metrization theorem
- wikipedia: Wikipedia Bing metrization theorem, Bing metrization theorem (statement). Also Wikidata Q17081508
History
- 2026-10-26: add by m2/dev
equivariant sheaf 3RXYNGAVGY
| URI | m2://inv/3RXYNGAVGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15734022, equivariant sheaf (unknown). Also nLab equivariant sheaf
- wikipedia: Wikipedia Equivariant sheaf, Equivariant sheaf (definition). Also Wikidata Q15734022
History
- 2026-10-26: add by m2/dev
Definition 3RY1BXC0DZ
| URI | m2://inv/3RY1BXC0DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator subspace#NUG9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Communications Machine 3RYBB0BYTV
| URI | m2://inv/3RYBB0BYTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communications Machine, Communications Machine (definition). Also Wikidata Q18348491
History
- 2026-11-02: add by m2/dev
3RYKWC771P 3RYKWC771P
| URI | m2://inv/3RYKWC771P |
|---|---|
| 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 2404.18690#IBGX (statement). In MDCJJJRQ2X/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
3RYQ7M1KHM 3RYQ7M1KHM
| URI | m2://inv/3RYQ7M1KHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#FS6L (statement). In 55QFMZQ5HM/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
3RZCN35W7N 3RZCN35W7N
| URI | m2://inv/3RZCN35W7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#H2R2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compatible tetrahedralization 3RZCTNAXS9
| URI | m2://inv/3RZCTNAXS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27635#Z49F, Compatible tetrahedralization (statement)
History
- 2026-11-01: add by m2/v0.6.15
-ant 3RZEMQVXHY
| URI | m2://inv/3RZEMQVXHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#MSZC, -ant (definition)
History
- 2026-11-02: add by m2/dev
3RZF4PCE2C 3RZF4PCE2C
| URI | m2://inv/3RZF4PCE2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#K1OD (statement). In AB2WPR2FRR/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
3RZVWM1089 3RZVWM1089
| URI | m2://inv/3RZVWM1089 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36717#0UPW (statement). In 69FBWG9P3B/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Sendov's conjecture 3RZXMY8Z56
| URI | m2://inv/3RZXMY8Z56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sendov's conjecture 101H2VSX2R |
Mentions
- wikidata: Wikidata Q17037028, Sendov's conjecture (conjecture). Also MathWorld SendovConjecture
- wikipedia: Wikipedia Sendov's conjecture, Sendov's conjecture (statement). Also Wikidata Q17037028
History
- 2026-10-26: add by m2/dev