Inventory rows 80
The cards of the rows of the inventory whose ids start with 80. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8001P3GEGF 8001P3GEGF
| URI | m2://inv/8001P3GEGF |
|---|---|
| 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.21098#MGUX (definition)
History
- 2026-11-02: add by m2/v0.6.18
Silvio Minetti 8007TSTWFC
| URI | m2://inv/8007TSTWFC |
|---|---|
| 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#M2OF, Silvio Minetti (unknown)
History
- 2026-11-02: add by m2/dev
800A6JYVGF 800A6JYVGF
| URI | m2://inv/800A6JYVGF |
|---|---|
| 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#X9NR (statement). In 5E9G06XJKC/e1, lemma G.22
History
- 2026-10-28: add by m2/v0.4.2
Péter Komjáth 800GX0XMFR
| URI | m2://inv/800GX0XMFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F43W, Péter Komjáth (unknown)
History
- 2026-11-02: add by m2/dev
Imaginary-part kernel identity 800H1KP6YT
| URI | m2://inv/800H1KP6YT |
|---|---|
| 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.12853#5084, Imaginary-part kernel identity (statement). In GAX7MSHJE0/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
noncommutative topology 800H5SMGMT
| URI | m2://inv/800H5SMGMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7049229, noncommutative topology (unknown). Also nLab noncommutative topology
- wikipedia: Wikipedia Noncommutative topology, Noncommutative topology (definition). Also Wikidata Q7049229
History
- 2026-10-26: add by m2/dev
800TDCCF5Z 800TDCCF5Z
| URI | m2://inv/800TDCCF5Z |
|---|---|
| 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.13484#U04A (statement). In MP7GA6MQED/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Tseitin legal assignments 800VRN6J9Z
| URI | m2://inv/800VRN6J9Z |
|---|---|
| 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#RG1F, Tseitin legal assignments (statement). In ZZER8ZBSCR/e1, lemma 6.10
History
- 2026-10-29: add by m2/v0.4.12
Corresponding sides and corresponding angles 800WDRJZV7
| URI | m2://inv/800WDRJZV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corresponding sides and corresponding angles, Corresponding sides and corresponding angles (definition). Also Wikidata Q5172914
History
- 2026-11-02: add by m2/dev
General definitions 800ZCAZY90
| URI | m2://inv/800ZCAZY90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal mode#AUGG, General definitions (definition)
History
- 2026-11-02: add by m2/dev
8010C85YRN 8010C85YRN
| URI | m2://inv/8010C85YRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#PVJR (statement). In 2W5Z97BBW4/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.0
Conventions 80142FT3W6
| URI | m2://inv/80142FT3W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar coordinate system#DVSF, Conventions (definition)
History
- 2026-11-02: add by m2/dev
801AWXCQ2V 801AWXCQ2V
| URI | m2://inv/801AWXCQ2V |
|---|---|
| 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 2107.00792#Y6XB (statement). In TD16A541ZN/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Synchronous $\Omega$-regularized $Q$-learning for $m=1$ 801EY505A5
| URI | m2://inv/801EY505A5 |
|---|---|
| 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.14988#NDCX, Synchronous $\Omega$-regularized $Q$-learning for $m=1$ (statement). In B29M4E6KGC/e1, corollary H.3
History
- 2026-10-28: add by m2/v0.4.2
801JNDTHHV 801JNDTHHV
| URI | m2://inv/801JNDTHHV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
801MKCEYAS 801MKCEYAS
| URI | m2://inv/801MKCEYAS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/undecidability.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
The two routes to capacity are an accuracy-cost trade 801PYNE0RS
| URI | m2://inv/801PYNE0RS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#0NQK, The two routes to capacity are an accuracy-cost trade (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Studia Logica 8021MEWDK7
| URI | m2://inv/8021MEWDK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#8PLN, Studia Logica (definition)
History
- 2026-11-02: add by m2/dev
Representation formula 8027G745M7
| URI | m2://inv/8027G745M7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant-mean-curvature surface#LZA3, Representation formula (statement)
History
- 2026-11-02: add by m2/dev
Stokes' theorem 8029HQQDZE
| URI | m2://inv/8029HQQDZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#W9C0, Stokes' theorem (statement)
History
- 2026-11-02: add by m2/dev
Galois field 802E76M1X5
| URI | m2://inv/802E76M1X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#1UBO, Galois field (definition)
History
- 2026-11-02: add by m2/dev
802KHNRGD6 802KHNRGD6
| URI | m2://inv/802KHNRGD6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#F3FF (example). In F1CYVYK7YB/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
802S52FJS4 802S52FJS4
| URI | m2://inv/802S52FJS4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#VKT0 (example)
History
- 2026-11-01: add by m2/v0.6.15
The two products 802TWCPNYE
| URI | m2://inv/802TWCPNYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#3SL2, The two products (definition). In P55JSAYR3T/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Applications 8031FRJDPM
| URI | m2://inv/8031FRJDPM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oseen equations#RPUK, Applications (example)
History
- 2026-11-02: add by m2/dev
Isochoric process 8032S5QVAJ
| URI | m2://inv/8032S5QVAJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isochoric process, Isochoric process (object). Also Wikidata Q208388
History
- 2026-11-02: add by m2/dev
803803G33N 803803G33N
| URI | m2://inv/803803G33N |
|---|---|
| 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.30354#1HQ6 (statement). In B81DM51XSK/e1, corollary 8
History
- 2026-10-31: add by m2/v0.5.6
8038JKSTB7 8038JKSTB7
| URI | m2://inv/8038JKSTB7 |
|---|---|
| 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 2104.04145#X5H7 (statement). In 7TNHVC586V/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
803GQX0QJJ 803GQX0QJJ
| URI | m2://inv/803GQX0QJJ |
|---|---|
| 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.20422#1P1D (statement). In HCH89W5Y2C/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
803TNRTC1A 803TNRTC1A
| URI | m2://inv/803TNRTC1A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-50 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
8040D1ZVXR 8040D1ZVXR
| URI | m2://inv/8040D1ZVXR |
|---|---|
| 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#BZYS (statement)
History
- 2026-11-02: add by m2/v0.6.18
8040QD6NDH 8040QD6NDH
| URI | m2://inv/8040QD6NDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#YZ7G (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Herbert Enderton 8044RKZPFD
| URI | m2://inv/8044RKZPFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Enderton, Herbert Enderton (topic). Also Wikidata Q2026602
History
- 2026-11-02: add by m2/dev
8045XREM8G 8045XREM8G
| URI | m2://inv/8045XREM8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#Z189 (statement). In CSRZ9CWK69/e1, theorem 7.7
History
- 2026-10-29: add by m2/v0.4.12
8047M3MEX3 8047M3MEX3
| URI | m2://inv/8047M3MEX3 |
|---|---|
| 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.36613#I41D (statement). In GX0K0ZM700/e1, lemma 2.12
History
- 2026-10-30: add by m2/v0.4.12
Trace rewriting system 804BK1ZR6J
| URI | m2://inv/804BK1ZR6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rewriting#MXHS, Trace rewriting system (unknown)
History
- 2026-11-02: add by m2/dev
804C19Q5B7 804C19Q5B7
| URI | m2://inv/804C19Q5B7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#M57X (example). In XGPZ0G9E1Q/e1, example 5.2
History
- 2026-10-29: add by m2/v0.4.12
−1 804KHENA47
| URI | m2://inv/804KHENA47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q310395, −1 (statement). Also ProofWiki -1
- wikipedia: Wikipedia −1, −1 (definition). Also Wikidata Q310395
History
- 2026-10-26: add by m2/dev
804YKXXY7Z 804YKXXY7Z
| URI | m2://inv/804YKXXY7Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-171 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 8056SJPQHM
| URI | m2://inv/8056SJPQHM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series (mathematics)#FB8F, Examples (example)
History
- 2026-11-02: add by m2/dev
80588Q0N02 80588Q0N02
| URI | m2://inv/80588Q0N02 |
|---|---|
| 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.11271#AV1O (statement). In HF7J38T8Y6/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Jaccard index 805CY5WR23
| URI | m2://inv/805CY5WR23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaccard index, Jaccard index (definition). Also Wikidata Q865360
History
- 2026-11-02: add by m2/dev
805H644CSY 805H644CSY
| URI | m2://inv/805H644CSY |
|---|---|
| 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 2610.16779#091P (statement). In 1R7H0ZAHWA/e1, theorem 7.6
History
- 2026-10-28: add by m2/v0.4.2
805JGRPBY6 805JGRPBY6
| URI | m2://inv/805JGRPBY6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ex:pre2dagger-cat (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
8064NJ9Q4J 8064NJ9Q4J
| URI | m2://inv/8064NJ9Q4J |
|---|---|
| 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 1612.08394#8H8Z (statement). In 1P8D88DKG5/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
CRT 8068AKG50F
| URI | m2://inv/8068AKG50F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#9OXA, CRT (definition)
History
- 2026-11-02: add by m2/dev
8069S3AP4K 8069S3AP4K
| URI | m2://inv/8069S3AP4K |
|---|---|
| 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.21724#QYIF (statement). In EDDJCSBMXN/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Aleksandr Korkin 806BCNKFWX
| URI | m2://inv/806BCNKFWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandr Korkin, Aleksandr Korkin (topic). Also Wikidata Q619900
History
- 2026-11-02: add by m2/dev
Ratnasingham Shivaji 806BN3H8D6
| URI | m2://inv/806BN3H8D6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratnasingham Shivaji, Ratnasingham Shivaji (topic). Also Wikidata Q30138172
History
- 2026-11-02: add by m2/dev
$\in$-Induction Scheme 806E9YDWDP
| URI | m2://inv/806E9YDWDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#thm-1, $\in$-Induction Scheme (statement). In PKGMM3P5QY, thm, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
Bew 806JEVPA04
| URI | m2://inv/806JEVPA04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GIY8, Bew (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 806K9FHKQB
| URI | m2://inv/806K9FHKQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#CYM0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Robust geometric computation 806NWT9FQC
| URI | m2://inv/806NWT9FQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust geometric computation, Robust geometric computation (definition). Also Wikidata Q104841998
History
- 2026-11-02: add by m2/dev
Riemann sum, right 806VKFEGDD
| URI | m2://inv/806VKFEGDD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.2.3/riemann-sum-right, Riemann sum, right (concept). In 907G4C4EJ1, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Extrinsic noise 806Y6GNPNY
| URI | m2://inv/806Y6GNPNY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular noise#O4AU, Extrinsic noise (unknown)
History
- 2026-11-02: add by m2/dev
Crown polyhedron 806ZXQ9EN8
| URI | m2://inv/806ZXQ9EN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal polyhedron#0L4J, Crown polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
Cycle compactness from a mass bound 8076SRSVZ4
| URI | m2://inv/8076SRSVZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#ZI6M, Cycle compactness from a mass bound (statement). In RZDNWV9E29/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
round-off error 807F0GXGFT
| URI | m2://inv/807F0GXGFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Round-off error CPN6SD3BTV |
Mentions
- wikidata: Wikidata Q2145211, round-off error (unknown). Also MathWorld RoundoffError
- wikipedia: Wikipedia Round-off error, Round-off error (definition). Also Wikidata Q2145211
History
- 2026-10-26: add by m2/dev
José Ádem 807FCGCN6J
| URI | m2://inv/807FCGCN6J |
|---|---|
| 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 Q505725, José Ádem (unknown). Also nLab José Ádem
History
- 2026-10-26: add by m2/dev
807WJYVZP0 807WJYVZP0
| URI | m2://inv/807WJYVZP0 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#6SWY (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
8080ETYA03 8080ETYA03
| URI | m2://inv/8080ETYA03 |
|---|---|
| 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.03238#9CQ3 (statement). In 5PG581A1GK/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
80844P09WW 80844P09WW
| URI | m2://inv/80844P09WW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
8085GCH0FD 8085GCH0FD
| URI | m2://inv/8085GCH0FD |
|---|---|
| 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.18632#OF2G (example). In PTM5MVD4M0/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
808HN5EJWR 808HN5EJWR
| URI | m2://inv/808HN5EJWR |
|---|---|
| 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 2405.05684#PQUQ (statement). In 1PR73ECTZB/e1, proposition 26
History
- 2026-10-27: add by m2/v0.3.5
provability predicate 808MBHW2M1
| URI | m2://inv/808MBHW2M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#O2L8, provability predicate (definition)
History
- 2026-11-02: add by m2/dev
Examples 8091GB8K8Y
| URI | m2://inv/8091GB8K8Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique factorization domain#27C7, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 80926HTN0N
| URI | m2://inv/80926HTN0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stacky curve#X2JG, Applications (example)
History
- 2026-11-02: add by m2/dev
Small area estimation 809642QTXA
| URI | m2://inv/809642QTXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9ILZ, Small area estimation (definition)
History
- 2026-11-02: add by m2/dev
Definition 8097YACJRN
| URI | m2://inv/8097YACJRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurement invariance#GME2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Deriving Coulomb's law from Gauss's law 809AFNZGCT
| URI | m2://inv/809AFNZGCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coulomb's law#REPY, Deriving Coulomb's law from Gauss's law (statement)
- wikipedia: Wikipedia Gauss's law#MOR7, Deriving Coulomb's law from Gauss's law (statement)
History
- 2026-11-02: add by m2/dev
Examples 809APQ3NVY
| URI | m2://inv/809APQ3NVY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toy model#Y8NX, Examples (example)
History
- 2026-11-02: add by m2/dev
Alpha shape 809CQK851S
| URI | m2://inv/809CQK851S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha shape, Alpha shape (definition). Also Wikidata Q4735174
History
- 2026-11-02: add by m2/dev
Maass–Selberg relations 809G2WBAAT
| URI | m2://inv/809G2WBAAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass–Selberg relations, Maass–Selberg relations (definition). Also Wikidata Q6721248
History
- 2026-11-02: add by m2/dev
Upper bound: one conditional application of H\"older 809K3HK4YC
| URI | m2://inv/809K3HK4YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#4KKJ, Upper bound: one conditional application of H\"older (statement)
History
- 2026-11-01: add by m2/v0.6.15
Set zeta derivatives 809YXQYAXC
| URI | m2://inv/809YXQYAXC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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 2609.28282#OVJO, Set zeta derivatives (definition)
History
- 2026-11-01: add by m2/v0.6.15
80ABR3VQP2 80ABR3VQP2
| URI | m2://inv/80ABR3VQP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#6N9S (statement). In WRMNCC8VBC/e1, lemma 35
History
- 2026-10-27: add by m2/v0.3.6
80AK07H1SB 80AK07H1SB
| URI | m2://inv/80AK07H1SB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
modified Bessel function 80AKRWMDQQ
| URI | m2://inv/80AKRWMDQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2607225, modified Bessel function (definition). Also ProofWiki Definition:Modified_Bessel_Function
History
- 2026-10-26: add by m2/dev
80B0B1ZQ8X 80B0B1ZQ8X
| URI | m2://inv/80B0B1ZQ8X |
|---|---|
| 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.06225#38QA (statement). In RQVG8V4FJA/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
80B9CC9VTB 80B9CC9VTB
| URI | m2://inv/80B9CC9VTB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#0EJF (definition). In Z7E16PFFCP/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Chebyshev's inequality 80BB6K1BMT
| URI | m2://inv/80BB6K1BMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Chebyshev's inequality 02HZ1BK3MW |
Mentions
- wikidata: Wikidata Q249514, Chebyshev's inequality (statement). Also MathWorld ChebyshevInequality
- wikipedia: Wikipedia Chebyshev's inequality, Chebyshev's inequality (statement). Also Wikidata Q249514
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
universe level 80BP4EQE2D
| URI | m2://inv/80BP4EQE2D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.4/universe-level, universe level (concept). In N54F33XE07, index, section C.4
History
- 2026-11-01: add by m2/v0.6.13
80BSVT0WKD 80BSVT0WKD
| URI | m2://inv/80BSVT0WKD |
|---|---|
| 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.25843#0JNS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extended Kalman filter 80BX3MSJ6J
| URI | m2://inv/80BX3MSJ6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MJZZ, Extended Kalman filter (definition)
History
- 2026-11-02: add by m2/dev
Alexei Zamolodchikov 80C3ZNQEKX
| URI | m2://inv/80C3ZNQEKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#Q6E3, Alexei Zamolodchikov (unknown)
History
- 2026-11-02: add by m2/dev
80C9XZ4NJK 80C9XZ4NJK
| URI | m2://inv/80C9XZ4NJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12413#IURO (statement). In 6EJ8J60SP8/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.2
Entropy interpolation 80CJD5VE10
| URI | m2://inv/80CJD5VE10 |
|---|---|
| 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.14085#JQNE, Entropy interpolation (statement). In T8F19ZGHF3/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Local volatility 80CKEPH0M7
| URI | m2://inv/80CKEPH0M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local volatility, Local volatility (definition). Also Wikidata Q6664586
History
- 2026-11-02: add by m2/dev
atom 80CV9YSSD7
| URI | m2://inv/80CV9YSSD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9121, atom (definition). Also ProofWiki Definition:Atom_(Physics)
History
- 2026-10-26: add by m2/dev
80CYHCV3SY 80CYHCV3SY
| URI | m2://inv/80CYHCV3SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23230#9JBR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties 80D8P9CT30
| URI | m2://inv/80D8P9CT30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brjuno number#2DFL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Aitken interpolation 80DDK5DB4G
| URI | m2://inv/80DDK5DB4G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60766767, Aitken interpolation (concept). Also MathWorld AitkenInterpolation
- wikipedia: Wikipedia Aitken interpolation, Aitken interpolation (definition). Also Wikidata Q60766767
History
- 2026-10-26: add by m2/dev
Trace-dependent TV convergence 80DFH95R2N
| URI | m2://inv/80DFH95R2N |
|---|---|
| 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.10640#E6RL, Trace-dependent TV convergence (statement). In BAQVK6N0RD/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Keshava of Nandigrama 80DH5GB8WM
| URI | m2://inv/80DH5GB8WM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#L3LX, Keshava of Nandigrama (unknown)
History
- 2026-11-02: add by m2/dev
Bianca Viray 80DNF68QT1
| URI | m2://inv/80DNF68QT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bianca Viray, Bianca Viray (topic). Also Wikidata Q101110250
History
- 2026-11-02: add by m2/dev
Primitive-torsion energy 80DRBKBJ53
| URI | m2://inv/80DRBKBJ53 |
|---|---|
| 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.25762#PDBK, Primitive-torsion energy (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joukowsky transform 80DXY6JVET
| URI | m2://inv/80DXY6JVET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joukowsky transform, Joukowsky transform (definition). Also Wikidata Q1794703
History
- 2026-11-02: add by m2/dev
Kaisa Matomäki 80DZDKKRYE
| URI | m2://inv/80DZDKKRYE |
|---|---|
| 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#I264, Kaisa Matomäki (topic)
History
- 2026-11-02: add by m2/dev
Statistical Modelling 80E1TQ9S9A
| URI | m2://inv/80E1TQ9S9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#4ASB, Statistical Modelling (unknown)
History
- 2026-11-02: add by m2/dev
80E9WF9PMJ 80E9WF9PMJ
| URI | m2://inv/80E9WF9PMJ |
|---|---|
| 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.31300#B49V (statement). In ERHQDB8M41/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
80EBVYV07F 80EBVYV07F
| URI | m2://inv/80EBVYV07F |
|---|---|
| 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.21544#8W16 (statement). In 5FMMWKNYWW/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.4.2
Connected graph 80EC1FDM41
| URI | m2://inv/80EC1FDM41 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connectivity (graph theory)#8Z2L, Connected graph (unknown)
History
- 2026-11-02: add by m2/dev
pentad 80EDDH95RM
| URI | m2://inv/80EDDH95RM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29428403, pentad (unknown). Also MathWorld Pentad
History
- 2026-10-26: add by m2/dev
Parallel trend 80EEDDA1ZB
| URI | m2://inv/80EEDDA1ZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference in differences#R5ME, Parallel trend (unknown)
History
- 2026-11-02: add by m2/dev
80EH2CVN7S 80EH2CVN7S
| URI | m2://inv/80EH2CVN7S |
|---|---|
| Kind | definition |
| 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.06463#EWRW (definition). In 3WWY9K1K9V/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
limit, of a Cauchy approximation 80ER7FQGC8
| URI | m2://inv/80ER7FQGC8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.4/limit-of-a-cauchy-approximation, limit, of a Cauchy approximation (concept). In N54F33XE07, index, section B.3.4
History
- 2026-11-01: add by m2/v0.6.13
80ERFD9NCJ 80ERFD9NCJ
| URI | m2://inv/80ERFD9NCJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#1IPB (example)
History
- 2026-11-01: add by m2/v0.6.15
Discrete orbit and isotropy structure 80ES3KEXAN
| URI | m2://inv/80ES3KEXAN |
|---|---|
| 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#91DF, Discrete orbit and isotropy structure (statement)
History
- 2026-11-01: add by m2/v0.6.15
80ETV4Z4PF 80ETV4Z4PF
| URI | m2://inv/80ETV4Z4PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21258#LH64 (statement). In PN98BKSKZP/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Definition 80FEHGCEFD
| URI | m2://inv/80FEHGCEFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conversion between quaternions and Euler angles#6WAZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gibbs' inequality 80FEW150Z1
| URI | m2://inv/80FEW150Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs' inequality#Q3IU, Gibbs' inequality (statement)
History
- 2026-11-02: add by m2/dev
80FKZPFGRB 80FKZPFGRB
| URI | m2://inv/80FKZPFGRB |
|---|---|
| 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.10525#09TR (statement). In N3K26VPX0R/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Sampling bias 80FM5WC8HN
| URI | m2://inv/80FM5WC8HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling bias, Sampling bias (definition). Also Wikidata Q2725298
History
- 2026-11-02: add by m2/dev
Hierarchical hidden Markov model 80FQK8W562
| URI | m2://inv/80FQK8W562 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BZLE, Hierarchical hidden Markov model (definition)
History
- 2026-11-02: add by m2/dev
Observational methods in psychology 80G4J0YGHP
| URI | m2://inv/80G4J0YGHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observational methods in psychology, Observational methods in psychology (definition). Also Wikidata Q862797
History
- 2026-11-02: add by m2/dev
80GDGXNXJQ 80GDGXNXJQ
| URI | m2://inv/80GDGXNXJQ |
|---|---|
| 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#KC5Q (definition). In F3BKXXPR3K/e1, definition 3.37
History
- 2026-10-27: add by m2/v0.4.2
80H0ARTS91 80H0ARTS91
| URI | m2://inv/80H0ARTS91 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-31 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
80H5V6S880 80H5V6S880
| URI | m2://inv/80H5V6S880 |
|---|---|
| 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.31335#NQQ7 (statement). In YN58PZTGFD/e1, proposition 4.9
History
- 2026-10-31: add by m2/v0.5.6
80HBY28JPM 80HBY28JPM
| URI | m2://inv/80HBY28JPM |
|---|---|
| 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.29759#STY0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tajima's D 80HN3N0KAP
| URI | m2://inv/80HN3N0KAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tajima's D, Tajima's D (definition). Also Wikidata Q7676859
History
- 2026-11-02: add by m2/dev
80HS5FNDMT 80HS5FNDMT
| URI | m2://inv/80HS5FNDMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.07434#UG4M (definition). In 7XZHQ2H5ZD/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Line clipping 80HTGF5N7P
| URI | m2://inv/80HTGF5N7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#4FGP, Line clipping (definition)
History
- 2026-11-02: add by m2/dev
Example 80HXWBW158
| URI | m2://inv/80HXWBW158 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DiShIn#F5DN, Example (example)
History
- 2026-11-02: add by m2/dev
80J1JSPSMX 80J1JSPSMX
| URI | m2://inv/80J1JSPSMX |
|---|---|
| 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.19309#J4WD (statement). In XKENQH35DW/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
80JB83BNSF 80JB83BNSF
| URI | m2://inv/80JB83BNSF |
|---|---|
| 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.40252#FY13 (statement). In 7MVPNFPRKB/e1, corollary 8.14
History
- 2026-10-30: add by m2/v0.4.12
80JDQ3515Q 80JDQ3515Q
| URI | m2://inv/80JDQ3515Q |
|---|---|
| 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.02833#I1O8 (statement). In TNREX5GDK2/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
Applications 80JETQNRVQ
| URI | m2://inv/80JETQNRVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viennot's geometric construction#DKS7, Applications (example)
History
- 2026-11-02: add by m2/dev
80JGVFKWQ3 80JGVFKWQ3
| URI | m2://inv/80JGVFKWQ3 |
|---|---|
| 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#1LB8 (example)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert's program 80JH8454B2
| URI | m2://inv/80JH8454B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert's program P1RW6JWX73 |
Mentions
- wikidata: Wikidata Q968548, Hilbert's program (definition). Also nLab Hilbert's program, ProofWiki Definition:Hilbert's_Program
- wikipedia: Wikipedia Hilbert's program, Hilbert's program (definition). Also Wikidata Q968548
History
- 2026-10-26: add by m2/dev
80JJHWHM03 80JJHWHM03
| URI | m2://inv/80JJHWHM03 |
|---|---|
| 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 2208.07490#7KLZ (statement). In EK9MF8KMFC/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
80JRVQ1ZVD 80JRVQ1ZVD
| URI | m2://inv/80JRVQ1ZVD |
|---|---|
| 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 2609.32652#C3GS (statement). In 6KAZWJ8RFX/e1, proposition 4.7
History
- 2026-10-31: add by m2/v0.5.6
80JWY3VY2P 80JWY3VY2P
| URI | m2://inv/80JWY3VY2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#CHLC (statement). In WCY07D1CJG/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
80KAEBPZ44 80KAEBPZ44
| URI | m2://inv/80KAEBPZ44 |
|---|---|
| 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.01818#37JR (statement). In DA31J9XJ4J/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.12
pointwise estimates 80KC747MQT
| URI | m2://inv/80KC747MQT |
|---|---|
| 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.15610#88VJ, pointwise estimates (statement). In HENAFHBDQS/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
80KHEBS40T 80KHEBS40T
| URI | m2://inv/80KHEBS40T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#YLJ8 (statement). In C6R0DAA279/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
excision 80KQSSK54J
| URI | m2://inv/80KQSSK54J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#8EWR, excision (definition)
History
- 2026-11-02: add by m2/dev
80KTY1K82Y 80KTY1K82Y
| URI | m2://inv/80KTY1K82Y |
|---|---|
| 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 2410.22607#T3TF (statement). In 6GT33A43SY/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Julius Wolff 80MBPMHDYE
| URI | m2://inv/80MBPMHDYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julius Wolff (mathematician), Julius Wolff (topic). Also Wikidata Q6310168
History
- 2026-11-02: add by m2/dev
Adic filtration 80MC3JNDH8
| URI | m2://inv/80MC3JNDH8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#MHAX, Adic filtration (definition). In A1GWWGRXPA/e1, definition 3.23
History
- 2026-10-27: add by m2/v0.4.2
Primitive ideals and exhaustivity 80MDTDQ2TJ
| URI | m2://inv/80MDTDQ2TJ |
|---|---|
| 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.20230#TNHR, Primitive ideals and exhaustivity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Memorylessness 80MH5A0NK6
| URI | m2://inv/80MH5A0NK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9IBF, Memorylessness (definition)
History
- 2026-11-02: add by m2/dev
Econometrics 80MNSR4SMX
| URI | m2://inv/80MNSR4SMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#OKGI, Econometrics (definition)
History
- 2026-11-02: add by m2/dev
80MPKJRAV6 80MPKJRAV6
| URI | m2://inv/80MPKJRAV6 |
|---|---|
| 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.08334#8H2R (statement). In FQ3DS8B3H1/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Galois obstruction 80MR0B20NN
| URI | m2://inv/80MR0B20NN |
|---|---|
| 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#52WP, Galois obstruction (statement). In Z7M2JSF6HA/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
Continuous on compact $\implies$ uniformly continuous 80MW3WHS29
| URI | m2://inv/80MW3WHS29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proposition-3, Continuous on compact $\implies$ uniformly continuous (statement). In RZP28ERRZV, proposition, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
80MYA7JSK9 80MYA7JSK9
| URI | m2://inv/80MYA7JSK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#MV7E (statement). In YZNK67K060/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Texture compression 80N1BPG3GK
| URI | m2://inv/80N1BPG3GK |
|---|---|
| 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#GFPW, Texture compression (unknown)
History
- 2026-11-02: add by m2/dev
DFB-Pokal 80N9KG45MF
| URI | m2://inv/80N9KG45MF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#9ANQ, DFB-Pokal (unknown)
History
- 2026-11-02: add by m2/dev
Jean Bénabou 80NB08C973
| URI | m2://inv/80NB08C973 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Bénabou, Jean Bénabou (topic). Also Wikidata Q102112308
History
- 2026-11-02: add by m2/dev
Byeong Park 80NFF6T0D3
| URI | m2://inv/80NFF6T0D3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Byeong Park, Byeong Park (topic). Also Wikidata Q102188965
History
- 2026-11-02: add by m2/dev
Laurent phenomenon algebra 80NFWNWBZ5
| URI | m2://inv/80NFWNWBZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 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.17441#JPKT, Laurent phenomenon algebra (definition). In 9Q8S0NWHP2/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Pseudo algebraically closed field 80NGYXFAP6
| URI | m2://inv/80NGYXFAP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#5PPN, Pseudo algebraically closed field (definition)
History
- 2026-11-02: add by m2/dev
80NH2Z7R35 80NH2Z7R35
| URI | m2://inv/80NH2Z7R35 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Boolean algebraic bound 80NHEK8MKT
| URI | m2://inv/80NHEK8MKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#IIUO, Boolean algebraic bound (statement). In A5R31P82BK/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Washek Pfeffer 80NTA8W1ES
| URI | m2://inv/80NTA8W1ES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Washek Pfeffer, Washek Pfeffer (topic). Also Wikidata Q7971479
History
- 2026-11-02: add by m2/dev
asymptotics, with the leading correction 80NZ6P2SDD
| URI | m2://inv/80NZ6P2SDD |
|---|---|
| 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.05617#Z5YI, asymptotics, with the leading correction (statement). In 5JP3JTYAXK/e1, corollary 9.1
History
- 2026-10-29: add by m2/v0.4.10
MDP Homomorphism 80P2C14QG8
| URI | m2://inv/80P2C14QG8 |
|---|---|
| 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 2609.36421#SN0B, MDP Homomorphism (definition). In E0ZRSZ0YHT/e1, definition 9
History
- 2026-10-30: add by m2/v0.4.12
Alternative and additional axioms 80P5RTXWC4
| URI | m2://inv/80P5RTXWC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinality#DTD8, Alternative and additional axioms (statement)
History
- 2026-11-02: add by m2/dev
80P5Z5WM29 80P5Z5WM29
| URI | m2://inv/80P5Z5WM29 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08487#IL0M (definition). In 77TVQVYN0Z/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.6
80PB7MTKAT 80PB7MTKAT
| URI | m2://inv/80PB7MTKAT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#ex:simplex (example). In RZP28ERRZV, example, section 55.1
History
- 2026-11-01: add by m2/v0.6.13
Commutant-associative algebra 80PDY3VGDN
| URI | m2://inv/80PDY3VGDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutant-associative algebra, Commutant-associative algebra (definition). Also Wikidata Q4229947
History
- 2026-11-02: add by m2/dev
Riemannian compactness theorem 80PEC60TW4
| URI | m2://inv/80PEC60TW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov's compactness theorem (geometry)#H44X, Riemannian compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
Rafael Potrie 80PJB1JZDW
| URI | m2://inv/80PJB1JZDW |
|---|---|
| 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#9AH3, Rafael Potrie (unknown)
History
- 2026-11-02: add by m2/dev
80PV4TWSFP 80PV4TWSFP
| URI | m2://inv/80PV4TWSFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#D7H0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alan P. Lightman 80PWNTWZYD
| URI | m2://inv/80PWNTWZYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#2RIO, Alan P. Lightman (unknown)
History
- 2026-11-02: add by m2/dev
Sharp estimate at the endpoint 80Q0R9CG7H
| URI | m2://inv/80Q0R9CG7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23230#KJMA, Sharp estimate at the endpoint (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dold 80Q2BWZ252
| URI | m2://inv/80Q2BWZ252 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#DECQ, Dold (definition)
History
- 2026-11-02: add by m2/dev
Indicator 80Q4WFZ2S1
| URI | m2://inv/80Q4WFZ2S1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator (statistics), Indicator (definition). Also Wikidata Q18208034
History
- 2026-11-02: add by m2/dev
Euler's four-square identity 80Q7AGTFGH
| URI | m2://inv/80Q7AGTFGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euler's four-square identity 08WTN6SCQ6 |
Mentions
- wikidata: Wikidata Q1149225, Euler's four-square identity (statement). Also MathWorld EulerFour-SquareIdentity
- wikipedia: Wikipedia Euler's four-square identity, Euler's four-square identity (statement). Also Wikidata Q1149225
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example 80Q8J1M4BG
| URI | m2://inv/80Q8J1M4BG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemoine's conjecture#NMHY, Example (example)
History
- 2026-11-02: add by m2/dev
Morse-Bott 80QD0GW4MY
| URI | m2://inv/80QD0GW4MY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse theory#36G4, Morse-Bott (unknown)
History
- 2026-11-02: add by m2/dev
Moore 80QKD3P2Z3
| URI | m2://inv/80QKD3P2Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#AM5V, Moore (definition)
History
- 2026-11-02: add by m2/dev
80QNBVVFA1 80QNBVVFA1
| URI | m2://inv/80QNBVVFA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#41X8 (statement). In DH84PYVRCF/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
80QVKPGP1G 80QVKPGP1G
| URI | m2://inv/80QVKPGP1G |
|---|---|
| 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.19694#AXTY (statement). In EP0M4RSZ9P/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Directional derivatives at a boundary point 80RAEGK26M
| URI | m2://inv/80RAEGK26M |
|---|---|
| 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.12165#HKCN, Directional derivatives at a boundary point (statement). In 3JSE8A9CFH/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 80RD27GZJ2
| URI | m2://inv/80RD27GZJ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagram map#GBJS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Negafibonacci representation 80RG398EE6
| URI | m2://inv/80RG398EE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negafibonacci coding#U7QJ, Negafibonacci representation (unknown)
History
- 2026-11-02: add by m2/dev
Abraham Haskel Taub 80RG7WF6JW
| URI | m2://inv/80RG7WF6JW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#767C, Abraham Haskel Taub (unknown)
History
- 2026-11-02: add by m2/dev
80RNT5NGES 80RNT5NGES
| URI | m2://inv/80RNT5NGES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#LR4G (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example 80RPH67636
| URI | m2://inv/80RPH67636 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huntington–Hill method#TNC9, Example (example)
History
- 2026-11-02: add by m2/dev
80RT4HX88S 80RT4HX88S
| URI | m2://inv/80RT4HX88S |
|---|---|
| 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 2504.13802#CLUM (statement). In MH358B1GVQ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Alfred J. Lotka 80RW5RXQ9X
| URI | m2://inv/80RW5RXQ9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#YQ2A, Alfred J. Lotka (topic)
History
- 2026-11-02: add by m2/dev
80SE61H7EW 80SE61H7EW
| URI | m2://inv/80SE61H7EW |
|---|---|
| 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.05471#P6UY (statement). In WDWF9WKNK1/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Björn Sandstede 80SEFK3294
| URI | m2://inv/80SEFK3294 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YSI5, Björn Sandstede (topic)
History
- 2026-11-02: add by m2/dev
pullback 80SFM6EXG5
| URI | m2://inv/80SFM6EXG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pullback Q05K04QJ71 |
Mentions
- wikidata: Wikidata Q1397439, pullback (definition). Also nLab pullback, ProofWiki Definition:Pullback_(Category_Theory)
- wikipedia: Wikipedia Pullback (category theory), Pullback (definition). Also Wikidata Q1397439
History
- 2026-10-26: add by m2/dev
Finite morphism 80SHGN4GSB
| URI | m2://inv/80SHGN4GSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite morphism, Finite morphism (definition). Also Wikidata Q2370289
History
- 2026-11-02: add by m2/dev
80T4RPHRS2 80T4RPHRS2
| URI | m2://inv/80T4RPHRS2 |
|---|---|
| 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 2610.00076#1N1X (statement). In 2VQ90WEZKB/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
80T5KJHH5Z 80T5KJHH5Z
| URI | m2://inv/80T5KJHH5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2110.11143#2TLN (definition). In VTVC0TCWSB/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Nick Wormald 80TF087JE8
| URI | m2://inv/80TF087JE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CO87, Nick Wormald (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RMLM, Nick Wormald (unknown)
History
- 2026-11-02: add by m2/dev
Ashraf Huseynov 80TJ95BNNW
| URI | m2://inv/80TJ95BNNW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ashraf Huseynov, Ashraf Huseynov (topic). Also Wikidata Q4805878
History
- 2026-11-02: add by m2/dev
Algebraic properties 80TSPRRE4P
| URI | m2://inv/80TSPRRE4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte graph#KZ7Q, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Standard normal 80TT1JQH0D
| URI | m2://inv/80TT1JQH0D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal distribution#SMHY, Standard normal (unknown)
History
- 2026-11-02: add by m2/dev
80V0VY315K 80V0VY315K
| URI | m2://inv/80V0VY315K |
|---|---|
| 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.00614#K9SB (statement). In NC5Z77F6H4/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
Dyslexia 80V7NFPXP1
| URI | m2://inv/80V7NFPXP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#W9G3, Dyslexia (unknown)
History
- 2026-11-02: add by m2/dev
Manfred Kochen 80VDXK68H7
| URI | m2://inv/80VDXK68H7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manfred Kochen, Manfred Kochen (topic). Also Wikidata Q5991384
History
- 2026-11-02: add by m2/dev
Mila 23 80VNJQKTCF
| URI | m2://inv/80VNJQKTCF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KWEQ, Mila 23 (unknown)
History
- 2026-11-02: add by m2/dev
Carlitz–Wan conjecture 80VQBXBQVB
| URI | m2://inv/80VQBXBQVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#LKX8, Carlitz–Wan conjecture (statement)
History
- 2026-11-02: add by m2/dev
80VRHFFGC9 80VRHFFGC9
| URI | m2://inv/80VRHFFGC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#V6CJ (statement). In WRE0P7V6Z3/e1, lemma 15.3
History
- 2026-10-30: add by m2/v0.4.12
80VSHTDXEG 80VSHTDXEG
| URI | m2://inv/80VSHTDXEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#6M40 (statement). In EBMHYN0XK9/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
80W1ARYTS0 80W1ARYTS0
| URI | m2://inv/80W1ARYTS0 |
|---|---|
| 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.10937#NPO4 (statement). In 6VVK3YTABP/e1, theorem 8.8
History
- 2026-10-28: add by m2/v0.4.3
Otto Blumenthal 80WB623DSR
| URI | m2://inv/80WB623DSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GJ76, Otto Blumenthal (unknown)
History
- 2026-11-02: add by m2/dev
80WBBV0XW5 80WBBV0XW5
| URI | m2://inv/80WBBV0XW5 |
|---|---|
| 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 0910.5574#412L (statement). In 2TJRBRKYAY/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
STARK (cryptography) 80WBCSB2F5
| URI | m2://inv/80WBCSB2F5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-interactive zero-knowledge proof#G2P0, STARK (cryptography) (unknown)
History
- 2026-11-02: add by m2/dev
Robert Pollock Gillespie 80WGFKEW8E
| URI | m2://inv/80WGFKEW8E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Pollock Gillespie, Robert Pollock Gillespie (topic). Also Wikidata Q25753317
History
- 2026-11-02: add by m2/dev
80WMCWA9TX 80WMCWA9TX
| URI | m2://inv/80WMCWA9TX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#S9RV (statement). In 9XCA9T80GJ/e1, lemma 6.2.3
History
- 2026-10-28: add by m2/v0.4.2
Scaled conditional limit 80WPXY8T7G
| URI | m2://inv/80WPXY8T7G |
|---|---|
| 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.27335#IKTO, Scaled conditional limit (statement)
History
- 2026-11-01: add by m2/v0.6.15
Necessary conditions for torsion of order $q$ 80WRNPKEZA
| URI | m2://inv/80WRNPKEZA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-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.04305#Z5A2, Necessary conditions for torsion of order $q$ (problem). In Y1DR0DPWD0/e1, problem 8.5
History
- 2026-10-29: add by m2/v0.4.12
Extraordinary claims require extraordinary evidence 80WSSHDF3B
| URI | m2://inv/80WSSHDF3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extraordinary claims require extraordinary evidence, Extraordinary claims require extraordinary evidence (definition). Also Wikidata Q27963927
History
- 2026-11-02: add by m2/dev
Big Step Semantics 80WZFRMXMK
| URI | m2://inv/80WZFRMXMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operational semantics#SOZA, Big Step Semantics (unknown)
History
- 2026-11-02: add by m2/dev
Constructions 80X4PWJ5F0
| URI | m2://inv/80X4PWJ5F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal bifrustum#GZLS, Constructions (definition)
History
- 2026-11-02: add by m2/dev
275305224 (number) 80XBW0ZK3S
| URI | m2://inv/80XBW0ZK3S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#8ZRQ, 275305224 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Barker Ten Mile, North Carolina 80XH8RBGMD
| URI | m2://inv/80XH8RBGMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OR8X, Barker Ten Mile, North Carolina (unknown)
History
- 2026-11-02: add by m2/dev
80XPZR366G 80XPZR366G
| URI | m2://inv/80XPZR366G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#SEN4 (statement). In 7ZFD9XRKA1/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Kahn's Conjecture 10.11 , Winkler; see Pemantle , Grimmett--Winkler , Stark 80XYCDG9H5
| URI | m2://inv/80XYCDG9H5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#UOO3, Kahn's Conjecture 10.11 , Winkler; see Pemantle , Grimmett--Winkler , Stark (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Basic formula 80XZE7MMKF
| URI | m2://inv/80XZE7MMKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthonormal basis#7BIV, Basic formula (statement)
History
- 2026-11-02: add by m2/dev
Sphere packing 80YD16B4E8
| URI | m2://inv/80YD16B4E8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DD4U, Sphere packing (conjecture)
History
- 2026-11-02: add by m2/dev
Moses ibn Tibbon 80YGDA8Z2C
| URI | m2://inv/80YGDA8Z2C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AAVE, Moses ibn Tibbon (unknown)
History
- 2026-11-02: add by m2/dev
A.a.s. 80YMH0TKA0
| URI | m2://inv/80YMH0TKA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost surely#E54G, A.a.s. (unknown)
History
- 2026-11-02: add by m2/dev
infinite 80YN5CPEXJ
| URI | m2://inv/80YN5CPEXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7424, infinite (definition)
History
- 2026-11-02: add by m2/dev
Haar measure on a locally compact Hausdorff group 80YQAJKHE2
| URI | m2://inv/80YQAJKHE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > Haar measure on a locally compact Hausdorff group, Haar measure on a locally compact Hausdorff group (unknown). Also Mathlib MeasureTheory.Measure.haarMeasure
History
- 2026-10-26: add by m2/dev
Herbert Flam 80YSK0ZZ93
| URI | m2://inv/80YSK0ZZ93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#6YZE, Herbert Flam (unknown)
History
- 2026-11-02: add by m2/dev
Pascal's Wager 80YTRFNJGV
| URI | m2://inv/80YTRFNJGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q830200, Pascal's Wager (statement). Also MathWorld PascalsWager, ProofWiki Pascal's_Wager
- wikipedia: Wikipedia Pascal's wager, Pascal's wager (definition). Also Wikidata Q830200
History
- 2026-10-26: add by m2/dev
Joan Hu 80YTZQG13V
| URI | m2://inv/80YTZQG13V |
|---|---|
| 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#P86J, Joan Hu (topic)
History
- 2026-11-02: add by m2/dev
Stochastic ordering 80Z9M4M7J6
| URI | m2://inv/80Z9M4M7J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SIYQ, Stochastic ordering (definition)
History
- 2026-11-02: add by m2/dev
Examples 80ZAAQ8SQ4
| URI | m2://inv/80ZAAQ8SQ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's zero–one law#F0IH, Examples (example)
History
- 2026-11-02: add by m2/dev
Semantic --- \textsc{Su-I 80ZC1E9W07
| URI | m2://inv/80ZC1E9W07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#QKR5, Semantic --- \textsc{Su-I (statement). In CPYWHRTPKC/e1, lemma 7.41
History
- 2026-10-27: add by m2/v0.4.2
sum rule in differentiation 80ZH9GAQ0K
| URI | m2://inv/80ZH9GAQ0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#X8CJ, sum rule in differentiation (definition)
History
- 2026-11-02: add by m2/dev
80ZJX0DE9A 80ZJX0DE9A
| URI | m2://inv/80ZJX0DE9A |
|---|---|
| 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#97C3 (statement). In 1YY0P4ZS0T/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.10
pseudometric space 80ZM7ZWJXA
| URI | m2://inv/80ZM7ZWJXA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Pseudometric space 0A3HJX3KTF |
Mentions
- wikidata: Wikidata Q1397059, pseudometric space (concept). Also ProofWiki Definition:Pseudometric/Pseudometric_Space
- wikipedia: Wikipedia Pseudometric space, Pseudometric space (definition). Also Wikidata Q1397059
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
80ZN3JHTCF 80ZN3JHTCF
| URI | m2://inv/80ZN3JHTCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#YFOW (statement). In V5PVKDKGGG/e1, corollary 7.10
History
- 2026-10-28: add by m2/v0.4.2
Beth-one 80ZRSAAFYW
| URI | m2://inv/80ZRSAAFYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#V1MO, Beth-one (definition)
History
- 2026-11-02: add by m2/dev
80ZSGGTBTJ 80ZSGGTBTJ
| URI | m2://inv/80ZSGGTBTJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#PJ6H (definition). In R604B78EVK/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Dolev–Yao model 80ZT5E4GXC
| URI | m2://inv/80ZT5E4GXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dolev–Yao model, Dolev–Yao model (definition). Also Wikidata Q165606
History
- 2026-11-02: add by m2/dev