Inventory rows V8
The cards of the rows of the inventory whose ids start with V8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definitions V8004G8NMV
| URI | m2://inv/V8004G8NMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#SCAU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Boltzmann constant V8008MJSRE
| URI | m2://inv/V8008MJSRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#UFOM, Boltzmann constant (unknown)
History
- 2026-11-02: add by m2/dev
V807K2QX9K V807K2QX9K
| URI | m2://inv/V807K2QX9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/foundation.tex#subsetoftrcl (statement). In PKGMM3P5QY, prop, section 74.2
History
- 2026-11-01: add by m2/v0.6.13
Applications V80EY03W3E
| URI | m2://inv/V80EY03W3E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ridit scoring#QV8K, Applications (example)
History
- 2026-11-02: add by m2/dev
V80FD510DQ V80FD510DQ
| URI | m2://inv/V80FD510DQ |
|---|---|
| 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.18033#ZXH2 (statement). In 59VRB6Y27N/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Comparison estimate V80G5DDFEN
| URI | m2://inv/V80G5DDFEN |
|---|---|
| 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#NO71, Comparison estimate (statement). In 4CTC8A57SD/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Ramification group V80YXEAEHN
| URI | m2://inv/V80YXEAEHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramification group, Ramification group (definition). Also Wikidata Q7289549
History
- 2026-11-02: add by m2/dev
Statement V81228HK2Q
| URI | m2://inv/V81228HK2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#YF1J, Statement (statement)
History
- 2026-11-02: add by m2/dev
Derivation of the formula stated above V819QNBGVN
| URI | m2://inv/V819QNBGVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incircle and excircles#A3F9, Derivation of the formula stated above (statement)
History
- 2026-11-02: add by m2/dev
V81E6Q3XQW V81E6Q3XQW
| URI | m2://inv/V81E6Q3XQW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#VKB2 (example)
History
- 2026-11-01: add by m2/v0.6.15
V81X838S6T V81X838S6T
| URI | m2://inv/V81X838S6T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#B3KF (definition)
History
- 2026-11-01: add by m2/v0.6.15
V81XJC1WXR V81XJC1WXR
| URI | m2://inv/V81XJC1WXR |
|---|---|
| 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.24041#GY78 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications V820MTPYCQ
| URI | m2://inv/V820MTPYCQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh distribution#NVXL, Applications (example)
History
- 2026-11-02: add by m2/dev
The function space is well defined V820QAXAJT
| URI | m2://inv/V820QAXAJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#BRLN, The function space is well defined (statement)
History
- 2026-11-01: add by m2/v0.6.15
V82DHBNJSJ V82DHBNJSJ
| URI | m2://inv/V82DHBNJSJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14435#5SRR (example). In Y9FSN5BVNQ/e1, example 19
History
- 2026-10-28: add by m2/v0.4.2
Further examples V82MJVVXDV
| URI | m2://inv/V82MJVVXDV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General topology#J1G5, Further examples (example)
History
- 2026-11-02: add by m2/dev
V831Q5P6YP V831Q5P6YP
| URI | m2://inv/V831Q5P6YP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#DKG2 (definition). In PZCA01JXVR/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Application V836VN1ZPV
| URI | m2://inv/V836VN1ZPV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic Hausdorff dimension#A392, Application (example)
History
- 2026-11-02: add by m2/dev
Nonparametric skew V83C63WE4H
| URI | m2://inv/V83C63WE4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonparametric skew, Nonparametric skew (definition). Also Wikidata Q7049539
History
- 2026-11-02: add by m2/dev
The Bernays–Tarski axiom system V83TVC3XB5
| URI | m2://inv/V83TVC3XB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicational propositional calculus#3OO2, The Bernays–Tarski axiom system (statement)
History
- 2026-11-02: add by m2/dev
Exponential decay for local-mixing-time Volterra inequalities V83YT418PD
| URI | m2://inv/V83YT418PD |
|---|---|
| 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.36016#83LL, Exponential decay for local-mixing-time Volterra inequalities (statement). In NAM9ZMPHZ9/e1, lemma B.4
History
- 2026-10-30: add by m2/v0.4.12
V83ZMGMTE4 V83ZMGMTE4
| URI | m2://inv/V83ZMGMTE4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
PSPP V842694XC5
| URI | m2://inv/V842694XC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LLFP, PSPP (definition)
History
- 2026-11-02: add by m2/dev
V845BAQ3Z3 V845BAQ3Z3
| URI | m2://inv/V845BAQ3Z3 |
|---|---|
| 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 2201.04174#Q2Q9 (statement). In NVTHDNQQ4Q/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Point of subjective simultaneity V84AYYMRWT
| URI | m2://inv/V84AYYMRWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point of subjective simultaneity, Point of subjective simultaneity (definition). Also Wikidata Q96399632
History
- 2026-11-02: add by m2/dev
3 22 honeycomb V84CYYNFS5
| URI | m2://inv/V84CYYNFS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 8-polytope#GDCV, 3 22 honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
V84F5VQFH4 V84F5VQFH4
| URI | m2://inv/V84F5VQFH4 |
|---|---|
| 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.04608#JRHH (statement). In ZYYMXYK7WJ/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
V84XE7B8T6 V84XE7B8T6
| URI | m2://inv/V84XE7B8T6 |
|---|---|
| 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 2509.09379#KIPI (statement). In DJXA86KDY8/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Conventions V852N0FKJM
| URI | m2://inv/V852N0FKJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#PGW8, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Stefano Montaldo V8571G9TCT
| URI | m2://inv/V8571G9TCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefano Montaldo, Stefano Montaldo (topic). Also Wikidata Q28831689
History
- 2026-11-02: add by m2/dev
V8589Q2KVR V8589Q2KVR
| URI | m2://inv/V8589Q2KVR |
|---|---|
| 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.30585#HOBC (statement). In 15CVBWJDNQ/e1, proposition 3.6
History
- 2026-10-31: add by m2/v0.5.6
V859NMPXDB V859NMPXDB
| URI | m2://inv/V859NMPXDB |
|---|---|
| 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 2204.07961#8FDB (statement). In 4DK4VRKZVM/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
University of Sydney School of Mathematics and Statistics V85AZXTA1G
| URI | m2://inv/V85AZXTA1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia University of Sydney School of Mathematics and Statistics, University of Sydney School of Mathematics and Statistics (definition). Also Wikidata Q15995514
History
- 2026-11-02: add by m2/dev
V85Q333YR2 V85Q333YR2
| URI | m2://inv/V85Q333YR2 |
|---|---|
| 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.07299#XAJ2 (statement). In M70KP0BZ99/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
V85QK4BWJY V85QK4BWJY
| URI | m2://inv/V85QK4BWJY |
|---|---|
| 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.06488#EI7O (statement). In XG3BJ2QXXP/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Applications V85QNPPHC9
| URI | m2://inv/V85QNPPHC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steganography#F8ZS, Applications (example)
History
- 2026-11-02: add by m2/dev
Channel Magic V85T8J7VZK
| URI | m2://inv/V85T8J7VZK |
|---|---|
| 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.01932#J72Y, Channel Magic (statement). In XDKWW6NR0K/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.12
V861G90W70 V861G90W70
| URI | m2://inv/V861G90W70 |
|---|---|
| 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.14236#TJLV (statement). In XEQD21EBTT/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
stable V863VADYEX
| URI | m2://inv/V863VADYEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#4G9G, stable (definition)
History
- 2026-11-02: add by m2/dev
Xavier Buff V864G1EJRG
| URI | m2://inv/V864G1EJRG |
|---|---|
| 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#FVGY, Xavier Buff (topic)
History
- 2026-11-02: add by m2/dev
Fenchel's theorem V864ZRRXTQ
| URI | m2://inv/V864ZRRXTQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fenchel's theorem#WNEK, Fenchel's theorem (statement)
History
- 2026-11-02: add by m2/dev
V8689RX115 V8689RX115
| URI | m2://inv/V8689RX115 |
|---|---|
| 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.30895#3K58 (statement). In B8D26BYA7T/e1, theorem 6
History
- 2026-10-31: add by m2/v0.5.6
Generalization V86C0R0VZQ
| URI | m2://inv/V86C0R0VZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotlar–Stein lemma#1ZNO, Generalization (statement)
History
- 2026-11-02: add by m2/dev
V86CMC4JR9 V86CMC4JR9
| URI | m2://inv/V86CMC4JR9 |
|---|---|
| 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 2201.04174#S0DV (statement). In NVTHDNQQ4Q/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Limit superior and limit inferior V86K8C22V9
| URI | m2://inv/V86K8C22V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#JATZ, Limit superior and limit inferior (definition)
History
- 2026-11-02: add by m2/dev
V86KQX3460 V86KQX3460
| URI | m2://inv/V86KQX3460 |
|---|---|
| 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.36411#XJ6A (statement). In 9QG5CND2RQ/e1, lemma 9.3
History
- 2026-10-30: add by m2/v0.4.12
Birch's theorem V86P7CGT26
| URI | m2://inv/V86P7CGT26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527019, Birch's theorem (statement). Also Wikidata Q3527019
- thousand_plus: thousand_plus Q3527019, Birch's theorem (statement). Also Wikidata Q3527019, Wikipedia Birch's theorem
- wikipedia: Wikipedia Birch's theorem, Birch's theorem (statement). Also Wikidata Q3527019
History
- 2026-10-26: add by m2/dev
Satedness restricts to Heyting subspaces V86PYCJD12
| URI | m2://inv/V86PYCJD12 |
|---|---|
| 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#UGIK, Satedness restricts to Heyting subspaces (statement). In HX63A1PH1W/e1, proposition 7.19
History
- 2026-10-28: add by m2/v0.4.3
V8711TQ61Z V8711TQ61Z
| URI | m2://inv/V8711TQ61Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.27420#A1Z3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
V873548BNW V873548BNW
| URI | m2://inv/V873548BNW |
|---|---|
| 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.37846#WYNX (statement). In DCA0M1EE4A/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
V877BEMV3Y V877BEMV3Y
| URI | m2://inv/V877BEMV3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-4 (definition). In P1C114YBXG, definition, section u1
History
- 2026-11-01: add by m2/v0.6.13
Key wrap V87GEYRWX1
| URI | m2://inv/V87GEYRWX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key wrap, Key wrap (definition). Also Wikidata Q6398137
History
- 2026-11-02: add by m2/dev
V87KWN6DS6 V87KWN6DS6
| URI | m2://inv/V87KWN6DS6 |
|---|---|
| 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 2606.20229#ZX9C (problem). In 1B85G2QJC2/e1, problem 10.3
History
- 2026-10-27: add by m2/v0.3.6
Rudolf Gorenflo V87SFXE1KV
| URI | m2://inv/V87SFXE1KV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Gorenflo, Rudolf Gorenflo (topic). Also Wikidata Q15301819
History
- 2026-11-02: add by m2/dev
graph, intersection V87WMWFAXF
| URI | m2://inv/V87WMWFAXF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.4.3/graph-intersection, graph, intersection (concept). In QKM9DD2H56, index, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
V8894PKEJG V8894PKEJG
| URI | m2://inv/V8894PKEJG |
|---|---|
| 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.37739#EZJN (statement). In F5XF5VXTXY/e1, lemma 6.7
History
- 2026-10-30: add by m2/v0.4.12
NLTS conjecture V88AK53F14
| URI | m2://inv/V88AK53F14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NLTS conjecture, NLTS conjecture (statement). Also Wikidata Q113576326
History
- 2026-11-02: add by m2/dev
Jeffreys–Lindley paradox V88MBS3JHK
| URI | m2://inv/V88MBS3JHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost sure hypothesis testing#EAJJ, Jeffreys–Lindley paradox (statement)
History
- 2026-11-02: add by m2/dev
Mordell–Weil theorem V88ST51F53
| URI | m2://inv/V88ST51F53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordell–Weil theorem#PICH, Mordell–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
Bogolyubov-Ruzsa Lemma V88V4MBYDC
| URI | m2://inv/V88V4MBYDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#0LTX, Bogolyubov-Ruzsa Lemma (statement). In MP2YM69XW8/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
\textnormal{Bachmann-Kanno V890THEV4A
| URI | m2://inv/V890THEV4A |
|---|---|
| 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.18777#IM5G, \textnormal{Bachmann-Kanno (statement). In TFZDPHDF7V/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
Endoscopic group V89D4AKM5B
| URI | m2://inv/V89D4AKM5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endoscopic group, Endoscopic group (definition). Also Wikidata Q5376414
History
- 2026-11-02: add by m2/dev
V89GC25S3W V89GC25S3W
| URI | m2://inv/V89GC25S3W |
|---|---|
| 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.28181#7701 (statement)
History
- 2026-11-01: add by m2/v0.6.15
V89K8GCH83 V89K8GCH83
| URI | m2://inv/V89K8GCH83 |
|---|---|
| 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 2206.13822#F1BG (statement). In R9D4FQR3TA/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Higman–Sims asymptotic formula V89SF9MMSZ
| URI | m2://inv/V89SF9MMSZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higman–Sims asymptotic formula, Higman–Sims asymptotic formula (statement). Also Wikidata Q61409656
History
- 2026-11-02: add by m2/dev
Rubinow, I. M. V8A2DWESY3
| URI | m2://inv/V8A2DWESY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TPP5, Rubinow, I. M. (unknown)
History
- 2026-11-02: add by m2/dev
characteristic variety V8A8JQBFDA
| URI | m2://inv/V8A8JQBFDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16858979, characteristic variety (unknown). Also nLab characteristic variety
- wikipedia: Wikipedia Characteristic variety, Characteristic variety (definition). Also Wikidata Q16858979
History
- 2026-10-26: add by m2/dev
Germ line theory V8AWB90GG1
| URI | m2://inv/V8AWB90GG1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#D9UQ, Germ line theory (unknown)
History
- 2026-11-02: add by m2/dev
Community Innovation Survey V8B11FGDVM
| URI | m2://inv/V8B11FGDVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Community Innovation Survey, Community Innovation Survey (definition). Also Wikidata Q1120632
History
- 2026-11-02: add by m2/dev
Near-diagonal implies few caps V8BHW3DSN0
| URI | m2://inv/V8BHW3DSN0 |
|---|---|
| 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.20643#ODBX, Near-diagonal implies few caps (statement)
History
- 2026-11-02: add by m2/v0.6.18
Partitioning according to equalities among tampered inputs V8BJTA7S4B
| URI | m2://inv/V8BJTA7S4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#JMRG, Partitioning according to equalities among tampered inputs (statement). In ZZER8ZBSCR/e1, lemma 3.18
History
- 2026-10-29: add by m2/v0.4.12
Jan Vondrák V8BQ9X255J
| URI | m2://inv/V8BQ9X255J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Vondrák, Jan Vondrák (topic). Also Wikidata Q33083220
History
- 2026-11-02: add by m2/dev
Frobenius determinant theorem V8BWDPTR82
| URI | m2://inv/V8BWDPTR82 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5505098, Frobenius determinant theorem (statement). Also Wikidata Q5505098
- thousand_plus: thousand_plus Q5505098, Frobenius determinant theorem (statement). Also Wikidata Q5505098, Wikipedia Frobenius determinant theorem
- wikipedia: Wikipedia Frobenius determinant theorem, Frobenius determinant theorem (statement). Also Wikidata Q5505098
History
- 2026-10-26: add by m2/dev
V8C4SS2RX2 V8C4SS2RX2
| URI | m2://inv/V8C4SS2RX2 |
|---|---|
| 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.31983#8GBB (statement). In K06R03KX8Y/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Loewner differential equation V8C59TR9AA
| URI | m2://inv/V8C59TR9AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewner differential equation, Loewner differential equation (definition). Also Wikidata Q6666620
History
- 2026-11-02: add by m2/dev
V8C7ATQQAT V8C7ATQQAT
| URI | m2://inv/V8C7ATQQAT |
|---|---|
| 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 1404.3458#7KBG (statement). In W67E5R5MBF/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Isabelle theorem prover V8CH2Y3WKD
| URI | m2://inv/V8CH2Y3WKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#L00L, Isabelle theorem prover (definition)
History
- 2026-11-02: add by m2/dev
Detailed balance V8CSNSJPSY
| URI | m2://inv/V8CSNSJPSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detailed balance, Detailed balance (definition). Also Wikidata Q1201087
History
- 2026-11-02: add by m2/dev
V8CZ34JTKT V8CZ34JTKT
| URI | m2://inv/V8CZ34JTKT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-17 (example). In E9HS8K3A52, example, section 10.9.1
History
- 2026-11-01: add by m2/v0.6.13
Great dodecicosahedron V8D1063V6K
| URI | m2://inv/V8D1063V6K |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VQMH, Great dodecicosahedron (object)
History
- 2026-11-02: add by m2/dev
V8D2GTN6DZ V8D2GTN6DZ
| URI | m2://inv/V8D2GTN6DZ |
|---|---|
| Kind | definition |
| 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#8EW6 (definition). In 9DQKY7KGE8/e1, definition B.13
History
- 2026-10-31: add by m2/v0.5.6
V8D3X1YGYY V8D3X1YGYY
| URI | m2://inv/V8D3X1YGYY |
|---|---|
| Kind | definition |
| 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 2610.07122#454R (definition). In W0ZHX9DHPV/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
coherence V8DFHHVMPC
| URI | m2://inv/V8DFHHVMPC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/coherence, coherence (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
The intermediate-width bridge V8DMCHYTKC
| URI | m2://inv/V8DMCHYTKC |
|---|---|
| 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.19461#FX8P, The intermediate-width bridge (statement). In D5X5P2QD6A/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Office of the Chief Actuary V8DMTTY031
| URI | m2://inv/V8DMTTY031 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Office of the Chief Actuary, Office of the Chief Actuary (definition). Also Wikidata Q16934370
History
- 2026-11-02: add by m2/dev
German Army cryptographic systems of World War II V8DSFSJ5RW
| URI | m2://inv/V8DSFSJ5RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia German Army cryptographic systems of World War II, German Army cryptographic systems of World War II (definition). Also Wikidata Q96379409
History
- 2026-11-02: add by m2/dev
V8DSHBJE8X V8DSHBJE8X
| URI | m2://inv/V8DSHBJE8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#6COJ (statement). In 9TR5E527P5/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
V8DVZFFFKA V8DVZFFFKA
| URI | m2://inv/V8DVZFFFKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#16H7 (statement). In CFJH0Q39FZ/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
fundamental discriminant V8DWQM3DFQ
| URI | m2://inv/V8DWQM3DFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5508954, fundamental discriminant (unknown). Also MathWorld FundamentalDiscriminant
History
- 2026-10-26: add by m2/dev
V8DZ70DWNS V8DZ70DWNS
| URI | m2://inv/V8DZ70DWNS |
|---|---|
| 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.07164#ULCM (statement). In Q1XJ5VWE1N/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
The original Peetre theorem V8E3KE1TP4
| URI | m2://inv/V8E3KE1TP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peetre theorem#HOQH, The original Peetre theorem (statement)
History
- 2026-11-02: add by m2/dev
Example V8E6E5QMYY
| URI | m2://inv/V8E6E5QMYY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-posed problem#4VSU, Example (example)
History
- 2026-11-02: add by m2/dev
disjoint union of graphs V8EES042C2
| URI | m2://inv/V8EES042C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48995627, disjoint union of graphs (unknown). Also MathWorld GraphUnion
- wikipedia: Wikipedia Disjoint union of graphs, Disjoint union of graphs (definition). Also Wikidata Q48995627
History
- 2026-10-26: add by m2/dev
V8EETT1EWZ V8EETT1EWZ
| URI | m2://inv/V8EETT1EWZ |
|---|---|
| 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.20911#W3YG (statement). In FF3MV70E7Z/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.2
Minkowski–Hlawka theorem V8EJ7MZF8K
| URI | m2://inv/V8EJ7MZF8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Minkowski–Hlawka theorem YANP1PHBQ3 |
Mentions
- mathlib_1000: mathlib_1000 Q6867867, Minkowski–Hlawka theorem (statement). Also Wikidata Q6867867
- thousand_plus: thousand_plus Q6867867, Minkowski–Hlawka theorem (statement). Also Wikidata Q6867867, Wikipedia Minkowski–Hlawka theorem
- wikidata: Wikidata Q6867867, Minkowski–Hlawka theorem (statement). Also MathWorld Minkowski-HlawkaTheorem
- wikipedia: Wikipedia Minkowski–Hlawka theorem, Minkowski–Hlawka theorem (statement). Also Wikidata Q6867867
History
- 2026-10-26: add by m2/dev
V8ENRBK6EB V8ENRBK6EB
| URI | m2://inv/V8ENRBK6EB |
|---|---|
| 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.32104#LAZT (statement). In YRJSYFXNM8/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
V8ETMCRZ7R V8ETMCRZ7R
| URI | m2://inv/V8ETMCRZ7R |
|---|---|
| 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.16510#VFVX (statement). In V7SQ4VXCRX/e1, corollary 7.1
History
- 2026-10-28: add by m2/v0.4.2
V8EVFJPH3P V8EVFJPH3P
| URI | m2://inv/V8EVFJPH3P |
|---|---|
| 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.28211#3PHP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Savitzky–Golay filter V8EWDENMRH
| URI | m2://inv/V8EWDENMRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Savitzky–Golay filter, Savitzky–Golay filter (definition). Also Wikidata Q1228952
History
- 2026-11-02: add by m2/dev
V8EXV06P39 V8EXV06P39
| URI | m2://inv/V8EXV06P39 |
|---|---|
| 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.03336#0QPW (statement). In 4ZD20W8BVF/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.12
Poussin proof V8FA1KGD86
| URI | m2://inv/V8FA1KGD86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poussin proof, Poussin proof (definition). Also Wikidata Q7235754
History
- 2026-11-02: add by m2/dev
V8FCBSSYXW V8FCBSSYXW
| URI | m2://inv/V8FCBSSYXW |
|---|---|
| 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#78ZU (statement). In 5E9G06XJKC/e1, lemma D.4
History
- 2026-10-28: add by m2/v0.4.2
Example V8FM51ECB6
| URI | m2://inv/V8FM51ECB6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hunt–Szymanski algorithm#ZRNJ, Example (example)
History
- 2026-11-02: add by m2/dev
Results V8FM6D6KS4
| URI | m2://inv/V8FM6D6KS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's sixteenth problem#OUPQ, Results (statement)
History
- 2026-11-02: add by m2/dev
V8FNS7F3MA V8FNS7F3MA
| URI | m2://inv/V8FNS7F3MA |
|---|---|
| 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 math/0411039#4EV5 (statement). In ZTBDXSKFFW/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
First and second fundamental theorems of invariant theory V8FPTEMS08
| URI | m2://inv/V8FPTEMS08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First and second fundamental theorems of invariant theory, First and second fundamental theorems of invariant theory (statement). Also Wikidata Q85761078
History
- 2026-11-02: add by m2/dev
V8FV8SM6SX V8FV8SM6SX
| URI | m2://inv/V8FV8SM6SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#WXX3 (statement). In 8KKYZ4NKT2/e1, theorem 12
History
- 2026-10-27: add by m2/v0.4.2
V8FY4F0FE3 V8FY4F0FE3
| URI | m2://inv/V8FY4F0FE3 |
|---|---|
| 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.24878#Q4YD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proof that a function is injective V8G1GR924A
| URI | m2://inv/V8G1GR924A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#skeleton-1, Proof that a function is injective (proof). In P1C114YBXG, skeleton, section D
History
- 2026-11-01: add by m2/v0.6.13
Notation V8GE9MPJ45
| URI | m2://inv/V8GE9MPJ45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy principal value#73ED, Notation (definition)
History
- 2026-11-02: add by m2/dev
Top-nodes algorithm V8GESEXV5H
| URI | m2://inv/V8GESEXV5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#LGAV, Top-nodes algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Theorem V8GFMJ210H
| URI | m2://inv/V8GFMJ210H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean Pythagorean triples problem#77M7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions V8GKT12S6E
| URI | m2://inv/V8GKT12S6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedgehog (geometry)#NN33, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Paolo Valmes V8GQZ9CZ18
| URI | m2://inv/V8GQZ9CZ18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic function#E6AT, Paolo Valmes (unknown)
History
- 2026-11-02: add by m2/dev
Tom Leinster V8GRFNR43T
| URI | m2://inv/V8GRFNR43T |
|---|---|
| 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 Q60053764, Tom Leinster (unknown). Also nLab Tom Leinster
- wikipedia: Wikipedia Tom Leinster, Tom Leinster (topic). Also Wikidata Q60053764
History
- 2026-10-26: add by m2/dev
V8GT82NVM5 V8GT82NVM5
| URI | m2://inv/V8GT82NVM5 |
|---|---|
| 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.02669#FEYU (statement). In NSBSWH6XB4/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.12
Elliott–Halberstam conjecture V8GWG6PPD0
| URI | m2://inv/V8GWG6PPD0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliott–Halberstam conjecture, Elliott–Halberstam conjecture (conjecture). Also Wikidata Q2993296
History
- 2026-11-02: add by m2/dev
Lorentzian Toponogov theorem -- convexity version V8GZ0MGHW2
| URI | m2://inv/V8GZ0MGHW2 |
|---|---|
| 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.10051#B20M, Lorentzian Toponogov theorem -- convexity version (statement). In VCHH2AC34R/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
V8H069TJG1 V8H069TJG1
| URI | m2://inv/V8H069TJG1 |
|---|---|
| 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 2306.01410#M6V7 (statement). In BE0P5W2W3T/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
Siegel mean-value theorem V8H19Q7YYB
| URI | m2://inv/V8H19Q7YYB |
|---|---|
| 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.37482#HSQC, Siegel mean-value theorem (statement). In 9QDRMZX8EY/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
V8H2MKR9QQ V8H2MKR9QQ
| URI | m2://inv/V8H2MKR9QQ |
|---|---|
| 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.32860#1SHP (statement). In H71AJ341B3/e1, lemma 6.5
History
- 2026-10-31: add by m2/v0.5.6
V8H9BXHE73 V8H9BXHE73
| URI | m2://inv/V8H9BXHE73 |
|---|---|
| Kind | definition |
| 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 2305.06030#R0NQ (definition). In 2Q0CNQ8DQB/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Examples V8HE0EP42D
| URI | m2://inv/V8HE0EP42D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic map#ZLTF, Examples (example)
History
- 2026-11-02: add by m2/dev
Scatterplot smoothing V8J3QJ07EN
| URI | m2://inv/V8J3QJ07EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scatterplot smoothing, Scatterplot smoothing (definition). Also Wikidata Q7430625
History
- 2026-11-02: add by m2/dev
Process calculus V8JWYVPASY
| URI | m2://inv/V8JWYVPASY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#ISYV, Process calculus (definition)
History
- 2026-11-02: add by m2/dev
Example V8K0W7TJAZ
| URI | m2://inv/V8K0W7TJAZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense order#4AX9, Example (example)
History
- 2026-11-02: add by m2/dev
Stability postulate V8K3X5F849
| URI | m2://inv/V8K3X5F849 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability postulate, Stability postulate (definition). Also Wikidata Q7595728
History
- 2026-11-02: add by m2/dev
Adiabatic flame temperature V8KED1YFMW
| URI | m2://inv/V8KED1YFMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiabatic flame temperature, Adiabatic flame temperature (definition). Also Wikidata Q909060
History
- 2026-11-02: add by m2/dev
Perseus V8M0YAVP20
| URI | m2://inv/V8M0YAVP20 |
|---|---|
| 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 Q3900144, Perseus (unknown). Also ProofWiki Mathematician:Perseus
- wikipedia: Wikipedia Perseus (geometer), Perseus (topic). Also Wikidata Q3900144
History
- 2026-10-26: add by m2/dev
Tautological ring V8M2JAAK4R
| URI | m2://inv/V8M2JAAK4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautological ring, Tautological ring (definition). Also Wikidata Q25098836
History
- 2026-11-02: add by m2/dev
V8M6T0ECQ6 V8M6T0ECQ6
| URI | m2://inv/V8M6T0ECQ6 |
|---|---|
| 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.14240#SZM9 (statement). In HGQCBDDMQJ/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Example V8M8JXASVA
| URI | m2://inv/V8M8JXASVA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berge equilibrium#SKTH, Example (example)
History
- 2026-11-02: add by m2/dev
V8MG6N17E2 V8MG6N17E2
| URI | m2://inv/V8MG6N17E2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
Applications V8MVZ86ZQW
| URI | m2://inv/V8MVZ86ZQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random binary tree#91L2, Applications (example)
History
- 2026-11-02: add by m2/dev
dual cone V8N3F3YDSN
| URI | m2://inv/V8N3F3YDSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Convex geometry > dual cone, dual cone (unknown). Also Mathlib PointedCone.dual
History
- 2026-10-26: add by m2/dev
topological V8NTE16MB9
| URI | m2://inv/V8NTE16MB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#G4OA, topological (definition)
History
- 2026-11-02: add by m2/dev
Grid minor theorem V8P0M2MBR4
| URI | m2://inv/V8P0M2MBR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treewidth#APFI, Grid minor theorem (unknown)
History
- 2026-11-02: add by m2/dev
hectogon V8P192ME32
| URI | m2://inv/V8P192ME32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3129199, hectogon (unknown). Also MathWorld Hectogon
History
- 2026-10-26: add by m2/dev
V8P2SA36K2 V8P2SA36K2
| URI | m2://inv/V8P2SA36K2 |
|---|---|
| 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.04434#CCVM (statement). In EY0QS456EC/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.12
Construction V8P5HDYD2H
| URI | m2://inv/V8P5HDYD2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 8-orthoplexes#M32M, Construction (definition)
History
- 2026-11-02: add by m2/dev
V8PJGGSHRW V8PJGGSHRW
| URI | m2://inv/V8PJGGSHRW |
|---|---|
| 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#9DKT (statement). In BSWNH3NW1M/e1, theorem 10.2
History
- 2026-10-27: add by m2/v0.4.0
Mostowski model V8Q002R19C
| URI | m2://inv/V8Q002R19C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mostowski model, Mostowski model (definition). Also Wikidata Q18391240
History
- 2026-11-02: add by m2/dev
Centipede mathematics V8Q8ZYGH6F
| URI | m2://inv/V8Q8ZYGH6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centipede mathematics, Centipede mathematics (definition). Also Wikidata Q18386706
History
- 2026-11-02: add by m2/dev
Hilbert's sixteenth problem V8QCDJZC55
| URI | m2://inv/V8QCDJZC55 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#5P47, Hilbert's sixteenth problem (conjecture)
History
- 2026-11-02: add by m2/dev
V8QH393RBY V8QH393RBY
| URI | m2://inv/V8QH393RBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.38596#K466 (statement). In ZYGQAV8FD3/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
V8QMAVAD46 V8QMAVAD46
| URI | m2://inv/V8QMAVAD46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#B9UB (statement). In 9VPMHV0M4R/e1, proposition 3.15
History
- 2026-10-27: add by m2/v0.3.5
Hans-Joachim Nastold V8QMNBFDD3
| URI | m2://inv/V8QMNBFDD3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Joachim Nastold, Hans-Joachim Nastold (topic). Also Wikidata Q4163442
History
- 2026-11-02: add by m2/dev
V8QWKEY47J V8QWKEY47J
| URI | m2://inv/V8QWKEY47J |
|---|---|
| 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#U015 (statement). In BDN507RN7J/e1, proposition 3.1.9
History
- 2026-10-30: add by m2/v0.4.12
V8QYGR80H8 V8QYGR80H8
| URI | m2://inv/V8QYGR80H8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#49EX (statement). In EVFX1R7ZDD/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Martin Hellman V8R0DJZSEG
| URI | m2://inv/V8R0DJZSEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J10M, Martin Hellman (topic)
History
- 2026-11-02: add by m2/dev
Paul Malliavin V8R0M22D2G
| URI | m2://inv/V8R0M22D2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#T17B, Paul Malliavin (topic)
History
- 2026-11-02: add by m2/dev
Mary Ellen Bock V8R1S7X60M
| URI | m2://inv/V8R1S7X60M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Ellen Bock, Mary Ellen Bock (topic). Also Wikidata Q42006062
History
- 2026-11-02: add by m2/dev
V8R7K3CY33 V8R7K3CY33
| URI | m2://inv/V8R7K3CY33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#lem:map (statement). In N54F33XE07, lem, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
V8R8R1KAAH V8R8R1KAAH
| URI | m2://inv/V8R8R1KAAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08791#G9HX (statement). In SZ7N8Q5S6N/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
Examples V8RBHMQWWA
| URI | m2://inv/V8RBHMQWWA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser's worm problem#AT8P, Examples (example)
History
- 2026-11-02: add by m2/dev
Example V8RFJN2YY8
| URI | m2://inv/V8RFJN2YY8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hohmann transfer orbit#KCSF, Example (example)
History
- 2026-11-02: add by m2/dev
V8RNSD9NR3 V8RNSD9NR3
| URI | m2://inv/V8RNSD9NR3 |
|---|---|
| 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.25543#SWJF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Streamline diffusion V8RR3PVV34
| URI | m2://inv/V8RR3PVV34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Streamline diffusion, Streamline diffusion (definition). Also Wikidata Q7622703
History
- 2026-11-02: add by m2/dev
Definition V8S19RPDPW
| URI | m2://inv/V8S19RPDPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight skeleton#PO4U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Riemann–Hurwitz formula V8S490CFGG
| URI | m2://inv/V8S490CFGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#1AN9, Riemann–Hurwitz formula (definition)
History
- 2026-11-02: add by m2/dev
V8SF095VR0 V8SF095VR0
| URI | m2://inv/V8SF095VR0 |
|---|---|
| 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.20025#0IL0 (statement). In 4W1WR4JB89/e1, theorem 2.15
History
- 2026-10-27: add by m2/v0.4.2
Tally marks V8SGC8SM3H
| URI | m2://inv/V8SGC8SM3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tally marks, Tally marks (definition). Also Wikidata Q1860391
History
- 2026-11-02: add by m2/dev
V8SHKV8AW8 V8SHKV8AW8
| URI | m2://inv/V8SHKV8AW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#GYW1 (statement). In 9B0X8YPF3P/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
V8SHXSE36Y V8SHXSE36Y
| URI | m2://inv/V8SHXSE36Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#8INR (statement). In YXD3950ZXR/e1, theorem A.3
History
- 2026-10-29: add by m2/v0.4.10
V8SKN79Z3J V8SKN79Z3J
| URI | m2://inv/V8SKN79Z3J |
|---|---|
| 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.16492#R41L (statement). In XQZ3X5A955/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Sabir Gusein-Zade V8SPQXGQWV
| URI | m2://inv/V8SPQXGQWV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sabir Gusein-Zade, Sabir Gusein-Zade (topic). Also Wikidata Q4152755
History
- 2026-11-02: add by m2/dev
Near classical direct optimal control V8SQ0HWQQ7
| URI | m2://inv/V8SQ0HWQQ7 |
|---|---|
| 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 2609.36212#B6F3, Near classical direct optimal control (example). In N1GH8M0BVW/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
V8SR9KCMY8 V8SR9KCMY8
| URI | m2://inv/V8SR9KCMY8 |
|---|---|
| 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.21491#QMMW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Effective Weil divisor V8STHE77TS
| URI | m2://inv/V8STHE77TS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor (algebraic geometry)#YVPP, Effective Weil divisor (unknown)
History
- 2026-11-02: add by m2/dev
V8SY907CBE V8SY907CBE
| URI | m2://inv/V8SY907CBE |
|---|---|
| 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.39465#8J70 (statement). In 17F6FDEA3W/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Reality and positivity of the weights $d_1$ and $d_2$ V8T047PCRK
| URI | m2://inv/V8T047PCRK |
|---|---|
| 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.03728#YC4T, Reality and positivity of the weights $d_1$ and $d_2$ (statement). In NXR84SNM8F/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
History of mathematical proof V8T34SD1K6
| URI | m2://inv/V8T34SD1K6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical proof#V8LS, History of mathematical proof (unknown)
History
- 2026-11-02: add by m2/dev
V8TAA0YNNH V8TAA0YNNH
| URI | m2://inv/V8TAA0YNNH |
|---|---|
| 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 2607.27272#3DYK (statement). In BDEA3TDATY/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.3.5
Symmetric-key algorithm V8TAPYS7X2
| URI | m2://inv/V8TAPYS7X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric-key algorithm, Symmetric-key algorithm (definition). Also Wikidata Q327675
History
- 2026-11-02: add by m2/dev
Observable localization V8TC70YZS3
| URI | m2://inv/V8TC70YZS3 |
|---|---|
| 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.16248#611S, Observable localization (statement). In TP61DYMBMK/e1, lemma 26
History
- 2026-10-28: add by m2/v0.4.2
V8TRPSS8EQ V8TRPSS8EQ
| URI | m2://inv/V8TRPSS8EQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
V8TW2YNJAX V8TW2YNJAX
| URI | m2://inv/V8TW2YNJAX |
|---|---|
| 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 2504.19468#J3TQ (statement). In EY54F2SX08/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
1 289 V8V08TQ78T
| URI | m2://inv/V8V08TQ78T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#ZTKZ, 1 289 (unknown)
History
- 2026-11-02: add by m2/dev
V8V6GT18KR V8V6GT18KR
| URI | m2://inv/V8V6GT18KR |
|---|---|
| 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.01475#YCFW (statement). In A7VJF2FYSD/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
V8V9R02J1R V8V9R02J1R
| URI | m2://inv/V8V9R02J1R |
|---|---|
| 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.10469#6TC6 (statement). In Q39BEKW6D9/e1, theorem 2.20
History
- 2026-10-29: add by m2/v0.4.10
dual V8VJHGTS3H
| URI | m2://inv/V8VJHGTS3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#NMC7, dual (definition)
History
- 2026-11-02: add by m2/dev
V8VN1VKZVV V8VN1VKZVV
| URI | m2://inv/V8VN1VKZVV |
|---|---|
| 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.05193#0L9P (statement). In XDMM0KNNZ9/e1, corollary 32
History
- 2026-10-29: add by m2/v0.4.10
V8VS5475BT V8VS5475BT
| URI | m2://inv/V8VS5475BT |
|---|---|
| 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#TB9S (statement). In DN3HGHGRYJ/e1, proposition 6.7
History
- 2026-10-28: add by m2/v0.4.2
V8VZQ1S9D5 V8VZQ1S9D5
| URI | m2://inv/V8VZQ1S9D5 |
|---|---|
| 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.31615#MHKV (statement). In TNV6XTEWEG/e1, fact 3.4
History
- 2026-10-31: add by m2/v0.5.6
Definition V8W07KYTFJ
| URI | m2://inv/V8W07KYTFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-finite measure#1PA4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Separation principle V8W2FQ9G8Z
| URI | m2://inv/V8W2FQ9G8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle, Separation principle (statement). Also Wikidata Q2271572
History
- 2026-11-02: add by m2/dev
V8WDBC4WHJ V8WDBC4WHJ
| URI | m2://inv/V8WDBC4WHJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#LBT0 (definition). In 2QP93JHYNB/e1, definition 8.21
History
- 2026-10-27: add by m2/v0.4.2
cyclic graph V8WDG82Q1N
| URI | m2://inv/V8WDG82Q1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130323481, cyclic graph (unknown). Also MathWorld CyclicGraph
History
- 2026-10-26: add by m2/dev
V8WM6W06QQ V8WM6W06QQ
| URI | m2://inv/V8WM6W06QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#AU0K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vincent Léotaud V8WNCQFGYS
| URI | m2://inv/V8WNCQFGYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent Léotaud, Vincent Léotaud (topic). Also Wikidata Q18945814
History
- 2026-11-02: add by m2/dev
Kurz V8WR3YNG65
| URI | m2://inv/V8WR3YNG65 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30310#1J6N, Kurz (conjecture). In 31XSBAFMEQ/e1, conjecture 1
History
- 2026-10-31: add by m2/v0.5.6
V8WRKZDWJF V8WRKZDWJF
| URI | m2://inv/V8WRKZDWJF |
|---|---|
| Kind | example |
| 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.22020#RYSX (example)
History
- 2026-11-02: add by m2/v0.6.17
Existence and uniqueness V8X7JHFRYP
| URI | m2://inv/V8X7JHFRYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#KWDY, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Dyadic algebra V8XGRH9KCQ
| URI | m2://inv/V8XGRH9KCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#KSWH, Dyadic algebra (definition)
History
- 2026-11-02: add by m2/dev
V8XSBRWW0A V8XSBRWW0A
| URI | m2://inv/V8XSBRWW0A |
|---|---|
| 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 2608.23797#WYV7 (statement). In PZCA01JXVR/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
V8XTB8WCZA V8XTB8WCZA
| URI | m2://inv/V8XTB8WCZA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#OVL8 (definition). In JXTG8KP95P/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
V8XY4NESYS V8XY4NESYS
| URI | m2://inv/V8XY4NESYS |
|---|---|
| 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 2208.04502#BW4N (statement). In BT6E9BXXF3/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
Linear type V8XZKQGASB
| URI | m2://inv/V8XZKQGASB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructural type system#Z50Y, Linear type (unknown)
History
- 2026-11-02: add by m2/dev
Examples V8Y019JJ7M
| URI | m2://inv/V8Y019JJ7M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confounding#Y8NS, Examples (example)
History
- 2026-11-02: add by m2/dev
V8Y2HDGSND V8Y2HDGSND
| URI | m2://inv/V8Y2HDGSND |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#RR8H (definition). In RAXRNDW2Z0/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Newman–Shanks–Williams prime V8Y3RST9C1
| URI | m2://inv/V8Y3RST9C1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6SH0, Newman–Shanks–Williams prime (conjecture)
History
- 2026-11-02: add by m2/dev
Augustamnica Secunda V8Y67EG74J
| URI | m2://inv/V8Y67EG74J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#V31U, Augustamnica Secunda (unknown)
History
- 2026-11-02: add by m2/dev
V8YK1D1T06 V8YK1D1T06
| URI | m2://inv/V8YK1D1T06 |
|---|---|
| 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.22667#293C (statement)
History
- 2026-11-02: add by m2/v0.6.17
Weyl anomaly V8YMHTNPQ3
| URI | m2://inv/V8YMHTNPQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#IQ4C, Weyl anomaly (unknown)
History
- 2026-11-02: add by m2/dev
List of countries by past and projected GDP (nominal) per capita V8YNK6HCP6
| URI | m2://inv/V8YNK6HCP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected GDP (nominal) per capita, List of countries by past and projected GDP (nominal) per capita (topic). Also Wikidata Q6543353
History
- 2026-11-02: add by m2/dev
binomial V8YPTGY3M0
| URI | m2://inv/V8YPTGY3M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193623, binomial (unknown). Also EoM Binomial, MathWorld Binomial
- wikipedia: Wikipedia Binomial (polynomial), Binomial (definition). Also Wikidata Q193623
History
- 2026-10-26: add by m2/dev
Paul-André Meyer V8YSP585BE
| URI | m2://inv/V8YSP585BE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#YJYU, Paul-André Meyer (topic)
History
- 2026-11-02: add by m2/dev
Examples V8YVMFR0X5
| URI | m2://inv/V8YVMFR0X5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial and terminal objects#1T74, Examples (example)
History
- 2026-11-02: add by m2/dev
measurable space V8Z755JRRY
| URI | m2://inv/V8Z755JRRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#10CS, measurable space (definition)
History
- 2026-11-02: add by m2/dev
V8Z9GAB6VV V8Z9GAB6VV
| URI | m2://inv/V8Z9GAB6VV |
|---|---|
| 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.32903#MAB5 (statement). In S8NB83KQX3/e1, lemma 14
History
- 2026-10-31: add by m2/v0.5.6
Eighty Mile Beach V8ZBCJN37H
| URI | m2://inv/V8ZBCJN37H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZA7E, Eighty Mile Beach (unknown)
History
- 2026-11-02: add by m2/dev
V8ZESSQTF1 V8ZESSQTF1
| URI | m2://inv/V8ZESSQTF1 |
|---|---|
| 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#9EKT (statement). In RK0ZMDJ23T/e1, lemma 2.2.3
History
- 2026-10-31: add by m2/v0.5.6
Ioana Dumitriu V8ZEYA56T8
| URI | m2://inv/V8ZEYA56T8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ioana Dumitriu, Ioana Dumitriu (topic). Also Wikidata Q18672622
History
- 2026-11-02: add by m2/dev
V8ZG6J3FAB V8ZG6J3FAB
| URI | m2://inv/V8ZG6J3FAB |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06441#N5U1 (unknown). In YFJ62HWHVK/e1, unknown 2.1
History
- 2026-10-29: add by m2/v0.4.10
factor group V8ZHX08ZJ2
| URI | m2://inv/V8ZHX08ZJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 11526) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#CCBH, factor group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Cox, Richard Threlkeld V8ZTX8YJ5C
| URI | m2://inv/V8ZTX8YJ5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5B81, Cox, Richard Threlkeld (unknown)
History
- 2026-11-02: add by m2/dev
Best-so-far guarantees V8ZXGSW3N4
| URI | m2://inv/V8ZXGSW3N4 |
|---|---|
| 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.04027#J0AH, Best-so-far guarantees (statement). In DQB4YR2DFH/e1, proposition 9.7
History
- 2026-10-29: add by m2/v0.4.12
Boundedness of multiplier estimates V8ZYNDMK0G
| URI | m2://inv/V8ZYNDMK0G |
|---|---|
| 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.18428#Q86R, Boundedness of multiplier estimates (statement). In 6BGSQT7SV8/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2