Inventory rows RX
The cards of the rows of the inventory whose ids start with RX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
David van Dantzig RX01FEV7J2
| URI | m2://inv/RX01FEV7J2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GBIG, David van Dantzig (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5GHX, David van Dantzig (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7XIW, David van Dantzig (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L5R6, David van Dantzig (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3R7F, David van Dantzig (topic)
History
- 2026-11-02: add by m2/dev
RX0615WA3W RX0615WA3W
| URI | m2://inv/RX0615WA3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07340#YV5O (statement). In WXE3PVAZBT/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
RX068B3ZPZ RX068B3ZPZ
| URI | m2://inv/RX068B3ZPZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#W5G8 (definition). In 2G5K2GZTX7/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.0
RX0EDB5E8Q RX0EDB5E8Q
| URI | m2://inv/RX0EDB5E8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#J68T (statement). In 5ZPSZFE08Q/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.10
RX0JTM20EQ RX0JTM20EQ
| URI | m2://inv/RX0JTM20EQ |
|---|---|
| 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 2601.15010#6C19 (statement). In K3WJ6ZN184/e1, lemma A.9
History
- 2026-10-27: add by m2/v0.3.5
RX0R6MB5PJ RX0R6MB5PJ
| URI | m2://inv/RX0R6MB5PJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-6 (statement). In E59CDZA4DP, prop, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
RX0XNHQRQ3 RX0XNHQRQ3
| URI | m2://inv/RX0XNHQRQ3 |
|---|---|
| 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.32906#EWR7 (statement). In R589MXXHX4/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
Yitang Zhang RX17SZ60K4
| URI | m2://inv/RX17SZ60K4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#POM2, Yitang Zhang (topic)
History
- 2026-11-02: add by m2/dev
RX18KF63F5 RX18KF63F5
| URI | m2://inv/RX18KF63F5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#7IHP (statement). In ETRT1R1CQ8/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.0
RX1Q4ZPG2H RX1Q4ZPG2H
| URI | m2://inv/RX1Q4ZPG2H |
|---|---|
| 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.40207#R0SH (statement). In JXTG8KP95P/e1, corollary 6.3
History
- 2026-10-30: add by m2/v0.4.12
Polynomial RX1Y7692WH
| URI | m2://inv/RX1Y7692WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#UH1U, Polynomial (definition)
- wikipedia: Wikipedia List of polynomial topics#DERY, Polynomial (definition)
History
- 2026-11-02: add by m2/dev
RX1Z3586M7 RX1Z3586M7
| URI | m2://inv/RX1Z3586M7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/goedel.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 42.2
History
- 2026-11-01: add by m2/v0.6.13
Chemical formulas RX226ZHJCM
| URI | m2://inv/RX226ZHJCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula#IZSD, Chemical formulas (statement)
History
- 2026-11-02: add by m2/dev
Properties RX238VR8PT
| URI | m2://inv/RX238VR8PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree automaton#FH23, Properties (statement)
History
- 2026-11-02: add by m2/dev
RX2HAFK372 RX2HAFK372
| URI | m2://inv/RX2HAFK372 |
|---|---|
| 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#CKBG (statement). In G70Q2FB591/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
Joel Kleinman RX2QA69QBY
| URI | m2://inv/RX2QA69QBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joel Kleinman, Joel Kleinman (topic). Also Wikidata Q107488257
History
- 2026-11-02: add by m2/dev
Bishop–Phelps theorem RX2ZFCZRBR
| URI | m2://inv/RX2ZFCZRBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bishop–Phelps theorem, Bishop–Phelps theorem (statement). Also Wikidata Q16842437
History
- 2026-11-02: add by m2/dev
RX34NJ9A71 RX34NJ9A71
| URI | m2://inv/RX34NJ9A71 |
|---|---|
| Kind | problem |
| 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.29498#912M (problem)
History
- 2026-11-01: add by m2/v0.6.15
RX38AASWCZ RX38AASWCZ
| URI | m2://inv/RX38AASWCZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#9B7O (definition). In 8M7BFVQYMM/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.3
Properties RX3B6489DY
| URI | m2://inv/RX3B6489DY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coding theory#P38B, Properties (statement)
History
- 2026-11-02: add by m2/dev
RX3K0RPS3N RX3K0RPS3N
| URI | m2://inv/RX3K0RPS3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
RX3R4VD1A2 RX3R4VD1A2
| URI | m2://inv/RX3R4VD1A2 |
|---|---|
| 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.19449#PDYA (statement). In 8ZKPJ3CBDF/e1, proposition 3.16
History
- 2026-10-28: add by m2/v0.4.2
RX3R73WZWJ RX3R73WZWJ
| URI | m2://inv/RX3R73WZWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#5V2T (statement). In RAXRNDW2Z0/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
RX3T45N6GK RX3T45N6GK
| URI | m2://inv/RX3T45N6GK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14803#F3UK (example). In VAEVDTBD3B/e1, example 3.9
History
- 2026-10-28: add by m2/v0.4.2
Oskar Perron RX40PFE31D
| URI | m2://inv/RX40PFE31D |
|---|---|
| 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#FZ5E, Oskar Perron (topic)
- wikipedia: Wikipedia List of German mathematicians#KG5Z, Oskar Perron (topic)
History
- 2026-11-02: add by m2/dev
RX41D3V1FP RX41D3V1FP
| URI | m2://inv/RX41D3V1FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#OC8Z (statement). In VEXM27M8Q1/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.3
General type RX42DK25XQ
| URI | m2://inv/RX42DK25XQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira dimension#KP2U, General type (unknown)
History
- 2026-11-02: add by m2/dev
Ruggles, Steven RX44QDKGBX
| URI | m2://inv/RX44QDKGBX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZSN8, Ruggles, Steven (unknown)
History
- 2026-11-02: add by m2/dev
Examples RX450CPS83
| URI | m2://inv/RX450CPS83 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraunhofer diffraction#5BBE, Examples (example)
History
- 2026-11-02: add by m2/dev
Circular Monge separation RX4GMMMDBH
| URI | m2://inv/RX4GMMMDBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26055#VL74, Circular Monge separation (statement)
History
- 2026-11-01: add by m2/v0.6.15
RX4PZSENJ6 RX4PZSENJ6
| URI | m2://inv/RX4PZSENJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#lem:concat (statement). In N54F33XE07, lem, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Tammes problem RX4Q59MTX2
| URI | m2://inv/RX4Q59MTX2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JR0T, Tammes problem (conjecture)
History
- 2026-11-02: add by m2/dev
Principles RX4TAR6187
| URI | m2://inv/RX4TAR6187 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential fault analysis#VTIL, Principles (statement)
History
- 2026-11-02: add by m2/dev
Chernoff bound; any \etm RX53CF97BF
| URI | m2://inv/RX53CF97BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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.27765#8KO8, Chernoff bound; any \etm (statement)
History
- 2026-11-01: add by m2/v0.6.15
RX59M9XR3M RX59M9XR3M
| URI | m2://inv/RX59M9XR3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#YIPR (statement). In D50WST4CG3/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Freiman $h$-homomorphism RX5AVT0EC7
| URI | m2://inv/RX5AVT0EC7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#WLC5, Freiman $h$-homomorphism (definition)
History
- 2026-11-01: add by m2/v0.6.15
746 (number) RX5BVWQX5M
| URI | m2://inv/RX5BVWQX5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#RCZ2, 746 (number) (unknown)
History
- 2026-11-02: add by m2/dev
RX61VHB79E RX61VHB79E
| URI | m2://inv/RX61VHB79E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.23072#VP69 (statement). In FW08HEAPKW/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Spectral identities of the fiber RX649E3F61
| URI | m2://inv/RX649E3F61 |
|---|---|
| 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#TI8T, Spectral identities of the fiber (statement). In JY6RYSNXMJ/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Alternating permutation RX67NWSE95
| URI | m2://inv/RX67NWSE95 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3900011, Alternating permutation (concept). Also MathWorld AlternatingPermutation
- wikipedia: Wikipedia Alternating permutation, Alternating permutation (definition). Also Wikidata Q3900011
History
- 2026-10-26: add by m2/dev
Properties RX6GTMASMQ
| URI | m2://inv/RX6GTMASMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic convexity#SHC5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thorvald N. Thiele RX6K26K8V3
| URI | m2://inv/RX6K26K8V3 |
|---|---|
| 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 Q1242983, Thorvald N. Thiele (unknown). Also EoM Thiele,_Thorvald_Nicolai
- wikipedia: Wikipedia Thorvald N. Thiele, Thorvald N. Thiele (topic). Also Wikidata Q1242983
History
- 2026-10-26: add by m2/dev
molecule RX6YD7DJMJ
| URI | m2://inv/RX6YD7DJMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZNZN, molecule (definition)
History
- 2026-11-02: add by m2/dev
KIV-7 RX7MFECB3V
| URI | m2://inv/RX7MFECB3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NSA encryption systems#39MB, KIV-7 (unknown)
History
- 2026-11-02: add by m2/dev
scalar subdifferentials and conjugate RX7YXCZBA1
| URI | m2://inv/RX7YXCZBA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.26645#WW7H, scalar subdifferentials and conjugate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ultragraph C*-algebra RX85F81GTG
| URI | m2://inv/RX85F81GTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultragraph C*-algebra, Ultragraph C*-algebra (definition). Also Wikidata Q104901797
History
- 2026-11-02: add by m2/dev
RX8CH9WDJZ RX8CH9WDJZ
| URI | m2://inv/RX8CH9WDJZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#K8GP (example). In X88HPQ0W8C/e1, example 2.13
History
- 2026-10-27: add by m2/v0.3.5
top quark RX8EBXBQ4C
| URI | m2://inv/RX8EBXBQ4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6778, top quark (unknown). Also nLab top quark
History
- 2026-10-26: add by m2/dev
Skew apeirotope RX8ECH1YBN
| URI | m2://inv/RX8ECH1YBN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apeirotope#MFDR, Skew apeirotope (unknown)
History
- 2026-11-02: add by m2/dev
nonmeager set RX8EKXE9SR
| URI | m2://inv/RX8EKXE9SR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120775759, nonmeager set (concept). Also MathWorld NonmeagerSet, MathWorld SecondCategory
History
- 2026-10-26: add by m2/dev
RX8FA85EJT RX8FA85EJT
| URI | m2://inv/RX8FA85EJT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-1 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Shifted log-logistic distribution RX8JXZ5JPD
| URI | m2://inv/RX8JXZ5JPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#22H7, Shifted log-logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
Ingrid Rewitzky RX8R85F7SX
| URI | m2://inv/RX8R85F7SX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingrid Rewitzky, Ingrid Rewitzky (topic). Also Wikidata Q102397706
History
- 2026-11-02: add by m2/dev
Hénon map RX8S46H9HC
| URI | m2://inv/RX8S46H9HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#I4DF, Hénon map (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#3DPQ, Hénon map (definition)
History
- 2026-11-02: add by m2/dev
Applications RX8YH89MQ4
| URI | m2://inv/RX8YH89MQ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation automaton#7I7I, Applications (example)
History
- 2026-11-02: add by m2/dev
Happy Planet Index RX91M7Y6TQ
| URI | m2://inv/RX91M7Y6TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Happy Planet Index, Happy Planet Index (definition). Also Wikidata Q612956
History
- 2026-11-02: add by m2/dev
Ethel Gilbert RX94G7XV5M
| URI | m2://inv/RX94G7XV5M |
|---|---|
| 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#O8J8, Ethel Gilbert (unknown)
History
- 2026-11-02: add by m2/dev
Fixed field theorem RX95ZRCN6B
| URI | m2://inv/RX95ZRCN6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#thm:fixed_field_theorem, Fixed field theorem (statement). In RZP28ERRZV, theorem, section 14.7
History
- 2026-11-01: add by m2/v0.6.13
Airy function RX9643037Y
| URI | m2://inv/RX9643037Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 33C10 |
| Sources | 2 |
| Outcome | open |
| Node | Airy function 1N5D4PN92W |
Mentions
- wikidata: Wikidata Q409415, Airy function (topic). Also EoM Airy_functions, MathWorld AiryFunctions, nLab Airy function, ProofWiki Definition:Airy_Function
- wikipedia: Wikipedia Airy function, Airy function (definition). Also Wikidata Q409415
History
- 2026-10-26: add by m2/dev
RX9F9MAGWE RX9F9MAGWE
| URI | m2://inv/RX9F9MAGWE |
|---|---|
| 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 2202.07274#TOE3 (statement). In V5WGBGKYXN/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
Fitting's theorem RX9G0XV42M
| URI | m2://inv/RX9G0XV42M |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5455495, Fitting's theorem (statement). Also Wikidata Q5455495
- thousand_plus: thousand_plus Q5455495, Fitting's theorem (statement). Also Wikidata Q5455495, Wikipedia Fitting's theorem
- wikipedia: Wikipedia Fitting's theorem, Fitting's theorem (statement). Also Wikidata Q5455495
History
- 2026-10-26: add by m2/dev
Causal subdifferential RX9GMYKQVM
| URI | m2://inv/RX9GMYKQVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#DDI8, Causal subdifferential (definition). In VCHH2AC34R/e1, definition 2.16
History
- 2026-10-29: add by m2/v0.4.10
Example RX9WFHZEZ9
| URI | m2://inv/RX9WFHZEZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#BOLG, Example (example)
History
- 2026-11-02: add by m2/dev
Generalization RX9WXGMZFK
| URI | m2://inv/RX9WXGMZFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning#0I1I, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Local lower bound RX9Y3ZH874
| URI | m2://inv/RX9Y3ZH874 |
|---|---|
| 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.38268#6SAL, Local lower bound (statement). In TQ18V9TDQS/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
Definition RXA3DKH2J4
| URI | m2://inv/RXA3DKH2J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly metric#Y5RX, Definition (definition)
History
- 2026-11-02: add by m2/dev
RXAHKTPF72 RXAHKTPF72
| URI | m2://inv/RXAHKTPF72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop-6 (statement). In E59CDZA4DP, prop, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
RXAP7N7TSA RXAP7N7TSA
| URI | m2://inv/RXAP7N7TSA |
|---|---|
| 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.03272#92LY (statement). In H9ZC46G7BX/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
RXAVR0QECX RXAVR0QECX
| URI | m2://inv/RXAVR0QECX |
|---|---|
| Kind | statement |
| 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#G0S4 (statement). In X47RYAZF8P/e1, corollary 10.15
History
- 2026-10-28: add by m2/v0.4.2
Distribution RXAW9V79E2
| URI | m2://inv/RXAW9V79E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#EF7W, Distribution (definition)
History
- 2026-11-02: add by m2/dev
RXAX2SX421 RXAX2SX421
| URI | m2://inv/RXAX2SX421 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-68 (exercise). In E59CDZA4DP, exercise, section 4.6.3
History
- 2026-11-01: add by m2/v0.6.13
RXAYV0N9YR RXAYV0N9YR
| URI | m2://inv/RXAYV0N9YR |
|---|---|
| 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 2609.29806#ZS5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Westwood Lakes RXAZCAKQW6
| URI | m2://inv/RXAZCAKQW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#40X2, Westwood Lakes (unknown)
History
- 2026-11-02: add by m2/dev
RXB6Z7Z6J6 RXB6Z7Z6J6
| URI | m2://inv/RXB6Z7Z6J6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16157#EH02 (statement). In GV251MW5RP/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Properties RXBAN55H23
| URI | m2://inv/RXBAN55H23 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effect algebra#3WQD, Properties (statement)
History
- 2026-11-02: add by m2/dev
RXBDGSQZ15 RXBDGSQZ15
| URI | m2://inv/RXBDGSQZ15 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05611#MOPL (definition). In QDTX6NXFEB/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Exponentiated Weibull distribution RXBE4N71PN
| URI | m2://inv/RXBE4N71PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiated Weibull distribution, Exponentiated Weibull distribution (definition). Also Wikidata Q5421539
History
- 2026-11-02: add by m2/dev
Vector autoregression RXBMVESCE8
| URI | m2://inv/RXBMVESCE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector autoregression, Vector autoregression (definition). Also Wikidata Q385593
History
- 2026-11-02: add by m2/dev
RXBQJGM90Y RXBQJGM90Y
| URI | m2://inv/RXBQJGM90Y |
|---|---|
| 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.08288#O8AN (statement). In CHVWYJM7RM/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.10
Continuous or discrete variable RXBWRHDPXK
| URI | m2://inv/RXBWRHDPXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous or discrete variable, Continuous or discrete variable (definition). Also Wikidata Q19885330
History
- 2026-11-02: add by m2/dev
RXC86V68NC RXC86V68NC
| URI | m2://inv/RXC86V68NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#U239 (statement). In 9TR5E527P5/e1, lemma 1.11
History
- 2026-10-29: add by m2/v0.4.10
Initial ordinal RXCB3C12JM
| URI | m2://inv/RXCB3C12JM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal number#EGQI, Initial ordinal (unknown)
History
- 2026-11-02: add by m2/dev
Hans Freudenthal RXCJG6HK43
| URI | m2://inv/RXCJG6HK43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9B9X, Hans Freudenthal (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0W58, Hans Freudenthal (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N9Y6, Hans Freudenthal (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XEA1, Hans Freudenthal (unknown)
History
- 2026-11-02: add by m2/dev
modular RXDD8WRHC5
| URI | m2://inv/RXDD8WRHC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#4GCB, modular (definition)
History
- 2026-11-02: add by m2/dev
Methods RXDDCE71JH
| URI | m2://inv/RXDDCE71JH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass point geometry#9FFL, Methods (definition)
History
- 2026-11-02: add by m2/dev
Löb's theorem RXDK2D0WQ9
| URI | m2://inv/RXDK2D0WQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#N1RT, Löb's theorem (statement)
History
- 2026-11-02: add by m2/dev
RXDK7MVEHV RXDK7MVEHV
| URI | m2://inv/RXDK7MVEHV |
|---|---|
| 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.33406#MP13 (statement). In B23TX8G4E4/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
RXDTFPDNA7 RXDTFPDNA7
| URI | m2://inv/RXDTFPDNA7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-2 (example). In E59CDZA4DP, example, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
RXDXKNT2WF RXDXKNT2WF
| URI | m2://inv/RXDXKNT2WF |
|---|---|
| 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.30892#X48W (statement). In F7C1RM5VA4/e1, corollary 5.3
History
- 2026-10-31: add by m2/v0.5.6
RXDZD2959M RXDZD2959M
| URI | m2://inv/RXDZD2959M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#AY31 (definition). In F3BKXXPR3K/e1, definition 3.26
History
- 2026-10-27: add by m2/v0.4.2
Moyal product RXEA3SP0C8
| URI | m2://inv/RXEA3SP0C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moyal product, Moyal product (definition). Also Wikidata Q6927583
History
- 2026-11-02: add by m2/dev
Minimal surface RXEJ1B4VN9
| URI | m2://inv/RXEJ1B4VN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#59RQ, Minimal surface (definition)
History
- 2026-11-02: add by m2/dev
Mills' constant RXEP800CVD
| URI | m2://inv/RXEP800CVD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1192957, Mills' constant (object). Also MathWorld MillsConstant, OEIS A051021
- wikipedia: Wikipedia Mills' constant, Mills' constant (object). Also Wikidata Q1192957
History
- 2026-10-26: add by m2/dev
statistics RXERBGR8KR
| URI | m2://inv/RXERBGR8KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#6C28, statistics (definition)
History
- 2026-11-02: add by m2/dev
RXEZPAEVRR RXEZPAEVRR
| URI | m2://inv/RXEZPAEVRR |
|---|---|
| Kind | example |
| 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 2408.03317#C49C (example). In T2ESY2PE1R/e1, example 4.5
History
- 2026-10-27: add by m2/v0.3.5
RXF0NQ92Y1 RXF0NQ92Y1
| URI | m2://inv/RXF0NQ92Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#QP5B (statement). In YXRKS451PK/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Transfer matrix RXF78V9V93
| URI | m2://inv/RXF78V9V93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer matrix, Transfer matrix (definition). Also Wikidata Q7834016
History
- 2026-11-02: add by m2/dev
Petr Hájek RXF8NZYWED
| URI | m2://inv/RXF8NZYWED |
|---|---|
| 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 Q7178527, Petr Hájek (unknown). Also ProofWiki Mathematician:Petr_Hájek
History
- 2026-10-26: add by m2/dev
Common rational refinement RXFCVKAWGD
| URI | m2://inv/RXFCVKAWGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#FJSZ, Common rational refinement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dilation theorem for contractions RXFM2068EC
| URI | m2://inv/RXFM2068EC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraction (operator theory)#0X55, Dilation theorem for contractions (statement)
History
- 2026-11-02: add by m2/dev
Description logic RXFMF45KF3
| URI | m2://inv/RXFMF45KF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description logic, Description logic (definition). Also Wikidata Q387196
History
- 2026-11-02: add by m2/dev
Forbidden induced subgraphs RXFPD7TK3F
| URI | m2://inv/RXFPD7TK3F |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#I0ZT, Forbidden induced subgraphs (problem). In 459W0NBS5Q/e1, problem 7
History
- 2026-10-28: add by m2/v0.4.2
Nayrizi RXFQP8JA4H
| URI | m2://inv/RXFQP8JA4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#3KUJ, Nayrizi (unknown)
History
- 2026-11-02: add by m2/dev
Globally ambiguous sentence RXFVGTNGCB
| URI | m2://inv/RXFVGTNGCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic ambiguity#RH4J, Globally ambiguous sentence (unknown)
History
- 2026-11-02: add by m2/dev
RXG7R23DF6 RXG7R23DF6
| URI | m2://inv/RXG7R23DF6 |
|---|---|
| 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.21477#N5GS (statement)
History
- 2026-11-02: add by m2/v0.6.18
RXGCS29JBP RXGCS29JBP
| URI | m2://inv/RXGCS29JBP |
|---|---|
| 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 2512.08487#PPJ7 (statement). In 77TVQVYN0Z/e1, theorem 20
History
- 2026-10-27: add by m2/v0.3.6
RXGJEVRRD5 RXGJEVRRD5
| URI | m2://inv/RXGJEVRRD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#BXLA (statement). In 8PZXZ8Y9FK/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.4.2
RXGK9934FV RXGK9934FV
| URI | m2://inv/RXGK9934FV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#5BZ8 (problem). In HXFA55BREZ/e1, problem 1.19
History
- 2026-10-29: add by m2/v0.4.10
the profile at $(2,3)$ away from the Ledet slot RXGQRY4X9M
| URI | m2://inv/RXGQRY4X9M |
|---|---|
| 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.09298#DJ5K, the profile at $(2,3)$ away from the Ledet slot (statement). In 1SPQ4J3AWY/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
40-bit encryption RXHCAX4DNJ
| URI | m2://inv/RXHCAX4DNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 40-bit encryption, 40-bit encryption (definition). Also Wikidata Q4637271
History
- 2026-11-02: add by m2/dev
Generalizations RXHD5FYPZQ
| URI | m2://inv/RXHD5FYPZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loomis–Whitney inequality#XX2P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RXHEEZSRJP RXHEEZSRJP
| URI | m2://inv/RXHEEZSRJP |
|---|---|
| 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.29023#JB8X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction RXHEY63DWJ
| URI | m2://inv/RXHEY63DWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 33 honeycomb#YM2X, Construction (definition)
History
- 2026-11-02: add by m2/dev
Kolmogorov's generalized criterion RXHRWJGD7G
| URI | m2://inv/RXHRWJGD7G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C97W, Kolmogorov's generalized criterion (statement)
History
- 2026-11-02: add by m2/dev
a priori RXJ36TMVY3
| URI | m2://inv/RXJ36TMVY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WWQR, a priori (definition)
History
- 2026-11-02: add by m2/dev
Converse RXJCJ4JWWY
| URI | m2://inv/RXJCJ4JWWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#1PKB, Converse (statement). In 24FJ7C8WPN/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
domain RXJJD0GVNT
| URI | m2://inv/RXJJD0GVNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#A0K1, domain (definition)
History
- 2026-11-02: add by m2/dev
Implementations RXJT3GR2J5
| URI | m2://inv/RXJT3GR2J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA cryptosystem#MYI1, Implementations (definition)
History
- 2026-11-02: add by m2/dev
RXJVSD3ZWM RXJVSD3ZWM
| URI | m2://inv/RXJVSD3ZWM |
|---|---|
| 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 2609.26201#C8XR (statement)
History
- 2026-11-01: add by m2/v0.6.15
RXK022FZ8R RXK022FZ8R
| URI | m2://inv/RXK022FZ8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35275#WSU5 (statement). In B0NV0JBAKB/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
commutator RXK3YD3385
| URI | m2://inv/RXK3YD3385 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q94578760, commutator (unknown). Also nLab group commutator
History
- 2026-10-26: add by m2/dev
RXK49WY6CY RXK49WY6CY
| URI | m2://inv/RXK49WY6CY |
|---|---|
| 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 2406.19866#VKSX (statement). In 9F94CEQ1ZM/e1, theorem 2.23
History
- 2026-10-27: add by m2/v0.3.5
directed RXK8ASN35Y
| URI | m2://inv/RXK8ASN35Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#XQBW, directed (definition)
History
- 2026-11-02: add by m2/dev
Application RXKB086YSV
| URI | m2://inv/RXKB086YSV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical closeness#MLI6, Application (example)
History
- 2026-11-02: add by m2/dev
Cameron, Eschen, Ho{\`a}ng and Sritharan RXKBZQJ0DB
| URI | m2://inv/RXKBZQJ0DB |
|---|---|
| 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.19093#QSQO, Cameron, Eschen, Ho{\`a}ng and Sritharan (statement). In S2K79KESZ4/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
List of German mathematicians RXM5GVQ7FM
| URI | m2://inv/RXM5GVQ7FM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians, List of German mathematicians (topic). Also Wikidata Q52458459
History
- 2026-11-02: add by m2/dev
Heilbronn triangle problem RXMA0PZ1RR
| URI | m2://inv/RXMA0PZ1RR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UBHG, Heilbronn triangle problem (conjecture)
History
- 2026-11-02: add by m2/dev
Alexander–Spanier cohomology RXMAYCR9MK
| URI | m2://inv/RXMAYCR9MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander–Spanier cohomology, Alexander–Spanier cohomology (definition). Also Wikidata Q4143007
History
- 2026-11-02: add by m2/dev
RXMCT4YSM5 RXMCT4YSM5
| URI | m2://inv/RXMCT4YSM5 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#6AFK (unknown). In QNBFHFZ3H0/e1, unknown 50
History
- 2026-10-28: add by m2/v0.4.2
Formal definition RXMK7644KF
| URI | m2://inv/RXMK7644KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital root#Z0QU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Toda–Smith complex RXN0BC84JC
| URI | m2://inv/RXN0BC84JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toda–Smith complex, Toda–Smith complex (definition). Also Wikidata Q25109835
History
- 2026-11-02: add by m2/dev
sheaf of abelian groups RXN8QRJ52A
| URI | m2://inv/RXN8QRJ52A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131077085, sheaf of abelian groups (concept). Also nLab abelian sheaf, ProofWiki Definition:Abelian_Sheaf
History
- 2026-10-26: add by m2/dev
361 (number) RXNAGRXCB7
| URI | m2://inv/RXNAGRXCB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#8OIA, 361 (number) (unknown)
History
- 2026-11-02: add by m2/dev
RXNDEDAB1G RXNDEDAB1G
| URI | m2://inv/RXNDEDAB1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#IGXR (statement)
History
- 2026-11-02: add by m2/v0.6.18
singular point of an algebraic variety RXNMAZ7TV1
| URI | m2://inv/RXNMAZ7TV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Singular point of an algebraic variety D86X15A8WS |
Mentions
- wikidata: Wikidata Q7524253, singular point of an algebraic variety (unknown). Also nLab singular point of an algebraic variety
- wikipedia: Wikipedia Singular point of an algebraic variety, Singular point of an algebraic variety (definition). Also Wikidata Q7524253
History
- 2026-10-26: add by m2/dev
RXNN9FDY2N RXNN9FDY2N
| URI | m2://inv/RXNN9FDY2N |
|---|---|
| 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.03520#7FJT (statement). In CSRZ9CWK69/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.12
Benaloh cryptosystem RXNQ25EFV5
| URI | m2://inv/RXNQ25EFV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benaloh cryptosystem, Benaloh cryptosystem (definition). Also Wikidata Q816670
History
- 2026-11-02: add by m2/dev
mere proposition RXNZFX4B0T
| URI | m2://inv/RXNZFX4B0T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.10/mere-proposition, mere proposition (concept). In N54F33XE07, index, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
RXPC3JQST4 RXPC3JQST4
| URI | m2://inv/RXPC3JQST4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Propositions RXPG2VF5FN
| URI | m2://inv/RXPG2VF5FN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurement of a Circle#07NB, Propositions (statement)
History
- 2026-11-02: add by m2/dev
RXPJXRHM33 RXPJXRHM33
| URI | m2://inv/RXPJXRHM33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#MGVC (statement). In VM9V8SXEA2/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
Uses RXPMGRN8KY
| URI | m2://inv/RXPMGRN8KY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melnikov group#2KVA, Uses (example)
History
- 2026-11-02: add by m2/dev
Max Gunzburger RXPV5W0V09
| URI | m2://inv/RXPV5W0V09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SCAD, Max Gunzburger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZH14, Max Gunzburger (topic)
History
- 2026-11-02: add by m2/dev
RXPZ41CTGA RXPZ41CTGA
| URI | m2://inv/RXPZ41CTGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#344E (statement). In 6WJ0R9YEBR/e1, corollary 3.21
History
- 2026-10-28: add by m2/v0.4.2
Commuting graph RXQB3Z7BHQ
| URI | m2://inv/RXQB3Z7BHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commuting graph, Commuting graph (definition). Also Wikidata Q137604228
History
- 2026-11-02: add by m2/dev
magnetohydrodynamics RXQENCWPVR
| URI | m2://inv/RXQENCWPVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2549249, magnetohydrodynamics (unknown). Also EoM Magneto-hydrodynamics,_mathematical_problems_in, nLab magnetohydrodynamics
- wikipedia: Wikipedia Magnetohydrodynamics, Magnetohydrodynamics (definition). Also Wikidata Q2549249
History
- 2026-10-26: add by m2/dev
RXQJEKV1H7 RXQJEKV1H7
| URI | m2://inv/RXQJEKV1H7 |
|---|---|
| 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.14821#ZR5X (statement). In B0B2P7JEAQ/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Fourier division RXQNGVSR4Z
| URI | m2://inv/RXQNGVSR4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier division, Fourier division (definition). Also Wikidata Q5475793
History
- 2026-11-02: add by m2/dev
Abelian exceptional interval RXQVP1S6F3
| URI | m2://inv/RXQVP1S6F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#IDUB, Abelian exceptional interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
Homologous point RXQW7T2R9H
| URI | m2://inv/RXQW7T2R9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homothetic center#SYGI, Homologous point (unknown)
History
- 2026-11-02: add by m2/dev
Parameterized approximation algorithm RXQWQPRY67
| URI | m2://inv/RXQWQPRY67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameterized approximation algorithm, Parameterized approximation algorithm (definition). Also Wikidata Q116736583
History
- 2026-11-02: add by m2/dev
RXQY3ZPQ6G RXQY3ZPQ6G
| URI | m2://inv/RXQY3ZPQ6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#K5IN (statement). In 6B2PCEGCYZ/e1, proposition 3.9
History
- 2026-10-31: add by m2/v0.5.6
RXR31K6FWN RXR31K6FWN
| URI | m2://inv/RXR31K6FWN |
|---|---|
| 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.30410#K8WY (statement). In 5HZX3JVJWF/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
mutually exclusive events RXR8E0RB1Z
| URI | m2://inv/RXR8E0RB1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2625281, mutually exclusive events (unknown). Also MathWorld MutuallyExclusiveEvents
- wikipedia: Wikipedia Mutual exclusivity, Mutual exclusivity (definition). Also Wikidata Q2625281
History
- 2026-10-26: add by m2/dev
Discriminant validity RXRCM720W8
| URI | m2://inv/RXRCM720W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discriminant validity, Discriminant validity (definition). Also Wikidata Q168554
History
- 2026-11-02: add by m2/dev
RXRH73PE12 RXRH73PE12
| URI | m2://inv/RXRH73PE12 |
|---|---|
| Kind | statement |
| 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#XY6L (statement)
History
- 2026-11-01: add by m2/v0.6.15
RXS20J0324 RXS20J0324
| URI | m2://inv/RXS20J0324 |
|---|---|
| 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 2306.17260#QWJC (statement). In V0T2SY4M6S/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
RXS2PE5YFW RXS2PE5YFW
| URI | m2://inv/RXS2PE5YFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.27872#55Y0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hybrid logic RXS4FZXYKY
| URI | m2://inv/RXS4FZXYKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid logic, Hybrid logic (definition). Also Wikidata Q5953248
History
- 2026-11-02: add by m2/dev
RXS4SACWWH RXS4SACWWH
| URI | m2://inv/RXS4SACWWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#XZ1O (statement)
History
- 2026-11-01: add by m2/v0.6.15
RXS5SZY316 RXS5SZY316
| URI | m2://inv/RXS5SZY316 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#M5DX (definition). In MVSGDTN2PB/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
RXS63C1G93 RXS63C1G93
| URI | m2://inv/RXS63C1G93 |
|---|---|
| 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 2609.29806#R5D0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RXSAE0YMEC RXSAE0YMEC
| URI | m2://inv/RXSAE0YMEC |
|---|---|
| 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 2205.15106#6ION (definition). In N3ZQJ2G8SS/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
RXSNFJ5TXV RXSNFJ5TXV
| URI | m2://inv/RXSNFJ5TXV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:ap-coprod (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
cyclomatic number RXSYKVTKGP
| URI | m2://inv/RXSYKVTKGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5121616, cyclomatic number (unknown). Also MathWorld CircuitRank
- wikipedia: Wikipedia Cyclomatic number, Cyclomatic number (definition). Also Wikidata Q5121616
History
- 2026-10-26: add by m2/dev
Applications RXTB13FVS1
| URI | m2://inv/RXTB13FVS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pearson distribution#CGXX, Applications (example)
History
- 2026-11-02: add by m2/dev
RXTC97VQDG RXTC97VQDG
| URI | m2://inv/RXTC97VQDG |
|---|---|
| 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.25656#SD1X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite-dimensional obstruction RXTVG60ZFY
| URI | m2://inv/RXTVG60ZFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19837#RE9U, Finite-dimensional obstruction (statement). In 837NSWQM1P/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Oligomorphic group RXTYBQWF9R
| URI | m2://inv/RXTYBQWF9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation group#AL9Z, Oligomorphic group (unknown)
History
- 2026-11-02: add by m2/dev
virtual representation RXTZH9BBHE
| URI | m2://inv/RXTZH9BBHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7935160, virtual representation (unknown). Also nLab virtual representation
History
- 2026-10-26: add by m2/dev
RXTZXT4HBT RXTZXT4HBT
| URI | m2://inv/RXTZXT4HBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#IWHL (statement). In 37S7MNMZ2F/e1, proposition 72
History
- 2026-10-27: add by m2/v0.3.5
RXV2Q9DPM8 RXV2Q9DPM8
| URI | m2://inv/RXV2Q9DPM8 |
|---|---|
| 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.15169#BN72 (statement). In V7SN19J84T/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Indeterminate system RXV79N45QH
| URI | m2://inv/RXV79N45QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indeterminate system, Indeterminate system (definition). Also Wikidata Q6017779
History
- 2026-11-02: add by m2/dev
Norton's dome RXV9KCTYRV
| URI | m2://inv/RXV9KCTYRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norton's dome, Norton's dome (definition). Also Wikidata Q18354955
History
- 2026-11-02: add by m2/dev
Algebraic Prime Power Conjecture RXVAFGF8GW
| URI | m2://inv/RXVAFGF8GW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#ER1K, Algebraic Prime Power Conjecture (conjecture). In CGNVT4C47F/e1, conjecture 3.6
History
- 2026-10-31: add by m2/v0.5.6
Applications RXVC9H7S05
| URI | m2://inv/RXVC9H7S05 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prospect theory#QMQC, Applications (example)
History
- 2026-11-02: add by m2/dev
Riemann Xi function RXVF0PSJR0
| URI | m2://inv/RXVF0PSJR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2152235, Riemann Xi function (unknown). Also MathWorld Xi-Function
- wikipedia: Wikipedia Riemann xi function, Riemann xi function (definition). Also Wikidata Q2152235
History
- 2026-10-26: add by m2/dev
RXVHPNWK2R RXVHPNWK2R
| URI | m2://inv/RXVHPNWK2R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
RXVWBP0FVD RXVWBP0FVD
| URI | m2://inv/RXVWBP0FVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#RWV5 (statement). In 5KR3MHYVV6/e1, proposition 5.0
History
- 2026-10-28: add by m2/v0.4.2
Panel analysis RXVWS4NSX9
| URI | m2://inv/RXVWS4NSX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panel analysis, Panel analysis (definition). Also Wikidata Q2049349
History
- 2026-11-02: add by m2/dev
Numerical witness for $\mathcal Q(3,3)$ RXVYJF7FAR
| URI | m2://inv/RXVYJF7FAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#10XI, Numerical witness for $\mathcal Q(3,3)$ (statement). In W066HQZQBF/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.12
RXW12FQWB4 RXW12FQWB4
| URI | m2://inv/RXW12FQWB4 |
|---|---|
| Kind | problem |
| 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 2610.08776#D0K2 (problem). In ZQ4M778EA7/e1, problem
History
- 2026-10-29: add by m2/v0.4.10
Preservation of higher Sobolev regularity RXW4MKK8AP
| URI | m2://inv/RXW4MKK8AP |
|---|---|
| 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 2410.06788#HYVB, Preservation of higher Sobolev regularity (statement). In B2VE3JQZD3/e1, theorem 15
History
- 2026-10-27: add by m2/v0.3.5
RXWD81CQFE RXWD81CQFE
| URI | m2://inv/RXWD81CQFE |
|---|---|
| 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.14374#CLDP (statement). In YPTC532FEG/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
RXWE4GN3J0 RXWE4GN3J0
| URI | m2://inv/RXWE4GN3J0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#investigation-2 (exercise). In Y91XFCEVHQ, investigation, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Courant Institute School of Mathematics, Computing, and Data Science RXWFM3K99W
| URI | m2://inv/RXWFM3K99W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant Institute School of Mathematics, Computing, and Data Science, Courant Institute School of Mathematics, Computing, and Data Science (definition). Also Wikidata Q946028
History
- 2026-11-02: add by m2/dev
Burke's theorem RXWVZT0B5G
| URI | m2://inv/RXWVZT0B5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#G041, Burke's theorem (statement)
History
- 2026-11-02: add by m2/dev
Exactly two decreasing wall columns RXWYYD7EJG
| URI | m2://inv/RXWYYD7EJG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28892#DBEA, Exactly two decreasing wall columns (example)
History
- 2026-11-01: add by m2/v0.6.15
Steam reheat RXX20FA6SS
| URI | m2://inv/RXX20FA6SS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rankine cycle#PSI9, Steam reheat (unknown)
History
- 2026-11-02: add by m2/dev
RXX5E62ABC RXX5E62ABC
| URI | m2://inv/RXX5E62ABC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17871#8IXV (statement). In H17E7PBG1M/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Margit Voigt RXX6DKBNR8
| URI | m2://inv/RXX6DKBNR8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margit Voigt, Margit Voigt (topic). Also Wikidata Q69438943
History
- 2026-11-02: add by m2/dev
order topology RXXDEPQ9C8
| URI | m2://inv/RXXDEPQ9C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Order topology RCWHDMWP1T |
Mentions
- wikidata: Wikidata Q1321469, order topology (unknown). Also MathWorld OrderTopology, nLab order topology
- wikipedia: Wikipedia Order topology, Order topology (definition). Also Wikidata Q1321469
History
- 2026-10-26: add by m2/dev
Bloch's theorem RXXSRRTKQY
| URI | m2://inv/RXXSRRTKQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's theorem, Bloch's theorem (statement). Also Wikidata Q4454926
History
- 2026-11-02: add by m2/dev
RXXT4JK1X0 RXXT4JK1X0
| URI | m2://inv/RXXT4JK1X0 |
|---|---|
| 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.37093#FGUA (statement). In GA6QH32CJQ/e1, proposition 9
History
- 2026-10-30: add by m2/v0.4.12
Examples RXY0G8EF9F
| URI | m2://inv/RXY0G8EF9F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial presheaf#BJJF, Examples (example)
History
- 2026-11-02: add by m2/dev
RXY1Y6YZ69 RXY1Y6YZ69
| URI | m2://inv/RXY1Y6YZ69 |
|---|---|
| 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 2609.40096#LWPA (statement). In XFE35F9NEV/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Chien Wei-zang RXY256VJT5
| URI | m2://inv/RXY256VJT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#7G7M, Chien Wei-zang (unknown)
History
- 2026-11-02: add by m2/dev
RXY49V6CAR RXY49V6CAR
| URI | m2://inv/RXY49V6CAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#AQ7U (statement). In 37S7MNMZ2F/e1, proposition 71
History
- 2026-10-27: add by m2/v0.3.5
RXY5AD1K4J RXY5AD1K4J
| URI | m2://inv/RXY5AD1K4J |
|---|---|
| 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.08374#YJGG (statement). In XYVSD6A7GV/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
RXY8JS5TZC RXY8JS5TZC
| URI | m2://inv/RXY8JS5TZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/log.tex#thm:nth_root (statement). In RZP28ERRZV, theorem, section 40.3
History
- 2026-11-01: add by m2/v0.6.13
Fourier optics RXY9SJ66FQ
| URI | m2://inv/RXY9SJ66FQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#WQ1B, Fourier optics (topic)
- wikipedia: Wikipedia List of Fourier analysis topics#OR94, Fourier optics (topic)
History
- 2026-11-02: add by m2/dev
Rice's theorem RXYBFXFV2J
| URI | m2://inv/RXYBFXFV2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#PFU7, Rice's theorem (statement)
History
- 2026-11-02: add by m2/dev
Gandalf Lechner RXYDJHP5NN
| URI | m2://inv/RXYDJHP5NN |
|---|---|
| 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 Q62067727, Gandalf Lechner (unknown). Also nLab Gandalf Lechner
History
- 2026-10-26: add by m2/dev
RXYGYHWJCM RXYGYHWJCM
| URI | m2://inv/RXYGYHWJCM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-49 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Chuang-Stein, Christy RXYMNAHYJ6
| URI | m2://inv/RXYMNAHYJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TCSR, Chuang-Stein, Christy (topic)
History
- 2026-11-02: add by m2/dev
Poling (piezoelectricity) RXYR5EGQXJ
| URI | m2://inv/RXYR5EGQXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piezoelectricity#6IGO, Poling (piezoelectricity) (unknown)
History
- 2026-11-02: add by m2/dev
Kefeng Liu RXYVMQE9T0
| URI | m2://inv/RXYVMQE9T0 |
|---|---|
| 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 Q6383408, Kefeng Liu (unknown). Also nLab Kefeng Liu
- wikipedia: Wikipedia Kefeng Liu, Kefeng Liu (topic). Also Wikidata Q6383408
History
- 2026-10-26: add by m2/dev
RXZ1MF68SK RXZ1MF68SK
| URI | m2://inv/RXZ1MF68SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#QBNA (statement). In V97F4YZ8B0/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
RXZ54FVWE8 RXZ54FVWE8
| URI | m2://inv/RXZ54FVWE8 |
|---|---|
| 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.19455#P5U8 (statement). In CBF6TQS4DW/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Irvin Cohen RXZ5DSDFSZ
| URI | m2://inv/RXZ5DSDFSZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5K1X, Irvin Cohen (topic)
History
- 2026-11-02: add by m2/dev
RXZ6WA67NC RXZ6WA67NC
| URI | m2://inv/RXZ6WA67NC |
|---|---|
| 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.22393#K0CY (statement)
History
- 2026-11-02: add by m2/v0.6.17
RXZA5KM9YX RXZA5KM9YX
| URI | m2://inv/RXZA5KM9YX |
|---|---|
| Kind | exercise |
| 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#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
RXZG2G76B5 RXZG2G76B5
| URI | m2://inv/RXZG2G76B5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#EQ4N (problem). In 6GK9EJMWY4/e1, problem 3.2
History
- 2026-10-31: add by m2/v0.5.6
many-sorted logic RXZQ5F06KP
| URI | m2://inv/RXZQ5F06KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#72TY, many-sorted logic (definition)
History
- 2026-11-02: add by m2/dev
\emph{Models and good reductions RXZSHTSGZV
| URI | m2://inv/RXZSHTSGZV |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#RLZD, \emph{Models and good reductions (unknown)
History
- 2026-11-02: add by m2/v0.6.17
Hyung Ju Park RXZVJQY2JR
| URI | m2://inv/RXZVJQY2JR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyung Ju Park, Hyung Ju Park (topic). Also Wikidata Q97197223
History
- 2026-11-02: add by m2/dev
RXZYR4X1RK RXZYR4X1RK
| URI | m2://inv/RXZYR4X1RK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#example-4 (example). In RZP28ERRZV, example, section 86.4
History
- 2026-11-01: add by m2/v0.6.13