Inventory rows S9
The cards of the rows of the inventory whose ids start with S9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Landau set S9044BFTWW
| URI | m2://inv/S9044BFTWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau set, Landau set (definition). Also Wikidata Q6484333
History
- 2026-11-02: add by m2/dev
NCSS S908DBH98V
| URI | m2://inv/S908DBH98V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#C6I4, NCSS (definition)
History
- 2026-11-02: add by m2/dev
S90JS7RT61 S90JS7RT61
| URI | m2://inv/S90JS7RT61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#TE4I (statement). In 8SVVEVGMNE/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
Main theorem S90R5DT8HN
| URI | m2://inv/S90R5DT8HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic Lovász local lemma#MQLJ, Main theorem (statement)
History
- 2026-11-02: add by m2/dev
Chaining rules and theorems S90WHBMEQM
| URI | m2://inv/S90WHBMEQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lusona#2Y9O, Chaining rules and theorems (statement)
History
- 2026-11-02: add by m2/dev
S90X2NVD42 S90X2NVD42
| URI | m2://inv/S90X2NVD42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-10 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
S90XX00KDZ S90XX00KDZ
| URI | m2://inv/S90XX00KDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06466#QA91 (statement). In 6W451V3N75/e1, corollary 10.1
History
- 2026-10-29: add by m2/v0.4.10
Minlos's theorem S90YQK1PWK
| URI | m2://inv/S90YQK1PWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IGUM, Minlos's theorem (statement)
History
- 2026-11-02: add by m2/dev
S916AKPHFS S916AKPHFS
| URI | m2://inv/S916AKPHFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#DLOE (statement). In 91RRFW0K5D/e1, proposition 29
History
- 2026-10-27: add by m2/v0.3.5
Two Hills, Alberta S9186ST9NC
| URI | m2://inv/S9186ST9NC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4720, Two Hills, Alberta (unknown)
History
- 2026-11-02: add by m2/dev
List of triangle topics S91A1J8HH0
| URI | m2://inv/S91A1J8HH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics, List of triangle topics (topic). Also Wikidata Q4117062
History
- 2026-11-02: add by m2/dev
William Kaye Estes S91ADM1GWZ
| URI | m2://inv/S91ADM1GWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Kaye Estes, William Kaye Estes (topic). Also Wikidata Q1780288
History
- 2026-11-02: add by m2/dev
Jean L. Turner S91EE88TVF
| URI | m2://inv/S91EE88TVF |
|---|---|
| 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#MGLK, Jean L. Turner (unknown)
History
- 2026-11-02: add by m2/dev
GJMS operator S91J8D59RF
| URI | m2://inv/S91J8D59RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GJMS operator, GJMS operator (definition). Also Wikidata Q5513562
History
- 2026-11-02: add by m2/dev
S91JRBP8X4 S91JRBP8X4
| URI | m2://inv/S91JRBP8X4 |
|---|---|
| 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 2609.30067#NYXC (statement)
History
- 2026-11-01: add by m2/v0.6.15
combination S91KQYC3EB
| URI | m2://inv/S91KQYC3EB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.3/combination, combination (concept). In Y91XFCEVHQ, index, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
S91ZW7TK4K S91ZW7TK4K
| URI | m2://inv/S91ZW7TK4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#LTSB (statement)
History
- 2026-11-02: add by m2/v0.6.18
transitively normal subgroup S928PV47JW
| URI | m2://inv/S928PV47JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 4938714) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#PDMT, transitively normal subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Statistical lower bound for the distance S928XF208T
| URI | m2://inv/S928XF208T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#3I3W, Statistical lower bound for the distance (statement). In X5BYGZZHPF/e1, lemma I.3
History
- 2026-10-28: add by m2/v0.4.2
Properties S92CN48R8D
| URI | m2://inv/S92CN48R8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kumaraswamy distribution#Z3BZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
S92DA4WCKF S92DA4WCKF
| URI | m2://inv/S92DA4WCKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#E2I5 (statement). In QM1T8JDK4A/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
S92DBZEQH8 S92DBZEQH8
| URI | m2://inv/S92DBZEQH8 |
|---|---|
| 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.30544#K87N (statement). In CB35ZBBBPT/e1, theorem 4.7
History
- 2026-10-31: add by m2/v0.5.6
Church--Turing thesis S92MJJBKJ7
| URI | m2://inv/S92MJJBKJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/church-turing-thesis.tex#defn-1, Church--Turing thesis (definition). In PKGMM3P5QY, defn, section 85.2
History
- 2026-11-01: add by m2/v0.6.13
Max Born S92TR75HKC
| URI | m2://inv/S92TR75HKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7DH7, Max Born (unknown)
History
- 2026-11-02: add by m2/dev
569 (number) S92YM1T7QD
| URI | m2://inv/S92YM1T7QD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#M8HI, 569 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Negligibility S931TATBRD
| URI | m2://inv/S931TATBRD |
|---|---|
| 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 2110.12380#UI94, Negligibility (definition). In M6MQPEDQ8N/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Quasi-identity S933JBHC2R
| URI | m2://inv/S933JBHC2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-identity, Quasi-identity (statement). Also Wikidata Q7269497
History
- 2026-11-02: add by m2/dev
Morris Kline S933XJZC3X
| URI | m2://inv/S933XJZC3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3WNP, Morris Kline (topic)
History
- 2026-11-02: add by m2/dev
S937CX0SED S937CX0SED
| URI | m2://inv/S937CX0SED |
|---|---|
| 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.16731#6WCF (statement). In D68KBZQ4Q6/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
S93ES0Z2W3 S93ES0Z2W3
| URI | m2://inv/S93ES0Z2W3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#7F16 (statement). In R3NJYPZH52/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.3
Variations S93NGN7QQZ
| URI | m2://inv/S93NGN7QQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doomsday argument#82UY, Variations (statement)
History
- 2026-11-02: add by m2/dev
S93NJ5TVRY S93NJ5TVRY
| URI | m2://inv/S93NJ5TVRY |
|---|---|
| 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.38138#7E4X (definition). In G97FA99ZEF/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Kočović, Bogoljub S93PHDX786
| URI | m2://inv/S93PHDX786 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8DO4, Kočović, Bogoljub (unknown)
History
- 2026-11-02: add by m2/dev
S93Q7ZMH9E S93Q7ZMH9E
| URI | m2://inv/S93Q7ZMH9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26452#EOU9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S943T7P139 S943T7P139
| URI | m2://inv/S943T7P139 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-9 (statement). In VNMV985MXX, prop, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Expansion inheritance under vertex subsampling S94CYT93VD
| URI | m2://inv/S94CYT93VD |
|---|---|
| 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.35766#XQ5O, Expansion inheritance under vertex subsampling (statement). In 6638EFW1NG/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Liberman's lemma S94ETAYFCB
| URI | m2://inv/S94ETAYFCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liberman's lemma, Liberman's lemma (statement). Also Wikidata Q4257925
History
- 2026-11-02: add by m2/dev
Example S94P0WENB3
| URI | m2://inv/S94P0WENB3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale homotopy type#Y69T, Example (example)
History
- 2026-11-02: add by m2/dev
Generalizations S94RMWZR5Y
| URI | m2://inv/S94RMWZR5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes' theorem#47AY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Invariance defect of a weak mode S94T93YHMP
| URI | m2://inv/S94T93YHMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#VM3L, Invariance defect of a weak mode (statement)
History
- 2026-11-01: add by m2/v0.6.15
S94WYQTAFF S94WYQTAFF
| URI | m2://inv/S94WYQTAFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#YD38 (statement). In 69DBD2HKGK/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Hans Pietsch S9522VQ6AG
| URI | m2://inv/S9522VQ6AG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Pietsch (mathematician), Hans Pietsch (topic). Also Wikidata Q65046210
History
- 2026-11-02: add by m2/dev
S955AJTCHB S955AJTCHB
| URI | m2://inv/S955AJTCHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#XUNX (statement). In RK0ZMDJ23T/e1, lemma 1.2.2
History
- 2026-10-31: add by m2/v0.5.6
S957G6VXZS S957G6VXZS
| URI | m2://inv/S957G6VXZS |
|---|---|
| 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.11693#0ZW2 (statement). In F8QNPNTBTZ/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.3
theorem, van Kampen S958Y2M84T
| URI | m2://inv/S958Y2M84T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/theorem-van-kampen, theorem, van Kampen (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
S95BA5VD74 S95BA5VD74
| URI | m2://inv/S95BA5VD74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/truth-lemma.tex#lem:truth (statement). In PKGMM3P5QY, lem, section 34.2
History
- 2026-11-01: add by m2/v0.6.13
Elizabeth Stern S95BJR3XK8
| URI | m2://inv/S95BJR3XK8 |
|---|---|
| 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#EF7L, Elizabeth Stern (unknown)
History
- 2026-11-02: add by m2/dev
Cross-sequential study S95H3A1TQE
| URI | m2://inv/S95H3A1TQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-sequential study, Cross-sequential study (definition). Also Wikidata Q5188198
History
- 2026-11-02: add by m2/dev
Sunrise problem S95JBATCJ2
| URI | m2://inv/S95JBATCJ2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunrise problem, Sunrise problem (problem). Also Wikidata Q7641151
History
- 2026-11-02: add by m2/dev
Uniform stability S95N7BF252
| URI | m2://inv/S95N7BF252 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#H022, Uniform stability (statement). In P55JSAYR3T/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
Phase transition S95P5CA7DS
| URI | m2://inv/S95P5CA7DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase transition, Phase transition (definition). Also Wikidata Q185357
History
- 2026-11-02: add by m2/dev
S95QBBWEW2 S95QBBWEW2
| URI | m2://inv/S95QBBWEW2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#0WJ1 (definition). In MVXZWHKEX8/e1, definition 8.1
History
- 2026-10-29: add by m2/v0.4.10
Riemann–Roch formula S95TWVRRMT
| URI | m2://inv/S95TWVRRMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#J51J, Riemann–Roch formula (definition)
History
- 2026-11-02: add by m2/dev
Argument from analogy S95X72AJ6V
| URI | m2://inv/S95X72AJ6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from analogy, Argument from analogy (definition). Also Wikidata Q4789736
History
- 2026-11-02: add by m2/dev
Application S95XEHEP3R
| URI | m2://inv/S95XEHEP3R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected return#NJIS, Application (example)
History
- 2026-11-02: add by m2/dev
S960SMHDW8 S960SMHDW8
| URI | m2://inv/S960SMHDW8 |
|---|---|
| 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.20656#G3JZ (definition)
History
- 2026-11-02: add by m2/v0.6.18
an algebraic lemma S961FR5KF6
| URI | m2://inv/S961FR5KF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#KWOZ, an algebraic lemma (statement). In 94RBNQA07A/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Examples S9637DCMCP
| URI | m2://inv/S9637DCMCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric polynomial#5JN9, Examples (example)
History
- 2026-11-02: add by m2/dev
Neves' bounded ratio conjecture S968XQDTPX
| URI | m2://inv/S968XQDTPX |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37769#TUBG, Neves' bounded ratio conjecture (conjecture). In MJWNGM4S01/e1, conjecture 2.1
History
- 2026-10-30: add by m2/v0.4.12
Sonia Natale S96CCMPRFX
| URI | m2://inv/S96CCMPRFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SGLB, Sonia Natale (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental Theorem S96J625HKP
| URI | m2://inv/S96J625HKP |
|---|---|
| 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.21131#4I78, Fundamental Theorem (statement). In CPYWHRTPKC/e1, theorem 6.73
History
- 2026-10-27: add by m2/v0.4.2
Ergodic theory S96M5Y54CP
| URI | m2://inv/S96M5Y54CP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4LUO, Ergodic theory (topic)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#PP13, Ergodic theory (topic)
- wikipedia: Wikipedia List of probability topics#NWVU, Ergodic theory (topic)
History
- 2026-11-02: add by m2/dev
2010 Malaysian census S96SVS0S94
| URI | m2://inv/S96SVS0S94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2010 Malaysian census, 2010 Malaysian census (definition). Also Wikidata Q7311011
History
- 2026-11-02: add by m2/dev
Properties S96TBX6XKV
| URI | m2://inv/S96TBX6XKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy class#PP93, Properties (statement)
History
- 2026-11-02: add by m2/dev
S978E8YCQJ S978E8YCQJ
| URI | m2://inv/S978E8YCQJ |
|---|---|
| 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.39430#118E (statement). In 6FH24CYAMW/e1, proposition 6.8
History
- 2026-10-30: add by m2/v0.4.12
S97AMQFBKW S97AMQFBKW
| URI | m2://inv/S97AMQFBKW |
|---|---|
| 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.10527#QI16 (statement). In 9AXPPWBA9R/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
S97BTEEF8D S97BTEEF8D
| URI | m2://inv/S97BTEEF8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#JA9D (statement). In X765ZXXVC3/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
S97K9ZGBKZ S97K9ZGBKZ
| URI | m2://inv/S97K9ZGBKZ |
|---|---|
| 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.23871#6WXE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Radical function S97KNFHY5Y
| URI | m2://inv/S97KNFHY5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#ULAN, Radical function (definition)
History
- 2026-11-02: add by m2/dev
S97M3HDP3N S97M3HDP3N
| URI | m2://inv/S97M3HDP3N |
|---|---|
| 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.20740#ALPQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
S97T8TBJTN S97T8TBJTN
| URI | m2://inv/S97T8TBJTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#XVRP (statement). In 2381M4GBTT/e1, lemma 11.2
History
- 2026-10-29: add by m2/v0.4.12
Karl von der Mühll S97VB03DM9
| URI | m2://inv/S97VB03DM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl von der Mühll, Karl von der Mühll (topic). Also Wikidata Q19721024
History
- 2026-11-02: add by m2/dev
830 (number) S97ZB1PGNR
| URI | m2://inv/S97ZB1PGNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number)#SVAE, 830 (number) (unknown)
History
- 2026-11-02: add by m2/dev
S9806Z04VE S9806Z04VE
| URI | m2://inv/S9806Z04VE |
|---|---|
| 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.12413#EBMU (statement). In 6EJ8J60SP8/e1, theorem 18
History
- 2026-10-28: add by m2/v0.4.2
S9865W6XRE S9865W6XRE
| URI | m2://inv/S9865W6XRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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 2610.04628#DZK8 (statement). In MREZZ9NCY8/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Infinitesimal rigidity S986Q6A2X8
| URI | m2://inv/S986Q6A2X8 |
|---|---|
| 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.17004#W7HF, Infinitesimal rigidity (definition). In XNJGNMS6H0/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Irving Lorge S987VXQJJK
| URI | m2://inv/S987VXQJJK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irving Lorge, Irving Lorge (topic). Also Wikidata Q56000374
History
- 2026-11-02: add by m2/dev
Roth's theorem in finite fields S98CT8VATN
| URI | m2://inv/S98CT8VATN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roth's theorem on arithmetic progressions#6VPY, Roth's theorem in finite fields (statement)
History
- 2026-11-02: add by m2/dev
S98CYT89B2 S98CYT89B2
| URI | m2://inv/S98CYT89B2 |
|---|---|
| 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#EI9P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thought experiment S98E693V72
| URI | m2://inv/S98E693V72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thought experiment, Thought experiment (definition). Also Wikidata Q147027
History
- 2026-11-02: add by m2/dev
carrying capacity S98EE5DXP1
| URI | m2://inv/S98EE5DXP1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.6.3/carrying-capacity, carrying capacity (concept). In 907G4C4EJ1, index, section 7.6.3
History
- 2026-11-01: add by m2/v0.6.13
Examples S98NSZSV0Z
| URI | m2://inv/S98NSZSV0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt group#5FLB, Examples (example)
History
- 2026-11-02: add by m2/dev
Hirzebruch surface S990XVJ9CP
| URI | m2://inv/S990XVJ9CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#55VQ, Hirzebruch surface (definition)
History
- 2026-11-02: add by m2/dev
S993YJP5GD S993YJP5GD
| URI | m2://inv/S993YJP5GD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.10930#XZUP (statement). In HX63A1PH1W/e1, proposition 6.45
History
- 2026-10-28: add by m2/v0.4.3
S997NV8PAB S997NV8PAB
| URI | m2://inv/S997NV8PAB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-120 (exercise). In E9HS8K3A52, exercise, section 4.9.1
History
- 2026-11-01: add by m2/v0.6.13
Definition S998E7K7MG
| URI | m2://inv/S998E7K7MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturmian word#NDSC, Definition (definition)
History
- 2026-11-02: add by m2/dev
S99APFVMC9 S99APFVMC9
| URI | m2://inv/S99APFVMC9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22205#8R09 (problem). In 7REABAAQED/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
fractional independence number S99FAGGMK3
| URI | m2://inv/S99FAGGMK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130471748, fractional independence number (unknown). Also MathWorld FractionalIndependenceNumber
History
- 2026-10-26: add by m2/dev
S99XRRX5ZD S99XRRX5ZD
| URI | m2://inv/S99XRRX5ZD |
|---|---|
| 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.04046#TI7T (statement). In 3THDT8WNF7/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Insertion criterion S99YE61CDA
| URI | m2://inv/S99YE61CDA |
|---|---|
| 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.15421#5UZ8, Insertion criterion (statement). In 3RBKH0DA74/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
S9A7AN1R7R S9A7AN1R7R
| URI | m2://inv/S9A7AN1R7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#TF5T (statement). In G7R61RPWE2/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
S9A8AQMBDF S9A8AQMBDF
| URI | m2://inv/S9A8AQMBDF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#example-9 (example). In RZP28ERRZV, example, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
S9ACF9T76N S9ACF9T76N
| URI | m2://inv/S9ACF9T76N |
|---|---|
| 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 2609.23682#H0Q2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Commutator estimate S9ADDP9WKY
| URI | m2://inv/S9ADDP9WKY |
|---|---|
| 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 2106.09062#TOBF, Commutator estimate (statement). In 8HAH8QVKDF/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.6
Log-logistic distribution S9AH8J9P93
| URI | m2://inv/S9AH8J9P93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GFXM, Log-logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
S9AHCY3H3C S9AHCY3H3C
| URI | m2://inv/S9AHCY3H3C |
|---|---|
| Kind | statement |
| 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.13953#4U5F (statement). In D8258MF12E/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Modality S9ASE9ZBJ3
| URI | m2://inv/S9ASE9ZBJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modality (semantics), Modality (definition). Also Wikidata Q1243600
History
- 2026-11-02: add by m2/dev
S9ATNGE65F S9ATNGE65F
| URI | m2://inv/S9ATNGE65F |
|---|---|
| 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.23350#F6IW (statement)
History
- 2026-11-02: add by m2/v0.6.17
topological space S9B1G2DKJR
| URI | m2://inv/S9B1G2DKJR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Topological space 0CQHFPGJ45 |
Mentions
- wikidata: Wikidata Q179899, topological space (concept). Also MathWorld TopologicalSpace, nLab topological space, ProofWiki Definition:Topological_Space
- wikipedia: Wikipedia Topological space, Topological space (definition). Also Wikidata Q179899
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Endpoint-coordinate representation S9B2JF00JK
| URI | m2://inv/S9B2JF00JK |
|---|---|
| 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 2610.10077#SBQC, Endpoint-coordinate representation (statement). In YA7H9PY3R1/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Siegmund, David S9B9XMGJD9
| URI | m2://inv/S9B9XMGJD9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5OE4, Siegmund, David (topic)
History
- 2026-11-02: add by m2/dev
S9BCM7PXRQ S9BCM7PXRQ
| URI | m2://inv/S9BCM7PXRQ |
|---|---|
| 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.06440#OJHG (statement). In 5YB65RB13X/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Truncated 2E-RCUSUM: $\Psi_{\text{T2RC}} (A, a_X, a_Y, \allowbreak N_0, N_X, N_Y, \mu) = \Psi_{\text{T2RC}}$ S9BJADWZ7N
| URI | m2://inv/S9BJADWZ7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.16055#RQQF, Truncated 2E-RCUSUM: $\Psi_{\text{T2RC}} (A, a_X, a_Y, \allowbreak N_0, N_X, N_Y, \mu) = \Psi_{\text{T2RC}}$ (definition). In 389BW42CTK/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Vafa–Witten theorem S9BRAPA4JF
| URI | m2://inv/S9BRAPA4JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KBY3, Vafa–Witten theorem (statement)
History
- 2026-11-02: add by m2/dev
Sharper hierarchy theorems S9BTNP9VRN
| URI | m2://inv/S9BTNP9VRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time hierarchy theorem#TJB8, Sharper hierarchy theorems (statement)
History
- 2026-11-02: add by m2/dev
S9BWB0RSR1 S9BWB0RSR1
| URI | m2://inv/S9BWB0RSR1 |
|---|---|
| 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.09019#RSCB (statement). In 8V6YECFCC1/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
List of numeral systems S9BZS88WWF
| URI | m2://inv/S9BZS88WWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral systems, List of numeral systems (topic). Also Wikidata Q3634986
History
- 2026-11-02: add by m2/dev
S9C1F5N679 S9C1F5N679
| URI | m2://inv/S9C1F5N679 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#example-2 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
Examples S9C7PTYN28
| URI | m2://inv/S9C7PTYN28 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open and closed maps#1YV6, Examples (example)
History
- 2026-11-02: add by m2/dev
S9CBX9DH2E S9CBX9DH2E
| URI | m2://inv/S9CBX9DH2E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#KQ0W (example)
History
- 2026-11-01: add by m2/v0.6.15
Conditional covariance fluctuations S9CKF3ZE9S
| URI | m2://inv/S9CKF3ZE9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.06308#RL3Z, Conditional covariance fluctuations (statement). In HTWSDDAWGS/e1, lemma D.6
History
- 2026-10-29: add by m2/v0.4.10
S9CKTCRGJJ S9CKTCRGJJ
| URI | m2://inv/S9CKTCRGJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.15344#0L3Z (statement). In B9EX6K51RD/e1, proposition 2.10
History
- 2026-10-28: add by m2/v0.4.2
Virtual reduction S9CKZSRS3H
| URI | m2://inv/S9CKZSRS3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#K35S, Virtual reduction (statement). In RWNP4FEE65/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.3
John Arndt Eiesland S9CP6TQY3X
| URI | m2://inv/S9CP6TQY3X |
|---|---|
| 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#PO1O, John Arndt Eiesland (topic)
History
- 2026-11-02: add by m2/dev
Adaptive identification complexity (AIC S9D2KB2YDT
| URI | m2://inv/S9D2KB2YDT |
|---|---|
| Kind | definition |
| 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.27241#EYOD, Adaptive identification complexity (AIC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Leopoldo Penna Franca S9DBTM71SM
| URI | m2://inv/S9DBTM71SM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leopoldo Penna Franca, Leopoldo Penna Franca (topic). Also Wikidata Q195741
History
- 2026-11-02: add by m2/dev
S9DS3NPBW5 S9DS3NPBW5
| URI | m2://inv/S9DS3NPBW5 |
|---|---|
| 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.13715#7JR2 (statement). In FAVGZDVJS9/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Pierre Conner S9DXCN9R2J
| URI | m2://inv/S9DXCN9R2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4BTB, Pierre Conner (topic)
History
- 2026-11-02: add by m2/dev
S9E78YCF8W S9E78YCF8W
| URI | m2://inv/S9E78YCF8W |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23694#SNB0 (problem)
History
- 2026-11-02: add by m2/v0.6.17
Oesterl\'e 1984 S9E9VXV1KC
| URI | m2://inv/S9E9VXV1KC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27751#AFNC, Oesterl\'e 1984 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Social value orientations S9EDYA5FX0
| URI | m2://inv/S9EDYA5FX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social value orientations, Social value orientations (definition). Also Wikidata Q7551439
History
- 2026-11-02: add by m2/dev
S9EEK6M202 S9EEK6M202
| URI | m2://inv/S9EEK6M202 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 50.9
History
- 2026-11-01: add by m2/v0.6.13
Definition S9EM43VKV8
| URI | m2://inv/S9EM43VKV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Bessel series#Z2PQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fourier number for mass transfer S9EVNNN1JW
| URI | m2://inv/S9EVNNN1JW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier number#N1ED, Fourier number for mass transfer (unknown)
History
- 2026-11-02: add by m2/dev
S9EVZTT81N S9EVZTT81N
| URI | m2://inv/S9EVZTT81N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#W83H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition S9F555SQ9P
| URI | m2://inv/S9F555SQ9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nisnevich topology#7JGN, Definition (definition)
History
- 2026-11-02: add by m2/dev
S9F5928E63 S9F5928E63
| URI | m2://inv/S9F5928E63 |
|---|---|
| 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 2403.15255#OGNK (example). In G691MXMYW0/e1, example 2.1
History
- 2026-10-27: add by m2/v0.4.0
S9F7NWCNSR S9F7NWCNSR
| URI | m2://inv/S9F7NWCNSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25167#5B0U (statement)
History
- 2026-11-01: add by m2/v0.6.15
690 (number) S9F9MHTZ39
| URI | m2://inv/S9F9MHTZ39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#BJJW, 690 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Bureau of National Statistics of the Republic of Kazakhstan S9FGJ601DG
| URI | m2://inv/S9FGJ601DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bureau of National Statistics of the Republic of Kazakhstan, Bureau of National Statistics of the Republic of Kazakhstan (definition). Also Wikidata Q392881
History
- 2026-11-02: add by m2/dev
S9FJ1C2Y20 S9FJ1C2Y20
| URI | m2://inv/S9FJ1C2Y20 |
|---|---|
| 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.39726#1HMF (statement). In 4CTC8A57SD/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
Differential S9FQ701XAE
| URI | m2://inv/S9FQ701XAE |
|---|---|
| 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.17004#JJEV, Differential (definition). In XNJGNMS6H0/e1, definition A.3
History
- 2026-10-28: add by m2/v0.4.2
Past and future distinguishing S9FSY0BM14
| URI | m2://inv/S9FSY0BM14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causality conditions#84AQ, Past and future distinguishing (unknown)
History
- 2026-11-02: add by m2/dev
Poincaré-Lefschetz duality S9FV6GH2QV
| URI | m2://inv/S9FV6GH2QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#XQK6, Poincaré-Lefschetz duality (definition)
History
- 2026-11-02: add by m2/dev
Kinetic PreProcessor S9FYX39C9T
| URI | m2://inv/S9FYX39C9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#YR8S, Kinetic PreProcessor (unknown)
History
- 2026-11-02: add by m2/dev
Coifman--McIntosh--Meyer S9G5M25R1F
| URI | m2://inv/S9G5M25R1F |
|---|---|
| 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.20489#3NTP, Coifman--McIntosh--Meyer (statement). In BJ8JJZ0ZWT/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.2
Sine and cosine transforms S9G62ZPGE1
| URI | m2://inv/S9G62ZPGE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#Z75L, Sine and cosine transforms (definition)
History
- 2026-11-02: add by m2/dev
Definition S9G7NJNR4M
| URI | m2://inv/S9G7NJNR4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon transform#IMDJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fundamental --- \textsc{N-$\beta$-Ze S9G7YVM31P
| URI | m2://inv/S9G7YVM31P |
|---|---|
| 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.21131#0D9U, Fundamental --- \textsc{N-$\beta$-Ze (statement). In CPYWHRTPKC/e1, lemma 6.67
History
- 2026-10-27: add by m2/v0.4.2
\S 1.A.a S9GE535AXS
| URI | m2://inv/S9GE535AXS |
|---|---|
| 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.15831#V7ER, \S 1.A.a (statement). In CVESAPNMCQ/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Principle of operation S9GFRKPJ65
| URI | m2://inv/S9GFRKPJ65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical fiber#80AE, Principle of operation (statement)
History
- 2026-11-02: add by m2/dev
S9GM0B5EWK S9GM0B5EWK
| URI | m2://inv/S9GM0B5EWK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#5GU2 (example)
History
- 2026-11-01: add by m2/v0.6.15
Log-concave Holant polytube S9GN6QDB30
| URI | m2://inv/S9GN6QDB30 |
|---|---|
| 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.12456#3D6P, Log-concave Holant polytube (statement). In 5XPM4E03W6/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
S9GQK9KV8A S9GQK9KV8A
| URI | m2://inv/S9GQK9KV8A |
|---|---|
| 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.27823#K7V6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Automatic semigroup S9GSBZ2Q3M
| URI | m2://inv/S9GSBZ2Q3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic semigroup, Automatic semigroup (definition). Also Wikidata Q4826597
History
- 2026-11-02: add by m2/dev
Nataša Jonoska S9GWMQBGBB
| URI | m2://inv/S9GWMQBGBB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JPJX, Nataša Jonoska (topic)
History
- 2026-11-02: add by m2/dev
S9H1GC4H1R S9H1GC4H1R
| URI | m2://inv/S9H1GC4H1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:orth-fact (statement). In N54F33XE07, thm, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
$q$ Distributes over Composition S9H32TNJJY
| URI | m2://inv/S9H32TNJJY |
|---|---|
| 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.21131#AMXN, $q$ Distributes over Composition (statement). In CPYWHRTPKC/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
Dirichlet--Neumann bracketing S9HFQV8PVB
| URI | m2://inv/S9HFQV8PVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24892#DW0T, Dirichlet--Neumann bracketing (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition S9HJXP13GR
| URI | m2://inv/S9HJXP13GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (linear algebra)#K9A7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Spidron S9HK23881D
| URI | m2://inv/S9HK23881D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spidron, Spidron (definition). Also Wikidata Q473399
History
- 2026-11-02: add by m2/dev
Equivariant L-function S9HNXKKCM2
| URI | m2://inv/S9HNXKKCM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant L-function, Equivariant L-function (definition). Also Wikidata Q5384737
History
- 2026-11-02: add by m2/dev
S9HP82SDPC S9HP82SDPC
| URI | m2://inv/S9HP82SDPC |
|---|---|
| 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 2610.04498#EE4L (statement). In HHF08X70P6/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
Julius Wolff S9HPRJPAP4
| URI | m2://inv/S9HPRJPAP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SUQY, Julius Wolff (topic)
History
- 2026-11-02: add by m2/dev
Cayley plane S9HY5M79AT
| URI | m2://inv/S9HY5M79AT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Octonionic projective plane S26GYRVDR5 |
Mentions
- wikidata: Wikidata Q16858508, Cayley plane (concept). Also nLab Cayley plane
- wikipedia: Wikipedia Cayley plane, Cayley plane (definition). Also Wikidata Q16858508
History
- 2026-10-26: add by m2/dev
Zero-sum blocks S9HZ3534J8
| URI | m2://inv/S9HZ3534J8 |
|---|---|
| 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.26576#JLSU, Zero-sum blocks (statement)
History
- 2026-11-01: add by m2/v0.6.15
S9J1QWMPKD S9J1QWMPKD
| URI | m2://inv/S9J1QWMPKD |
|---|---|
| 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.21800#01WD (statement). In CMAEC39BKK/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.4.2
S9JACTVKS6 S9JACTVKS6
| URI | m2://inv/S9JACTVKS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#AC8S (statement). In VNE8N0D2FB/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Soliton distribution S9JF65RNB3
| URI | m2://inv/S9JF65RNB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soliton distribution, Soliton distribution (definition). Also Wikidata Q7558271
History
- 2026-11-02: add by m2/dev
Secunet Security Networks S9JM4NGDW7
| URI | m2://inv/S9JM4NGDW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secunet Security Networks, Secunet Security Networks (definition). Also Wikidata Q2264056
History
- 2026-11-02: add by m2/dev
Michela Varagnolo S9JMHC1JJ3
| URI | m2://inv/S9JMHC1JJ3 |
|---|---|
| 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#WY74, Michela Varagnolo (topic)
History
- 2026-11-02: add by m2/dev
S9JR6Q77VR S9JR6Q77VR
| URI | m2://inv/S9JR6Q77VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35398#LRC3 (statement). In NAJCCHYXR6/e1, proposition 3.10
History
- 2026-10-30: add by m2/v0.4.12
Geoffrey Hellman S9JRXSSP6Y
| URI | m2://inv/S9JRXSSP6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey Hellman, Geoffrey Hellman (topic). Also Wikidata Q5534656
History
- 2026-11-02: add by m2/dev
Marketing mix S9JW5RPVHP
| URI | m2://inv/S9JW5RPVHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#3G3H, Marketing mix (unknown)
History
- 2026-11-02: add by m2/dev
S9JWKJW338 S9JWKJW338
| URI | m2://inv/S9JWKJW338 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#8711 (statement). In PBB3PSDP0S/e1, corollary Corollary
History
- 2026-10-29: add by m2/v0.4.10
Transitivity of semantic substitutions S9K055QBBY
| URI | m2://inv/S9K055QBBY |
|---|---|
| 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.21131#D9Q6, Transitivity of semantic substitutions (statement). In CPYWHRTPKC/e1, lemma 6.42
History
- 2026-10-27: add by m2/v0.4.2
S9K7CWRPFX S9K7CWRPFX
| URI | m2://inv/S9K7CWRPFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#1VVF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hashing-bound positioning S9KJ8H1CS9
| URI | m2://inv/S9KJ8H1CS9 |
|---|---|
| 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#H75T, Hashing-bound positioning (statement). In W066HQZQBF/e1, proposition 22
History
- 2026-10-29: add by m2/v0.4.12
S9M2SJ95PG S9M2SJ95PG
| URI | m2://inv/S9M2SJ95PG |
|---|---|
| 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#LMMB (statement). In CA4C9PFM1E/e1, corollary 4.1.3
History
- 2026-10-30: add by m2/v0.4.12
proof by cases S9M4SH2Y57
| URI | m2://inv/S9M4SH2Y57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SK7F, proof by cases (definition)
History
- 2026-11-02: add by m2/dev
Splines S9M6KPZPRJ
| URI | m2://inv/S9M6KPZPRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#QTIY, Splines (definition)
- wikipedia: Wikipedia List of curves#G37E, Splines (definition)
History
- 2026-11-02: add by m2/dev
Examples S9MDBG9RZZ
| URI | m2://inv/S9MDBG9RZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a polynomial#FFDP, Examples (example)
History
- 2026-11-02: add by m2/dev
S9MDQ1F0V9 S9MDQ1F0V9
| URI | m2://inv/S9MDQ1F0V9 |
|---|---|
| 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.07927#Y2VZ (statement). In GKM19DHQTM/e1, lemma 6.36
History
- 2026-10-29: add by m2/v0.4.10
S9MJK37S2M S9MJK37S2M
| URI | m2://inv/S9MJK37S2M |
|---|---|
| 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.22964#NV79 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ipsos S9N4FTRBMR
| URI | m2://inv/S9N4FTRBMR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#6D2F, Ipsos (unknown)
- wikipedia: Wikipedia List of polling organizations#B7SX, Ipsos (unknown)
- wikipedia: Wikipedia List of polling organizations#YW4Q, Ipsos (unknown)
History
- 2026-11-02: add by m2/dev
transcendental function S9N4Z2WPE9
| URI | m2://inv/S9N4Z2WPE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864333, transcendental function (unknown). Also MathWorld TranscendentalFunction
- wikipedia: Wikipedia Transcendental function, Transcendental function (definition). Also Wikidata Q864333
History
- 2026-10-26: add by m2/dev
Hausman specification test S9N6JZ00EK
| URI | m2://inv/S9N6JZ00EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8OY0, Hausman specification test (definition)
History
- 2026-11-02: add by m2/dev
S9N6V7MM96 S9N6V7MM96
| URI | m2://inv/S9N6V7MM96 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#MAUI (definition). In M0SQY5EZN5/e1, definition 2.2.2
History
- 2026-10-27: add by m2/v0.3.5
S9N7498P0V S9N7498P0V
| URI | m2://inv/S9N7498P0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm-1 (statement). In N54F33XE07, thm, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
I. J. Good S9NAVJC8XB
| URI | m2://inv/S9NAVJC8XB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I. J. Good, I. J. Good (topic). Also Wikidata Q224372
History
- 2026-11-02: add by m2/dev
AStA Wirtschafts- und Sozialstatistisches Archiv S9NE150ZZ6
| URI | m2://inv/S9NE150ZZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#51BB, AStA Wirtschafts- und Sozialstatistisches Archiv (unknown)
History
- 2026-11-02: add by m2/dev
S9NHDX0AAK S9NHDX0AAK
| URI | m2://inv/S9NHDX0AAK |
|---|---|
| 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.27044#2J4Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Prasad V. Tetali S9NJXJ7DAB
| URI | m2://inv/S9NJXJ7DAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8DDD, Prasad V. Tetali (topic)
History
- 2026-11-02: add by m2/dev
List of things named after André Weil S9NPQMZJ55
| URI | m2://inv/S9NPQMZJ55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#97OY, List of things named after André Weil (topic)
History
- 2026-11-02: add by m2/dev
Uses S9NYP0EGNQ
| URI | m2://inv/S9NYP0EGNQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-reference#KGCZ, Uses (example)
History
- 2026-11-02: add by m2/dev
S9P0CZX3F4 S9P0CZX3F4
| URI | m2://inv/S9P0CZX3F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#S9ZP (statement). In G1RP4JY5PE/e1, theorem 6.2.1
History
- 2026-10-31: add by m2/v0.5.6
hash map S9P1XTGVJ0
| URI | m2://inv/S9P1XTGVJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Maps > hash map, hash map (unknown). Also Mathlib Std.HashMap
History
- 2026-10-26: add by m2/dev
James Mirrlees S9PCNGC591
| URI | m2://inv/S9PCNGC591 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MFSW, James Mirrlees (unknown)
History
- 2026-11-02: add by m2/dev
André Petermann S9PEYJXDGH
| URI | m2://inv/S9PEYJXDGH |
|---|---|
| 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 Q18132175, André Petermann (unknown). Also nLab André Petermann
History
- 2026-10-26: add by m2/dev
S9PF8T4PX5 S9PF8T4PX5
| URI | m2://inv/S9PF8T4PX5 |
|---|---|
| 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#MDOL (statement). In 6WJ0R9YEBR/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Compound interest S9PSJ5B37D
| URI | m2://inv/S9PSJ5B37D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#ZXRQ, Compound interest (definition)
History
- 2026-11-02: add by m2/dev
One contraction retaining large corank S9PT4GZTYF
| URI | m2://inv/S9PT4GZTYF |
|---|---|
| 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#YUKU, One contraction retaining large corank (statement). In XDTM624YPE/e1, lemma 8.4
History
- 2026-10-27: add by m2/v0.4.2
Jerome H. Friedman S9PT7MS3E9
| URI | m2://inv/S9PT7MS3E9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerome H. Friedman, Jerome H. Friedman (topic). Also Wikidata Q15429378
History
- 2026-11-02: add by m2/dev
S9Q2N3TGMQ S9Q2N3TGMQ
| URI | m2://inv/S9Q2N3TGMQ |
|---|---|
| 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 2309.08900#K8ID (statement). In 8X74NB6XBC/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.4.0
Flux S9Q2R4JC53
| URI | m2://inv/S9Q2R4JC53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flux, Flux (definition). Also Wikidata Q6485344
History
- 2026-11-02: add by m2/dev
KIVA S9Q7G239KN
| URI | m2://inv/S9Q7G239KN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#0JSW, KIVA (unknown)
History
- 2026-11-02: add by m2/dev
Karl Hessenberg S9Q8NDNBMP
| URI | m2://inv/S9Q8NDNBMP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Hessenberg, Karl Hessenberg (topic). Also Wikidata Q72996
History
- 2026-11-02: add by m2/dev
Radix character S9QB9RW031
| URI | m2://inv/S9QB9RW031 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decimal separator#JR0O, Radix character (unknown)
History
- 2026-11-02: add by m2/dev
Kramers–Kronig relations S9QMT5WPHN
| URI | m2://inv/S9QMT5WPHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramers–Kronig relations, Kramers–Kronig relations (definition). Also Wikidata Q1424764
History
- 2026-11-02: add by m2/dev
Limit of inquiry S9QNRM6815
| URI | m2://inv/S9QNRM6815 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inquiry#4GWY, Limit of inquiry (unknown)
History
- 2026-11-02: add by m2/dev
Enough injectives S9R4ENJ0HP
| URI | m2://inv/S9R4ENJ0HP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective object#4FPM, Enough injectives (unknown)
History
- 2026-11-02: add by m2/dev
S9R698WHG8 S9R698WHG8
| URI | m2://inv/S9R698WHG8 |
|---|---|
| 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.09162#4XZW (statement). In TAPS8P2VYS/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Generalizations S9R6FBBT1J
| URI | m2://inv/S9R6FBBT1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant-recursive sequence#25WR, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
S9R9S3R3AC S9R9S3R3AC
| URI | m2://inv/S9R9S3R3AC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aanderaa–Karp–Rosenberg conjecture#RXKH (problem)
History
- 2026-11-02: add by m2/dev
A Puiseux solution of the transport equation S9RACPQ7H2
| URI | m2://inv/S9RACPQ7H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14044#QFFT, A Puiseux solution of the transport equation (statement). In 5452SJRWDT/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
S9RC7H7ZX0 S9RC7H7ZX0
| URI | m2://inv/S9RC7H7ZX0 |
|---|---|
| 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.05784#UDRJ (statement). In 6NVP3YRWVA/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Supermodule S9RJKQJF71
| URI | m2://inv/S9RJKQJF71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermodule, Supermodule (definition). Also Wikidata Q7643987
History
- 2026-11-02: add by m2/dev
Banach algebra S9RNDVM3Y0
| URI | m2://inv/S9RNDVM3Y0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Banach algebra 9KYWN94QDN |
Mentions
- wikidata: Wikidata Q806066, Banach algebra (concept). Also MathWorld BanachAlgebra, nLab Banach algebra, ProofWiki Definition:Banach_Algebra
- wikipedia: Wikipedia Banach algebra, Banach algebra (definition). Also Wikidata Q806066
History
- 2026-10-26: add by m2/dev
S9RNWK1FTC S9RNWK1FTC
| URI | m2://inv/S9RNWK1FTC |
|---|---|
| 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.37704#16BE (statement). In HGTFJ325A4/e1, corollary 9.2
History
- 2026-10-30: add by m2/v0.4.12
Anita Burdman Feferman S9RPMFZ08P
| URI | m2://inv/S9RPMFZ08P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#11P8, Anita Burdman Feferman (topic)
History
- 2026-11-02: add by m2/dev
Weierstrass zeta function S9RWJRA72V
| URI | m2://inv/S9RWJRA72V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass sigma, zeta, and eta functions#9OXV, Weierstrass zeta function (unknown)
History
- 2026-11-02: add by m2/dev
S9S4MBFA65 S9S4MBFA65
| URI | m2://inv/S9S4MBFA65 |
|---|---|
| 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.21298#GZK3 (statement). In AXWM2MBYXV/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
S9SA7FWASM S9SA7FWASM
| URI | m2://inv/S9SA7FWASM |
|---|---|
| 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.26477#Q5W0 (statement)
- arxiv: arXiv 2609.26500#568R (statement)
History
- 2026-11-01: add by m2/v0.6.15
S9SECZD1FK S9SECZD1FK
| URI | m2://inv/S9SECZD1FK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23685#SU5R (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples S9SS9CVMZG
| URI | m2://inv/S9SS9CVMZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quot scheme#Y89J, Examples (example)
History
- 2026-11-02: add by m2/dev
S9TDWS3X61 S9TDWS3X61
| URI | m2://inv/S9TDWS3X61 |
|---|---|
| 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 2609.28076#59MN (statement)
History
- 2026-11-01: add by m2/v0.6.15
S9TDYQ844J S9TDYQ844J
| URI | m2://inv/S9TDYQ844J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#FBDD (statement). In 7V2PVZS04C/e1, corollary 6.19
History
- 2026-10-31: add by m2/v0.5.6
S9V80CW4KN S9V80CW4KN
| URI | m2://inv/S9V80CW4KN |
|---|---|
| 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.18324#6RCO (statement). In C0EG2EY0M4/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
S9VAWE7V2F S9VAWE7V2F
| URI | m2://inv/S9VAWE7V2F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-2 (example). In E9HS8K3A52, example, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Formal definition S9VCBYD0R2
| URI | m2://inv/S9VCBYD0R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linkage disequilibrium#O8FW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
All-marginal adapted stability S9VCVJEBR0
| URI | m2://inv/S9VCVJEBR0 |
|---|---|
| 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.38228#JYZ7, All-marginal adapted stability (statement). In 9YAE8FNQST/e1, theorem 1.10
History
- 2026-10-30: add by m2/v0.4.12
Pearson's chi-squared test S9VF9CQRC1
| URI | m2://inv/S9VF9CQRC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pearson's chi-squared test, Pearson's chi-squared test (definition). Also Wikidata Q2336256
History
- 2026-11-02: add by m2/dev
Raoult's law S9VJ3Q4D17
| URI | m2://inv/S9VJ3Q4D17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raoult's law, Raoult's law (statement). Also Wikidata Q241687
History
- 2026-11-02: add by m2/dev
S9VSWR8TMG S9VSWR8TMG
| URI | m2://inv/S9VSWR8TMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#example-1 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
Inverse distance weighting S9WAXCJFPS
| URI | m2://inv/S9WAXCJFPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse distance weighting, Inverse distance weighting (definition). Also Wikidata Q1430701
History
- 2026-11-02: add by m2/dev
empiricism S9WFMPTX43
| URI | m2://inv/S9WFMPTX43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83368, empiricism (unknown). Also nLab empiricism
History
- 2026-10-26: add by m2/dev
augmentation ideal S9WGB2Q8CM
| URI | m2://inv/S9WGB2Q8CM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4820423, augmentation ideal (unknown). Also nLab augmentation ideal
- wikipedia: Wikipedia Augmentation ideal, Augmentation ideal (definition). Also Wikidata Q4820423
History
- 2026-10-26: add by m2/dev
S9WH9B638Y S9WH9B638Y
| URI | m2://inv/S9WH9B638Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13475#MIML (statement). In P5SQ4CMX42/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Spheroidal wave equation S9WHMVGPHW
| URI | m2://inv/S9WHMVGPHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spheroidal wave equation, Spheroidal wave equation (definition). Also Wikidata Q7576727
History
- 2026-11-02: add by m2/dev
Roster notation S9WK167V23
| URI | m2://inv/S9WK167V23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set (mathematics)#8EMB, Roster notation (unknown)
History
- 2026-11-02: add by m2/dev
Cycloid of Ceva S9WMJH2GWM
| URI | m2://inv/S9WMJH2GWM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tommaso Ceva#PDE7, Cycloid of Ceva (unknown)
History
- 2026-11-02: add by m2/dev
Reciprocal/harmonic-mean aggregation under positive Clayton S9WMWKGJ88
| URI | m2://inv/S9WMWKGJ88 |
|---|---|
| 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.29658#DIFU, Reciprocal/harmonic-mean aggregation under positive Clayton (statement)
History
- 2026-11-01: add by m2/v0.6.15
Target and full-state risk S9WPBD3GFY
| URI | m2://inv/S9WPBD3GFY |
|---|---|
| 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.37247#259H, Target and full-state risk (statement). In HMA5T6VHCN/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
S9WT19HD1M S9WT19HD1M
| URI | m2://inv/S9WT19HD1M |
|---|---|
| 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 2507.05923#FQ2X (statement). In ZFKZ6YDT62/e1, lemma 16
History
- 2026-10-27: add by m2/v0.4.0
The Plancherel theorem and Parseval's theorem S9X2022CXT
| URI | m2://inv/S9X2022CXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hankel transform#74SM, The Plancherel theorem and Parseval's theorem (statement)
History
- 2026-11-02: add by m2/dev
S9X6B8X117 S9X6B8X117
| URI | m2://inv/S9X6B8X117 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#6RCA (statement). In 6M5WR7KB80/e1, corollary A.1
History
- 2026-10-28: add by m2/v0.4.3
S9XAQW0F05 S9XAQW0F05
| URI | m2://inv/S9XAQW0F05 |
|---|---|
| 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.00525#ZZIT (statement). In JN34PDDXH8/e1, lemma 2.12
History
- 2026-10-30: add by m2/v0.4.12
S9XBMDXSMB S9XBMDXSMB
| URI | m2://inv/S9XBMDXSMB |
|---|---|
| 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 2609.22759#XRGG (definition)
History
- 2026-11-02: add by m2/v0.6.17
S9XGV7SZJ4 S9XGV7SZJ4
| URI | m2://inv/S9XGV7SZJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#MJDN (statement). In GXHKRV5BPY/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Laplacian vector field S9XHTKME2N
| URI | m2://inv/S9XHTKME2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#0UBO, Laplacian vector field (definition)
History
- 2026-11-02: add by m2/dev
S9XP7TM3HW S9XP7TM3HW
| URI | m2://inv/S9XP7TM3HW |
|---|---|
| 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 2406.06762#YI05 (definition). In J99PFFJXPE/e1, definition 4.10
History
- 2026-10-27: add by m2/v0.3.6
David Gabai S9XQJZ5PEJ
| URI | m2://inv/S9XQJZ5PEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AJIB, David Gabai (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8S66, David Gabai (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ICUG, David Gabai (topic)
History
- 2026-11-02: add by m2/dev
tomato can principle S9Y1A7QXRE
| URI | m2://inv/S9Y1A7QXRE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.3/tomato-can-principle, tomato can principle (concept). In VNMV985MXX, index, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
S9Y8CK9DCX S9Y8CK9DCX
| URI | m2://inv/S9Y8CK9DCX |
|---|---|
| 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#VF1A (statement). In ZRG6NY1ECH/e1, lemma 32
History
- 2026-10-30: add by m2/v0.4.12
Tara S. Holm S9YBYSSP2S
| URI | m2://inv/S9YBYSSP2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tara S. Holm, Tara S. Holm (topic). Also Wikidata Q18978089
History
- 2026-11-02: add by m2/dev
Organizing principles S9YK7H37RQ
| URI | m2://inv/S9YK7H37RQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List#AU8P, Organizing principles (statement)
History
- 2026-11-02: add by m2/dev
Baer subplane S9YKN3QE6X
| URI | m2://inv/S9YKN3QE6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective plane#GDLZ, Baer subplane (unknown)
History
- 2026-11-02: add by m2/dev
S9YZ6TESP0 S9YZ6TESP0
| URI | m2://inv/S9YZ6TESP0 |
|---|---|
| Kind | definition |
| 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#MU3J (definition). In 87QYNZZ67Z/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
S9YZF23Q27 S9YZF23Q27
| URI | m2://inv/S9YZF23Q27 |
|---|---|
| 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.21358#2XVN (statement). In XV70TXYS5A/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.2
Georgy Adelson-Velsky S9Z0TQTTSQ
| URI | m2://inv/S9Z0TQTTSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZWU4, Georgy Adelson-Velsky (unknown)
History
- 2026-11-02: add by m2/dev
Properties S9Z68KMTFV
| URI | m2://inv/S9Z68KMTFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold's cat map#DOBF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples S9Z755MMEP
| URI | m2://inv/S9Z755MMEP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endomorphism ring#9AUC, Examples (example)
History
- 2026-11-02: add by m2/dev
Attainment at a positive definite cluster point S9ZR7ZKKSK
| URI | m2://inv/S9ZR7ZKKSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#A4F7, Attainment at a positive definite cluster point (statement). In AMRWRJDNKJ/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Marie Johanna Weiss S9ZS71GEK7
| URI | m2://inv/S9ZS71GEK7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Johanna Weiss, Marie Johanna Weiss (topic). Also Wikidata Q86907028
History
- 2026-11-02: add by m2/dev
S9ZVNYN10N S9ZVNYN10N
| URI | m2://inv/S9ZVNYN10N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#3G0P (statement)
History
- 2026-11-01: add by m2/v0.6.15