Inventory rows X7
The cards of the rows of the inventory whose ids start with X7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
X70B1QAP2C X70B1QAP2C
| URI | m2://inv/X70B1QAP2C |
|---|---|
| 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 2207.07461#2T1M (statement). In GAG532VMPF/e1, corollary 4.1.4
History
- 2026-10-27: add by m2/v0.3.5
Jørgen Pedersen Gram X70B9SBRKK
| URI | m2://inv/X70B9SBRKK |
|---|---|
| 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 Q957238, Jørgen Pedersen Gram (unknown). Also ProofWiki Mathematician:Jørgen_Pedersen_Gram
- wikipedia: Wikipedia Jørgen Pedersen Gram, Jørgen Pedersen Gram (topic). Also Wikidata Q957238
History
- 2026-10-26: add by m2/dev
Generalizations X70DWF204X
| URI | m2://inv/X70DWF204X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative ring#FYWY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Lynn Kuo X70KJVBG6S
| URI | m2://inv/X70KJVBG6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#X32R, Lynn Kuo (topic)
History
- 2026-11-02: add by m2/dev
Power reciprocity law X70P61RDC5
| URI | m2://inv/X70P61RDC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power residue symbol#IXDI, Power reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
CW complex X70ZZBTE74
| URI | m2://inv/X70ZZBTE74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#31MG, CW complex (definition)
History
- 2026-11-02: add by m2/dev
Cappadocia Prima X7136NV001
| URI | m2://inv/X7136NV001 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EVKM, Cappadocia Prima (unknown)
History
- 2026-11-02: add by m2/dev
X7147NY2WX X7147NY2WX
| URI | m2://inv/X7147NY2WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#N522 (statement). In B1VVAKFCKZ/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
Andreas Karch X716F6CZT6
| URI | m2://inv/X716F6CZT6 |
|---|---|
| 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 Q498672, Andreas Karch (unknown). Also nLab Andreas Karch
History
- 2026-10-26: add by m2/dev
761 (number) X719QT8MBG
| URI | m2://inv/X719QT8MBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#P4BI, 761 (number) (unknown)
History
- 2026-11-02: add by m2/dev
X71KHM7ZAH X71KHM7ZAH
| URI | m2://inv/X71KHM7ZAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.22297#S5C9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Valuation (mathematics) X71N2240C1
| URI | m2://inv/X71N2240C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#D0S7, Valuation (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Statement X71RMAVN3Z
| URI | m2://inv/X71RMAVN3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure theorem for finitely generated modules over a principal ideal domain#KHOX, Statement (statement)
History
- 2026-11-02: add by m2/dev
Global illumination X71V6611AR
| URI | m2://inv/X71V6611AR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#B098, Global illumination (unknown)
History
- 2026-11-02: add by m2/dev
Alternating group X725GTDSDD
| URI | m2://inv/X725GTDSDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#BCHX, Alternating group (definition)
History
- 2026-11-02: add by m2/dev
Harriet Pollatsek X72ADSSTZH
| URI | m2://inv/X72ADSSTZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MXN9, Harriet Pollatsek (topic)
History
- 2026-11-02: add by m2/dev
PSPACE-complete X72DVYXMAN
| URI | m2://inv/X72DVYXMAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPACE-complete, PSPACE-complete (definition). Also Wikidata Q905967
History
- 2026-11-02: add by m2/dev
X73N00YVK4 X73N00YVK4
| URI | m2://inv/X73N00YVK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#example-3 (example). In Y91XFCEVHQ, example, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
X73PNGTRV3 X73PNGTRV3
| URI | m2://inv/X73PNGTRV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2403.08723#X2YR (statement). In HGE2NCQW29/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
X7433EEYDB X7433EEYDB
| URI | m2://inv/X7433EEYDB |
|---|---|
| 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 2605.24355#BRBD (statement). In VV3AJMWWCR/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
X7484GDH27 X7484GDH27
| URI | m2://inv/X7484GDH27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00337#9VU4 (statement). In 5STQ3ABZ60/e1, proposition 8.2
History
- 2026-10-30: add by m2/v0.4.12
Applications X74DCKYWG4
| URI | m2://inv/X74DCKYWG4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truss#HEVN, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties X74KJS7ZDY
| URI | m2://inv/X74KJS7ZDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisimplicial set#EJ01, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formal definition X74THEZ4DE
| URI | m2://inv/X74THEZ4DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deterministic finite automaton#UYT8, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
X74VYTG72R X74VYTG72R
| URI | m2://inv/X74VYTG72R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.19357#IWDL (statement). In RGXQ50RWXV/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Maximum entropy method X7527P9CP3
| URI | m2://inv/X7527P9CP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TIL9, Maximum entropy method (statement)
History
- 2026-11-02: add by m2/dev
X75554H0F0 X75554H0F0
| URI | m2://inv/X75554H0F0 |
|---|---|
| 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.15316#9MLP (statement). In 3K84E4150C/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
X755AC04SR X755AC04SR
| URI | m2://inv/X755AC04SR |
|---|---|
| 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.27646#IH8D (statement)
History
- 2026-11-01: add by m2/v0.6.15
ternary X75BNWZ28H
| URI | m2://inv/X75BNWZ28H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#UQ6M, ternary (definition)
History
- 2026-11-02: add by m2/dev
X75CTGV36X X75CTGV36X
| URI | m2://inv/X75CTGV36X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-3 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
X75F2MF609 X75F2MF609
| URI | m2://inv/X75F2MF609 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#A35D (statement). In XHSKEPT3VD/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
X75FQ91B9E X75FQ91B9E
| URI | m2://inv/X75FQ91B9E |
|---|---|
| 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.38532#8WPR (statement). In X7YYWCZFTV/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
X75HK2YJAQ X75HK2YJAQ
| URI | m2://inv/X75HK2YJAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07490#5QD5 (statement). In 1BCKN2RQQ4/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
X75RQGKQV8 X75RQGKQV8
| URI | m2://inv/X75RQGKQV8 |
|---|---|
| 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 2507.05417#D39I (statement). In RGHZ863Q26/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.3.5
X75XXW2868 X75XXW2868
| URI | m2://inv/X75XXW2868 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudin's conjecture#38NH (problem)
History
- 2026-11-02: add by m2/dev
Equivalence of formulas X7660QNSSY
| URI | m2://inv/X7660QNSSY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence-friendly logic#O1P8, Equivalence of formulas (statement)
History
- 2026-11-02: add by m2/dev
X769J6X8NG X769J6X8NG
| URI | m2://inv/X769J6X8NG |
|---|---|
| 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.11388#7JJD (statement). In PC1SZ68BPZ/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.3
Gradient structure and phase symmetry X76D5DXRFX
| URI | m2://inv/X76D5DXRFX |
|---|---|
| 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.10993#5XCU, Gradient structure and phase symmetry (statement). In 1JCPN0K7DB/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.3
X76DDY7499 X76DDY7499
| URI | m2://inv/X76DDY7499 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#PRBN (definition)
History
- 2026-11-01: add by m2/v0.6.15
X76EW6WCE4 X76EW6WCE4
| URI | m2://inv/X76EW6WCE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#Z2BJ (statement). In 4WC4V49KAC/e1, corollary 1.13
History
- 2026-10-27: add by m2/v0.4.2
Examples X76HZ088CJ
| URI | m2://inv/X76HZ088CJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicategory#8W4O, Examples (example)
History
- 2026-11-02: add by m2/dev
List of things named after Felix Hausdorff X76RX78M92
| URI | m2://inv/X76RX78M92 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Hausdorff, List of things named after Felix Hausdorff (topic). Also Wikidata Q135990748
History
- 2026-11-02: add by m2/dev
Kawasaki's theorem X76SY7A05Q
| URI | m2://inv/X76SY7A05Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6379715, Kawasaki's theorem (statement). Also Wikidata Q6379715
- thousand_plus: thousand_plus Q6379715, Kawasaki's theorem (statement). Also Wikidata Q6379715, Wikipedia Kawasaki's theorem
- wikidata: Wikidata Q6379715, Kawasaki's theorem (statement). Also MathWorld KawasakisTheorem
- wikipedia: Wikipedia Kawasaki's theorem, Kawasaki's theorem (statement). Also Wikidata Q6379715
History
- 2026-10-26: add by m2/dev
X76Z0G0J49 X76Z0G0J49
| URI | m2://inv/X76Z0G0J49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#definition-4 (definition). In RZP28ERRZV, definition, section 14.4
History
- 2026-11-01: add by m2/v0.6.13
Examples X772F6XSCY
| URI | m2://inv/X772F6XSCY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation ring#2WAP, Examples (example)
History
- 2026-11-02: add by m2/dev
Star polygon X772WE8MTE
| URI | m2://inv/X772WE8MTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#F1Q3, Star polygon (definition)
History
- 2026-11-02: add by m2/dev
Notation X773DZ9W8P
| URI | m2://inv/X773DZ9W8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection#I3YD, Notation (definition)
History
- 2026-11-02: add by m2/dev
Quaternionic analysis X775189FC8
| URI | m2://inv/X775189FC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic analysis, Quaternionic analysis (definition). Also Wikidata Q7269567
History
- 2026-11-02: add by m2/dev
X77NJMGVNV X77NJMGVNV
| URI | m2://inv/X77NJMGVNV |
|---|---|
| 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.22291#FC5I (statement). In TMBJ7NVPC7/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
Definition X77PZDF436
| URI | m2://inv/X77PZDF436 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber functor#FR94, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition X780XB9DAN
| URI | m2://inv/X780XB9DAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet process#MIX0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Conway chained arrow notation X78NMD5NY7
| URI | m2://inv/X78NMD5NY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180168, Conway chained arrow notation (unknown). Also MathWorld ChainedArrowNotation
- wikipedia: Wikipedia Conway chained arrow notation, Conway chained arrow notation (definition). Also Wikidata Q180168
History
- 2026-10-26: add by m2/dev
X78P5DF0NR X78P5DF0NR
| URI | m2://inv/X78P5DF0NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#LL6D (statement). In 9ZSNSJRJ5N/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Theorem 2-2 X78Y7BY00T
| URI | m2://inv/X78Y7BY00T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' theorem#7Q4W, Theorem 2-2 (statement)
History
- 2026-11-02: add by m2/dev
337 (number) X793YC2JJ5
| URI | m2://inv/X793YC2JJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#0RVJ, 337 (number) (unknown)
History
- 2026-11-02: add by m2/dev
K\"orner's graph entropy X79627TKVW
| URI | m2://inv/X79627TKVW |
|---|---|
| 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.08202#E46V, K\"orner's graph entropy (definition). In N7XJ16700B/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.10
Jairo Bochi X79CGYV1XE
| URI | m2://inv/X79CGYV1XE |
|---|---|
| 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#UBXS, Jairo Bochi (unknown)
History
- 2026-11-02: add by m2/dev
Matthew Stephens X79ESRDA55
| URI | m2://inv/X79ESRDA55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matthew Stephens (statistician), Matthew Stephens (topic). Also Wikidata Q6791270
History
- 2026-11-02: add by m2/dev
X79FQ2MSM1 X79FQ2MSM1
| URI | m2://inv/X79FQ2MSM1 |
|---|---|
| Kind | statement |
| 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 1011.4651#QFL0 (statement). In 44YWXB0VB4/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
X79H0DHJ0S X79H0DHJ0S
| URI | m2://inv/X79H0DHJ0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#thm:mscompactisseqcpt (statement). In E59CDZA4DP, thm, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
X79KKBYDSA X79KKBYDSA
| URI | m2://inv/X79KKBYDSA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08599#LCJO (example). In DST9FWMHT6/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.10
Vladimir Vragov X79KWPNGXM
| URI | m2://inv/X79KWPNGXM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Vragov, Vladimir Vragov (topic). Also Wikidata Q18237694
History
- 2026-11-02: add by m2/dev
Moment bounds X79SNMCTJX
| URI | m2://inv/X79SNMCTJX |
|---|---|
| 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.32695#C3VY, Moment bounds (statement). In VQSF2E35BX/e1, lemma B.2
History
- 2026-10-31: add by m2/v0.5.6
X7A3BKNDWD X7A3BKNDWD
| URI | m2://inv/X7A3BKNDWD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#295I (definition)
History
- 2026-11-01: add by m2/v0.6.15
vector difference X7A6EJQQ9Y
| URI | m2://inv/X7A6EJQQ9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117442311, vector difference (unknown). Also MathWorld VectorDifference
History
- 2026-10-26: add by m2/dev
X7AGR4GHHG X7AGR4GHHG
| URI | m2://inv/X7AGR4GHHG |
|---|---|
| Kind | statement |
| 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.31689#72NW (statement). In Z7M2JSF6HA/e1, lemma 16.1
History
- 2026-10-31: add by m2/v0.5.6
X7ARPQSFZD X7ARPQSFZD
| URI | m2://inv/X7ARPQSFZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#DTG1 (statement). In Q74G3BVZAQ/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
universal quantifier X7ATTY6YZM
| URI | m2://inv/X7ATTY6YZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.3/universal-quantifier, universal quantifier (concept). In Y91XFCEVHQ, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Enumeration X7AWDZCHXH
| URI | m2://inv/X7AWDZCHXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemaic graph#0CIH, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
419 (number) X7B0J4RPMF
| URI | m2://inv/X7B0J4RPMF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#Q0R3, 419 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Uniqueness for $L^\infty$ conductivities X7B0NAYS1V
| URI | m2://inv/X7B0NAYS1V |
|---|---|
| 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.17524#P09W, Uniqueness for $L^\infty$ conductivities (statement). In MKA4QH9VRE/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Theodor Schneider X7B268HYR0
| URI | m2://inv/X7B268HYR0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#004E, Theodor Schneider (topic)
History
- 2026-11-02: add by m2/dev
evil X7B7DX87VW
| URI | m2://inv/X7B7DX87VW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/evil, evil (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Algorithms for matrix inversion X7BAKQK4JG
| URI | m2://inv/X7BAKQK4JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invertible matrix#UUJM, Algorithms for matrix inversion (unknown)
History
- 2026-11-02: add by m2/dev
Quasinormal subgroup X7BH92G2X5
| URI | m2://inv/X7BH92G2X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasinormal subgroup, Quasinormal subgroup (definition). Also Wikidata Q7269511
History
- 2026-11-02: add by m2/dev
X7BHGMHAZP X7BHGMHAZP
| URI | m2://inv/X7BHGMHAZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#C2W4 (statement). In 1SPQ4J3AWY/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
B-convex space X7BHPT08BJ
| URI | m2://inv/X7BHPT08BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-convex space, B-convex space (definition). Also Wikidata Q4833724
History
- 2026-11-02: add by m2/dev
Definition and properties X7BJJ9YVK9
| URI | m2://inv/X7BJJ9YVK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herschel graph#JX0M, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
X7BNJYSRQP X7BNJYSRQP
| URI | m2://inv/X7BNJYSRQP |
|---|---|
| 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.35186#VQYR (statement). In VFNPANY3HD/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Ideonomy X7BTXRC74M
| URI | m2://inv/X7BTXRC74M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideonomy, Ideonomy (definition). Also Wikidata Q137863544
History
- 2026-11-02: add by m2/dev
Periodic graph X7C8EQVVXY
| URI | m2://inv/X7C8EQVVXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic graph (geometry), Periodic graph (definition). Also Wikidata Q7168638
History
- 2026-11-02: add by m2/dev
Claim 3 X7CP5FN3ED
| URI | m2://inv/X7CP5FN3ED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that pi is irrational#LEWF, Claim 3 (statement)
History
- 2026-11-02: add by m2/dev
Bertrand's postulate X7CTNFBY9C
| URI | m2://inv/X7CTNFBY9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#JV6Q, Bertrand's postulate (statement). In N4M6B8EMCW/e1, fact 2.4
History
- 2026-10-31: add by m2/v0.5.6
X7CXGVX181 X7CXGVX181
| URI | m2://inv/X7CXGVX181 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#Q2W1 (statement). In VNE8N0D2FB/e1, proposition 5.9
History
- 2026-10-31: add by m2/v0.5.6
X7CZ06XZYA X7CZ06XZYA
| URI | m2://inv/X7CZ06XZYA |
|---|---|
| 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 2610.11383#H7QV (statement). In DJBZ3V8SQ6/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.3
X7D2Z87E1X X7D2Z87E1X
| URI | m2://inv/X7D2Z87E1X |
|---|---|
| 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 2404.06445#YQBV (statement). In 12JKZ8EN52/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Wigner's classification X7D69X846F
| URI | m2://inv/X7D69X846F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#8LF8, Wigner's classification (definition)
History
- 2026-11-02: add by m2/dev
Special cases X7D77MDM9V
| URI | m2://inv/X7D77MDM9V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irwin–Hall distribution#2FRQ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
bundle gerbe X7D9MCXV9Y
| URI | m2://inv/X7D9MCXV9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1020771, bundle gerbe (unknown). Also nLab bundle gerbe
- wikipedia: Wikipedia Bundle gerbe, Bundle gerbe (definition). Also Wikidata Q1020771
History
- 2026-10-26: add by m2/dev
The Ruelle Inequality vs. Pesin's Formula X7DAD0Y5D4
| URI | m2://inv/X7DAD0Y5D4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pesin Entropy Formula#HF9O, The Ruelle Inequality vs. Pesin's Formula (statement)
History
- 2026-11-02: add by m2/dev
Multifractal system X7DGPK3CPN
| URI | m2://inv/X7DGPK3CPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multifractal system, Multifractal system (definition). Also Wikidata Q2629238
History
- 2026-11-02: add by m2/dev
X7DK3PQW34 X7DK3PQW34
| URI | m2://inv/X7DK3PQW34 |
|---|---|
| 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.21140#5E4D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications X7DNMNQREE
| URI | m2://inv/X7DNMNQREE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great circle#6E28, Applications (example)
History
- 2026-11-02: add by m2/dev
Parent Enumeration X7E5E4YTG5
| URI | m2://inv/X7E5E4YTG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#X05Y, Parent Enumeration (statement). In D7NDCWSDJE/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Closed sets X7E5GA8ZJY
| URI | m2://inv/X7E5GA8ZJY |
|---|---|
| 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 2610.18154#H0N4, Closed sets (statement). In 4W7ARR1DAR/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
The boundary graph of a peel X7E8ZXQFQH
| URI | m2://inv/X7E8ZXQFQH |
|---|---|
| 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.26196#LEBM, The boundary graph of a peel (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sufficient condition for vibrational stabilization X7ECVGDE5X
| URI | m2://inv/X7ECVGDE5X |
|---|---|
| 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 2204.00678#984W, Sufficient condition for vibrational stabilization (statement). In RX70Y35BYJ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Actuarial notation X7EDP12XEA
| URI | m2://inv/X7EDP12XEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial notation, Actuarial notation (definition). Also Wikidata Q4677851
History
- 2026-11-02: add by m2/dev
Pseudocompact X7EKYCEV8Z
| URI | m2://inv/X7EKYCEV8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MJKZ, Pseudocompact (definition)
History
- 2026-11-02: add by m2/dev
Bin capacity X7ERTA74HP
| URI | m2://inv/X7ERTA74HP |
|---|---|
| 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.28791#ODZW, Bin capacity (statement)
History
- 2026-11-01: add by m2/v0.6.15
The group law X7ESDW69T9
| URI | m2://inv/X7ESDW69T9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tripling-oriented Doche–Icart–Kohel curve#X5VC, The group law (statement)
History
- 2026-11-02: add by m2/dev
Masreliez's theorem X7ESTZ9VMZ
| URI | m2://inv/X7ESTZ9VMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Masreliez's theorem, Masreliez's theorem (statement). Also Wikidata Q1216708
History
- 2026-11-02: add by m2/dev
Conjecture X7EVGBA1SK
| URI | m2://inv/X7EVGBA1SK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#MJE0, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
X7EWSZN2DD X7EWSZN2DD
| URI | m2://inv/X7EWSZN2DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.33656#SNTB (statement). In 8PXDPT3X9P/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Mashreghi–Ransford inequality X7F7S5GQFB
| URI | m2://inv/X7F7S5GQFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mashreghi–Ransford inequality, Mashreghi–Ransford inequality (statement). Also Wikidata Q6783219
History
- 2026-11-02: add by m2/dev
X7F9M68EBM X7F9M68EBM
| URI | m2://inv/X7F9M68EBM |
|---|---|
| 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.08226#DU91 (statement). In V6EPE8XHAD/e1, proposition 10.2
History
- 2026-10-29: add by m2/v0.4.10
X7F9YAP5V7 X7F9YAP5V7
| URI | m2://inv/X7F9YAP5V7 |
|---|---|
| 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 2111.07717#YH93 (definition). In AXFXGWG7ZG/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Steenrod homology X7FCG2RVVE
| URI | m2://inv/X7FCG2RVVE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7605885, Steenrod homology (concept). Also nLab Steenrod homology
- wikipedia: Wikipedia Steenrod homology, Steenrod homology (definition). Also Wikidata Q7605885
History
- 2026-10-26: add by m2/dev
X7FH1YA6ES X7FH1YA6ES
| URI | m2://inv/X7FH1YA6ES |
|---|---|
| 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.18358#4PV6 (statement). In SPZ446XNDW/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
First proof X7FQENG8EK
| URI | m2://inv/X7FQENG8EK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-7, First proof (proof). In N54F33XE07, proof, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
X7FT6QXMGK X7FT6QXMGK
| URI | m2://inv/X7FT6QXMGK |
|---|---|
| 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.03373#AINU (statement). In ZA7DBT3NWR/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
X7FTV5GDW3 X7FTV5GDW3
| URI | m2://inv/X7FTV5GDW3 |
|---|---|
| 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.22205#6WAM (statement). In 7REABAAQED/e1, proposition
History
- 2026-10-27: add by m2/v0.4.0
List of Chinese mathematicians X7G1BMKWK8
| URI | m2://inv/X7G1BMKWK8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#HU3I, List of Chinese mathematicians (topic)
History
- 2026-11-02: add by m2/dev
⊂ X7G4SV4QZD
| URI | m2://inv/X7G4SV4QZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subset#4YIE, ⊂ (unknown)
History
- 2026-11-02: add by m2/dev
Compactness of the barycentrically normalized class X7G9AJZK8C
| URI | m2://inv/X7G9AJZK8C |
|---|---|
| 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.28014#46B8, Compactness of the barycentrically normalized class (statement)
History
- 2026-11-01: add by m2/v0.6.15
X7G9DSBHFW X7G9DSBHFW
| URI | m2://inv/X7G9DSBHFW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07671#C3LY (example). In XHHBGCVG90/e1, example 2.1.1
History
- 2026-10-29: add by m2/v0.4.10
Simon X7GCD6MF97
| URI | m2://inv/X7GCD6MF97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon (cipher), Simon (definition). Also Wikidata Q17084394
History
- 2026-11-02: add by m2/dev
Definition X7GH4P415V
| URI | m2://inv/X7GH4P415V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residence time (statistics)#6HS0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rectified Gaussian distribution X7GJYBJXJW
| URI | m2://inv/X7GJYBJXJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#EPB8, Rectified Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
Application X7GM3CSP9W
| URI | m2://inv/X7GM3CSP9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proto-value function#RAKE, Application (example)
History
- 2026-11-02: add by m2/dev
small triakis octahedral graph X7GPQ0K51A
| URI | m2://inv/X7GPQ0K51A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115613, small triakis octahedral graph (unknown). Also House of Graphs 1321, MathWorld SmallTriakisOctahedralGraph
History
- 2026-10-26: add by m2/dev
Interior convergence and logarithmic error estimate X7GRNNTNYY
| URI | m2://inv/X7GRNNTNYY |
|---|---|
| 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.10484#UJ57, Interior convergence and logarithmic error estimate (statement). In 5B4AX4SF88/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
X7GW5NPBRS X7GW5NPBRS
| URI | m2://inv/X7GW5NPBRS |
|---|---|
| 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 2609.31243#3OO1 (statement). In E8FP48FJMZ/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
X7GYH6C46E X7GYH6C46E
| URI | m2://inv/X7GYH6C46E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#RJHD (definition). In F3BKXXPR3K/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Halmos, Paul X7H1TKDNJY
| URI | m2://inv/X7H1TKDNJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8JN3, Halmos, Paul (topic)
History
- 2026-11-02: add by m2/dev
X7H2R3RJPN X7H2R3RJPN
| URI | m2://inv/X7H2R3RJPN |
|---|---|
| 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 2610.12329#169F (statement). In ZJQB9W60T6/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem (Weierstrass M-test) X7H3VEBXRF
| URI | m2://inv/X7H3VEBXRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence#EJ4R, Theorem (Weierstrass M-test) (statement)
History
- 2026-11-02: add by m2/dev
Critical-point count X7H66NVQDC
| URI | m2://inv/X7H66NVQDC |
|---|---|
| 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.19953#AM84, Critical-point count (statement). In CHPJWBREES/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definition X7HCM6JF1A
| URI | m2://inv/X7HCM6JF1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division polynomials#P9NJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mild solution X7HDAM83FN
| URI | m2://inv/X7HDAM83FN |
|---|---|
| Kind | definition |
| 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.29205#EFJ4, Mild solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
X7HEJJDY4P X7HEJJDY4P
| URI | m2://inv/X7HEJJDY4P |
|---|---|
| Kind | example |
| 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.18419#F7DI (example). In 7Q26JWKD7E/e1, example 17
History
- 2026-10-28: add by m2/v0.4.2
X7HERB43VF X7HERB43VF
| URI | m2://inv/X7HERB43VF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#4417 (statement). In 5KR3MHYVV6/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Simple ring X7HR0BEM8R
| URI | m2://inv/X7HR0BEM8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#MPXF, Simple ring (definition)
History
- 2026-11-02: add by m2/dev
Ergodic theorems X7HXQXTCWR
| URI | m2://inv/X7HXQXTCWR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity#33QH, Ergodic theorems (statement)
History
- 2026-11-02: add by m2/dev
X7J6NNYWPD X7J6NNYWPD
| URI | m2://inv/X7J6NNYWPD |
|---|---|
| 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.30823#PWF5 (definition). In 1YHQ9YNQ68/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
extreme value theorem X7J7M8AZ70
| URI | m2://inv/X7J7M8AZ70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#4O5U, extreme value theorem (definition)
History
- 2026-11-02: add by m2/dev
X7JA08SB33 X7JA08SB33
| URI | m2://inv/X7JA08SB33 |
|---|---|
| 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.29531#PWIS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Directed graph X7JBDFVYTV
| URI | m2://inv/X7JBDFVYTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/graphs.tex#defn-1, Directed graph (definition). In PKGMM3P5QY, defn, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
Strict gap between the thresholds X7JBRQT30E
| URI | m2://inv/X7JBRQT30E |
|---|---|
| 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.07404#XXVW, Strict gap between the thresholds (statement). In VAJ9MBT3SJ/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
X7JFJ1Z3RH X7JFJ1Z3RH
| URI | m2://inv/X7JFJ1Z3RH |
|---|---|
| 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.32107#XMQ4 (statement). In F11G5M3JA5/e1, theorem 4.6
History
- 2026-10-31: add by m2/v0.5.6
X7JHGH6HGR X7JHGH6HGR
| URI | m2://inv/X7JHGH6HGR |
|---|---|
| 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.14217#O7PI (statement). In K0DHYQC5B7/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Quadratic convergence X7JMA63EHM
| URI | m2://inv/X7JMA63EHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of convergence#2XVA, Quadratic convergence (unknown)
History
- 2026-11-02: add by m2/dev
X7JR76M1SG X7JR76M1SG
| URI | m2://inv/X7JR76M1SG |
|---|---|
| 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 2604.23212#J29J (statement). In 4X12V9RS0D/e1, proposition F.5
History
- 2026-10-27: add by m2/v0.3.5
Infinite normal basis theorem X7JRPZ6C1V
| URI | m2://inv/X7JRPZ6C1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22247#MCLV, Infinite normal basis theorem (statement). In SBNH1MWND8/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
FP-growth X7JXD732TY
| URI | m2://inv/X7JXD732TY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association rule learning#9ORV, FP-growth (unknown)
History
- 2026-11-02: add by m2/dev
Marie Georges Humbert X7K246FWVP
| URI | m2://inv/X7K246FWVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Georges Humbert, Marie Georges Humbert (topic). Also Wikidata Q1424117
History
- 2026-11-02: add by m2/dev
regularity X7K7D4EMX7
| URI | m2://inv/X7K7D4EMX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35B65 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4184950, regularity (topic)
History
- 2026-10-26: add by m2/dev
X7K9PC0K8J X7K9PC0K8J
| URI | m2://inv/X7K9PC0K8J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/justifications.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 71.4
History
- 2026-11-01: add by m2/v0.6.13
Basic properties X7KMQ50MKM
| URI | m2://inv/X7KMQ50MKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function#IB60, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Tree (set theory) X7KPG0H3QB
| URI | m2://inv/X7KPG0H3QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#MWWU, Tree (set theory) (definition)
- wikipedia: Wikipedia List of order theory topics#78A4, Tree (set theory) (definition)
History
- 2026-11-02: add by m2/dev
Martin Yarmush X7KPY9VJTX
| URI | m2://inv/X7KPY9VJTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K4PJ, Martin Yarmush (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Li–Tian–Wang, Li, Berman, Liu–Xu–Zhuang) X7KQZ8EZKQ
| URI | m2://inv/X7KQZ8EZKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#6YGO, Theorem (Li–Tian–Wang, Li, Berman, Liu–Xu–Zhuang) (statement)
History
- 2026-11-02: add by m2/dev
Orbitwise parameterization of a complete layer X7KRXC9G3G
| URI | m2://inv/X7KRXC9G3G |
|---|---|
| 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.25987#AARE, Orbitwise parameterization of a complete layer (statement)
History
- 2026-11-01: add by m2/v0.6.15
X7KT8TCQDA X7KT8TCQDA
| URI | m2://inv/X7KT8TCQDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#8VOP (statement). In 13GSWBXPCM/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Richard Townsend X7KYT4XHER
| URI | m2://inv/X7KYT4XHER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Townsend (mathematician), Richard Townsend (topic). Also Wikidata Q18593432
History
- 2026-11-02: add by m2/dev
Applications X7M9QKVTFV
| URI | m2://inv/X7M9QKVTFV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical rotation#1R9G, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem X7MDFPVPCF
| URI | m2://inv/X7MDFPVPCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob–Meyer decomposition theorem#6GCA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
X7ME3TNXY2 X7ME3TNXY2
| URI | m2://inv/X7ME3TNXY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06466#6QUV (statement). In 6W451V3N75/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
X7MF47TGVV X7MF47TGVV
| URI | m2://inv/X7MF47TGVV |
|---|---|
| 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 1806.05002#Y7SG (statement). In JBAQ7DTW7B/e1, lemma 12.2
History
- 2026-10-27: add by m2/v0.3.5
X7MKT3W8DF X7MKT3W8DF
| URI | m2://inv/X7MKT3W8DF |
|---|---|
| Kind | example |
| 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.18468#Z5R9 (example). In VP29RN7ZMA/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
X7MSCJPCQA X7MSCJPCQA
| URI | m2://inv/X7MSCJPCQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#B8K0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
X7MWR8PBPV X7MWR8PBPV
| URI | m2://inv/X7MWR8PBPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2503.00560#7EIL (statement). In KH1H3TSWPS/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.6
X7NFFGYBP1 X7NFFGYBP1
| URI | m2://inv/X7NFFGYBP1 |
|---|---|
| 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 2209.01576#GSFS (statement). In EF0X4TKTR4/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.5
$T_2$ counting operator X7NGA2WJSF
| URI | m2://inv/X7NGA2WJSF |
|---|---|
| Kind | definition |
| 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 1806.05002#T1QR, $T_2$ counting operator (definition). In JBAQ7DTW7B/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
limits X7NMXSKVK2
| URI | m2://inv/X7NMXSKVK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > limits, limits (unknown). Also Mathlib CategoryTheory.Limits.IsLimit
History
- 2026-10-26: add by m2/dev
Function of several real variables X7NNV75474
| URI | m2://inv/X7NNV75474 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several real variables, Function of several real variables (definition). Also Wikidata Q15284797
History
- 2026-11-02: add by m2/dev
Confidence region X7NP6TXG44
| URI | m2://inv/X7NP6TXG44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T553, Confidence region (definition)
History
- 2026-11-02: add by m2/dev
X7P09P9X5G X7P09P9X5G
| URI | m2://inv/X7P09P9X5G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Absorption law X7P4V34P5B
| URI | m2://inv/X7P4V34P5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#QFAK, Absorption law (statement)
History
- 2026-11-02: add by m2/dev
Dimension-free analyticity on \(L^4(\pi;\mathfrak{S}_4)\ X7P599CKVF
| URI | m2://inv/X7P599CKVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#NLKO, Dimension-free analyticity on \(L^4(\pi;\mathfrak{S}_4)\ (statement). In HTWSDDAWGS/e1, lemma A.8
History
- 2026-10-29: add by m2/v0.4.10
Applications of sensitivity analysis in epidemiology X7P5ZKANAX
| URI | m2://inv/X7P5ZKANAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applications of sensitivity analysis in epidemiology, Applications of sensitivity analysis in epidemiology (definition). Also Wikidata Q97278430
History
- 2026-11-02: add by m2/dev
Octahectogon X7P91SD2EN
| URI | m2://inv/X7P91SD2EN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#SFII, Octahectogon (unknown)
History
- 2026-11-02: add by m2/dev
Erdős–Pósa theorem X7P9KFRKQZ
| URI | m2://inv/X7P9KFRKQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#N0BH, Erdős–Pósa theorem (statement)
History
- 2026-11-02: add by m2/dev
Prospective cohort study X7PH00Y82Q
| URI | m2://inv/X7PH00Y82Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#FZYY, Prospective cohort study (unknown)
History
- 2026-11-02: add by m2/dev
X7PQ85T428 X7PQ85T428
| URI | m2://inv/X7PQ85T428 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21670#S3C3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
X7PS1V5MA9 X7PS1V5MA9
| URI | m2://inv/X7PS1V5MA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#3VEI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sammon projection X7PSJTMP1R
| URI | m2://inv/X7PSJTMP1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BWP5, Sammon projection (definition)
History
- 2026-11-02: add by m2/dev
X7PTA7JQNN X7PTA7JQNN
| URI | m2://inv/X7PTA7JQNN |
|---|---|
| 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.23237#WTMK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Griffiths, Robert X7Q22Z3AA6
| URI | m2://inv/X7Q22Z3AA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XY16, Griffiths, Robert (unknown)
History
- 2026-11-02: add by m2/dev
FOCAL (Hewlett-Packard) X7QD1GBG8T
| URI | m2://inv/X7QD1GBG8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-41C#W84A, FOCAL (Hewlett-Packard) (unknown)
History
- 2026-11-02: add by m2/dev
X7QVQYGA7E X7QVQYGA7E
| URI | m2://inv/X7QVQYGA7E |
|---|---|
| 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.30315#6JDU (definition). In FXTCVHYW5S/e1, definition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Orthogonal symmetric Lie algebra X7QXHGEJGG
| URI | m2://inv/X7QXHGEJGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal symmetric Lie algebra, Orthogonal symmetric Lie algebra (definition). Also Wikidata Q7104533
History
- 2026-11-02: add by m2/dev
Descent with unequal hidden lower bounds X7QZ41SESK
| URI | m2://inv/X7QZ41SESK |
|---|---|
| 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.09356#7ITQ, Descent with unequal hidden lower bounds (statement). In 3VVGPXWH6R/e1, lemma C.15
History
- 2026-10-29: add by m2/v0.4.10
List of mathematical functions X7R66AC0C1
| URI | m2://inv/X7R66AC0C1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#CIEB, List of mathematical functions (topic)
- wikipedia: Wikipedia List of mathematical examples#3XIA, List of mathematical functions (topic)
- wikipedia: Wikipedia Lists of mathematics topics#MC40, List of mathematical functions (topic)
- wikipedia: Wikipedia List of theorems#C8P2, List of mathematical functions (topic)
History
- 2026-11-02: add by m2/dev
X7R6DDT7X9 X7R6DDT7X9
| URI | m2://inv/X7R6DDT7X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#M8L1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alfred Menezes X7RA8KFP36
| URI | m2://inv/X7RA8KFP36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Menezes, Alfred Menezes (topic). Also Wikidata Q4723156
History
- 2026-11-02: add by m2/dev
X7RGA185FN X7RGA185FN
| URI | m2://inv/X7RGA185FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36022#QJV2 (statement). In ENH5XNBQWH/e1, corollary 4.17
History
- 2026-10-30: add by m2/v0.4.12
Pointwise bounds for $L_t$ X7RHA6CW1C
| URI | m2://inv/X7RHA6CW1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19410#8KK1, Pointwise bounds for $L_t$ (statement). In GRESY1RPK6/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Definition X7RX8786G2
| URI | m2://inv/X7RX8786G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar set (potential theory)#E21M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sievert integral X7RXP4HQMW
| URI | m2://inv/X7RXP4HQMW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4201928, Sievert integral (concept). Also MathWorld SievertIntegral
History
- 2026-10-26: add by m2/dev
Nonlinear hypothesis X7S3Q0D879
| URI | m2://inv/X7S3Q0D879 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald test#Y9OM, Nonlinear hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Tony Hoare X7S3QFJEB1
| URI | m2://inv/X7S3QFJEB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R2A3, Tony Hoare (unknown)
History
- 2026-11-02: add by m2/dev
Memory bound for irreducible orbits X7SD53ERSA
| URI | m2://inv/X7SD53ERSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#NG3T, Memory bound for irreducible orbits (statement). In 24FJ7C8WPN/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
X7SHN18VY6 X7SHN18VY6
| URI | m2://inv/X7SHN18VY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-6 (definition). In E59CDZA4DP, defn, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
Example X7SQW96A0W
| URI | m2://inv/X7SQW96A0W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Posterior probability#81SG, Example (example)
History
- 2026-11-02: add by m2/dev
Coordinates for a positive-definite quadratic form X7SSR4T5NR
| URI | m2://inv/X7SSR4T5NR |
|---|---|
| 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.15125#0MDE, Coordinates for a positive-definite quadratic form (statement). In V5GT8NJKCM/e1, corollary E.2
History
- 2026-10-28: add by m2/v0.4.2
Procedures X7SY5NDAYD
| URI | m2://inv/X7SY5NDAYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certificate policy#P7FJ, Procedures (definition)
History
- 2026-11-02: add by m2/dev
Generalizations X7T6SPTFCY
| URI | m2://inv/X7T6SPTFCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic function#S0CT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Notation X7T8RBCBG1
| URI | m2://inv/X7T8RBCBG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#ARYW, Notation (definition)
History
- 2026-11-02: add by m2/dev
X7TA47FQHR X7TA47FQHR
| URI | m2://inv/X7TA47FQHR |
|---|---|
| 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 1008.4946#LSO9 (statement). In R4ZM6Q4SHH/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
X7TADN5BNG X7TADN5BNG
| URI | m2://inv/X7TADN5BNG |
|---|---|
| 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.06438#CJ7M (statement). In Z633BH3HER/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Shape parameter X7TCR09783
| URI | m2://inv/X7TCR09783 |
|---|---|
| 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.33027#CGGX, Shape parameter (definition). In E2AF84709B/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
Definition and examples X7TJG6XJ11
| URI | m2://inv/X7TJG6XJ11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutually unbiased bases#6VQA, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Emission theory of vision X7TNTB4C6M
| URI | m2://inv/X7TNTB4C6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#DU2P, Emission theory of vision (unknown)
History
- 2026-11-02: add by m2/dev
calculus of variations X7V8E8QWZH
| URI | m2://inv/X7V8E8QWZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 49-XX |
| Sources | 2 |
| Outcome | open |
| Node | Calculus of variations PQ25NHV0KS |
Mentions
- wikidata: Wikidata Q216861, calculus of variations (topic). Also MathWorld CalculusofVariations
- wikipedia: Wikipedia Calculus of variations, Calculus of variations (definition). Also Wikidata Q216861
History
- 2026-10-26: add by m2/dev
Definition X7VGDQ3W20
| URI | m2://inv/X7VGDQ3W20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deformed Hermitian Yang–Mills equation#CXTH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Proof Sketch X7VS078QE4
| URI | m2://inv/X7VS078QE4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/normal-form.tex#proof-1, Proof Sketch (proof). In PKGMM3P5QY, proof, section 3.10
History
- 2026-11-01: add by m2/v0.6.13
X7VTBAN898 X7VTBAN898
| URI | m2://inv/X7VTBAN898 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21800#K9WR (statement). In CMAEC39BKK/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.4.2
Daniel Kráľ X7WAQ8X5TF
| URI | m2://inv/X7WAQ8X5TF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Kráľ, Daniel Kráľ (topic). Also Wikidata Q21062080
History
- 2026-11-02: add by m2/dev
X7WE71ZWJ8 X7WE71ZWJ8
| URI | m2://inv/X7WE71ZWJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#definition-4 (definition). In RZP28ERRZV, definition, section 67.7
History
- 2026-11-01: add by m2/v0.6.13
X7WH20VTHW X7WH20VTHW
| URI | m2://inv/X7WH20VTHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#KDS3 (statement). In P39MF3ZJC0/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Unit-circle bound implies geometric decay X7WWS510N4
| URI | m2://inv/X7WWS510N4 |
|---|---|
| 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#XPL3, Unit-circle bound implies geometric decay (statement). In TP61DYMBMK/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
Airfoil terminology X7WZWS9XRM
| URI | m2://inv/X7WZWS9XRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Airfoil#NBHO, Airfoil terminology (definition)
History
- 2026-11-02: add by m2/dev
Applications X7WZWW505X
| URI | m2://inv/X7WZWW505X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey test#BZON, Applications (example)
History
- 2026-11-02: add by m2/dev
X7X09J8RKG X7X09J8RKG
| URI | m2://inv/X7X09J8RKG |
|---|---|
| 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.08664#MJ78 (statement). In 1YY0P4ZS0T/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.10
List of multivariable calculus topics X7X8YQCCH0
| URI | m2://inv/X7X8YQCCH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics, List of multivariable calculus topics (topic). Also Wikidata Q6629554
History
- 2026-11-02: add by m2/dev
X7XD4SZZKG X7XD4SZZKG
| URI | m2://inv/X7XD4SZZKG |
|---|---|
| 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.08664#2395 (statement). In 1YY0P4ZS0T/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
X7XF2YTK0A X7XF2YTK0A
| URI | m2://inv/X7XF2YTK0A |
|---|---|
| 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.12357#JJMX (statement). In 1F26AF81XP/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
A fixed-support overlap estimate X7XSKGJS2H
| URI | m2://inv/X7XSKGJS2H |
|---|---|
| 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.31782#1OWA, A fixed-support overlap estimate (statement). In YAYP5VZ94H/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
X7XW0Z5F1D X7XW0Z5F1D
| URI | m2://inv/X7XW0Z5F1D |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#7NM4 (problem). In GGW2N4JHXM/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
divisible X7Y25KF12Z
| URI | m2://inv/X7Y25KF12Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#TW73, divisible (definition)
History
- 2026-11-02: add by m2/dev
Elongated alternated cubic honeycomb X7Y69YXVHJ
| URI | m2://inv/X7Y69YXVHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#OXLM, Elongated alternated cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0IFL, Elongated alternated cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
MLSI of a reset perturbation X7YQN1T6H0
| URI | m2://inv/X7YQN1T6H0 |
|---|---|
| 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#7B8L, MLSI of a reset perturbation (statement). In NAM9ZMPHZ9/e1, corollary D.12
History
- 2026-10-30: add by m2/v0.4.12
Mostowski collapse lemma X7YS3PYYP4
| URI | m2://inv/X7YS3PYYP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#X9A6, Mostowski collapse lemma (statement)
History
- 2026-11-02: add by m2/dev
X7YVSNMPF1 X7YVSNMPF1
| URI | m2://inv/X7YVSNMPF1 |
|---|---|
| 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.05486#S4X3 (statement). In 5Z46AK2XTC/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Order-5 5-cell honeycomb X7YYEFVBDW
| URI | m2://inv/X7YYEFVBDW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8O3A, Order-5 5-cell honeycomb (object)
History
- 2026-11-02: add by m2/dev
Representations X7Z5RTM6Z1
| URI | m2://inv/X7Z5RTM6Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle group#A4QB, Representations (definition)
History
- 2026-11-02: add by m2/dev
X7ZC321STV X7ZC321STV
| URI | m2://inv/X7ZC321STV |
|---|---|
| Kind | statement |
| 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 2610.13972#KC6U (statement). In S1KHNS8XQM/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Example X7ZCE2DPMW
| URI | m2://inv/X7ZCE2DPMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic equilibrium point#V3NK, Example (example)
History
- 2026-11-02: add by m2/dev
X7ZCPHYWC4 X7ZCPHYWC4
| URI | m2://inv/X7ZCPHYWC4 |
|---|---|
| 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.37897#LLPF (statement). In RBQ5FNCVNZ/e1, lemma 10.10
History
- 2026-10-30: add by m2/v0.4.12
Probability theory X7ZF44KJCK
| URI | m2://inv/X7ZF44KJCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#V8H7, Probability theory (definition)
History
- 2026-11-02: add by m2/dev
Space curve X7ZGK88YQ3
| URI | m2://inv/X7ZGK88YQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#RLKT, Space curve (definition)
History
- 2026-11-02: add by m2/dev
X7ZSHNN4PJ X7ZSHNN4PJ
| URI | m2://inv/X7ZSHNN4PJ |
|---|---|
| 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.39539#V34Z (statement). In GVR218P3ZR/e1, proposition 7.2.1
History
- 2026-10-30: add by m2/v0.4.12