Inventory rows R4
The cards of the rows of the inventory whose ids start with R4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties R40003HWCH
| URI | m2://inv/R40003HWCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barth–Nieto quintic#8RE4, Properties (statement)
History
- 2026-11-02: add by m2/dev
R4018EA880 R4018EA880
| URI | m2://inv/R4018EA880 |
|---|---|
| Kind | example |
| 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.38436#GRBC (example). In 702AF3E4AF/e1, example 1.1
History
- 2026-10-30: add by m2/v0.4.12
R402TGE3AH R402TGE3AH
| URI | m2://inv/R402TGE3AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.02019#BV2N (statement). In PD607VXPY3/e1, theorem 24
History
- 2026-10-27: add by m2/v0.3.5
The Zariski-redundant case R403Q75FMG
| URI | m2://inv/R403Q75FMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#3T41, The Zariski-redundant case (statement)
History
- 2026-11-01: add by m2/v0.6.15
R40453SXFC R40453SXFC
| URI | m2://inv/R40453SXFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#65HL (statement). In 9XMZTTSF5E/e1, theorem B.1
History
- 2026-10-30: add by m2/v0.4.12
R404ZTBZFV R404ZTBZFV
| URI | m2://inv/R404ZTBZFV |
|---|---|
| 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#IP3E (statement). In E7W2HDNEKJ/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Examples R40AZGE0B0
| URI | m2://inv/R40AZGE0B0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy space#TNFM, Examples (example)
History
- 2026-11-02: add by m2/dev
Mean value theorem of differential calculus R40CCHR4E5
| URI | m2://inv/R40CCHR4E5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic mean#ZQ1Z, Mean value theorem of differential calculus (statement)
History
- 2026-11-02: add by m2/dev
Sharpness in Besov and Triebel-Lizorkin spaces R40EFKHW9V
| URI | m2://inv/R40EFKHW9V |
|---|---|
| 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.18797#66M2, Sharpness in Besov and Triebel-Lizorkin spaces (statement). In HVZW77G66Z/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
Definition R40H6BKDDN
| URI | m2://inv/R40H6BKDDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime element#4H5Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Katzarkov--Kontsevich--Pantev--Yu R40MFQQW79
| URI | m2://inv/R40MFQQW79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21914#X7BD, Katzarkov--Kontsevich--Pantev--Yu (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dihedral derangements R40S64137F
| URI | m2://inv/R40S64137F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02806#B1EI, Dihedral derangements (statement). In F4A354Y5NC/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
R40T6XVSFT R40T6XVSFT
| URI | m2://inv/R40T6XVSFT |
|---|---|
| Kind | statement |
| 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#OXEH (statement). In A1GWWGRXPA/e1, proposition 6.9
History
- 2026-10-27: add by m2/v0.4.2
R40XEQKP1W R40XEQKP1W
| URI | m2://inv/R40XEQKP1W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-largest.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
R40YH8G1KS R40YH8G1KS
| URI | m2://inv/R40YH8G1KS |
|---|---|
| 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.03081#POGI (statement). In TX0H26X4VX/e1, theorem 8.8
History
- 2026-10-29: add by m2/v0.4.12
Dual of Dilworth's theorem (Mirsky's theorem) R40ZCWSX32
| URI | m2://inv/R40ZCWSX32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilworth's theorem#0W8E, Dual of Dilworth's theorem (Mirsky's theorem) (statement)
History
- 2026-11-02: add by m2/dev
superoperator R412J1F8PE
| URI | m2://inv/R412J1F8PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4446297, superoperator (unknown). Also nLab superoperator
- wikipedia: Wikipedia Superoperator, Superoperator (definition). Also Wikidata Q4446297
History
- 2026-10-26: add by m2/dev
Wickham, Hadley R418M8BZ8B
| URI | m2://inv/R418M8BZ8B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V368, Wickham, Hadley (topic)
History
- 2026-11-02: add by m2/dev
Dirichlet kernel R41EST9JAP
| URI | m2://inv/R41EST9JAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#FGZY, Dirichlet kernel (definition)
History
- 2026-11-02: add by m2/dev
Ruth King R41F9AYQK3
| URI | m2://inv/R41F9AYQK3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth King (statistician), Ruth King (topic). Also Wikidata Q64414789
History
- 2026-11-02: add by m2/dev
Bethe-Heitler theory of energy loss R41GZ77JZM
| URI | m2://inv/R41GZ77JZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bremsstrahlung#OI31, Bethe-Heitler theory of energy loss (unknown)
History
- 2026-11-02: add by m2/dev
Theorem R41J5NYKJ3
| URI | m2://inv/R41J5NYKJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev function#A7B4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition R41KTTHVVJ
| URI | m2://inv/R41KTTHVVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston norm#87QV, Definition (definition)
History
- 2026-11-02: add by m2/dev
R41SAZ7328 R41SAZ7328
| URI | m2://inv/R41SAZ7328 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20961#0TXR (statement)
History
- 2026-11-02: add by m2/v0.6.18
R41W1K20BY R41W1K20BY
| URI | m2://inv/R41W1K20BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#9A3S (statement). In 9VG7PNZHZT/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
0-1 loss R41XV4WBP0
| URI | m2://inv/R41XV4WBP0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loss function#0ZH1, 0-1 loss (unknown)
History
- 2026-11-02: add by m2/dev
\bf The category of $\Q$-shaped modules R4225EZW1G
| URI | m2://inv/R4225EZW1G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#1BXA, \bf The category of $\Q$-shaped modules (definition). In 879ZDHVK7N/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Invariance under weak reduction R4248QGSRH
| URI | m2://inv/R4248QGSRH |
|---|---|
| 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.21765#A9GD, Invariance under weak reduction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fooled by Randomness R42C48PF8Z
| URI | m2://inv/R42C48PF8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fooled by Randomness, Fooled by Randomness (definition). Also Wikidata Q5392879
History
- 2026-11-02: add by m2/dev
Ellenberg, Jonas H. R42DTSSH7T
| URI | m2://inv/R42DTSSH7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QURX, Ellenberg, Jonas H. (topic)
History
- 2026-11-02: add by m2/dev
Definitions R42PG02V1F
| URI | m2://inv/R42PG02V1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeros and poles#IY5J, Definitions (definition)
History
- 2026-11-02: add by m2/dev
R42VR9YST7 R42VR9YST7
| URI | m2://inv/R42VR9YST7 |
|---|---|
| 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 2410.22607#FH5G (statement). In 6GT33A43SY/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
Generalizations R431TG62M8
| URI | m2://inv/R431TG62M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian optics#NI85, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Explicit Lam\'e-preserving anharmonic orbit R434N2475V
| URI | m2://inv/R434N2475V |
|---|---|
| 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.24807#E40B, Explicit Lam\'e-preserving anharmonic orbit (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sub-Riemannian Hamiltonian R43EDS6WW3
| URI | m2://inv/R43EDS6WW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian mechanics#JS4T, Sub-Riemannian Hamiltonian (unknown)
History
- 2026-11-02: add by m2/dev
R43FN1F3ED R43FN1F3ED
| URI | m2://inv/R43FN1F3ED |
|---|---|
| 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 2207.11097#JUYZ (statement). In 13H5BTAXHF/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
R43QM93BGA R43QM93BGA
| URI | m2://inv/R43QM93BGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#0TYJ (statement). In 73A9KWZJRD/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Le\,Cam lower bound R43QN6JNF5
| URI | m2://inv/R43QN6JNF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#7H1C, Le\,Cam lower bound (statement). In 7HXP270BD0/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Egbert Brieskorn R43R7K9JCG
| URI | m2://inv/R43R7K9JCG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egbert Brieskorn, Egbert Brieskorn (topic). Also Wikidata Q91212
History
- 2026-11-02: add by m2/dev
Proposition R442TKY9R2
| URI | m2://inv/R442TKY9R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#SMUQ, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Susanne Dierolf R444M9WNC7
| URI | m2://inv/R444M9WNC7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susanne Dierolf, Susanne Dierolf (topic). Also Wikidata Q94751510
History
- 2026-11-02: add by m2/dev
Maximal packing, \MCMKP R44B8A11A7
| URI | m2://inv/R44B8A11A7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18017#57WQ, Maximal packing, \MCMKP (definition). In EBSQEQYECS/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Saul Kripke R44C4RMTER
| URI | m2://inv/R44C4RMTER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JUB3, Saul Kripke (topic)
History
- 2026-11-02: add by m2/dev
Sub-linear time R44EK5844D
| URI | m2://inv/R44EK5844D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#XBDJ, Sub-linear time (unknown)
History
- 2026-11-02: add by m2/dev
purely inseparable invariance R44GCN1RDJ
| URI | m2://inv/R44GCN1RDJ |
|---|---|
| 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.07508#KIVC, purely inseparable invariance (statement). In TPA3E67MKK/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
R44JNJGNE2 R44JNJGNE2
| URI | m2://inv/R44JNJGNE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#IOTQ (statement). In 7CK21JGM5A/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.2
R44JT8A3A9 R44JT8A3A9
| URI | m2://inv/R44JT8A3A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/truth-at-w.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
R44R9AFSZS R44R9AFSZS
| URI | m2://inv/R44R9AFSZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.08074#U7QZ (statement). In ZRPYF750AV/e1, corollary 3.18
History
- 2026-10-29: add by m2/v0.4.10
Ron Larson R44TKCVY2X
| URI | m2://inv/R44TKCVY2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ron Larson, Ron Larson (topic). Also Wikidata Q7364062
History
- 2026-11-02: add by m2/dev
Implementations R450NYRVTQ
| URI | m2://inv/R450NYRVTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LZ77 and LZ78#LQ33, Implementations (definition)
History
- 2026-11-02: add by m2/dev
R454JP0NYG R454JP0NYG
| URI | m2://inv/R454JP0NYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#ES04 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bers slice R459FYX6X0
| URI | m2://inv/R459FYX6X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bers slice, Bers slice (definition). Also Wikidata Q4894899
History
- 2026-11-02: add by m2/dev
John Adams R45CFZHNAC
| URI | m2://inv/R45CFZHNAC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Adams (mathematician), John Adams (topic). Also Wikidata Q135497521
History
- 2026-11-02: add by m2/dev
Approximate limit R45EGJJ3T3
| URI | m2://inv/R45EGJJ3T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate limit, Approximate limit (definition). Also Wikidata Q4781763
History
- 2026-11-02: add by m2/dev
vertical angles R45FXRW0MX
| URI | m2://inv/R45FXRW0MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10906396, vertical angles (unknown). Also MathWorld VerticalAngle
History
- 2026-10-26: add by m2/dev
R45MFS8H5B R45MFS8H5B
| URI | m2://inv/R45MFS8H5B |
|---|---|
| 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#R14L (statement). In JWNYJVH8XG/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
Pavel Alexandrov R45MXDQB35
| URI | m2://inv/R45MXDQB35 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#TB8C, Pavel Alexandrov (topic)
History
- 2026-11-02: add by m2/dev
Formal definition R45PH91WNP
| URI | m2://inv/R45PH91WNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraically closed group#DWO0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Sine-triple-angle circle R45SFRR5JQ
| URI | m2://inv/R45SFRR5JQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130303003, Sine-triple-angle circle (unknown). Also MathWorld Sine-Triple-AngleCircle
History
- 2026-10-26: add by m2/dev
R45W9DWZHB R45W9DWZHB
| URI | m2://inv/R45W9DWZHB |
|---|---|
| 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.20588#C0FU (statement)
History
- 2026-11-02: add by m2/v0.6.18
group isomorphism R45WZFXH19
| URI | m2://inv/R45WZFXH19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 12397) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#E3U9, group isomorphism (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
R45XK83DSF R45XK83DSF
| URI | m2://inv/R45XK83DSF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#A7D3 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Al-Abbās ibn Said al-Jawharī R462Q5XPKH
| URI | m2://inv/R462Q5XPKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#SYP2, Al-Abbās ibn Said al-Jawharī (unknown)
History
- 2026-11-02: add by m2/dev
Dana S. Richards R464DRJF77
| URI | m2://inv/R464DRJF77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dana S. Richards, Dana S. Richards (topic). Also Wikidata Q78153413
History
- 2026-11-02: add by m2/dev
Baker-Gill-Solovay theorem R464P66MPV
| URI | m2://inv/R464P66MPV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oracle machine#7WAX, Baker-Gill-Solovay theorem (unknown)
History
- 2026-11-02: add by m2/dev
Example R469HEHCKF
| URI | m2://inv/R469HEHCKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical diffusion#F27I, Example (example)
History
- 2026-11-02: add by m2/dev
R46F57HQTG R46F57HQTG
| URI | m2://inv/R46F57HQTG |
|---|---|
| Kind | example |
| 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.20153#LTF9 (example)
History
- 2026-11-02: add by m2/v0.6.18
R46J3YYZFF R46J3YYZFF
| URI | m2://inv/R46J3YYZFF |
|---|---|
| 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.22170#Y4N8 (statement). In 74MMMHHPW5/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
R46R2RWKX4 R46R2RWKX4
| URI | m2://inv/R46R2RWKX4 |
|---|---|
| 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#DQQC (statement). In 1PR73ECTZB/e1, proposition 39
History
- 2026-10-27: add by m2/v0.3.5
R46VMHR3A2 R46VMHR3A2
| URI | m2://inv/R46VMHR3A2 |
|---|---|
| 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 2207.11097#GL2N (statement). In 13H5BTAXHF/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
Topological Vaught Conjecture R470KWERPS
| URI | m2://inv/R470KWERPS |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#Z6ZY, Topological Vaught Conjecture (conjecture). In G70Q2FB591/e1, conjecture 1.2
History
- 2026-10-28: add by m2/v0.4.2
R472DJKGXX R472DJKGXX
| URI | m2://inv/R472DJKGXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#ZIP7 (statement). In DPJ15KW23C/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
R4760ZZG6X R4760ZZG6X
| URI | m2://inv/R4760ZZG6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/c-representable.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
R47FTM0BGS R47FTM0BGS
| URI | m2://inv/R47FTM0BGS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-284 (exercise). In VNMV985MXX, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
R47GWD31QH R47GWD31QH
| URI | m2://inv/R47GWD31QH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#3WX8 (statement). In G7R61RPWE2/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
R47SDJ7P3E R47SDJ7P3E
| URI | m2://inv/R47SDJ7P3E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#LMBI (example). In RAF0BFY3Z3/e1, example 5.1
History
- 2026-10-28: add by m2/v0.4.2
Hans Reissner R4830030R1
| URI | m2://inv/R4830030R1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#D2YG, Hans Reissner (unknown)
History
- 2026-11-02: add by m2/dev
R48GWG1TNV R48GWG1TNV
| URI | m2://inv/R48GWG1TNV |
|---|---|
| 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 2610.18219#KJ5V (definition). In X1AGBB90EH/e1, definition 5.15
History
- 2026-10-28: add by m2/v0.4.2
R48H7VE7W5 R48H7VE7W5
| URI | m2://inv/R48H7VE7W5 |
|---|---|
| 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.14318#CLRY (statement). In HA4SZZJ831/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
root of unity modulo n R48J5HKM91
| URI | m2://inv/R48J5HKM91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7366581, root of unity modulo n (definition). Also ProofWiki Definition:Root_of_Unity_Modulo_m
- wikipedia: Wikipedia Root of unity modulo n, Root of unity modulo n (definition). Also Wikidata Q7366581
History
- 2026-10-26: add by m2/dev
typical ambiguity R48SK7RXJ1
| URI | m2://inv/R48SK7RXJ1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/typical-ambiguity, typical ambiguity (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
finite certificate R48V39Y472
| URI | m2://inv/R48V39Y472 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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.00916#XJ38, finite certificate (statement). In 3MMFCTKPPJ/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
R48YKN6QNK R48YKN6QNK
| URI | m2://inv/R48YKN6QNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#6Z49 (statement). In 5E9G06XJKC/e1, lemma C.11
History
- 2026-10-28: add by m2/v0.4.2
spanner R48YT9RKT6
| URI | m2://inv/R48YT9RKT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#HU7W, spanner (definition)
History
- 2026-11-02: add by m2/dev
R492KCKGAS R492KCKGAS
| URI | m2://inv/R492KCKGAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.08123#1LRU (statement). In TAAB0QAKAG/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.3.5
Outline of actuarial science R49AVF0DZX
| URI | m2://inv/R49AVF0DZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of actuarial science, Outline of actuarial science (topic). Also Wikidata Q7112542
History
- 2026-11-02: add by m2/dev
Conway's base 13 function R49BCRT1XD
| URI | m2://inv/R49BCRT1XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#X14B, Conway's base 13 function (definition)
History
- 2026-11-02: add by m2/dev
R49M9RTG5C R49M9RTG5C
| URI | m2://inv/R49M9RTG5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#prop:provability-lor (statement). In PKGMM3P5QY, prop, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
anti-extension R49MSVN0GB
| URI | m2://inv/R49MSVN0GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#CIU5, anti-extension (definition)
History
- 2026-11-02: add by m2/dev
Definition R49R4MGYCE
| URI | m2://inv/R49R4MGYCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruhat order#6F5S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rates R49VER01BK
| URI | m2://inv/R49VER01BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#XHCQ, Rates (statement). In 65TJENWK7X/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.10
R4A7ZMFB76 R4A7ZMFB76
| URI | m2://inv/R4A7ZMFB76 |
|---|---|
| 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.21116#IFM9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tuberculosis R4ABFRPSAW
| URI | m2://inv/R4ABFRPSAW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#247X, Tuberculosis (unknown)
History
- 2026-11-02: add by m2/dev
R4AP2F1SN8 R4AP2F1SN8
| URI | m2://inv/R4AP2F1SN8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-51 (exercise). In E9HS8K3A52, exercise, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Right-hand side R4AWVH5M77
| URI | m2://inv/R4AWVH5M77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#MZ2R, Right-hand side (definition)
History
- 2026-11-02: add by m2/dev
Full snub 5-cell R4AXB22VPP
| URI | m2://inv/R4AXB22VPP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 5-cell#4J89, Full snub 5-cell (unknown)
History
- 2026-11-02: add by m2/dev
Inertia group R4AYMED83T
| URI | m2://inv/R4AYMED83T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#GPTV, Inertia group (definition)
History
- 2026-11-02: add by m2/dev
Proper ideal R4AZRCCE4D
| URI | m2://inv/R4AZRCCE4D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal (ring theory)#5EOH, Proper ideal (unknown)
History
- 2026-11-02: add by m2/dev
Bloch's constant R4B59R1NYJ
| URI | m2://inv/R4B59R1NYJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#IOFM, Bloch's constant (conjecture)
History
- 2026-11-02: add by m2/dev
R4B5W4C5CY R4B5W4C5CY
| URI | m2://inv/R4B5W4C5CY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#VVLJ (statement). In CHC3T113Y4/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Mellin reflection for a reciprocal pair R4B61APBM2
| URI | m2://inv/R4B61APBM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#9U3N, Mellin reflection for a reciprocal pair (statement). In HF7YNMW39N/e1, theorem 11.4
History
- 2026-10-27: add by m2/v0.4.0
Separable Jacobian conjecture R4B7KMZH5S
| URI | m2://inv/R4B7KMZH5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#0REX, Separable Jacobian conjecture (statement)
History
- 2026-11-02: add by m2/dev
$H^2_D$--controllability, $n=2,3$ R4BGTE1H0F
| URI | m2://inv/R4BGTE1H0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#Q6YR, $H^2_D$--controllability, $n=2,3$ (statement). In X6E7P2ACAS/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.3
Definition R4BHK9NWP0
| URI | m2://inv/R4BHK9NWP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial residual plot#SOOE, Definition (definition)
History
- 2026-11-02: add by m2/dev
icosidodecadodecahedron R4BPKQC9RF
| URI | m2://inv/R4BPKQC9RF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q147665, icosidodecadodecahedron (object). Also MathWorld Icosidodecadodecahedron
- wikipedia: Wikipedia Icosidodecadodecahedron, Icosidodecadodecahedron (object). Also Wikidata Q147665
History
- 2026-10-26: add by m2/dev
Von Bertalanffy function R4BVYDFS0S
| URI | m2://inv/R4BVYDFS0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Bertalanffy function, Von Bertalanffy function (definition). Also Wikidata Q62604060
History
- 2026-11-02: add by m2/dev
R4BWHWQ1WH R4BWHWQ1WH
| URI | m2://inv/R4BWHWQ1WH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#KVVD (definition). In 2QF1YG9DD0/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
When the oracle output is conflict-avoidant R4C14115HZ
| URI | m2://inv/R4C14115HZ |
|---|---|
| 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.13773#0R55, When the oracle output is conflict-avoidant (statement). In E75XQY0QFM/e1, proposition B.1
History
- 2026-10-28: add by m2/v0.4.2
R4C782F8TZ R4C782F8TZ
| URI | m2://inv/R4C782F8TZ |
|---|---|
| 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.28195#H89H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arnoldi iteration R4CDWQZSMN
| URI | m2://inv/R4CDWQZSMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnoldi iteration, Arnoldi iteration (definition). Also Wikidata Q696822
History
- 2026-11-02: add by m2/dev
Examples R4CJ0S6F9V
| URI | m2://inv/R4CJ0S6F9V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence group#UHQD, Examples (example)
History
- 2026-11-02: add by m2/dev
Tragedy of the commons R4CJCGVT7T
| URI | m2://inv/R4CJCGVT7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tragedy of the commons, Tragedy of the commons (definition). Also Wikidata Q334622
History
- 2026-11-02: add by m2/dev
R4CM5D9WS7 R4CM5D9WS7
| URI | m2://inv/R4CM5D9WS7 |
|---|---|
| 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.06340#FVZ3 (statement). In PKNZPECH82/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
R4CRFKJ4TC R4CRFKJ4TC
| URI | m2://inv/R4CRFKJ4TC |
|---|---|
| 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#126A (statement). In HXFA55BREZ/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
R4D2W19PFF R4D2W19PFF
| URI | m2://inv/R4D2W19PFF |
|---|---|
| Kind | problem |
| 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.37973#4T25 (problem). In 7276BGZRMP/e1, problem 9
History
- 2026-10-30: add by m2/v0.4.12
Generalization R4D31PX7DT
| URI | m2://inv/R4D31PX7DT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodhart's law#RF6I, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Factorisation of separated marginals R4D785ATQR
| URI | m2://inv/R4D785ATQR |
|---|---|
| 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.03683#4RPU, Factorisation of separated marginals (statement). In 14AMXF6X2V/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Concise R4DHH2XTWD
| URI | m2://inv/R4DHH2XTWD |
|---|---|
| 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.01828#RIYO, Concise (statement). In RQMJY73C8Q/e1, theorem II.2
History
- 2026-10-29: add by m2/v0.4.12
Capacity converse R4DJVPYZ78
| URI | m2://inv/R4DJVPYZ78 |
|---|---|
| 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.40054#0UOP, Capacity converse (statement). In CA4C9PFM1E/e1, lemma 3.2.3
History
- 2026-10-30: add by m2/v0.4.12
Fiducial inference R4DKGR5HCJ
| URI | m2://inv/R4DKGR5HCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0UJE, Fiducial inference (definition)
History
- 2026-11-02: add by m2/dev
Equal parallelians point R4DR7M5EF1
| URI | m2://inv/R4DR7M5EF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equal parallelians point, Equal parallelians point (definition). Also Wikidata Q5384154
History
- 2026-11-02: add by m2/dev
Lester Frankel R4DTD5J70C
| URI | m2://inv/R4DTD5J70C |
|---|---|
| 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#WBNS, Lester Frankel (unknown)
History
- 2026-11-02: add by m2/dev
Human Science Operations Cell R4EFAV7BS5
| URI | m2://inv/R4EFAV7BS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Human Science Operations Cell, Human Science Operations Cell (definition). Also Wikidata Q16956516
History
- 2026-11-02: add by m2/dev
Residual spectral transform R4EVMXS3ND
| URI | m2://inv/R4EVMXS3ND |
|---|---|
| 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.16680#AEEO, Residual spectral transform (statement). In H29YHXQZV6/e1, theorem 20
History
- 2026-10-28: add by m2/v0.4.2
R4F26MK23W R4F26MK23W
| URI | m2://inv/R4F26MK23W |
|---|---|
| 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.30407#0AZL (definition). In HNY6N561H5/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
R4F4PHMTFA R4F4PHMTFA
| URI | m2://inv/R4F4PHMTFA |
|---|---|
| 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 2610.00660#QP6V (example). In FF8A8FP4FB/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
R4F61DVRVJ R4F61DVRVJ
| URI | m2://inv/R4F61DVRVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11679#KJ2I (statement). In 30PZ8ZVR3A/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
R4F9DWAC46 R4F9DWAC46
| URI | m2://inv/R4F9DWAC46 |
|---|---|
| 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.16203#J0N6 (statement). In 43TBS9P2PX/e1, fact 8.1
History
- 2026-10-28: add by m2/v0.4.2
R4FBXMA3NH R4FBXMA3NH
| URI | m2://inv/R4FBXMA3NH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#TKH1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
R4FEXX5MVJ R4FEXX5MVJ
| URI | m2://inv/R4FEXX5MVJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-53 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
Patterson's conjecture R4FKVYYQGG
| URI | m2://inv/R4FKVYYQGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer sum#LZ5A, Patterson's conjecture (statement)
History
- 2026-11-02: add by m2/dev
R4FM32J4RQ R4FM32J4RQ
| URI | m2://inv/R4FM32J4RQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#BAAN (statement). In X88HPQ0W8C/e1, proposition 2.20
History
- 2026-10-27: add by m2/v0.3.5
Comparable mixture signals R4FQRY5QPS
| URI | m2://inv/R4FQRY5QPS |
|---|---|
| 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.39408#GGPD, Comparable mixture signals (statement). In T8E6F01RTM/e1, theorem E.1
History
- 2026-10-30: add by m2/v0.4.12
William Anthony Granville R4FWX8HRKC
| URI | m2://inv/R4FWX8HRKC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Anthony Granville, William Anthony Granville (topic). Also Wikidata Q3710489
History
- 2026-11-02: add by m2/dev
Building block for the intersection flow R4G2G884EF
| URI | m2://inv/R4G2G884EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#VQS8, Building block for the intersection flow (statement). In 6GK9EJMWY4/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
Stationary phase with parameters R4G31TJJGK
| URI | m2://inv/R4G31TJJGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#VZB7, Stationary phase with parameters (statement). In 3Y76AQQGF0/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
Carl S. Herz R4G6BHEGCS
| URI | m2://inv/R4G6BHEGCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl S. Herz, Carl S. Herz (topic). Also Wikidata Q15995125
History
- 2026-11-02: add by m2/dev
Poincar\'e homotopy R4G78N8EE4
| URI | m2://inv/R4G78N8EE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#P7ZI, Poincar\'e homotopy (statement)
History
- 2026-11-01: add by m2/v0.6.15
R4GE619CJC R4GE619CJC
| URI | m2://inv/R4GE619CJC |
|---|---|
| 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 2412.20238#IZM7 (statement). In V8CA0STSPB/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
Micha Perles R4GF8NXQTF
| URI | m2://inv/R4GF8NXQTF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Micha Perles, Micha Perles (topic). Also Wikidata Q4189617
History
- 2026-11-02: add by m2/dev
R4GKQ4G5Y1 R4GKQ4G5Y1
| URI | m2://inv/R4GKQ4G5Y1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
R4GKSBKMB8 R4GKSBKMB8
| URI | m2://inv/R4GKSBKMB8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-27 (proof). In N54F33XE07, proof, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
Statement R4GMRTHEPD
| URI | m2://inv/R4GMRTHEPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blumenthal's zero–one law#KROY, Statement (statement)
History
- 2026-11-02: add by m2/dev
Order-4 square tiling honeycomb R4GP2FBMZR
| URI | m2://inv/R4GP2FBMZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 square tiling honeycomb, Order-4 square tiling honeycomb (definition). Also Wikidata Q14629804
History
- 2026-11-02: add by m2/dev
R4GVXZA5JQ R4GVXZA5JQ
| URI | m2://inv/R4GVXZA5JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#RH4Q (statement). In 5EKTECQ2P1/e1, corollary 7.3
History
- 2026-10-29: add by m2/v0.4.10
R4H61QJZCD R4H61QJZCD
| URI | m2://inv/R4H61QJZCD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Ellipsoid of reference R4H6Y2TQME
| URI | m2://inv/R4H6Y2TQME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth ellipsoid#7UAB, Ellipsoid of reference (unknown)
History
- 2026-11-02: add by m2/dev
Uses R4H9VN25XF
| URI | m2://inv/R4H9VN25XF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak duality#LMNN, Uses (example)
History
- 2026-11-02: add by m2/dev
R4HA771KXS R4HA771KXS
| URI | m2://inv/R4HA771KXS |
|---|---|
| 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.00909#VH3N (statement). In Z4TD36VFPW/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Eudoxus of Cnidus R4HCCGXNMV
| URI | m2://inv/R4HCCGXNMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#2PUF, Eudoxus of Cnidus (topic)
History
- 2026-11-02: add by m2/dev
R4HHSJ60AJ R4HHSJ60AJ
| URI | m2://inv/R4HHSJ60AJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#PSVB (statement). In VQA35Q7C00/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.10
Negative binomial solution factor R4HJHQCCWZ
| URI | m2://inv/R4HJHQCCWZ |
|---|---|
| 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.25380#NEUZ, Negative binomial solution factor (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lune of Hippocrates R4HPZX40SV
| URI | m2://inv/R4HPZX40SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lune of Hippocrates, Lune of Hippocrates (definition). Also Wikidata Q782019
History
- 2026-11-02: add by m2/dev
realization R4HQM87ERK
| URI | m2://inv/R4HQM87ERK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#2QLH, realization (statement). In PCAS8S14J6/e1, theorem 3.11
History
- 2026-10-31: add by m2/v0.5.6
Imaginary hyperelliptic curve R4HVFV01GJ
| URI | m2://inv/R4HVFV01GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary hyperelliptic curve, Imaginary hyperelliptic curve (definition). Also Wikidata Q6002519
History
- 2026-11-02: add by m2/dev
Examples R4HY7C76HS
| URI | m2://inv/R4HY7C76HS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear continuum#ZR1E, Examples (example)
History
- 2026-11-02: add by m2/dev
nested radical R4HYBSGD8X
| URI | m2://inv/R4HYBSGD8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2670069, nested radical (unknown). Also MathWorld NestedRadical
- wikipedia: Wikipedia Nested radical, Nested radical (definition). Also Wikidata Q2670069
History
- 2026-10-26: add by m2/dev
Geometric genus R4J6DG91TE
| URI | m2://inv/R4J6DG91TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#MSUU, Geometric genus (definition)
History
- 2026-11-02: add by m2/dev
R4J9FFNYBH R4J9FFNYBH
| URI | m2://inv/R4J9FFNYBH |
|---|---|
| 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 2205.09049#5PXJ (statement). In 37S7MNMZ2F/e1, theorem 49
History
- 2026-10-27: add by m2/v0.3.5
Symmetric forms of Hölder inequality R4JBRGTPAV
| URI | m2://inv/R4JBRGTPAV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#YU7V, Symmetric forms of Hölder inequality (statement)
History
- 2026-11-02: add by m2/dev
Formulations R4JC5AEH97
| URI | m2://inv/R4JC5AEH97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Napkin folding problem#UFOT, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Projection plane R4JN7SDSYT
| URI | m2://inv/R4JN7SDSYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#J2N6, Projection plane (definition)
History
- 2026-11-02: add by m2/dev
R4JT9DMZMW R4JT9DMZMW
| URI | m2://inv/R4JT9DMZMW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#YCTD (example). In RK0ZMDJ23T/e1, example 1.3.6
History
- 2026-10-31: add by m2/v0.5.6
R4JXZ5GG76 R4JXZ5GG76
| URI | m2://inv/R4JXZ5GG76 |
|---|---|
| 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.36321#1CG0 (statement). In 3KTZ6Z615H/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Isabella Novik R4K1Y215QE
| URI | m2://inv/R4K1Y215QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZZYL, Isabella Novik (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NDR0, Isabella Novik (topic)
History
- 2026-11-02: add by m2/dev
R4K33V5EK1 R4K33V5EK1
| URI | m2://inv/R4K33V5EK1 |
|---|---|
| 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.00934#O4Z2 (definition). In SHCQDPCF2J/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Example R4K819C3P9
| URI | m2://inv/R4K819C3P9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal stratification#ICEG, Example (example)
History
- 2026-11-02: add by m2/dev
R4KGD1BH74 R4KGD1BH74
| URI | m2://inv/R4KGD1BH74 |
|---|---|
| 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#Y72P (statement). In Z0SAF18JPP/e1, corollary 1.7
History
- 2026-10-28: add by m2/v0.4.2
R4KR8A70TF R4KR8A70TF
| URI | m2://inv/R4KR8A70TF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#5T9D (statement)
History
- 2026-11-01: add by m2/v0.6.15
R4KRK7KKRK R4KRK7KKRK
| URI | m2://inv/R4KRK7KKRK |
|---|---|
| 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.10474#X9RY (statement). In MB29RAAQMG/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Conway group Co1 R4KWWQCPNZ
| URI | m2://inv/R4KWWQCPNZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#UNLD, Conway group Co1 (object)
History
- 2026-11-02: add by m2/dev
Mathematical theorem R4KY0T5FP6
| URI | m2://inv/R4KY0T5FP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fenchel's duality theorem#098E, Mathematical theorem (statement)
History
- 2026-11-02: add by m2/dev
R4KYAJ14PD R4KYAJ14PD
| URI | m2://inv/R4KYAJ14PD |
|---|---|
| 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.33313#CONC (statement). In HRCEFY172P/e1, lemma 3.11
History
- 2026-10-30: add by m2/v0.4.12
Nancy Reid R4KZWXD31G
| URI | m2://inv/R4KZWXD31G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#S71G, Nancy Reid (unknown)
History
- 2026-11-02: add by m2/dev
Definitions R4M04WK7WQ
| URI | m2://inv/R4M04WK7WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan operator algebra#BFW5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Dymaxion map R4M4X8VTM1
| URI | m2://inv/R4M4X8VTM1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#X7DC, Dymaxion map (unknown)
History
- 2026-11-02: add by m2/dev
Weak $\structord$-Connectivity R4M84720WE
| URI | m2://inv/R4M84720WE |
|---|---|
| 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 2609.26337#0DDI, Weak $\structord$-Connectivity (definition)
History
- 2026-11-01: add by m2/v0.6.15
R4MA1PYP1B R4MA1PYP1B
| URI | m2://inv/R4MA1PYP1B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/relations.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 44.3
History
- 2026-11-01: add by m2/v0.6.13
R4MEG0K92Z R4MEG0K92Z
| URI | m2://inv/R4MEG0K92Z |
|---|---|
| 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 2108.09796#U13P (statement). In NAA7WFQN20/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
R4MNX1D4GJ R4MNX1D4GJ
| URI | m2://inv/R4MNX1D4GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#Y7N9 (statement). In 4NJ4T3DEQB/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Example R4MVAMKY1R
| URI | m2://inv/R4MVAMKY1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjoint union#M8LG, Example (example)
History
- 2026-11-02: add by m2/dev
V. M. Glushkov R4MXTQTQEH
| URI | m2://inv/R4MXTQTQEH |
|---|---|
| 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#NWDO, V. M. Glushkov (unknown)
History
- 2026-11-02: add by m2/dev
R4N6FRN9FJ R4N6FRN9FJ
| URI | m2://inv/R4N6FRN9FJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-1 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Dusa McDuff R4NAV5B5W6
| URI | m2://inv/R4NAV5B5W6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y1ZO, Dusa McDuff (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1IR4, Dusa McDuff (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QKME, Dusa McDuff (topic)
History
- 2026-11-02: add by m2/dev
Entropy identity R4NC9Y64XS
| URI | m2://inv/R4NC9Y64XS |
|---|---|
| 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 2609.33162#SHET, Entropy identity (statement). In RPC7VG3KHQ/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
San Luis R4NDQKHQXW
| URI | m2://inv/R4NDQKHQXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#6SFB, San Luis (unknown)
History
- 2026-11-02: add by m2/dev
R4NGQMZE6M R4NGQMZE6M
| URI | m2://inv/R4NGQMZE6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#Y11V (statement). In GWNT8HEZG1/e1, proposition 4.41
History
- 2026-10-27: add by m2/v0.3.6
R4NGSCA3A6 R4NGSCA3A6
| URI | m2://inv/R4NGSCA3A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#K0QK (statement). In TZXEMCBK5V/e1, lemma 7.13
History
- 2026-10-30: add by m2/v0.4.12
Serre's multiplicity conjectures R4NKGRKZN3
| URI | m2://inv/R4NKGRKZN3 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#ARW6, Serre's multiplicity conjectures (conjecture)
- wikipedia: Wikipedia List of commutative algebra topics#BH1S, Serre's multiplicity conjectures (conjecture)
History
- 2026-11-02: add by m2/dev
Exponential integral R4NR63CN60
| URI | m2://inv/R4NR63CN60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#YVVH, Exponential integral (definition)
History
- 2026-11-02: add by m2/dev
R4NRTCQBST R4NRTCQBST
| URI | m2://inv/R4NRTCQBST |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#prob:field_hom (exercise). In RZP28ERRZV, problem, section 4.8
History
- 2026-11-01: add by m2/v0.6.13
R4NT6E12YB R4NT6E12YB
| URI | m2://inv/R4NT6E12YB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#0G23 (statement). In ESDKTYDHC8/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
Compound of two snub dodecahedra R4NTG5HE47
| URI | m2://inv/R4NTG5HE47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8BGS, Compound of two snub dodecahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#67M4, Compound of two snub dodecahedra (definition)
History
- 2026-11-02: add by m2/dev
Restarts R4NXD9CY34
| URI | m2://inv/R4NXD9CY34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#C8L1, Restarts (statement). In X5BYGZZHPF/e1, theorem K.5
History
- 2026-10-28: add by m2/v0.4.2
Symplectic space R4NZ5S9ZN2
| URI | m2://inv/R4NZ5S9ZN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#6G23, Symplectic space (definition)
History
- 2026-11-02: add by m2/dev
Computation R4P42ZMRVZ
| URI | m2://inv/R4P42ZMRVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperoperation#A3ZQ, Computation (definition)
History
- 2026-11-02: add by m2/dev
Definition R4P5EVMJRP
| URI | m2://inv/R4P5EVMJRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal independent set#CUDI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Synergistic system R4PDC3MY47
| URI | m2://inv/R4PDC3MY47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synergistic system, Synergistic system (definition). Also Wikidata Q83157422
History
- 2026-11-02: add by m2/dev
R4PFS9WSSE R4PFS9WSSE
| URI | m2://inv/R4PFS9WSSE |
|---|---|
| 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.03288#V8PM (statement). In ZHP1MFSACN/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
R4PH9HJHP7 R4PH9HJHP7
| URI | m2://inv/R4PH9HJHP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21627#7NQQ (statement). In 4Z44S003HM/e1, corollary 5
History
- 2026-10-27: add by m2/v0.4.2
BCMP network R4PV9VCF2B
| URI | m2://inv/R4PV9VCF2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCMP network, BCMP network (definition). Also Wikidata Q4835204
History
- 2026-11-02: add by m2/dev
R4Q3CSK4A9 R4Q3CSK4A9
| URI | m2://inv/R4Q3CSK4A9 |
|---|---|
| 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 2608.00864#3W1J (statement). In PRF0P3D637/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
R4Q3DCR6NH R4Q3DCR6NH
| URI | m2://inv/R4Q3DCR6NH |
|---|---|
| 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.14435#37FK (statement). In Y9FSN5BVNQ/e1, theorem 16
History
- 2026-10-28: add by m2/v0.4.2
R4QP6NS9K2 R4QP6NS9K2
| URI | m2://inv/R4QP6NS9K2 |
|---|---|
| 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.37865#VDX9 (definition). In 1ADMH800X0/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Mackey complete topological vector space R4QXH87EKH
| URI | m2://inv/R4QXH87EKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornological space#H85J, Mackey complete topological vector space (unknown)
History
- 2026-11-02: add by m2/dev
R4QXKC6TDC R4QXKC6TDC
| URI | m2://inv/R4QXKC6TDC |
|---|---|
| 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.07741#G7RP (statement). In K4YV2SF9MG/e1, lemma A.6
History
- 2026-10-29: add by m2/v0.4.10
Power-bounded element R4R2HPB8NP
| URI | m2://inv/R4R2HPB8NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power-bounded element, Power-bounded element (definition). Also Wikidata Q104806118
History
- 2026-11-02: add by m2/dev
partitivity R4R80A1FHM
| URI | m2://inv/R4R80A1FHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NK2H, partitivity (definition)
History
- 2026-11-02: add by m2/dev
The Hodge Standard Conjecture R4RDMYX902
| URI | m2://inv/R4RDMYX902 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard conjectures on algebraic cycles#N830, The Hodge Standard Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Counting displacements R4RQBP4C9H
| URI | m2://inv/R4RQBP4C9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#XXZF, Counting displacements (statement). In ZZER8ZBSCR/e1, lemma A.10
History
- 2026-10-29: add by m2/v0.4.12
Applications R4RS4WNA6W
| URI | m2://inv/R4RS4WNA6W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zolotarev polynomials#U2MT, Applications (example)
History
- 2026-11-02: add by m2/dev
Artin approximation theorem R4RVWPF9YC
| URI | m2://inv/R4RVWPF9YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#O8KU, Artin approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
R4RW2RGH80 R4RW2RGH80
| URI | m2://inv/R4RW2RGH80 |
|---|---|
| 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.32977#0KJM (statement). In 4KT9TK3MG4/e1, lemma D.8
History
- 2026-10-31: add by m2/v0.5.6
R4S4T8V1GY R4S4T8V1GY
| URI | m2://inv/R4S4T8V1GY |
|---|---|
| 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.26896#UJ0H (definition)
History
- 2026-11-01: add by m2/v0.6.15
R4S6MW7SPS R4S6MW7SPS
| URI | m2://inv/R4S6MW7SPS |
|---|---|
| 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.20050#MYHE (statement). In T41GD0Y0GX/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Definition R4S9F1JFZX
| URI | m2://inv/R4S9F1JFZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci word fractal#B9LT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jan Mycielski R4S9WTCMCR
| URI | m2://inv/R4S9WTCMCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Mycielski, Jan Mycielski (topic). Also Wikidata Q505056
History
- 2026-11-02: add by m2/dev
R4SB0QN7RK R4SB0QN7RK
| URI | m2://inv/R4SB0QN7RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#0YCC (statement). In 4DJE72VPJP/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Algebraic properties R4SK6A2NMD
| URI | m2://inv/R4SK6A2NMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyck graph#Q90S, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Infinite chain R4SMDNJ353
| URI | m2://inv/R4SMDNJ353 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-2, Infinite chain (example). In RZP28ERRZV, example, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
Lowell J. Reed R4SNSBYSP2
| URI | m2://inv/R4SNSBYSP2 |
|---|---|
| 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#560M, Lowell J. Reed (unknown)
History
- 2026-11-02: add by m2/dev
Picard's theorem on existence and uniqueness R4SR1WNRTA
| URI | m2://inv/R4SR1WNRTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#thm-2, Picard's theorem on existence and uniqueness (statement). In E59CDZA4DP, thm, section 4.6.2
History
- 2026-11-01: add by m2/v0.6.13
R4TEGEF1D0 R4TEGEF1D0
| URI | m2://inv/R4TEGEF1D0 |
|---|---|
| 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 2609.30999#UKDF (statement). In J1BWCKW2QK/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
Argument from repetition R4TK0WK42R
| URI | m2://inv/R4TK0WK42R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#PYVC, Argument from repetition (definition)
History
- 2026-11-02: add by m2/dev
Examples R4TKCVM7V9
| URI | m2://inv/R4TKCVM7V9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural Ramsey theory#TS6Y, Examples (example)
History
- 2026-11-02: add by m2/dev
YouGov R4TKT9VAKX
| URI | m2://inv/R4TKT9VAKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#1FJT, YouGov (unknown)
History
- 2026-11-02: add by m2/dev
Riordan array (1/(1-2x),x(1-x)/(1-2x)). R4TTAXXYVV
| URI | m2://inv/R4TTAXXYVV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194113, Riordan array (1/(1-2x),x(1-x)/(1-2x)). (object). Also OEIS A106195
History
- 2026-10-26: add by m2/dev
R4V0ZKEBMJ R4V0ZKEBMJ
| URI | m2://inv/R4V0ZKEBMJ |
|---|---|
| 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.08196#DGF0 (statement). In 8QVWZ23N42/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
R4V3GNTB0V R4V3GNTB0V
| URI | m2://inv/R4V3GNTB0V |
|---|---|
| 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 2108.00412#UYNQ (statement). In APD8GE0E4F/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
R4VBERSHKA R4VBERSHKA
| URI | m2://inv/R4VBERSHKA |
|---|---|
| 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.20119#7TFZ (definition)
History
- 2026-11-02: add by m2/v0.6.18
significance testing R4VDTTRXH7
| URI | m2://inv/R4VDTTRXH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113534582, significance testing (unknown). Also MathWorld SignificanceTest
History
- 2026-10-26: add by m2/dev
length R4VHXG6HMJ
| URI | m2://inv/R4VHXG6HMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36253, length (definition). Also MathWorld Length, ProofWiki Definition:Linear_Measure/Length
- wikipedia: Wikipedia Length, Length (definition). Also Wikidata Q36253
History
- 2026-10-26: add by m2/dev
Definition R4VY2KZ2GX
| URI | m2://inv/R4VY2KZ2GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semialgebraic space#BID1, Definition (definition)
History
- 2026-11-02: add by m2/dev
R4VYRJH75Z R4VYRJH75Z
| URI | m2://inv/R4VYRJH75Z |
|---|---|
| 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 math/9807180#GERE (definition). In VR3766BVE5/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Rare-coordinate extension R4W3ZMBMP5
| URI | m2://inv/R4W3ZMBMP5 |
|---|---|
| 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.25101#EC9E, Rare-coordinate extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
R4WAB804CE R4WAB804CE
| URI | m2://inv/R4WAB804CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#definition-7 (definition). In RZP28ERRZV, definition, section 91.4
History
- 2026-11-01: add by m2/v0.6.13
Chen Jingrun R4WD2GG1K8
| URI | m2://inv/R4WD2GG1K8 |
|---|---|
| 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 Q715284, Chen Jingrun (unknown). Also ProofWiki Mathematician:Chen_Jingrun
- wikipedia: Wikipedia Chen Jingrun, Chen Jingrun (topic). Also Wikidata Q715284
History
- 2026-10-26: add by m2/dev
Henry Roy Brahana R4WHMKV335
| URI | m2://inv/R4WHMKV335 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Roy Brahana, Henry Roy Brahana (topic). Also Wikidata Q5727768
History
- 2026-11-02: add by m2/dev
Helffer–Sjöstrand formula R4WMS4GZ15
| URI | m2://inv/R4WMS4GZ15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helffer–Sjöstrand formula, Helffer–Sjöstrand formula (statement). Also Wikidata Q127793712
History
- 2026-11-02: add by m2/dev
George Whitelaw Mackey R4WTN63EHG
| URI | m2://inv/R4WTN63EHG |
|---|---|
| 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#BG7Q, George Whitelaw Mackey (unknown)
History
- 2026-11-02: add by m2/dev
Alex Wilkie R4WYCVS2H9
| URI | m2://inv/R4WYCVS2H9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alex Wilkie, Alex Wilkie (topic). Also Wikidata Q2603729
History
- 2026-11-02: add by m2/dev
R4WZDJX9WA R4WZDJX9WA
| URI | m2://inv/R4WZDJX9WA |
|---|---|
| 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.33820#RKTE (statement). In S2ZMJENDHA/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
R4WZT7ZX1S R4WZT7ZX1S
| URI | m2://inv/R4WZT7ZX1S |
|---|---|
| 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#JO0A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Degree R4XQNPA1RJ
| URI | m2://inv/R4XQNPA1RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#I0RH, Degree (definition)
History
- 2026-11-02: add by m2/dev
Karl Radek R4XT0182WA
| URI | m2://inv/R4XT0182WA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#PWSR, Karl Radek (unknown)
History
- 2026-11-02: add by m2/dev
Definition R4XWP3R1BW
| URI | m2://inv/R4XWP3R1BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicoherence#E5OX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cohen structure theorem R4XX9B4YM7
| URI | m2://inv/R4XX9B4YM7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX, 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#VPAF, Cohen's structure theorem (statement). In XDMM0KNNZ9/e1, theorem 45
- mathlib_1000: mathlib_1000 Q5141331, Cohen structure theorem (statement). Also Wikidata Q5141331
- thousand_plus: thousand_plus Q5141331, Cohen structure theorem (statement). Also Wikidata Q5141331, Wikipedia Cohen structure theorem
- wikipedia: Wikipedia Cohen structure theorem, Cohen structure theorem (statement). Also Wikidata Q5141331
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
R4Y4Q3DDVT R4Y4Q3DDVT
| URI | m2://inv/R4Y4Q3DDVT |
|---|---|
| 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 2508.02432#3KWU (statement). In B366ACYB37/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.5
Applications of the Dirichlet process R4Y50MBRVG
| URI | m2://inv/R4Y50MBRVG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet process#EA3N, Applications of the Dirichlet process (example)
History
- 2026-11-02: add by m2/dev
Simulation by exact batches R4YEP3TDTS
| URI | m2://inv/R4YEP3TDTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#A6A3, Simulation by exact batches (statement). In X5BYGZZHPF/e1, lemma G.1
History
- 2026-10-28: add by m2/v0.4.2
R4YM3CRGMY R4YM3CRGMY
| URI | m2://inv/R4YM3CRGMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#L8CZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
R4YSBA0M3V R4YSBA0M3V
| URI | m2://inv/R4YSBA0M3V |
|---|---|
| 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.23994#CNY7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Proposition 2.1, Theorem 2.3 R4YYZHPW3H
| URI | m2://inv/R4YYZHPW3H |
|---|---|
| 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.19694#WEB3, Proposition 2.1, Theorem 2.3 (statement). In EP0M4RSZ9P/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Properties R4Z5PW8GSB
| URI | m2://inv/R4Z5PW8GSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primes in arithmetic progression#7SX3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples R4Z7Y3XE3P
| URI | m2://inv/R4Z7Y3XE3P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proxy (statistics)#8GNX, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties R4ZBV1FXRX
| URI | m2://inv/R4ZBV1FXRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion group#15HE, Properties (statement)
History
- 2026-11-02: add by m2/dev
R4ZBYNBXGV R4ZBYNBXGV
| URI | m2://inv/R4ZBYNBXGV |
|---|---|
| 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.32834#IXBP (statement). In N4M6B8EMCW/e1, proposition 3.4
History
- 2026-10-31: add by m2/v0.5.6
SETAR R4ZCKNKZZZ
| URI | m2://inv/R4ZCKNKZZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SETAR (model), SETAR (definition). Also Wikidata Q7389877
History
- 2026-11-02: add by m2/dev
Flood risk assessment R4ZG6VAZE6
| URI | m2://inv/R4ZG6VAZE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XGW1, Flood risk assessment (definition)
History
- 2026-11-02: add by m2/dev
Descartes number R4ZHG9ZQZW
| URI | m2://inv/R4ZHG9ZQZW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes number, Descartes number (object). Also Wikidata Q15402251
History
- 2026-11-02: add by m2/dev
Formal definitions R4ZSVPRPSC
| URI | m2://inv/R4ZSVPRPSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth mover's distance#KZOS, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev