Inventory rows EJ
The cards of the rows of the inventory whose ids start with EJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Susan Jane Cunningham EJ0487WA0M
| URI | m2://inv/EJ0487WA0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Jane Cunningham, Susan Jane Cunningham (topic). Also Wikidata Q7648025
History
- 2026-11-02: add by m2/dev
intersection lemma EJ04QDP8V6
| URI | m2://inv/EJ04QDP8V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#4L9X, intersection lemma (statement). In CBCCH5VTMQ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
asymptotic analysis EJ0825PXT2
| URI | m2://inv/EJ0825PXT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Asymptotic analysis Q26QN6GYZX |
Mentions
- wikidata: Wikidata Q752718, asymptotic analysis (unknown). Also MathWorld AsymptoticAnalysis
- wikipedia: Wikipedia Asymptotic analysis, Asymptotic analysis (definition). Also Wikidata Q752718
History
- 2026-10-26: add by m2/dev
tangent circles EJ09K4V6KT
| URI | m2://inv/EJ09K4V6KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7682871, tangent circles (unknown). Also MathWorld TangentCircles
- wikipedia: Wikipedia Tangent circles, Tangent circles (definition). Also Wikidata Q7682871
History
- 2026-10-26: add by m2/dev
EJ0B2HN17R EJ0B2HN17R
| URI | m2://inv/EJ0B2HN17R |
|---|---|
| Kind | example |
| 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.02141#UPIT (example). In 5AB8YPS19N/e1, example 4.3
History
- 2026-10-29: add by m2/v0.4.12
classical logic EJ0MD5VN83
| URI | m2://inv/EJ0MD5VN83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#X9Y6, classical logic (definition)
History
- 2026-11-02: add by m2/dev
EJ0Q5310QX EJ0Q5310QX
| URI | m2://inv/EJ0Q5310QX |
|---|---|
| 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.36613#ZK81 (statement). In GX0K0ZM700/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Convergence to Viscosity Solution EJ14JM3FT9
| URI | m2://inv/EJ14JM3FT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08484#MMGH, Convergence to Viscosity Solution (statement). In C2HJ1CCJ0S/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Axiom of power set - 8 EJ15JAWXTH
| URI | m2://inv/EJ15JAWXTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo–Fraenkel set theory#5989, Axiom of power set - 8 (statement)
History
- 2026-11-02: add by m2/dev
EJ15QCGWTY EJ15QCGWTY
| URI | m2://inv/EJ15QCGWTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#07K7 (statement). In PG0B4PH9YH/e1, fact 5.8
History
- 2026-10-27: add by m2/v0.4.2
EJ1DXCZ2V4 EJ1DXCZ2V4
| URI | m2://inv/EJ1DXCZ2V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#MIZC (statement). In C44HVXWYRF/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
EJ1MK54GZS EJ1MK54GZS
| URI | m2://inv/EJ1MK54GZS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-46 (exercise). In VNMV985MXX, exercise, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
EJ1RBY54T1 EJ1RBY54T1
| URI | m2://inv/EJ1RBY54T1 |
|---|---|
| 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.20607#TZUJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties EJ1WTZSVXQ
| URI | m2://inv/EJ1WTZSVXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex polytope#DHGA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Simply laced group EJ1ZGSKCKX
| URI | m2://inv/EJ1ZGSKCKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#YITU, Simply laced group (definition)
History
- 2026-11-02: add by m2/dev
EJ21N8S4Y6 EJ21N8S4Y6
| URI | m2://inv/EJ21N8S4Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.07285#WSX0 (statement). In S284XRA4WK/e1, proposition E.3
History
- 2026-10-29: add by m2/v0.4.10
derivative, inverse EJ222YW164
| URI | m2://inv/EJ222YW164 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.5/derivative-inverse, derivative, inverse (concept). In 907G4C4EJ1, index, section 2.6.5
History
- 2026-11-01: add by m2/v0.6.13
EJ24BEX8PP EJ24BEX8PP
| URI | m2://inv/EJ24BEX8PP |
|---|---|
| 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.21723#3776 (statement)
History
- 2026-11-02: add by m2/v0.6.18
EJ29E6YBW2 EJ29E6YBW2
| URI | m2://inv/EJ29E6YBW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-1 (definition). In E59CDZA4DP, defn, section 11.9.1
History
- 2026-11-01: add by m2/v0.6.13
Formula EJ2KQW3D6H
| URI | m2://inv/EJ2KQW3D6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of colligation#K8BZ, Formula (statement)
History
- 2026-11-02: add by m2/dev
EJ30AEAGEA EJ30AEAGEA
| URI | m2://inv/EJ30AEAGEA |
|---|---|
| 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 2610.15517#3ELE (statement). In C87H6KZSBM/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
EJ31JHK1HA EJ31JHK1HA
| URI | m2://inv/EJ31JHK1HA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 60.1.2
History
- 2026-11-01: add by m2/v0.6.13
EJ32DVECZE EJ32DVECZE
| URI | m2://inv/EJ32DVECZE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/reading-proofs.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 45.1
History
- 2026-11-01: add by m2/v0.6.13
Exact modular averaging EJ3CRC8AED
| URI | m2://inv/EJ3CRC8AED |
|---|---|
| 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#1QA4, Exact modular averaging (statement). In 14AMXF6X2V/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
EJ3K0RHRAJ EJ3K0RHRAJ
| URI | m2://inv/EJ3K0RHRAJ |
|---|---|
| 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.10338#LY5V (statement). In WZ3GXRAB00/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
EJ3N649D5Y EJ3N649D5Y
| URI | m2://inv/EJ3N649D5Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-58 (exercise). In E59CDZA4DP, exercise, section 11.5.2
History
- 2026-11-01: add by m2/v0.6.13
vbar EJ3ZS1WBVY
| URI | m2://inv/EJ3ZS1WBVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#QEL3, vbar (definition)
History
- 2026-11-02: add by m2/dev
EJ44CM0KZ8 EJ44CM0KZ8
| URI | m2://inv/EJ44CM0KZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13180#N28G (statement). In 7TSVFYEGD8/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Graunt, John EJ48044Y3J
| URI | m2://inv/EJ48044Y3J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0ALS, Graunt, John (topic)
History
- 2026-11-02: add by m2/dev
Ivo Simović EJ486N4S1Y
| URI | m2://inv/EJ486N4S1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#DGER, Ivo Simović (unknown)
History
- 2026-11-02: add by m2/dev
Frame fields in general relativity EJ4FRPB3A7
| URI | m2://inv/EJ4FRPB3A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frame fields in general relativity, Frame fields in general relativity (definition). Also Wikidata Q3816758
History
- 2026-11-02: add by m2/dev
Triune continuum paradigm EJ4N6J9CA5
| URI | m2://inv/EJ4N6J9CA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triune continuum paradigm, Triune continuum paradigm (definition). Also Wikidata Q7844605
History
- 2026-11-02: add by m2/dev
Existence for the VMS EJ4T8QASC4
| URI | m2://inv/EJ4T8QASC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#82IU, Existence for the VMS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Burton Howard Camp EJ4Z8W8WHG
| URI | m2://inv/EJ4Z8W8WHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burton Howard Camp, Burton Howard Camp (topic). Also Wikidata Q54865137
History
- 2026-11-02: add by m2/dev
Corollary EJ5D6NAXG8
| URI | m2://inv/EJ5D6NAXG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#G4S8, Corollary (statement)
History
- 2026-11-02: add by m2/dev
EJ5QW8RC67 EJ5QW8RC67
| URI | m2://inv/EJ5QW8RC67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#4U72 (statement). In ZRG6NY1ECH/e1, proposition 35
History
- 2026-10-30: add by m2/v0.4.12
Francisco Javier González-Acuña EJ5S7MPBS2
| URI | m2://inv/EJ5S7MPBS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CIVR, Francisco Javier González-Acuña (unknown)
History
- 2026-11-02: add by m2/dev
EJ5SZGN762 EJ5SZGN762
| URI | m2://inv/EJ5SZGN762 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19845#48UQ (definition). In A8Y7B1MD91/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
EJ5YMSKJ55 EJ5YMSKJ55
| URI | m2://inv/EJ5YMSKJ55 |
|---|---|
| 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 2606.20229#JXN8 (definition). In 1B85G2QJC2/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
The inner infimum at a critical path EJ5Z9EHX8S
| URI | m2://inv/EJ5Z9EHX8S |
|---|---|
| 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.32710#O0KT, The inner infimum at a critical path (statement). In KVYG6R7CGJ/e1, lemma 2.13
History
- 2026-10-31: add by m2/v0.5.6
EJ637BYG8D EJ637BYG8D
| URI | m2://inv/EJ637BYG8D |
|---|---|
| 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 2502.08738#UN7H (statement). In 9GMTVSTAVN/e1, corollary 4.10
History
- 2026-10-27: add by m2/v0.3.5
Prime quotients EJ641RCS0Q
| URI | m2://inv/EJ641RCS0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#ASDF, Prime quotients (statement). In 87QYNZZ67Z/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
EJ6ED2ZCGG EJ6ED2ZCGG
| URI | m2://inv/EJ6ED2ZCGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#XMYU (statement). In Y1K8WE4MDP/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
EJ6GQSZ0AV EJ6GQSZ0AV
| URI | m2://inv/EJ6GQSZ0AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33770#B6MF (statement). In 7DJ3C4V66R/e1, corollary 1.5
History
- 2026-10-30: add by m2/v0.4.12
Joseph Ayoub EJ6K35XHC4
| URI | m2://inv/EJ6K35XHC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30529348, Joseph Ayoub (unknown). Also nLab Joseph Ayoub
History
- 2026-10-26: add by m2/dev
Zygmunt Zawirski EJ6RY4C837
| URI | m2://inv/EJ6RY4C837 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zygmunt Zawirski, Zygmunt Zawirski (topic). Also Wikidata Q8075826
History
- 2026-11-02: add by m2/dev
Complete topological group EJ6TFZAQ6R
| URI | m2://inv/EJ6TFZAQ6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological group#WTO1, Complete topological group (unknown)
History
- 2026-11-02: add by m2/dev
EJ7C566PDC EJ7C566PDC
| URI | m2://inv/EJ7C566PDC |
|---|---|
| Kind | definition |
| 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 2501.17850#19B8 (definition). In WS5KWBEG5Q/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
Nonzero standard-degree-zero cup product EJ7GJNSVK5
| URI | m2://inv/EJ7GJNSVK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#U13M, Nonzero standard-degree-zero cup product (statement). In XDTM624YPE/e1, theorem 8.5
History
- 2026-10-27: add by m2/v0.4.2
Completeness for words with no singleton run EJ7GVBHT4D
| URI | m2://inv/EJ7GVBHT4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#TBU0, Completeness for words with no singleton run (statement). In 11JNM66Z09/e1, theorem 12.3
History
- 2026-10-28: add by m2/v0.4.2
Pentagonal orthocupolarotunda EJ7JX4GVV0
| URI | m2://inv/EJ7JX4GVV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#O115, Pentagonal orthocupolarotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IYOS, Pentagonal orthocupolarotunda (definition)
History
- 2026-11-02: add by m2/dev
locale EJ7MH1QM5Z
| URI | m2://inv/EJ7MH1QM5Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/locale, locale (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Complement (set theory) EJ7PA72MPE
| URI | m2://inv/EJ7PA72MPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#P766, Complement (set theory) (definition)
History
- 2026-11-02: add by m2/dev
EJ7R6YND42 EJ7R6YND42
| URI | m2://inv/EJ7R6YND42 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-32 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
EJ7S3PXCVH EJ7S3PXCVH
| URI | m2://inv/EJ7S3PXCVH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#NP1A (definition). In X1J5HKPS3R/e1, definition 1.15
History
- 2026-10-29: add by m2/v0.4.10
EJ7T2Q7GYM EJ7T2Q7GYM
| URI | m2://inv/EJ7T2Q7GYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#3WYV (statement). In D64RQ09KBP/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
EJ7TM75ARN EJ7TM75ARN
| URI | m2://inv/EJ7TM75ARN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#LQCA (statement). In CEKW9CNVVW/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Tate algebra EJ82EVMT06
| URI | m2://inv/EJ82EVMT06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7687971, Tate algebra (unknown). Also nLab Tate algebra
History
- 2026-10-26: add by m2/dev
EJ863757JS EJ863757JS
| URI | m2://inv/EJ863757JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#BDP9 (statement). In 2VHV0RNTNV/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.12
isomorphism EJ8A8P2R94
| URI | m2://inv/EJ8A8P2R94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 14828) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#ZFOX, isomorphism (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Four factor formula EJ8CJGZ2JV
| URI | m2://inv/EJ8CJGZ2JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four factor formula, Four factor formula (statement). Also Wikidata Q910469
History
- 2026-11-02: add by m2/dev
Malfatti circles EJ8NEHQE7N
| URI | m2://inv/EJ8NEHQE7N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182497, Malfatti circles (concept). Also MathWorld MalfattiCircles
- wikipedia: Wikipedia Malfatti circles, Malfatti circles (definition). Also Wikidata Q182497
History
- 2026-10-26: add by m2/dev
tree EJ95S08P10
| URI | m2://inv/EJ95S08P10 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/tree, tree (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Ingo Althöfer EJ96FGR3EW
| URI | m2://inv/EJ96FGR3EW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingo Althöfer, Ingo Althöfer (topic). Also Wikidata Q35168428
History
- 2026-11-02: add by m2/dev
Functional analysis EJ991T7FZZ
| URI | m2://inv/EJ991T7FZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#3B0X, Functional analysis (topic)
History
- 2026-11-02: add by m2/dev
EJ9APKT9A4 EJ9APKT9A4
| URI | m2://inv/EJ9APKT9A4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-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.14060#TAAT (definition). In X47RYAZF8P/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
EJ9BW7TTKZ EJ9BW7TTKZ
| URI | m2://inv/EJ9BW7TTKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.24593#CD1H (statement)
History
- 2026-11-01: add by m2/v0.6.15
EJ9C1H7ZVX EJ9C1H7ZVX
| URI | m2://inv/EJ9C1H7ZVX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#M2Y9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
EJ9D4TFS0T EJ9D4TFS0T
| URI | m2://inv/EJ9D4TFS0T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26808#CA1Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
EJ9E0A11Y8 EJ9E0A11Y8
| URI | m2://inv/EJ9E0A11Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09599#0QEJ (statement). In 4JYGH9XNA9/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Elimination ideal EJ9VVCNF40
| URI | m2://inv/EJ9VVCNF40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gröbner basis#H9ZV, Elimination ideal (unknown)
History
- 2026-11-02: add by m2/dev
EJA2H4R38H EJA2H4R38H
| URI | m2://inv/EJA2H4R38H |
|---|---|
| Kind | definition |
| 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 2610.03688#DUR1 (definition). In HMWJQY9NAP/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
metacyclic group EJADFVKKQF
| URI | m2://inv/EJADFVKKQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6822469, metacyclic group (unknown). Also MathWorld MetacyclicGroup
- wikipedia: Wikipedia Metacyclic group, Metacyclic group (definition). Also Wikidata Q6822469
History
- 2026-10-26: add by m2/dev
Universal closure EJAH452WMQ
| URI | m2://inv/EJAH452WMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal quantification#BAE3, Universal closure (unknown)
History
- 2026-11-02: add by m2/dev
EJAH85JSA6 EJAH85JSA6
| URI | m2://inv/EJAH85JSA6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square of squares#VAIB (problem)
History
- 2026-11-02: add by m2/dev
Comedy of the commons EJAK6JAGNY
| URI | m2://inv/EJAK6JAGNY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tragedy of the commons#QDYY, Comedy of the commons (unknown)
History
- 2026-11-02: add by m2/dev
analytic EJANN87XM2
| URI | m2://inv/EJANN87XM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#USRM, analytic (definition)
History
- 2026-11-02: add by m2/dev
Ricci calculus EJAP7Y66BM
| URI | m2://inv/EJAP7Y66BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3VPR, Ricci calculus (definition)
History
- 2026-11-02: add by m2/dev
EJAW7RZMK2 EJAW7RZMK2
| URI | m2://inv/EJAW7RZMK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.13100#D5DZ (statement). In CC6S1HVK0T/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
EJAY9WP7GX EJAY9WP7GX
| URI | m2://inv/EJAY9WP7GX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#EFYP (example). In ZG0GNHTCWB/e1, example 5.2
History
- 2026-10-31: add by m2/v0.5.6
EJBAE1EDJ7 EJBAE1EDJ7
| URI | m2://inv/EJBAE1EDJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20273#4R5H (statement). In AEGHDSD5S7/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.4.2
Trisecting the 4-torus EJBAEVH0JK
| URI | m2://inv/EJBAEVH0JK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#6WTA, Trisecting the 4-torus (example). In G35G1NJKBX/e1, example 8.2
History
- 2026-10-27: add by m2/v0.3.5
Arithmetic dynamics EJBFYZ72AD
| URI | m2://inv/EJBFYZ72AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#T0QJ, Arithmetic dynamics (definition)
History
- 2026-11-02: add by m2/dev
EJBHFHCZJ0 EJBHFHCZJ0
| URI | m2://inv/EJBHFHCZJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#GC1X (statement). In NS3RZ26JC7/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
EJBJBA97CS EJBJBA97CS
| URI | m2://inv/EJBJBA97CS |
|---|---|
| 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.03292#BXN2 (statement). In SN2PBM95HT/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.12
EJBMPPENCW EJBMPPENCW
| URI | m2://inv/EJBMPPENCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12116#FWIO (statement). In WB3F0S794F/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
EJBN1HV1W3 EJBN1HV1W3
| URI | m2://inv/EJBN1HV1W3 |
|---|---|
| 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 1011.1990#ESMZ (statement). In GV0JBN5DWQ/e1, lemma D.2
History
- 2026-10-27: add by m2/v0.3.5
Maurice Princet EJBP2KTBBS
| URI | m2://inv/EJBP2KTBBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice Princet, Maurice Princet (topic). Also Wikidata Q3301300
History
- 2026-11-02: add by m2/dev
The maximal estimate EJBQ9SZ2C1
| URI | m2://inv/EJBQ9SZ2C1 |
|---|---|
| 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.33829#34J0, The maximal estimate (statement). In S34H2JTJHH/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
EJBQEEG965 EJBQEEG965
| URI | m2://inv/EJBQEEG965 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#ZP10 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EJBR7T5ZS0 EJBR7T5ZS0
| URI | m2://inv/EJBR7T5ZS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#154N (statement)
History
- 2026-11-01: add by m2/v0.6.15
EJBVNYWFJB EJBVNYWFJB
| URI | m2://inv/EJBVNYWFJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#lem:no-prefix (statement). In PKGMM3P5QY, lem, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
Modal depth EJC0GE3JCV
| URI | m2://inv/EJC0GE3JCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal depth, Modal depth (definition). Also Wikidata Q6888006
History
- 2026-11-02: add by m2/dev
Image scaling EJC5Y76JVW
| URI | m2://inv/EJC5Y76JVW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0NO4, Image scaling (unknown)
History
- 2026-11-02: add by m2/dev
EJC80A7AQ1 EJC80A7AQ1
| URI | m2://inv/EJC80A7AQ1 |
|---|---|
| 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.40260#L3U8 (statement). In 524FZAC6NB/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Geometric set cover problem EJC87J9S8Q
| URI | m2://inv/EJC87J9S8Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric set cover problem, Geometric set cover problem (problem). Also Wikidata Q25304468
History
- 2026-11-02: add by m2/dev
EJCD1T2DNN EJCD1T2DNN
| URI | m2://inv/EJCD1T2DNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Pertti Mattila EJCFS3XWRD
| URI | m2://inv/EJCFS3XWRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pertti Mattila, Pertti Mattila (topic). Also Wikidata Q18632048
History
- 2026-11-02: add by m2/dev
Church–Rosser theorem EJCPXHP49N
| URI | m2://inv/EJCPXHP49N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1308502, Church–Rosser theorem (statement). Also Wikidata Q1308502
- thousand_plus: thousand_plus Q1308502, Church–Rosser theorem (statement). Also Wikidata Q1308502, Wikipedia Church–Rosser theorem
- wikidata: Wikidata Q1308502, Church–Rosser theorem (statement). Also MathWorld Church-RosserTheorem
- wikipedia: Wikipedia Church–Rosser theorem, Church–Rosser theorem (statement). Also Wikidata Q1308502
History
- 2026-10-26: add by m2/dev
Fixed spaces in the extraspecial normaliser are small EJCQRTZVE2
| URI | m2://inv/EJCQRTZVE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.04099#LKU0, Fixed spaces in the extraspecial normaliser are small (statement). In QPJ6FWG5HD/e1, proposition 2.53
History
- 2026-10-29: add by m2/v0.4.12
EJCR8ZVHCK EJCR8ZVHCK
| URI | m2://inv/EJCR8ZVHCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29677#WNPW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gordon Douglas Slade EJCZ1W5KPK
| URI | m2://inv/EJCZ1W5KPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon Douglas Slade, Gordon Douglas Slade (topic). Also Wikidata Q15455551
History
- 2026-11-02: add by m2/dev
The Daily Telegraph EJD5PHZK8K
| URI | m2://inv/EJD5PHZK8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#4JPN, The Daily Telegraph (unknown)
History
- 2026-11-02: add by m2/dev
EJDAN3ZG65 EJDAN3ZG65
| URI | m2://inv/EJDAN3ZG65 |
|---|---|
| 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.19470#Q4JV (statement). In Y24F6WTV90/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
EJDJX2M8JK EJDJX2M8JK
| URI | m2://inv/EJDJX2M8JK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#lem:fseq-init (statement). In PKGMM3P5QY, lem, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
EJDSPH7C5X EJDSPH7C5X
| URI | m2://inv/EJDSPH7C5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#ZEVX (statement). In 9ZSNSJRJ5N/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
The Book of Numbers EJDTBFRPWS
| URI | m2://inv/EJDTBFRPWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Book of Numbers (math book), The Book of Numbers (definition). Also Wikidata Q132745982
History
- 2026-11-02: add by m2/dev
Rodrigo Bañuelos EJDTY14J06
| URI | m2://inv/EJDTY14J06 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rodrigo Bañuelos, Rodrigo Bañuelos (topic). Also Wikidata Q56055279
History
- 2026-11-02: add by m2/dev
Properties EJDV2Z779K
| URI | m2://inv/EJDV2Z779K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenwood statistic#SRRO, Properties (statement)
History
- 2026-11-02: add by m2/dev
EJDVYJFSFS EJDVYJFSFS
| URI | m2://inv/EJDVYJFSFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#NQYB (statement). In GGVQ3B9KJ6/e1, fact 2
History
- 2026-10-30: add by m2/v0.4.12
EJE17XCGNQ EJE17XCGNQ
| URI | m2://inv/EJE17XCGNQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_opt.ptx#example-1 (example). In QKM9DD2H56, example, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
EJEAHGJPQF EJEAHGJPQF
| URI | m2://inv/EJEAHGJPQF |
|---|---|
| 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.19660#RO4C (statement). In YKVVY2BW1B/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
Examples EJEMEHCXQH
| URI | m2://inv/EJEMEHCXQH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SBI ring#DZH7, Examples (example)
History
- 2026-11-02: add by m2/dev
EJETG6S7D1 EJETG6S7D1
| URI | m2://inv/EJETG6S7D1 |
|---|---|
| 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.27114#9DQZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
EJEVFDC98Z EJEVFDC98Z
| URI | m2://inv/EJEVFDC98Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#HJP2 (statement). In G70Q2FB591/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Karl Prachar EJEWE23284
| URI | m2://inv/EJEWE23284 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MSSG, Karl Prachar (topic)
History
- 2026-11-02: add by m2/dev
lambda-calculus EJF069FWRM
| URI | m2://inv/EJF069FWRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HV6D, lambda-calculus (definition)
History
- 2026-11-02: add by m2/dev
EJF38W2Y9H EJF38W2Y9H
| URI | m2://inv/EJF38W2Y9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#4GCE (statement). In 3A4K47Y9F2/e1, lemma 2.49
History
- 2026-10-27: add by m2/v0.4.0
Corollary for surjective pair EJF72BF05P
| URI | m2://inv/EJF72BF05P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder–Bernstein theorem#NP5D, Corollary for surjective pair (statement)
History
- 2026-11-02: add by m2/dev
Existence EJFKC962JD
| URI | m2://inv/EJFKC962JD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26265#DK7T, Existence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tail negligibility for the approximating mixture EJFKDGYE28
| URI | m2://inv/EJFKDGYE28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#H5VX, Tail negligibility for the approximating mixture (statement)
History
- 2026-11-01: add by m2/v0.6.15
Periodogram EJFP7YHB7P
| URI | m2://inv/EJFP7YHB7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HKDB, Periodogram (definition)
History
- 2026-11-02: add by m2/dev
EJFRK505QW EJFRK505QW
| URI | m2://inv/EJFRK505QW |
|---|---|
| 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.11619#1476 (statement). In HT2K76Y9WS/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.3
weak-* topology EJFTJ06G97
| URI | m2://inv/EJFTJ06G97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2644145, weak-* topology (definition). Also ProofWiki Definition:Weak-*_Topology
History
- 2026-10-26: add by m2/dev
EJFWBDV4V3 EJFWBDV4V3
| URI | m2://inv/EJFWBDV4V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#TC2W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Littlewood's 4/3 inequality EJG555KFYA
| URI | m2://inv/EJG555KFYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood's 4/3 inequality, Littlewood's 4/3 inequality (statement). Also Wikidata Q25100274
History
- 2026-11-02: add by m2/dev
EJG6S88VRM EJG6S88VRM
| URI | m2://inv/EJG6S88VRM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-47 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
EJGDNB12YD EJGDNB12YD
| URI | m2://inv/EJGDNB12YD |
|---|---|
| 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 2011.06637#5L5K (definition). In KFCJ5CFP3G/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
John Lee Coulter EJGHZBQ5JX
| URI | m2://inv/EJGHZBQ5JX |
|---|---|
| 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#4QVG, John Lee Coulter (unknown)
History
- 2026-11-02: add by m2/dev
Markov partition EJGMEJGGD4
| URI | m2://inv/EJGMEJGGD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov partition, Markov partition (definition). Also Wikidata Q15978248
History
- 2026-11-02: add by m2/dev
EJGZ7JWGWG EJGZ7JWGWG
| URI | m2://inv/EJGZ7JWGWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#2D5D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition EJH3D5R7KE
| URI | m2://inv/EJH3D5R7KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renewal theory#6YTK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Boris Mordukhovich EJH4CEPQ1Z
| URI | m2://inv/EJH4CEPQ1Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5HLG, Boris Mordukhovich (topic)
History
- 2026-11-02: add by m2/dev
EJHBBC9WR3 EJHBBC9WR3
| URI | m2://inv/EJHBBC9WR3 |
|---|---|
| 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.26357#FSFD (statement)
History
- 2026-11-01: add by m2/v0.6.15
derivative of the Heaviside function EJHF93YNJM
| URI | m2://inv/EJHF93YNJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivative of the Heaviside function, derivative of the Heaviside function (unknown)
History
- 2026-10-26: add by m2/dev
Zhiwei Yun EJHTG06V8X
| URI | m2://inv/EJHTG06V8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#OUW7, Zhiwei Yun (topic)
History
- 2026-11-02: add by m2/dev
EJHV145ZXA EJHV145ZXA
| URI | m2://inv/EJHV145ZXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.05875#WPG1 (statement). In 35FDBKEDC0/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
EJHXTVASVY EJHXTVASVY
| URI | m2://inv/EJHXTVASVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10660#I850 (statement). In 1T12A2H411/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
EJJ2K3AP5D EJJ2K3AP5D
| URI | m2://inv/EJJ2K3AP5D |
|---|---|
| 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 2609.37747#7ABW (statement). In GEYDNVZEP7/e1, theorem 2.9
History
- 2026-10-30: add by m2/v0.4.12
Classical sufficiency EJJ3XYBGVM
| URI | m2://inv/EJJ3XYBGVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-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.29348#YAQF, Classical sufficiency (definition)
History
- 2026-11-01: add by m2/v0.6.15
exact invariants of the template EJJC0SA10K
| URI | m2://inv/EJJC0SA10K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#KEUP, exact invariants of the template (statement)
History
- 2026-11-02: add by m2/v0.6.17
EJJG704EZT EJJG704EZT
| URI | m2://inv/EJJG704EZT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#proof-2 (proof). In RZP28ERRZV, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Olinde Rodrigues EJJN7Q07EG
| URI | m2://inv/EJJN7Q07EG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#DR36, Olinde Rodrigues (topic)
History
- 2026-11-02: add by m2/dev
Properties EJJWCEYT68
| URI | m2://inv/EJJWCEYT68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced mass#QWFY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gielis chart EJK8FWSD9Q
| URI | m2://inv/EJK8FWSD9Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03754#EXQ8, Gielis chart (definition). In J1Z9P0H13V/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Symmetry EJK9W6QX6B
| URI | m2://inv/EJK9W6QX6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-6 square tiling#X6VZ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
EJKEZY8XVW EJKEZY8XVW
| URI | m2://inv/EJKEZY8XVW |
|---|---|
| Kind | problem |
| 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.14085#KUKQ (problem). In T8F19ZGHF3/e1, problem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Applications EJKR2KDEKD
| URI | m2://inv/EJKR2KDEKD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desargues graph#8UZ3, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications EJM09QDN65
| URI | m2://inv/EJM09QDN65 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized eigenvector#1OYK, Applications (example)
History
- 2026-11-02: add by m2/dev
EJM1YXR5WZ EJM1YXR5WZ
| URI | m2://inv/EJM1YXR5WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30600#9V5K (statement). In BKGWH9ZN4J/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Mathematical economics EJM4C1D98S
| URI | m2://inv/EJM4C1D98S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4YP5, Mathematical economics (definition)
History
- 2026-11-02: add by m2/dev
Pr\"ufer EJM53ZSE7G
| URI | m2://inv/EJM53ZSE7G |
|---|---|
| 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.26134#7XDM, Pr\"ufer (statement)
History
- 2026-11-01: add by m2/v0.6.15
Common twist and conductor alternatives EJMC9JWJ8Y
| URI | m2://inv/EJMC9JWJ8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#PY5A, Common twist and conductor alternatives (statement). In 7NS75J7HAM/e1, lemma 9.16
History
- 2026-10-31: add by m2/v0.5.6
Solving systems of polynomial equations EJMD09D972
| URI | m2://inv/EJMD09D972 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of polynomial equations#U9E7, Solving systems of polynomial equations (unknown)
History
- 2026-11-02: add by m2/dev
Power lifting EJMJ26EFE6
| URI | m2://inv/EJMJ26EFE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.18739#CIDZ, Power lifting (statement). In VGJXQRC44C/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
G-equivariant vector bundle EJMRN8KF40
| URI | m2://inv/EJMRN8KF40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#5BSL, G-equivariant vector bundle (definition)
History
- 2026-11-02: add by m2/dev
Congruence relation EJMRS50JMY
| URI | m2://inv/EJMRS50JMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence relation, Congruence relation (definition). Also Wikidata Q8349849
History
- 2026-11-02: add by m2/dev
EJMTWY0674 EJMTWY0674
| URI | m2://inv/EJMTWY0674 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.08655#4NIT (statement). In ZT7H1ZDN96/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
predicate logic EJMV86AMWQ
| URI | m2://inv/EJMV86AMWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q35148, predicate logic (topic). Also ProofWiki Definition:Predicate_Logic
History
- 2026-10-26: add by m2/dev
Generalizations EJMXAMWW39
| URI | m2://inv/EJMXAMWW39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's tube theorem#AL8N, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
EJN1GH767J EJN1GH767J
| URI | m2://inv/EJN1GH767J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#KIEG (definition)
History
- 2026-11-01: add by m2/v0.6.15
Gail Carpenter EJN53WE7QE
| URI | m2://inv/EJN53WE7QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gail Carpenter, Gail Carpenter (topic). Also Wikidata Q5517054
History
- 2026-11-02: add by m2/dev
EJN9XVJFBY EJN9XVJFBY
| URI | m2://inv/EJN9XVJFBY |
|---|---|
| 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.14985#M8YL (statement). In DGXJW3SCBR/e1, proposition 45
History
- 2026-10-28: add by m2/v0.4.2
EJNG5GXMN3 EJNG5GXMN3
| URI | m2://inv/EJNG5GXMN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#HTAY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multiplicative partitions of factorials EJNT2PVYNK
| URI | m2://inv/EJNT2PVYNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative partitions of factorials, Multiplicative partitions of factorials (definition). Also Wikidata Q113372124
History
- 2026-11-02: add by m2/dev
EJNZDZ1GB7 EJNZDZ1GB7
| URI | m2://inv/EJNZDZ1GB7 |
|---|---|
| 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.04730#NZGN (statement). In QHFP0837Q8/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Van den Berg–Kesten inequality EJP7GSFA3P
| URI | m2://inv/EJP7GSFA3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van den Berg–Kesten inequality, Van den Berg–Kesten inequality (statement). Also Wikidata Q115690815
History
- 2026-11-02: add by m2/dev
Primary rational canonical form EJPD0JRWZT
| URI | m2://inv/EJPD0JRWZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius normal form#TFYG, Primary rational canonical form (unknown)
History
- 2026-11-02: add by m2/dev
Examples EJPE1VYVQK
| URI | m2://inv/EJPE1VYVQK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ockham algebra#BPTG, Examples (example)
History
- 2026-11-02: add by m2/dev
EJPGFB57GT EJPGFB57GT
| URI | m2://inv/EJPGFB57GT |
|---|---|
| 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 2412.14956#KNS2 (statement). In T8BQ6HHZYT/e1, proposition 6.24
History
- 2026-10-27: add by m2/v0.3.5
A simple example EJPGFY6ANR
| URI | m2://inv/EJPGFY6ANR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Event (probability theory)#KKFP, A simple example (example)
History
- 2026-11-02: add by m2/dev
EJPMYNS8Y7 EJPMYNS8Y7
| URI | m2://inv/EJPMYNS8Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#2EKS (statement)
History
- 2026-11-02: add by m2/v0.6.18
EJPNZ1GRQ8 EJPNZ1GRQ8
| URI | m2://inv/EJPNZ1GRQ8 |
|---|---|
| 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.25477#3KGY (statement)
History
- 2026-11-01: add by m2/v0.6.15
EJQ27DZ26S EJQ27DZ26S
| URI | m2://inv/EJQ27DZ26S |
|---|---|
| Kind | example |
| 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.14502#H4OK (example). In 6BVBMTYXNZ/e1, example 2.9
History
- 2026-10-28: add by m2/v0.4.2
Meager set EJQ362YN3T
| URI | m2://inv/EJQ362YN3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#TIYC, Meager set (definition)
History
- 2026-11-02: add by m2/dev
Node EJQ548ZCCB
| URI | m2://inv/EJQ548ZCCB |
|---|---|
| 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.03090#ORCZ, Node (definition). In XB52SMR2VX/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
inequal EJQHN36583
| URI | m2://inv/EJQHN36583 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#X143, inequal (definition)
History
- 2026-11-02: add by m2/dev
EJQJSYWA8D EJQJSYWA8D
| URI | m2://inv/EJQJSYWA8D |
|---|---|
| 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 2609.36884#8M9L (statement). In Z7E16PFFCP/e1, lemma 4.21
History
- 2026-10-30: add by m2/v0.4.12
Bengt Beckman EJQMFZV9BW
| URI | m2://inv/EJQMFZV9BW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bengt Beckman, Bengt Beckman (topic). Also Wikidata Q5568415
History
- 2026-11-02: add by m2/dev
EJQR90AXK1 EJQR90AXK1
| URI | m2://inv/EJQR90AXK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#25EC (statement). In 60CK7P5F36/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.3.5
Bitruncation EJQRQ6JYDS
| URI | m2://inv/EJQRQ6JYDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitruncation, Bitruncation (definition). Also Wikidata Q4918937
History
- 2026-11-02: add by m2/dev
Example EJQZHD4F1V
| URI | m2://inv/EJQZHD4F1V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutation matrix#CH0F, Example (example)
History
- 2026-11-02: add by m2/dev
Properties EJR2VCAHYT
| URI | m2://inv/EJR2VCAHYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit ordinal#QJQA, Properties (statement)
History
- 2026-11-02: add by m2/dev
EJR48QG4R0 EJR48QG4R0
| URI | m2://inv/EJR48QG4R0 |
|---|---|
| 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.05829#AANJ (statement). In ZH9NNSEKMD/e1, corollary 8.1
History
- 2026-10-29: add by m2/v0.4.10
EJR4KMR8YC EJR4KMR8YC
| URI | m2://inv/EJR4KMR8YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#C22J (statement). In QD0X3XJS6T/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Algorithms EJR8PJXC1H
| URI | m2://inv/EJR8PJXC1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Format-preserving encryption#ET0E, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Formal definition EJRNF7WJ1T
| URI | m2://inv/EJRNF7WJ1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model category#7DPW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
EJRQM0DEQA EJRQM0DEQA
| URI | m2://inv/EJRQM0DEQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#Q2N0 (statement). In GW23NX78SB/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
EJRRP86NWT EJRRP86NWT
| URI | m2://inv/EJRRP86NWT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08135#8IFG (example). In D4PE6R0BT3/e1, example 1.4
History
- 2026-10-29: add by m2/v0.4.10
EJRTN5NMB2 EJRTN5NMB2
| URI | m2://inv/EJRTN5NMB2 |
|---|---|
| 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.06810#G24D (statement). In 1NY2SA03XF/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
EJS2H0PWWR EJS2H0PWWR
| URI | m2://inv/EJS2H0PWWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#8A35 (statement). In CEKW9CNVVW/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
EJS2T7WDX0 EJS2T7WDX0
| URI | m2://inv/EJS2T7WDX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#BN4J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-linear differential equation EJS4A01YCF
| URI | m2://inv/EJS4A01YCF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear system#3YNV, Non-linear differential equation (unknown)
History
- 2026-11-02: add by m2/dev
EJS5ZQWK88 EJS5ZQWK88
| URI | m2://inv/EJS5ZQWK88 |
|---|---|
| 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#IL6J (statement). In CA4C9PFM1E/e1, lemma 2.2.9
History
- 2026-10-30: add by m2/v0.4.12
Definition EJS8GNJVW8
| URI | m2://inv/EJS8GNJVW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiregular element#WHB9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Integral closure of an ideal EJSAMZ8FQZ
| URI | m2://inv/EJSAMZ8FQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral closure of an ideal, Integral closure of an ideal (definition). Also Wikidata Q17098125
History
- 2026-11-02: add by m2/dev
Michela Procesi EJSCRZS9EB
| URI | m2://inv/EJSCRZS9EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HB18, Michela Procesi (topic)
History
- 2026-11-02: add by m2/dev
EJSFSZ5Y6A EJSFSZ5Y6A
| URI | m2://inv/EJSFSZ5Y6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#7RAD (statement). In VN084GGZGK/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.3
Ivor Etherington EJSMV3VJAM
| URI | m2://inv/EJSMV3VJAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivor Etherington, Ivor Etherington (topic). Also Wikidata Q3377238
History
- 2026-11-02: add by m2/dev
Inclusion–exclusion principle EJSNMAP8Y5
| URI | m2://inv/EJSNMAP8Y5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler characteristic#NPKJ, Inclusion–exclusion principle (statement)
History
- 2026-11-02: add by m2/dev
EJSTJW8FNT EJSTJW8FNT
| URI | m2://inv/EJSTJW8FNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-9 (statement). In E59CDZA4DP, prop, section 1.8.2
History
- 2026-11-01: add by m2/v0.6.13
General Vandermonde Determinant EJSV0ZEJYT
| URI | m2://inv/EJSV0ZEJYT |
|---|---|
| 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.21645#AROZ, General Vandermonde Determinant (statement)
History
- 2026-11-02: add by m2/v0.6.18
Möbius group EJSVNXCKCS
| URI | m2://inv/EJSVNXCKCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius transformation#L3HJ, Möbius group (unknown)
History
- 2026-11-02: add by m2/dev
EJSVXNKN0R EJSVXNKN0R
| URI | m2://inv/EJSVXNKN0R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 62.11
History
- 2026-11-01: add by m2/v0.6.13
Hartree–Fock method EJSYEQPXTF
| URI | m2://inv/EJSYEQPXTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartree–Fock method, Hartree–Fock method (definition). Also Wikidata Q7879841
History
- 2026-11-02: add by m2/dev
Uniform boundedness of the full covariance trajectory EJT3020MMV
| URI | m2://inv/EJT3020MMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#KY8I, Uniform boundedness of the full covariance trajectory (statement)
History
- 2026-11-02: add by m2/v0.6.17
EJT6XZ03FW EJT6XZ03FW
| URI | m2://inv/EJT6XZ03FW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.14312#F9N1 (definition). In SEPBZN2DRH/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Huzita–Hatori axioms EJT7M72T24
| URI | m2://inv/EJT7M72T24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huzita–Hatori axioms, Huzita–Hatori axioms (statement). Also Wikidata Q743321
History
- 2026-11-02: add by m2/dev
Leo Königsberger EJT814V179
| URI | m2://inv/EJT814V179 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EKXS, Leo Königsberger (topic)
History
- 2026-11-02: add by m2/dev
Examples EJT8JXBW1Z
| URI | m2://inv/EJT8JXBW1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blocking set#BVNF, Examples (example)
History
- 2026-11-02: add by m2/dev
Constructions EJTAJT4WFJ
| URI | m2://inv/EJTAJT4WFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janko group J3#3622, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Russell's Paradox EJTCW0Z7WS
| URI | m2://inv/EJTCW0Z7WS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/story/russells-paradox-again.tex#thm-1, Russell's Paradox (statement). In PKGMM3P5QY, thm, section 75.7
History
- 2026-11-01: add by m2/v0.6.13
EJTJH4EXM2 EJTJH4EXM2
| URI | m2://inv/EJTJH4EXM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19309#AW27 (statement). In XKENQH35DW/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Complex representation EJTKZ334X3
| URI | m2://inv/EJTKZ334X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex representation, Complex representation (definition). Also Wikidata Q5156598
History
- 2026-11-02: add by m2/dev
EJTRM8CTQK EJTRM8CTQK
| URI | m2://inv/EJTRM8CTQK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#UQAI (definition)
History
- 2026-11-02: add by m2/v0.6.18
Applications EJTTRBS7GC
| URI | m2://inv/EJTTRBS7GC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-squared test#IGDC, Applications (example)
History
- 2026-11-02: add by m2/dev
Elena Ralph EJTWEY12SG
| URI | m2://inv/EJTWEY12SG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#54AG, Elena Ralph (unknown)
History
- 2026-11-02: add by m2/dev
Applications EJV4M71NP3
| URI | m2://inv/EJV4M71NP3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight skeleton#WLCW, Applications (example)
History
- 2026-11-02: add by m2/dev
EJV5NJGN9H EJV5NJGN9H
| URI | m2://inv/EJV5NJGN9H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22685#SGNZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Fallacy of exhaustive effort EJV8HHEJ1F
| URI | m2://inv/EJV8HHEJ1F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#9B0L, Fallacy of exhaustive effort (unknown)
History
- 2026-11-02: add by m2/dev
Formulas EJVB98H0VW
| URI | m2://inv/EJVB98H0VW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perimeter#PQ8Y, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Jan Hoem EJVEHBH3A5
| URI | m2://inv/EJVEHBH3A5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Hoem, Jan Hoem (topic). Also Wikidata Q241571
History
- 2026-11-02: add by m2/dev
A. W. F. Edwards EJVS4VWET3
| URI | m2://inv/EJVS4VWET3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q8PZ, A. W. F. Edwards (unknown)
History
- 2026-11-02: add by m2/dev
EJVSHWF3SF EJVSHWF3SF
| URI | m2://inv/EJVSHWF3SF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00337#YRMK (statement). In 5STQ3ABZ60/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
EJVT31YPCF EJVT31YPCF
| URI | m2://inv/EJVT31YPCF |
|---|---|
| Kind | conjecture |
| 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.04948#V9SD (conjecture). In TKHA291X5N/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.12
EJVV02S7VD EJVV02S7VD
| URI | m2://inv/EJVV02S7VD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28141#QSWK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem EJVV6XAAZT
| URI | m2://inv/EJVV6XAAZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#97JC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Juan Ramón Koenig EJVW086W39
| URI | m2://inv/EJVW086W39 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan Ramón Koenig, Juan Ramón Koenig (topic). Also Wikidata Q384229
History
- 2026-11-02: add by m2/dev
Heritability of IQ EJW0FZB35S
| URI | m2://inv/EJW0FZB35S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heritability of IQ, Heritability of IQ (definition). Also Wikidata Q17022593
History
- 2026-11-02: add by m2/dev
EJWH8XAH94 EJWH8XAH94
| URI | m2://inv/EJWH8XAH94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#S0G9 (statement). In SF88CM0957/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Rami Grossberg EJWN8RTM4B
| URI | m2://inv/EJWN8RTM4B |
|---|---|
| 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 Q7289523, Rami Grossberg (unknown). Also nLab Rami Grossberg
- wikipedia: Wikipedia Rami Grossberg, Rami Grossberg (topic). Also Wikidata Q7289523
History
- 2026-10-26: add by m2/dev
EJWTFBQXTN EJWTFBQXTN
| URI | m2://inv/EJWTFBQXTN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-124 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
EJX0ZK490M EJX0ZK490M
| URI | m2://inv/EJX0ZK490M |
|---|---|
| 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.22764#YWPM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hiraku Nakajima EJX8D4VY1T
| URI | m2://inv/EJX8D4VY1T |
|---|---|
| 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 Q371515, Hiraku Nakajima (unknown). Also nLab Hiraku Nakajima
- wikipedia: Wikipedia Hiraku Nakajima, Hiraku Nakajima (topic). Also Wikidata Q371515
History
- 2026-10-26: add by m2/dev
EJXDR0PRYQ EJXDR0PRYQ
| URI | m2://inv/EJXDR0PRYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.07398#05E3 (statement). In JS5FKV1S9T/e1, lemma F.1
History
- 2026-10-27: add by m2/v0.3.5
EJXEKXS3JA EJXEKXS3JA
| URI | m2://inv/EJXEKXS3JA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#4MLU (definition)
History
- 2026-11-02: add by m2/v0.6.17
Parametrization of the state region EJXKYE2WPC
| URI | m2://inv/EJXKYE2WPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#9OME, Parametrization of the state region (statement). In JY6RYSNXMJ/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Training transitions and reference datasets EJXP0DB6B2
| URI | m2://inv/EJXP0DB6B2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#EOGT, Training transitions and reference datasets (definition). In 6KAZWJ8RFX/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
primitive prime factor EJXQ52MKFT
| URI | m2://inv/EJXQ52MKFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132225597, primitive prime factor (definition). Also MathWorld PrimitivePrimeFactor, ProofWiki Definition:Primitive_Prime_Factor
History
- 2026-10-26: add by m2/dev
EJXYJ697XT EJXYJ697XT
| URI | m2://inv/EJXYJ697XT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#U7PU (definition). In 3A4K47Y9F2/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.0
EJY2742B4A EJY2742B4A
| URI | m2://inv/EJY2742B4A |
|---|---|
| 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.26041#EFVR (statement)
History
- 2026-11-01: add by m2/v0.6.15
EJY5X3AV3X EJY5X3AV3X
| URI | m2://inv/EJY5X3AV3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2511.06555#YM8I (statement). In 5GDDS20Q3D/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.4.0
LowerUnivalents EJY6HRNDYZ
| URI | m2://inv/EJY6HRNDYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LowerUnivalents, LowerUnivalents (definition). Also Wikidata Q25104065
History
- 2026-11-02: add by m2/dev
luminance EJY6NKXVRA
| URI | m2://inv/EJY6NKXVRA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.3.2/luminance, luminance (concept). In 649HGZKE96, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
EJY9437Q0W EJY9437Q0W
| URI | m2://inv/EJY9437Q0W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#I12I (example). In PF5JJ9DS8Q/e1, example 3.2.6
History
- 2026-10-28: add by m2/v0.4.2
Computation of Hilbert series and Hilbert polynomial EJY9NCSSM0
| URI | m2://inv/EJY9NCSSM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert series and Hilbert polynomial#88DV, Computation of Hilbert series and Hilbert polynomial (definition)
History
- 2026-11-02: add by m2/dev
EJYF0WEW3C EJYF0WEW3C
| URI | m2://inv/EJYF0WEW3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#490U (statement). In EVFX1R7ZDD/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Herbrand–Ribet theorem EJYH0WWB04
| URI | m2://inv/EJYH0WWB04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#9CAS, Herbrand–Ribet theorem (statement)
History
- 2026-11-02: add by m2/dev
Erdős–Lovász conjecture EJYM3T1NBM
| URI | m2://inv/EJYM3T1NBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#47QO, Erdős–Lovász conjecture (unknown)
History
- 2026-11-02: add by m2/dev
EJYWHA9VQG EJYWHA9VQG
| URI | m2://inv/EJYWHA9VQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#RU78 (statement). In 2WZQC0TKVK/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
EJZ65PMMAW EJZ65PMMAW
| URI | m2://inv/EJZ65PMMAW |
|---|---|
| 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 2403.02207#C3UW (statement). In 1T3ZYPQZF0/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.6
EJZBG2XV39 EJZBG2XV39
| URI | m2://inv/EJZBG2XV39 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#KSW8 (definition). In X1J5HKPS3R/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Schwarz-Pick Lemma EJZC9A8XKQ
| URI | m2://inv/EJZC9A8XKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#2JAN, Schwarz-Pick Lemma (statement). In 41NFABHFXH/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
EJZE789AQ4 EJZE789AQ4
| URI | m2://inv/EJZE789AQ4 |
|---|---|
| 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.04252#KBY4 (statement). In ZF0Z61VQ96/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
EJZSAE2Q7F EJZSAE2Q7F
| URI | m2://inv/EJZSAE2Q7F |
|---|---|
| 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 2502.09121#1BC8 (statement). In 559PF7Q5BT/e1, proposition 21
History
- 2026-10-27: add by m2/v0.3.5
EJZWC2HJK1 EJZWC2HJK1
| URI | m2://inv/EJZWC2HJK1 |
|---|---|
| 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 2308.05066#GXKF (statement). In 1QSCT53ZED/e1, lemma 2.17
History
- 2026-10-27: add by m2/v0.4.0
EJZX53KGBW EJZX53KGBW
| URI | m2://inv/EJZX53KGBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#GA9D (statement). In Y1K8WE4MDP/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10