Inventory rows Q9
The cards of the rows of the inventory whose ids start with Q9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Q90F12ZTZX Q90F12ZTZX
| URI | m2://inv/Q90F12ZTZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.23503#CSOD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Centered Bayes minimizer Q90H2VMY73
| URI | m2://inv/Q90H2VMY73 |
|---|---|
| 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.33472#81M0, Centered Bayes minimizer (statement). In WBQQBZ4FCJ/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Q90H79WYM0 Q90H79WYM0
| URI | m2://inv/Q90H79WYM0 |
|---|---|
| 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.10233#URB3 (statement). In QR9WE79ERQ/e1, theorem 1.14
History
- 2026-10-29: add by m2/v0.4.10
Prime-supported periods Q90S6TA2S0
| URI | m2://inv/Q90S6TA2S0 |
|---|---|
| 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#RSXY, Prime-supported periods (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaussian error transfer Q90SGGSFT7
| URI | m2://inv/Q90SGGSFT7 |
|---|---|
| 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.11309#OJ5U, Gaussian error transfer (statement). In TTEAQA1XXR/e1, lemma F.1
History
- 2026-10-28: add by m2/v0.4.3
Q910EQHBMW Q910EQHBMW
| URI | m2://inv/Q910EQHBMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16461#ZB56 (statement). In XPT71YR4V7/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
pointwise operation Q910Y68YFQ
| URI | m2://inv/Q910Y68YFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9248237, pointwise operation (unknown). Also EoM Pointwise_operation
History
- 2026-10-26: add by m2/dev
Q91366805Q Q91366805Q
| URI | m2://inv/Q91366805Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#E1HW (statement). In PG0B4PH9YH/e1, fact 2.13
History
- 2026-10-27: add by m2/v0.4.2
Applications Q91735PV36
| URI | m2://inv/Q91735PV36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced ternary#MZI4, Applications (example)
History
- 2026-11-02: add by m2/dev
Q91FBX1YTF Q91FBX1YTF
| URI | m2://inv/Q91FBX1YTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#BKJI (statement). In ESDKTYDHC8/e1, corollary 21
History
- 2026-10-29: add by m2/v0.4.12
Properties Q91GK522F6
| URI | m2://inv/Q91GK522F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of rings#F105, Properties (statement)
History
- 2026-11-02: add by m2/dev
Triclinic crystal system Q91GKVPNTX
| URI | m2://inv/Q91GKVPNTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triclinic crystal system, Triclinic crystal system (definition). Also Wikidata Q376927
History
- 2026-11-02: add by m2/dev
Jonathan Borwein Q91JG8AYNE
| URI | m2://inv/Q91JG8AYNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#C1QH, Jonathan Borwein (topic)
History
- 2026-11-02: add by m2/dev
Superfluidity of BEC and Landau criterion Q91VS207JA
| URI | m2://inv/Q91VS207JA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bose–Einstein condensate#8HWH, Superfluidity of BEC and Landau criterion (statement)
History
- 2026-11-02: add by m2/dev
algebra Q925371FSE
| URI | m2://inv/Q925371FSE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3968, algebra (topic). Also ProofWiki Definition:Algebra_(Mathematical_Branch)
- wikipedia: Wikipedia Algebra, Algebra (topic). Also Wikidata Q3968
History
- 2026-10-26: add by m2/dev
Properties Q9254DXRPA
| URI | m2://inv/Q9254DXRPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer rank#7XCW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Q929TAHWNJ Q929TAHWNJ
| URI | m2://inv/Q929TAHWNJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Q92CH7THPV Q92CH7THPV
| URI | m2://inv/Q92CH7THPV |
|---|---|
| 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 2406.19866#ZA5I (definition). In 9F94CEQ1ZM/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.3.5
The Ping-pong lemma for infinite cyclic subgroups Q92JN3J54J
| URI | m2://inv/Q92JN3J54J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ping-pong lemma#FMBI, The Ping-pong lemma for infinite cyclic subgroups (statement)
History
- 2026-11-02: add by m2/dev
Q92S4PDDCE Q92S4PDDCE
| URI | m2://inv/Q92S4PDDCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.04164#GE0E (statement). In KR7WXN4EWR/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Q92T953350 Q92T953350
| URI | m2://inv/Q92T953350 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:msconvifa (statement). In E59CDZA4DP, prop, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
quantum chaos Q92T9HV709
| URI | m2://inv/Q92T9HV709 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81Q50 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1502341, quantum chaos (topic). Also MathWorld DevilsStaircase, MathWorld QuantumChaos
- wikipedia: Wikipedia Quantum chaos, Quantum chaos (topic). Also Wikidata Q1502341
History
- 2026-10-26: add by m2/dev
Channel coding theorem for non-stationary memoryless channels Q93ATDERSF
| URI | m2://inv/Q93ATDERSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noisy-channel coding theorem#9I3A, Channel coding theorem for non-stationary memoryless channels (statement)
History
- 2026-11-02: add by m2/dev
Hille-Yosida theorem for contraction semigroups Q93BPSMT9W
| URI | m2://inv/Q93BPSMT9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hille–Yosida theorem#BOHX, Hille-Yosida theorem for contraction semigroups (statement)
History
- 2026-11-02: add by m2/dev
choosable Q93HWPRWDV
| URI | m2://inv/Q93HWPRWDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#MM2M, choosable (definition)
History
- 2026-11-02: add by m2/dev
Relevant theorems Q93K9AQFDV
| URI | m2://inv/Q93K9AQFDV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metzler matrix#NTL2, Relevant theorems (statement)
History
- 2026-11-02: add by m2/dev
Hamiltonian path problem Q93NHWJDRB
| URI | m2://inv/Q93NHWJDRB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#F3EG, Hamiltonian path problem (problem)
History
- 2026-11-02: add by m2/dev
Q93Z52ZRW7 Q93Z52ZRW7
| URI | m2://inv/Q93Z52ZRW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#PRLY (statement). In 5E9G06XJKC/e1, lemma F.43
History
- 2026-10-28: add by m2/v0.4.2
Tal Rabin Q945XZGX9H
| URI | m2://inv/Q945XZGX9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q7GW, Tal Rabin (unknown)
History
- 2026-11-02: add by m2/dev
functional derivative Q94M2C31ES
| URI | m2://inv/Q94M2C31ES |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2621220, functional derivative (concept). Also MathWorld FunctionalDerivative, nLab functional derivative
- wikipedia: Wikipedia Functional derivative, Functional derivative (definition). Also Wikidata Q2621220
History
- 2026-10-26: add by m2/dev
Regular algebra Q94MSTP6XH
| URI | m2://inv/Q94MSTP6XH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene algebra#AT21, Regular algebra (unknown)
History
- 2026-11-02: add by m2/dev
Q94N4FYBEG Q94N4FYBEG
| URI | m2://inv/Q94N4FYBEG |
|---|---|
| Kind | example |
| 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.00584#SXOE (example). In 3CRSR95BNA/e1, example 4.7
History
- 2026-10-30: add by m2/v0.4.12
Generalizations Q94NWZMR1G
| URI | m2://inv/Q94NWZMR1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas sequence#LBLQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Q94Q2KK9NQ Q94Q2KK9NQ
| URI | m2://inv/Q94Q2KK9NQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#prob:complex_conj_space (exercise). In RZP28ERRZV, problem, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Homotopy coherent nerve Q94WTFX1G3
| URI | m2://inv/Q94WTFX1G3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve (category theory)#UAPP, Homotopy coherent nerve (unknown)
History
- 2026-11-02: add by m2/dev
Elliot, Jane Q94Z8PY4MH
| URI | m2://inv/Q94Z8PY4MH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DJSQ, Elliot, Jane (unknown)
History
- 2026-11-02: add by m2/dev
operations Q9573V90SH
| URI | m2://inv/Q9573V90SH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/4.2.3/operations, operations (concept). In QKM9DD2H56, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Measures of gender equality Q95CZSX2Y0
| URI | m2://inv/Q95CZSX2Y0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measures of gender equality, Measures of gender equality (definition). Also Wikidata Q18211147
History
- 2026-11-02: add by m2/dev
Conditional Bessel comparison Q95D3KMWDS
| URI | m2://inv/Q95D3KMWDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#IZY8, Conditional Bessel comparison (statement). In V13TE1RWT9/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Q95D7KBWJS Q95D7KBWJS
| URI | m2://inv/Q95D7KBWJS |
|---|---|
| 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.21578#LQTW (statement). In 6M96RM3T7N/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Helen B. Thompson Q95FX9DGJW
| URI | m2://inv/Q95FX9DGJW |
|---|---|
| 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#BBAQ, Helen B. Thompson (unknown)
History
- 2026-11-02: add by m2/dev
Q95N4KRQZ7 Q95N4KRQZ7
| URI | m2://inv/Q95N4KRQZ7 |
|---|---|
| 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.07963#E6GK (statement). In HAGJKEZ1CK/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Nested heirarchies Q95N9TASSX
| URI | m2://inv/Q95N9TASSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchy#42QP, Nested heirarchies (unknown)
History
- 2026-11-02: add by m2/dev
Q95W6XGSX4 Q95W6XGSX4
| URI | m2://inv/Q95W6XGSX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#4KIJ (statement). In 4H727T2YAS/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
Q96C1QXRRK Q96C1QXRRK
| URI | m2://inv/Q96C1QXRRK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-9 (proof). In E59CDZA4DP, proof, section 11.2.1
History
- 2026-11-01: add by m2/v0.6.13
Q96CXH8MNN Q96CXH8MNN
| URI | m2://inv/Q96CXH8MNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#D05H (statement). In 9DQKY7KGE8/e1, proposition 4.18
History
- 2026-10-27: add by m2/v0.3.5
Q96DGQ81G5 Q96DGQ81G5
| URI | m2://inv/Q96DGQ81G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#NO6C (statement). In WRE0P7V6Z3/e1, proposition D.26
History
- 2026-10-30: add by m2/v0.4.12
Q96JHR45E6 Q96JHR45E6
| URI | m2://inv/Q96JHR45E6 |
|---|---|
| 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.39505#P56E (statement). In WAXS6FS388/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
Tsallis distribution Q96PXX3JGN
| URI | m2://inv/Q96PXX3JGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SN3E, Tsallis distribution (definition)
History
- 2026-11-02: add by m2/dev
Q96QZP0Y4A Q96QZP0Y4A
| URI | m2://inv/Q96QZP0Y4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#PS5S (statement). In 1NY2SA03XF/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Q96R2Z7RS8 Q96R2Z7RS8
| URI | m2://inv/Q96R2Z7RS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2509.04068#KJ5R (statement). In Y7TVAQE9PF/e1, proposition 3.18
History
- 2026-10-27: add by m2/v0.3.5
Elston–Stewart algorithm Q96Y2AM3VD
| URI | m2://inv/Q96Y2AM3VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FGQ2, Elston–Stewart algorithm (definition)
History
- 2026-11-02: add by m2/dev
class number formula Q970MW7N74
| URI | m2://inv/Q970MW7N74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Class number formula 55XX5A7XZV |
Mentions
- wikidata: Wikidata Q3291120, class number formula (statement). Also nLab class number formula
- wikipedia: Wikipedia Class number formula, Class number formula (statement). Also Wikidata Q3291120
History
- 2026-10-26: add by m2/dev
List of uniform polyhedra Q97530ERKM
| URI | m2://inv/Q97530ERKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra, List of uniform polyhedra (topic). Also Wikidata Q3253325
History
- 2026-11-02: add by m2/dev
resolution of singularities Q975ZYVPBN
| URI | m2://inv/Q975ZYVPBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#B0PI, resolution of singularities (definition)
History
- 2026-11-02: add by m2/dev
Examples Q97B6RYCJX
| URI | m2://inv/Q97B6RYCJX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit (ring theory)#3MMK, Examples (example)
History
- 2026-11-02: add by m2/dev
No gaps near the origin Q97CFMX83K
| URI | m2://inv/Q97CFMX83K |
|---|---|
| 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.06480#AEFY, No gaps near the origin (statement). In 2Y47E704Z9/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Definitions Q97DFJJ9HC
| URI | m2://inv/Q97DFJJ9HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull–Schmidt theorem#87AF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Nicolás Q97EE4BA60
| URI | m2://inv/Q97EE4BA60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#M84U, Nicolás (unknown)
History
- 2026-11-02: add by m2/dev
Joseph Halpern Q97GCCS554
| URI | m2://inv/Q97GCCS554 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L7O6, Joseph Halpern (unknown)
- wikipedia: Wikipedia List of people by Erdős number#VH0V, Joseph Halpern (unknown)
History
- 2026-11-02: add by m2/dev
exponential object Q97ZKCNAKC
| URI | m2://inv/Q97ZKCNAKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Exponential object RHWD8DY41R |
Mentions
- wikidata: Wikidata Q4391173, exponential object (unknown). Also nLab exponential object
- wikipedia: Wikipedia Exponential object, Exponential object (definition). Also Wikidata Q4391173
History
- 2026-10-26: add by m2/dev
Q9812JYXPT Q9812JYXPT
| URI | m2://inv/Q9812JYXPT |
|---|---|
| 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.02798#VWMO (statement). In 446QW3DHTN/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
1 000 000 000 000 000 000 000 000 000 000 000 Q984RE9DNB
| URI | m2://inv/Q984RE9DNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#LZ93, 1 000 000 000 000 000 000 000 000 000 000 000 (unknown)
History
- 2026-11-02: add by m2/dev
locally Noetherian scheme Q985Q636CT
| URI | m2://inv/Q985Q636CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122860624, locally Noetherian scheme (definition). Also ProofWiki Definition:Locally_Noetherian_Scheme
History
- 2026-10-26: add by m2/dev
Paul Deheuvels Q985RSG305
| URI | m2://inv/Q985RSG305 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Deheuvels, Paul Deheuvels (topic). Also Wikidata Q16267376
History
- 2026-11-02: add by m2/dev
Q98HFBE4W5 Q98HFBE4W5
| URI | m2://inv/Q98HFBE4W5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.38735#WRTT (statement). In XZ71J0DQSE/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Type-$A$ rank spectrum Q98X9WB8K8
| URI | m2://inv/Q98X9WB8K8 |
|---|---|
| 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.24541#TZ1J, Type-$A$ rank spectrum (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q996KGGF17 Q996KGGF17
| URI | m2://inv/Q996KGGF17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#NI7V (statement). In 7MV7RGDVXF/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Q996P3SEZ0 Q996P3SEZ0
| URI | m2://inv/Q996P3SEZ0 |
|---|---|
| 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.20401#UGRY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hash function security summary Q997F73HAZ
| URI | m2://inv/Q997F73HAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash function security summary, Hash function security summary (definition). Also Wikidata Q5678853
History
- 2026-11-02: add by m2/dev
Unbiased estimation of standard deviation Q998HEAVVQ
| URI | m2://inv/Q998HEAVVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CQ3F, Unbiased estimation of standard deviation (definition)
History
- 2026-11-02: add by m2/dev
Amos Ori Q99GCY7PPZ
| URI | m2://inv/Q99GCY7PPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#CNVD, Amos Ori (unknown)
History
- 2026-11-02: add by m2/dev
Closed Graph Theorem Q99H8P9ACB
| URI | m2://inv/Q99H8P9ACB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Densely defined operator#IB5P, Closed Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
Delphi method Q99QNNEZBE
| URI | m2://inv/Q99QNNEZBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RY5C, Delphi method (definition)
History
- 2026-11-02: add by m2/dev
Perspective (graphical) Q99TCH5S80
| URI | m2://inv/Q99TCH5S80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#EXOI, Perspective (graphical) (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#QEW2, Perspective (graphical) (definition)
History
- 2026-11-02: add by m2/dev
Club set Q99TKKRNPF
| URI | m2://inv/Q99TKKRNPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Club set, Club set (definition). Also Wikidata Q310647
History
- 2026-11-02: add by m2/dev
Reasons fundamentalism Q99YNG1693
| URI | m2://inv/Q99YNG1693 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. M. Scanlon#1H32, Reasons fundamentalism (unknown)
History
- 2026-11-02: add by m2/dev
Holt, Tim Q99YVY6W8B
| URI | m2://inv/Q99YVY6W8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OMA7, Holt, Tim (unknown)
History
- 2026-11-02: add by m2/dev
Q9A5M3Q11H Q9A5M3Q11H
| URI | m2://inv/Q9A5M3Q11H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#LE74 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Innumeracy Q9A9EB9GNQ
| URI | m2://inv/Q9A9EB9GNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3211589, Innumeracy (unknown). Also ProofWiki Book:John_Allen_Paulos/Innumeracy
- wikipedia: Wikipedia Innumeracy (book), Innumeracy (definition). Also Wikidata Q3211589
History
- 2026-10-26: add by m2/dev
Coordinate removal Q9ABQ85S63
| URI | m2://inv/Q9ABQ85S63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21476#AIK6, Coordinate removal (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jean-François Mestre Q9ADP4K641
| URI | m2://inv/Q9ADP4K641 |
|---|---|
| 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#C7NX, Jean-François Mestre (unknown)
History
- 2026-11-02: add by m2/dev
Q9AMBBGKN0 Q9AMBBGKN0
| URI | m2://inv/Q9AMBBGKN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#5UG0 (statement). In 9F94CEQ1ZM/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.5
McDonald–Kreitman test Q9AMEZN92D
| URI | m2://inv/Q9AMEZN92D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDonald–Kreitman test, McDonald–Kreitman test (definition). Also Wikidata Q6800945
History
- 2026-11-02: add by m2/dev
Gaussian optimal couplings Q9APKCR0V3
| URI | m2://inv/Q9APKCR0V3 |
|---|---|
| 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.01855#BYQQ, Gaussian optimal couplings (statement). In MM8P5CJR18/e1, theorem 5.10
History
- 2026-10-29: add by m2/v0.4.12
Q9ATKFX9AC Q9ATKFX9AC
| URI | m2://inv/Q9ATKFX9AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39455#73O5 (statement). In HW4Y4TMEZ3/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Q9B46CCD81 Q9B46CCD81
| URI | m2://inv/Q9B46CCD81 |
|---|---|
| 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.26769#2VYA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elementary properties Q9B56SBHTC
| URI | m2://inv/Q9B56SBHTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct product of groups#RV0P, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Triamond Q9BCBT556V
| URI | m2://inv/Q9BCBT556V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyiamond#JQH4, Triamond (unknown)
History
- 2026-11-02: add by m2/dev
Metric outer measure Q9BJCJBK53
| URI | m2://inv/Q9BJCJBK53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric outer measure, Metric outer measure (definition). Also Wikidata Q6824326
History
- 2026-11-02: add by m2/dev
Deterministic GC Constraint Q9BX3MD54M
| URI | m2://inv/Q9BX3MD54M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09998#Q80V, Deterministic GC Constraint (definition). In AFMB05H7A6/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
Gert Sabidussi Q9C46VJ6GS
| URI | m2://inv/Q9C46VJ6GS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gert Sabidussi, Gert Sabidussi (topic). Also Wikidata Q5553220
History
- 2026-11-02: add by m2/dev
Q9C5NNZHJP Q9C5NNZHJP
| URI | m2://inv/Q9C5NNZHJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26808#GF1X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Plücker embedding Q9C945NQDY
| URI | m2://inv/Q9C945NQDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2996684, Plücker embedding (unknown). Also MathWorld PlueckerEmbedding, nLab Plücker embedding
- wikipedia: Wikipedia Plücker embedding, Plücker embedding (definition). Also Wikidata Q2996684
History
- 2026-10-26: add by m2/dev
Q9CDB3X063 Q9CDB3X063
| URI | m2://inv/Q9CDB3X063 |
|---|---|
| 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 2008.10035#HU71 (statement). In 29EH04FH4B/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.3.5
Definition Q9CDKWBWM5
| URI | m2://inv/Q9CDKWBWM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subobject classifier#1Y4C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statements Q9CH94106V
| URI | m2://inv/Q9CH94106V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon's source coding theorem#FPAN, Statements (statement)
History
- 2026-11-02: add by m2/dev
David Harel Q9CK13GDCJ
| URI | m2://inv/Q9CK13GDCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DAA2, David Harel (unknown)
History
- 2026-11-02: add by m2/dev
Quantum non-CSS Lee-LDPC code Q9CQM6YBE6
| URI | m2://inv/Q9CQM6YBE6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#K2DT, Quantum non-CSS Lee-LDPC code (definition). In YZNK67K060/e1, definition 7.1
History
- 2026-10-29: add by m2/v0.4.12
Esprit Jouffret Q9CVCJ0R91
| URI | m2://inv/Q9CVCJ0R91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#ITH2, Esprit Jouffret (unknown)
History
- 2026-11-02: add by m2/dev
Dedekind completion Q9CZ7A7JS6
| URI | m2://inv/Q9CZ7A7JS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#ZUXV, Dedekind completion (definition)
History
- 2026-11-02: add by m2/dev
Q9CZY1X575 Q9CZY1X575
| URI | m2://inv/Q9CZY1X575 |
|---|---|
| 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#ODBQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Grothendieck's Séminaire de géométrie algébrique Q9DP3F0PZE
| URI | m2://inv/Q9DP3F0PZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#L0RB, Grothendieck's Séminaire de géométrie algébrique (definition)
History
- 2026-11-02: add by m2/dev
Constructions Q9E47T8A30
| URI | m2://inv/Q9E47T8A30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of diffeomorphism groups#IDLQ, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Generalizations Q9E4YVMJWW
| URI | m2://inv/Q9E4YVMJWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commuting probability#UGNZ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Closed graph theorem Q9E6NMFE7D
| URI | m2://inv/Q9E6NMFE7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional analysis#ZUFO, Closed graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Length extension attack Q9E8PVSVWN
| URI | m2://inv/Q9E8PVSVWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length extension attack, Length extension attack (definition). Also Wikidata Q6522491
History
- 2026-11-02: add by m2/dev
Ralph McKenzie Q9E9H103W3
| URI | m2://inv/Q9E9H103W3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph McKenzie, Ralph McKenzie (topic). Also Wikidata Q1717391
History
- 2026-11-02: add by m2/dev
Q9EFH8592V Q9EFH8592V
| URI | m2://inv/Q9EFH8592V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#IME7 (statement). In HH35K7S17H/e1, lemma 4.18
History
- 2026-10-29: add by m2/v0.4.10
Sketch of Proof Q9EXF61S64
| URI | m2://inv/Q9EXF61S64 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#proof-4, Sketch of Proof (proof). In RZP28ERRZV, proof, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Günther Trautmann Q9EYJ5ZCFV
| URI | m2://inv/Q9EYJ5ZCFV |
|---|---|
| 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 Q15434005, Günther Trautmann (unknown). Also nLab Günther Trautmann
History
- 2026-10-26: add by m2/dev
Formal statement Q9EZ9H473N
| URI | m2://inv/Q9EZ9H473N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silverman–Toeplitz theorem#JHJ1, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Q9EZEFBG9A Q9EZEFBG9A
| URI | m2://inv/Q9EZEFBG9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#D04X (statement). In M4ZVJWM8YA/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Q9F2RJ2VSK Q9F2RJ2VSK
| URI | m2://inv/Q9F2RJ2VSK |
|---|---|
| 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.28306#4U06 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Transport reduction Q9FP8WR079
| URI | m2://inv/Q9FP8WR079 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#P6HA, Transport reduction (statement). In 54NQGN1BWM/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Scaling trichotomy Q9G2MN3H3A
| URI | m2://inv/Q9G2MN3H3A |
|---|---|
| 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 2610.17946#B3AM, Scaling trichotomy (statement). In A7HTYWJNCX/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Q9G4237P2M Q9G4237P2M
| URI | m2://inv/Q9G4237P2M |
|---|---|
| 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.28118#IAD8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sally Clark Q9GFGC1N4C
| URI | m2://inv/Q9GFGC1N4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sally Clark, Sally Clark (topic). Also Wikidata Q3544105
History
- 2026-11-02: add by m2/dev
Alloy phase diagram Q9GHSTP1D1
| URI | m2://inv/Q9GHSTP1D1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase diagram#SX1O, Alloy phase diagram (unknown)
History
- 2026-11-02: add by m2/dev
Uniform $\Z_3$ scheme Q9GJFZKQ8A
| URI | m2://inv/Q9GJFZKQ8A |
|---|---|
| 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.10002#58QT, Uniform $\Z_3$ scheme (statement). In 5ZYWF6HAXJ/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Implications for the expected utility hypothesis Q9GM530F2K
| URI | m2://inv/Q9GM530F2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Morgenstern utility theorem#504N, Implications for the expected utility hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Great ditrigonal dodecicosidodecahedron Q9GN4XXQ1S
| URI | m2://inv/Q9GN4XXQ1S |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great ditrigonal dodecicosidodecahedron, Great ditrigonal dodecicosidodecahedron (object). Also Wikidata Q2718516
History
- 2026-11-02: add by m2/dev
Q9GP75WD5E Q9GP75WD5E
| URI | m2://inv/Q9GP75WD5E |
|---|---|
| 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#MANI (statement). In 2381M4GBTT/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
edge cover number Q9GPCG77DT
| URI | m2://inv/Q9GPCG77DT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93639136, edge cover number (unknown). Also MathWorld EdgeCoverNumber
History
- 2026-10-26: add by m2/dev
Q9GSTNWENJ Q9GSTNWENJ
| URI | m2://inv/Q9GSTNWENJ |
|---|---|
| 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 2601.15403#5XZB (statement). In BSWNH3NW1M/e1, corollary 9.26
History
- 2026-10-27: add by m2/v0.4.0
Q9GX4KQSEB Q9GX4KQSEB
| URI | m2://inv/Q9GX4KQSEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37747#67QA (statement). In GEYDNVZEP7/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
The two systems are one Q9GXYB9ERH
| URI | m2://inv/Q9GXYB9ERH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#X5ML, The two systems are one (statement). In 11JNM66Z09/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Q9H8Y4DX21 Q9H8Y4DX21
| URI | m2://inv/Q9H8Y4DX21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#HXRE (statement). In PGAZ70WGMG/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
Branko Grünbaum Q9HA6YHN1Q
| URI | m2://inv/Q9HA6YHN1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branko Grünbaum, Branko Grünbaum (topic). Also Wikidata Q898670
History
- 2026-11-02: add by m2/dev
genus-two surface Q9HA7KQVP3
| URI | m2://inv/Q9HA7KQVP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5533830, genus-two surface (unknown). Also MathWorld DoubleTorus
History
- 2026-10-26: add by m2/dev
Q9HAY7JQ0V Q9HAY7JQ0V
| URI | m2://inv/Q9HAY7JQ0V |
|---|---|
| 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 2212.01916#NHL8 (statement). In XTGB5Z08YH/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.4.0
Q9HCSJ8V6X Q9HCSJ8V6X
| URI | m2://inv/Q9HCSJ8V6X |
|---|---|
| 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.17547#WX1V (problem). In XJ59TDP4HA/e1, problem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Q9HJFF3NCK Q9HJFF3NCK
| URI | m2://inv/Q9HJFF3NCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#1KCR (definition). In X1KWTAA3M2/e1, definition 11
History
- 2026-10-27: add by m2/v0.3.5
Tracy-Singh product Q9J4BE6VBY
| URI | m2://inv/Q9J4BE6VBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker product#WE1M, Tracy-Singh product (unknown)
History
- 2026-11-02: add by m2/dev
Examples Q9J80GAHPS
| URI | m2://inv/Q9J80GAHPS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of colligation#ZVON, Examples (example)
History
- 2026-11-02: add by m2/dev
Implementations Q9JM0Y8J47
| URI | m2://inv/Q9JM0Y8J47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biweight midcorrelation#C6VC, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Q9JM946417 Q9JM946417
| URI | m2://inv/Q9JM946417 |
|---|---|
| Kind | example |
| 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.34020#V0KY (example). In DAMYG8BFAK/e1, example 4.20
History
- 2026-10-30: add by m2/v0.4.12
Franel–Landau theorem Q9JMTCE6DJ
| URI | m2://inv/Q9JMTCE6DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#49UT, Franel–Landau theorem (definition)
History
- 2026-11-02: add by m2/dev
Combination Q9JPTTN0ZM
| URI | m2://inv/Q9JPTTN0ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#20JM, Combination (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#NO75, Combination (definition)
History
- 2026-11-02: add by m2/dev
Definition Q9JRFZ7M36
| URI | m2://inv/Q9JRFZ7M36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind–MacNeille completion#FEAC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Q9K1PJ8RQA Q9K1PJ8RQA
| URI | m2://inv/Q9K1PJ8RQA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.07398#N8FS (definition). In JS5FKV1S9T/e1, definition C.4
History
- 2026-10-27: add by m2/v0.3.5
\textbf{Feynman--Kac formula Q9K3XS98HD
| URI | m2://inv/Q9K3XS98HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#M7R1, \textbf{Feynman--Kac formula (statement). In 74MMMHHPW5/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.4.0
The minimization in Lemma 4.4 Q9K41E5F4C
| URI | m2://inv/Q9K41E5F4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#H3LZ, The minimization in Lemma 4.4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Q9K9125FV4 Q9K9125FV4
| URI | m2://inv/Q9K9125FV4 |
|---|---|
| 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 2610.08594#P11K (statement). In FEE70SSD96/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.10
Additive relation Q9KCDAWA46
| URI | m2://inv/Q9KCDAWA46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Module homomorphism#QUCE, Additive relation (unknown)
History
- 2026-11-02: add by m2/dev
duality Q9KG3AN43C
| URI | m2://inv/Q9KG3AN43C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#6W6L, duality (definition)
History
- 2026-11-02: add by m2/dev
Q9KMAKJ4W4 Q9KMAKJ4W4
| URI | m2://inv/Q9KMAKJ4W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#L7R1 (statement). In BDN507RN7J/e1, theorem 6.1.5
History
- 2026-10-30: add by m2/v0.4.12
Isotropic Gaussian sampling can lose the support gap Q9KQZKRHZQ
| URI | m2://inv/Q9KQZKRHZQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09356#CXO0, Isotropic Gaussian sampling can lose the support gap (example). In 3VVGPXWH6R/e1, example C.11
History
- 2026-10-29: add by m2/v0.4.10
Fan death Q9KREC4XPF
| URI | m2://inv/Q9KREC4XPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#3BAP, Fan death (unknown)
History
- 2026-11-02: add by m2/dev
circumconic Q9KTR87RCG
| URI | m2://inv/Q9KTR87RCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124630578, circumconic (unknown). Also MathWorld Circumconic
History
- 2026-10-26: add by m2/dev
Infix notation Q9KVA286B4
| URI | m2://inv/Q9KVA286B4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infix notation, Infix notation (definition). Also Wikidata Q985058
History
- 2026-11-02: add by m2/dev
Properties Q9M02850ED
| URI | m2://inv/Q9M02850ED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice graph#LSD3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Q9M42WY95B Q9M42WY95B
| URI | m2://inv/Q9M42WY95B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#U6AN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications Q9MJ8VC1H6
| URI | m2://inv/Q9MJ8VC1H6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive Bayesian estimation#A7CV, Applications (example)
History
- 2026-11-02: add by m2/dev
Q9MMF5SWHP Q9MMF5SWHP
| URI | m2://inv/Q9MMF5SWHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#PDC8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rasch, Georg Q9MN64585Y
| URI | m2://inv/Q9MN64585Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9G5D, Rasch, Georg (topic)
History
- 2026-11-02: add by m2/dev
Q9MRG3X53X Q9MRG3X53X
| URI | m2://inv/Q9MRG3X53X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13846#4NWD (statement). In DN3HGHGRYJ/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Hanfried Lenz Q9MVW4BRMG
| URI | m2://inv/Q9MVW4BRMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanfried Lenz, Hanfried Lenz (topic). Also Wikidata Q114981
History
- 2026-11-02: add by m2/dev
Q9N1QX5YSN Q9N1QX5YSN
| URI | m2://inv/Q9N1QX5YSN |
|---|---|
| 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.02790#V61F (statement). In NB7HZ8W2K2/e1, proposition 20
History
- 2026-10-29: add by m2/v0.4.12
Triple system Q9NBVRVJZV
| URI | m2://inv/Q9NBVRVJZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple system, Triple system (definition). Also Wikidata Q11358307
History
- 2026-11-02: add by m2/dev
J. Arthur Seebach Jr. Q9NGYKQPND
| URI | m2://inv/Q9NGYKQPND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. Arthur Seebach Jr., J. Arthur Seebach Jr. (topic). Also Wikidata Q3805097
History
- 2026-11-02: add by m2/dev
Descendant subgroup Q9NP3ZDRTV
| URI | m2://inv/Q9NP3ZDRTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descendant subgroup, Descendant subgroup (definition). Also Wikidata Q5263688
History
- 2026-11-02: add by m2/dev
Friedrich Wilhelm Opelt Q9NXMEEHKN
| URI | m2://inv/Q9NXMEEHKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Wilhelm Opelt, Friedrich Wilhelm Opelt (topic). Also Wikidata Q1463138
History
- 2026-11-02: add by m2/dev
Algebraic topology Q9P63AMFWM
| URI | m2://inv/Q9P63AMFWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#IS46, Algebraic topology (topic)
History
- 2026-11-02: add by m2/dev
Q9P95ZWF8H Q9P95ZWF8H
| URI | m2://inv/Q9P95ZWF8H |
|---|---|
| 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.13580#9Z6I (statement). In KEQ57N9N7Z/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
Q9P9K8C9QK Q9P9K8C9QK
| URI | m2://inv/Q9P9K8C9QK |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#E5HE (unknown). In AQGEM4XAKD/e1, unknown 1.4
History
- 2026-10-27: add by m2/v0.3.5
Remo Ruffini Q9PD40SBEC
| URI | m2://inv/Q9PD40SBEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#2K78, Remo Ruffini (unknown)
History
- 2026-11-02: add by m2/dev
Q9PX1E6S25 Q9PX1E6S25
| URI | m2://inv/Q9PX1E6S25 |
|---|---|
| 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.30363#CNV7 (statement). In QHBBP180QJ/e1, proposition 9
History
- 2026-10-31: add by m2/v0.5.6
Unsolved problems Q9Q3WJERJJ
| URI | m2://inv/Q9Q3WJERJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-bounded#47OE, Unsolved problems (statement)
History
- 2026-11-02: add by m2/dev
Mordellic variety Q9Q71JEVK0
| URI | m2://inv/Q9Q71JEVK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#PVCI, Mordellic variety (definition)
History
- 2026-11-02: add by m2/dev
Mary Foulkes Q9QEN22DM4
| URI | m2://inv/Q9QEN22DM4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Foulkes, Mary Foulkes (topic). Also Wikidata Q107503037
History
- 2026-11-02: add by m2/dev
Electroactive polymer Q9QEP1EBA2
| URI | m2://inv/Q9QEP1EBA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electroactive polymer, Electroactive polymer (definition). Also Wikidata Q543275
History
- 2026-11-02: add by m2/dev
Robert Graham Leigh Q9R3Q0C5K1
| URI | m2://inv/Q9R3Q0C5K1 |
|---|---|
| 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 Q7346836, Robert Graham Leigh (unknown). Also nLab Robert Leigh
History
- 2026-10-26: add by m2/dev
eighth power Q9R6C8GVQ6
| URI | m2://inv/Q9R6C8GVQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q84752530, eighth power (definition). Also OEIS A001016, ProofWiki Definition:Eighth_Power
- wikipedia: Wikipedia Eighth power, Eighth power (definition). Also Wikidata Q84752530
History
- 2026-10-26: add by m2/dev
Law of a normal random variable Q9R9V73KV0
| URI | m2://inv/Q9R9V73KV0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free probability#Q1TM, Law of a normal random variable (statement)
History
- 2026-11-02: add by m2/dev
Q9RCTXV0W9 Q9RCTXV0W9
| URI | m2://inv/Q9RCTXV0W9 |
|---|---|
| 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.14582#EYVL (statement). In 6XP6PD2XZA/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Directional Fr\'echet-cosine inequality Q9RESWCTAM
| URI | m2://inv/Q9RESWCTAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2610.17909#70YF, Directional Fr\'echet-cosine inequality (statement). In YXZX6Z8S6A/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Q9RJ0TVN8F Q9RJ0TVN8F
| URI | m2://inv/Q9RJ0TVN8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21258#OS2Y (statement). In PN98BKSKZP/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Levi-Civita symbol Q9RT2FCPC4
| URI | m2://inv/Q9RT2FCPC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q623761, Levi-Civita symbol (unknown). Also MathWorld PermutationSymbol, nLab Levi-Civita symbol
- wikipedia: Wikipedia Levi-Civita symbol, Levi-Civita symbol (definition). Also Wikidata Q623761
History
- 2026-10-26: add by m2/dev
Q9RVAKPWDJ Q9RVAKPWDJ
| URI | m2://inv/Q9RVAKPWDJ |
|---|---|
| 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.17571#ZNZB (statement). In SWFN2HCEE7/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Q9RWNNRT3A Q9RWNNRT3A
| URI | m2://inv/Q9RWNNRT3A |
|---|---|
| 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.03011#IE29 (statement). In VE8FB6K8EN/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
Entropy truncation with pointwise domination Q9S3Y9GYK6
| URI | m2://inv/Q9S3Y9GYK6 |
|---|---|
| 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.18884#3VIR, Entropy truncation with pointwise domination (statement). In 8WM10QMA9E/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Q9S826KHQW Q9S826KHQW
| URI | m2://inv/Q9S826KHQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#FQ52 (statement). In PRVQPSBVHK/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.10
Eliakim Hastings Moore Q9S949F0Y0
| URI | m2://inv/Q9S949F0Y0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q736064, Eliakim Hastings Moore (unknown). Also ProofWiki Mathematician:Eliakim_Hastings_Moore
- wikipedia: Wikipedia E. H. Moore, E. H. Moore (topic). Also Wikidata Q736064
History
- 2026-10-26: add by m2/dev
Equivalence with the conventional hierarchical form Q9SAP47V3B
| URI | m2://inv/Q9SAP47V3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04574#HHZM, Equivalence with the conventional hierarchical form (statement). In XVPGDDE7WA/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
Lemma Q9SCC7SCEF
| URI | m2://inv/Q9SCC7SCEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lin–Kernighan heuristic#HEVE, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Q9SFP5Y10P Q9SFP5Y10P
| URI | m2://inv/Q9SFP5Y10P |
|---|---|
| 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.37931#FZ2B (example). In J8C1EXQW86/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
Charles Fefferman Q9SN0H836G
| URI | m2://inv/Q9SN0H836G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TY4Y, Charles Fefferman (topic)
History
- 2026-11-02: add by m2/dev
Q9SNQ7PP7S Q9SNQ7PP7S
| URI | m2://inv/Q9SNQ7PP7S |
|---|---|
| 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.05708#PIW8 (statement). In 3BJPFGJNSS/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
Sparse distribution estimation lower bound Q9ST9NGXGN
| URI | m2://inv/Q9ST9NGXGN |
|---|---|
| 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.21033#4U3U, Sparse distribution estimation lower bound (statement). In A8C1M9BSWH/e1, theorem G.2
History
- 2026-10-27: add by m2/v0.4.2
Q9SYKQNQDX Q9SYKQNQDX
| URI | m2://inv/Q9SYKQNQDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 18.2
History
- 2026-11-01: add by m2/v0.6.13
graph, labeled Q9T0JCVANP
| URI | m2://inv/Q9T0JCVANP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.5.3/graph-labeled, graph, labeled (concept). In QKM9DD2H56, index, section 15.5.3
History
- 2026-11-01: add by m2/v0.6.13
Effective dimension Q9T5JA2PMW
| URI | m2://inv/Q9T5JA2PMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective dimension, Effective dimension (definition). Also Wikidata Q5347255
History
- 2026-11-02: add by m2/dev
Q9T9P2RPVX Q9T9P2RPVX
| URI | m2://inv/Q9T9P2RPVX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10927#D99X (definition). In DHEJP3YATV/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
Rotations in 4-dimensional Euclidean space Q9T9Y7V77T
| URI | m2://inv/Q9T9Y7V77T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotations in 4-dimensional Euclidean space, Rotations in 4-dimensional Euclidean space (definition). Also Wikidata Q4048844
History
- 2026-11-02: add by m2/dev
Q9TA55SDPD Q9TA55SDPD
| URI | m2://inv/Q9TA55SDPD |
|---|---|
| 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.14154#Y7P5 (statement). In 8X6PXX2TRA/e1, theorem 9.5
History
- 2026-10-28: add by m2/v0.4.2
Andrei Polyanin Q9THZ3ZQYD
| URI | m2://inv/Q9THZ3ZQYD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrei Polyanin, Andrei Polyanin (topic). Also Wikidata Q4371474
History
- 2026-11-02: add by m2/dev
Duality formula for variational inference Q9TNK9TS5P
| URI | m2://inv/Q9TNK9TS5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler divergence#3JBA, Duality formula for variational inference (statement)
History
- 2026-11-02: add by m2/dev
Q9TXA3G6EW Q9TXA3G6EW
| URI | m2://inv/Q9TXA3G6EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33283#Z65O (statement). In CXPFSDMEPB/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
David Ellerman Q9V2ZRRREK
| URI | m2://inv/Q9V2ZRRREK |
|---|---|
| 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 Q3017835, David Ellerman (unknown). Also nLab David Ellerman
History
- 2026-10-26: add by m2/dev
Index of irregularity Q9VA7SFX13
| URI | m2://inv/Q9VA7SFX13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular prime#KAQC, Index of irregularity (unknown)
History
- 2026-11-02: add by m2/dev
Q9VBRJM6R3 Q9VBRJM6R3
| URI | m2://inv/Q9VBRJM6R3 |
|---|---|
| Kind | example |
| 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 2507.23666#RNEZ (example). In YKQ89G5QA2/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.6
Q9VDYZC634 Q9VDYZC634
| URI | m2://inv/Q9VDYZC634 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2404.13734#BDHW (statement). In 7AXKHR4YB3/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
Examples of vector spaces Q9VG0GGFBB
| URI | m2://inv/Q9VG0GGFBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#GNZ2, Examples of vector spaces (definition)
History
- 2026-11-02: add by m2/dev
Q9VNP43EB1 Q9VNP43EB1
| URI | m2://inv/Q9VNP43EB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#HG1Y (statement). In N37WKFTR7Q/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Q9VT7BJ3XV Q9VT7BJ3XV
| URI | m2://inv/Q9VT7BJ3XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#NS75 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Efficient Probabilistic Public-Key Encryption Scheme Q9W2KKAZV9
| URI | m2://inv/Q9W2KKAZV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficient Probabilistic Public-Key Encryption Scheme, Efficient Probabilistic Public-Key Encryption Scheme (definition). Also Wikidata Q5347444
History
- 2026-11-02: add by m2/dev
Example Q9W3Y8N1RA
| URI | m2://inv/Q9W3Y8N1RA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric quantization#IDJQ, Example (example)
History
- 2026-11-02: add by m2/dev
Robbins algebra Q9WA0A9Q4A
| URI | m2://inv/Q9WA0A9Q4A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7341067, Robbins algebra (concept). Also MathWorld RobbinsAlgebra
- wikipedia: Wikipedia Robbins algebra, Robbins algebra (definition). Also Wikidata Q7341067
History
- 2026-10-26: add by m2/dev
Applications Q9WEEZCM7C
| URI | m2://inv/Q9WEEZCM7C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wireworld#35YJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Dirk Jan Struik Q9WHFBC34J
| URI | m2://inv/Q9WHFBC34J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirk Jan Struik, Dirk Jan Struik (topic). Also Wikidata Q932815
History
- 2026-11-02: add by m2/dev
Group convolution on $\SOthree$ Q9WNFKHSTR
| URI | m2://inv/Q9WNFKHSTR |
|---|---|
| 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 2610.13892#193E, Group convolution on $\SOthree$ (definition). In HV9KKEBBDD/e1, definition III.4
History
- 2026-10-28: add by m2/v0.4.2
Q9WQEKX17Z Q9WQEKX17Z
| URI | m2://inv/Q9WQEKX17Z |
|---|---|
| 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.13898#PSF3 (statement). In 44EVK9BPC9/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.2
Q9X1RYMB17 Q9X1RYMB17
| URI | m2://inv/Q9X1RYMB17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#XDZQ (statement). In 7SSKW778T8/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Theorem 3 Q9X4XD9GMP
| URI | m2://inv/Q9X4XD9GMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McShane integral#2NMX, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Q9X5ANQ77V Q9X5ANQ77V
| URI | m2://inv/Q9X5ANQ77V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#WKH6 (statement). In 4KT9TK3MG4/e1, lemma D.11
History
- 2026-10-31: add by m2/v0.5.6
Use Q9YF3QAHZV
| URI | m2://inv/Q9YF3QAHZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattering generator#JD1P, Use (example)
History
- 2026-11-02: add by m2/dev
Pierre Joseph Étienne Finck Q9YJ44B970
| URI | m2://inv/Q9YJ44B970 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Joseph Étienne Finck, Pierre Joseph Étienne Finck (topic). Also Wikidata Q25915411
History
- 2026-11-02: add by m2/dev
Formula complexity Q9YV09J3RE
| URI | m2://inv/Q9YV09J3RE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S2S (mathematics)#GEJX, Formula complexity (statement)
History
- 2026-11-02: add by m2/dev
Q9Z8T0FA8M Q9Z8T0FA8M
| URI | m2://inv/Q9Z8T0FA8M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#prob:cardinalityPractice (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Score and monotonicity identities Q9ZA9C0SG7
| URI | m2://inv/Q9ZA9C0SG7 |
|---|---|
| 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.33008#N6JI, Score and monotonicity identities (statement). In 4M662A3ZF1/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
Touch Q9ZFFR6HMY
| URI | m2://inv/Q9ZFFR6HMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Touch (American TV series), Touch (definition). Also Wikidata Q946806
History
- 2026-11-02: add by m2/dev
Parabolic fractal distribution Q9ZFTVHAW4
| URI | m2://inv/Q9ZFTVHAW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#A6SD, Parabolic fractal distribution (definition)
History
- 2026-11-02: add by m2/dev
Kauffman polynomial Q9ZHTVS374
| URI | m2://inv/Q9ZHTVS374 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6378674, Kauffman polynomial (unknown). Also MathWorld KauffmanPolynomialF
- wikipedia: Wikipedia Kauffman polynomial, Kauffman polynomial (definition). Also Wikidata Q6378674
History
- 2026-10-26: add by m2/dev
Q9ZMVG6DZP Q9ZMVG6DZP
| URI | m2://inv/Q9ZMVG6DZP |
|---|---|
| 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 2606.20229#LS1T (statement). In 1B85G2QJC2/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.6
Q9ZVKDSMKC Q9ZVKDSMKC
| URI | m2://inv/Q9ZVKDSMKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#4TD0 (statement). In 585QYGX4X6/e1, lemma 𝐓𝐄(d,a,b)\mathbf{TE}(d,a,b
History
- 2026-10-28: add by m2/v0.4.2