Inventory rows A6
The cards of the rows of the inventory whose ids start with A6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Notation and \(C\)-sequences A60872ZVYQ
| URI | m2://inv/A60872ZVYQ |
|---|---|
| Kind | definition |
| 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.09086#S9UW, Notation and \(C\)-sequences (definition). In JPC86V77CH/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
higher derivative A6087P72PX
| URI | m2://inv/A6087P72PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#4SLE, higher derivative (definition)
History
- 2026-11-02: add by m2/dev
Lev Schnirelmann A60AJ4A2PG
| URI | m2://inv/A60AJ4A2PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#FYP9, Lev Schnirelmann (topic)
History
- 2026-11-02: add by m2/dev
A60C1J1MXN A60C1J1MXN
| URI | m2://inv/A60C1J1MXN |
|---|---|
| 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.40274#D43U (statement). In 7ZDNJC9MST/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
quotient object A60C4MQD6P
| URI | m2://inv/A60C4MQD6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77982104, quotient object (unknown). Also EoM Quotient_object
History
- 2026-10-26: add by m2/dev
Likelihood interval A60QW7BFH7
| URI | m2://inv/A60QW7BFH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative likelihood#EC67, Likelihood interval (unknown)
History
- 2026-11-02: add by m2/dev
Examples A60SYAVE4S
| URI | m2://inv/A60SYAVE4S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pearson's chi-squared test#17FZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Phononic crystal A611Z1EDNF
| URI | m2://inv/A611Z1EDNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acoustic metamaterial#J4K4, Phononic crystal (unknown)
History
- 2026-11-02: add by m2/dev
A619CHN6W8 A619CHN6W8
| URI | m2://inv/A619CHN6W8 |
|---|---|
| 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.02993#8Y8C (statement). In TJH58FRGEN/e1, corollary 8.7
History
- 2026-10-29: add by m2/v0.4.12
Naihua Duan A61JQEGY5C
| URI | m2://inv/A61JQEGY5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0IEP, Naihua Duan (unknown)
History
- 2026-11-02: add by m2/dev
A61SQZPWXS A61SQZPWXS
| URI | m2://inv/A61SQZPWXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#LUMH (statement). In KAYGQMQPGS/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Cellular Message Encryption Algorithm A61X3PK9ZW
| URI | m2://inv/A61X3PK9ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular Message Encryption Algorithm, Cellular Message Encryption Algorithm (definition). Also Wikidata Q338574
History
- 2026-11-02: add by m2/dev
A61YC2SRPM A61YC2SRPM
| URI | m2://inv/A61YC2SRPM |
|---|---|
| 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.06340#SVF5 (statement). In PKNZPECH82/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
Central trinomial coefficient A6208D83FM
| URI | m2://inv/A6208D83FM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinomial triangle#P5AZ, Central trinomial coefficient (unknown)
History
- 2026-11-02: add by m2/dev
A624A8BNWY A624A8BNWY
| URI | m2://inv/A624A8BNWY |
|---|---|
| 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 2609.35180#ICA2 (statement). In ZA34B1CR9M/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
A6278MXD55 A6278MXD55
| URI | m2://inv/A6278MXD55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#FP4T (statement). In NBMA6DBKJG/e1, corollary 5.14
History
- 2026-10-28: add by m2/v0.4.2
A62DJS6QYQ A62DJS6QYQ
| URI | m2://inv/A62DJS6QYQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1107.2621#EST0 (example). In Z9AZRC1HA1/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
A62H8RW8YB A62H8RW8YB
| URI | m2://inv/A62H8RW8YB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#O935 (statement). In AGJE43FTF8/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
A62WW1E3N2 A62WW1E3N2
| URI | m2://inv/A62WW1E3N2 |
|---|---|
| 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.08288#KUP1 (statement). In CHVWYJM7RM/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
A632HJ86CV A632HJ86CV
| URI | m2://inv/A632HJ86CV |
|---|---|
| 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 1011.5443#01JK (statement). In VQ0K2GV62A/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Srikanth Iyengar A634X5D17K
| URI | m2://inv/A634X5D17K |
|---|---|
| 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 Q23928192, Srikanth Iyengar (unknown). Also nLab Srikanth Iyengar
History
- 2026-10-26: add by m2/dev
A6353YDJ0B A6353YDJ0B
| URI | m2://inv/A6353YDJ0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#1FF9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
conditional proof A63FDSGHSS
| URI | m2://inv/A63FDSGHSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#N5EP, conditional proof (definition)
History
- 2026-11-02: add by m2/dev
Definition A63W6G274N
| URI | m2://inv/A63W6G274N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonmetricity tensor#ZRS6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Symmetries A63ZY42HWJ
| URI | m2://inv/A63ZY42HWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elasticity tensor#AKA1, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
A645K76H38 A645K76H38
| URI | m2://inv/A645K76H38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#O3XI (statement). In 9B0X8YPF3P/e1, corollary 10.2
History
- 2026-10-28: add by m2/v0.4.2
Definition A647TNT1DX
| URI | m2://inv/A647TNT1DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible polynomial#CTQM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Parallelization A64918ZRTZ
| URI | m2://inv/A64918ZRTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#DT5O, Parallelization (unknown)
History
- 2026-11-02: add by m2/dev
Peter Clive Sarnak A64B2TZWMH
| URI | m2://inv/A64B2TZWMH |
|---|---|
| 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#HIKK, Peter Clive Sarnak (unknown)
History
- 2026-11-02: add by m2/dev
A64BZ02Y58 A64BZ02Y58
| URI | m2://inv/A64BZ02Y58 |
|---|---|
| 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.26307#5EJY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Squared deviations from the mean A64F8JNCET
| URI | m2://inv/A64F8JNCET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squared deviations from the mean, Squared deviations from the mean (definition). Also Wikidata Q7582087
History
- 2026-11-02: add by m2/dev
base-field extension bound A64H8YCR2B
| URI | m2://inv/A64H8YCR2B |
|---|---|
| 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.07508#2NYK, base-field extension bound (statement). In TPA3E67MKK/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Extensions A64PQSZSJ3
| URI | m2://inv/A64PQSZSJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS Certification Authority Authorization#Z4ND, Extensions (statement)
History
- 2026-11-02: add by m2/dev
A6526RR5PK A6526RR5PK
| URI | m2://inv/A6526RR5PK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 52.8
History
- 2026-11-01: add by m2/v0.6.13
A652K6BKG3 A652K6BKG3
| URI | m2://inv/A652K6BKG3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Chitrabhanu A655JXVK43
| URI | m2://inv/A655JXVK43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#0545, Chitrabhanu (unknown)
History
- 2026-11-02: add by m2/dev
A657V3J648 A657V3J648
| URI | m2://inv/A657V3J648 |
|---|---|
| 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.03337#VFU1 (statement). In VH7EZDGTNA/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
A65B1JTNAZ A65B1JTNAZ
| URI | m2://inv/A65B1JTNAZ |
|---|---|
| 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 math/0003117#4SRH (definition). In WD2NCBV9F0/e1, definition 15.2
History
- 2026-10-27: add by m2/v0.3.5
Coordinate PCA A660WVJQ50
| URI | m2://inv/A660WVJQ50 |
|---|---|
| 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.10519#HLFZ, Coordinate PCA (statement). In 83MMH8VF1X/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Statement A6639PDY87
| URI | m2://inv/A6639PDY87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Gallai theorem#0RJH, Statement (statement)
History
- 2026-11-02: add by m2/dev
Definition A668VN3NTP
| URI | m2://inv/A668VN3NTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz-stable matrix#PDI0, Definition (definition)
History
- 2026-11-02: add by m2/dev
A66CPAZPBC A66CPAZPBC
| URI | m2://inv/A66CPAZPBC |
|---|---|
| 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.16821#X4H9 (statement). In EFSGMHG5BW/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
A66KM4628W A66KM4628W
| URI | m2://inv/A66KM4628W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-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.21725#SM4E (statement). In BQDZN6GRGF/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
split-complex number A66SWGX4HP
| URI | m2://inv/A66SWGX4HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#3YLY, split-complex number (definition)
History
- 2026-11-02: add by m2/dev
Twisted root equation A6720G8ZR6
| URI | m2://inv/A6720G8ZR6 |
|---|---|
| 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.07905#UG7V, Twisted root equation (statement). In 88GEN3Z5VG/e1, theorem 8.4
History
- 2026-10-29: add by m2/v0.4.10
Applications A677F48S06
| URI | m2://inv/A677F48S06 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Added mass#4KEC, Applications (example)
History
- 2026-11-02: add by m2/dev
A67AV7C6DR A67AV7C6DR
| URI | m2://inv/A67AV7C6DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20489#BN8N (statement). In BJ8JJZ0ZWT/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.4.2
A67BPB9D3G A67BPB9D3G
| URI | m2://inv/A67BPB9D3G |
|---|---|
| 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.09341#M1MU (statement). In DSXBMRYE0V/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
A67D5BVSNV A67D5BVSNV
| URI | m2://inv/A67D5BVSNV |
|---|---|
| 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.36237#NPNV (statement). In JNBMSFE14N/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
A67DWCJKP1 A67DWCJKP1
| URI | m2://inv/A67DWCJKP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-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.08484#AOV7 (statement). In C2HJ1CCJ0S/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Generalizations A67EYP99HS
| URI | m2://inv/A67EYP99HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic code#7QVD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
A67FW11KD0 A67FW11KD0
| URI | m2://inv/A67FW11KD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#ps:expex (example). In E59CDZA4DP, example, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
A67KKH6FBW A67KKH6FBW
| URI | m2://inv/A67KKH6FBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#63P3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
A67V0H1E8C A67V0H1E8C
| URI | m2://inv/A67V0H1E8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#PSWS (statement). In WAXS6FS388/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
Phragmén-Lindelöf principle A67XBMJYM5
| URI | m2://inv/A67XBMJYM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#C1FI, Phragmén-Lindelöf principle (statement)
History
- 2026-11-02: add by m2/dev
F-plane A687S3KJ9E
| URI | m2://inv/A687S3KJ9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-plane, F-plane (definition). Also Wikidata Q5423639
History
- 2026-11-02: add by m2/dev
A68CY2FX9Y A68CY2FX9Y
| URI | m2://inv/A68CY2FX9Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2411.16022#JDF9 (definition). In QG9ATXTKJ6/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.3.5
A68KDF9FB3 A68KDF9FB3
| URI | m2://inv/A68KDF9FB3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#sfr:siz:zigzag:prob:posint-star (exercise). In PKGMM3P5QY, prob, section 85.1
History
- 2026-11-01: add by m2/v0.6.13
A68RPRKFD9 A68RPRKFD9
| URI | m2://inv/A68RPRKFD9 |
|---|---|
| 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.20097#YKJ5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
normal matrix A68TH0944V
| URI | m2://inv/A68TH0944V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Normal matrix 0MR0BYF0K2 |
Mentions
- wikidata: Wikidata Q6852339, normal matrix (unknown). Also EoM Normal_matrix, MathWorld NormalMatrix
- wikipedia: Wikipedia Normal matrix, Normal matrix (definition). Also Wikidata Q6852339
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications A696S9KPKE
| URI | m2://inv/A696S9KPKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Node influence metric#KJ7Z, Applications (example)
History
- 2026-11-02: add by m2/dev
A698NR7XHV A698NR7XHV
| URI | m2://inv/A698NR7XHV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-27 (example). In VNMV985MXX, example, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Central configuration A698YGX86G
| URI | m2://inv/A698YGX86G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central configuration, Central configuration (definition). Also Wikidata Q85751259
History
- 2026-11-02: add by m2/dev
maximum likelihood estimation A69E9A9HJ2
| URI | m2://inv/A69E9A9HJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Maximum likelihood estimation 0FREPFKNS7 |
Mentions
- wikidata: Wikidata Q1045555, maximum likelihood estimation (unknown). Also MathWorld MaximumLikelihood
- wikipedia: Wikipedia Maximum likelihood estimation, Maximum likelihood estimation (definition). Also Wikidata Q1045555
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
L. E. J. Brouwer A69H7SHBWN
| URI | m2://inv/A69H7SHBWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L. E. J. Brouwer, L. E. J. Brouwer (topic). Also Wikidata Q155887
History
- 2026-11-02: add by m2/dev
A69HKMZV46 A69HKMZV46
| URI | m2://inv/A69HKMZV46 |
|---|---|
| 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.17589#EX39 (statement). In GSTK4569X1/e1, proposition 5.20
History
- 2026-10-28: add by m2/v0.4.2
Greek letters used in mathematics, science, and engineering A69Q6VMCNP
| URI | m2://inv/A69Q6VMCNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greek letters used in mathematics, science, and engineering, Greek letters used in mathematics, science, and engineering (definition). Also Wikidata Q5602021
History
- 2026-11-02: add by m2/dev
A69SRT0CH1 A69SRT0CH1
| URI | m2://inv/A69SRT0CH1 |
|---|---|
| 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#5Q5A (statement). In ERHQDB8M41/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
geometric quotient A69Z2VKAG4
| URI | m2://inv/A69Z2VKAG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#HR0Q, geometric quotient (definition)
History
- 2026-11-02: add by m2/dev
Gaussian elimination A6A8T15P4C
| URI | m2://inv/A6A8T15P4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#517Z, Gaussian elimination (definition)
History
- 2026-11-02: add by m2/dev
Uniform convexity of level sets A6AF4CEJG0
| URI | m2://inv/A6AF4CEJG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#HUUL, Uniform convexity of level sets (statement)
History
- 2026-11-02: add by m2/v0.6.17
A6AFRMXFKD A6AFRMXFKD
| URI | m2://inv/A6AFRMXFKD |
|---|---|
| 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 2610.09133#F3GF (statement). In E7BPGPP9Z5/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Meadow Woods A6AH1QYASE
| URI | m2://inv/A6AH1QYASE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#SQUY, Meadow Woods (unknown)
History
- 2026-11-02: add by m2/dev
Mount Jiuhua A6AKKAQA2H
| URI | m2://inv/A6AKKAQA2H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6OTI, Mount Jiuhua (unknown)
History
- 2026-11-02: add by m2/dev
Basic uniform estimates A6AWCC8B2K
| URI | m2://inv/A6AWCC8B2K |
|---|---|
| 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.11034#BSZJ, Basic uniform estimates (statement). In 2KACPY9MMF/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Energy balance A6AX6FTDB2
| URI | m2://inv/A6AX6FTDB2 |
|---|---|
| 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.02721#REA2, Energy balance (statement). In XXFYVDVPPE/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.12
Einstein-Rosen Bridge A6AXCHS4GM
| URI | m2://inv/A6AXCHS4GM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wormhole#KAU9, Einstein-Rosen Bridge (unknown)
History
- 2026-11-02: add by m2/dev
Andrew Sutherland A6B2Q653QX
| URI | m2://inv/A6B2Q653QX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Sutherland (mathematician), Andrew Sutherland (topic). Also Wikidata Q85534024
History
- 2026-11-02: add by m2/dev
S-N curve A6BZQWHJFK
| URI | m2://inv/A6BZQWHJFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatigue (material)#26D5, S-N curve (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert's lemma A6C4GBWYF9
| URI | m2://inv/A6C4GBWYF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#4CJH, Hilbert's lemma (statement)
History
- 2026-11-02: add by m2/dev
fibered category A6C5M3ZF9X
| URI | m2://inv/A6C5M3ZF9X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fibred category NT6WDN07RC |
Mentions
- wikidata: Wikidata Q5446431, fibered category (concept). Also MathWorld FiberedCategory, nLab Grothendieck fibration
- wikipedia: Wikipedia Fibred category, Fibred category (definition). Also Wikidata Q5446431
History
- 2026-10-26: add by m2/dev
A6C63SBPD3 A6C63SBPD3
| URI | m2://inv/A6C63SBPD3 |
|---|---|
| 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.35740#LPH1 (statement). In N7C6C0QGJM/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
Lemma 1 A6CGHYJAN3
| URI | m2://inv/A6CGHYJAN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's theorem (differential geometry)#6743, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Unknotting number A6D1D4G3J4
| URI | m2://inv/A6D1D4G3J4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#DPYO, Unknotting number (definition). In 8TRCP1482Q/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
A6D1WB8756 A6D1WB8756
| URI | m2://inv/A6D1WB8756 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2609.20531#YGMQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Serpentine curve A6D91FTZGX
| URI | m2://inv/A6D91FTZGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#7QTK, Serpentine curve (definition)
- wikipedia: Wikipedia List of curves#2M62, Serpentine curve (definition)
History
- 2026-11-02: add by m2/dev
A6DCA0M0TE A6DCA0M0TE
| URI | m2://inv/A6DCA0M0TE |
|---|---|
| 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.16225#1QNE (statement). In H3DJV9YQW1/e1, lemma 3.17
History
- 2026-10-28: add by m2/v0.4.2
Qubes OS A6DJ7JW25N
| URI | m2://inv/A6DJ7JW25N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qubes OS, Qubes OS (definition). Also Wikidata Q7269652
History
- 2026-11-02: add by m2/dev
Freedman, Ronald A6DMSA68J2
| URI | m2://inv/A6DMSA68J2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LRCF, Freedman, Ronald (unknown)
History
- 2026-11-02: add by m2/dev
Partition of an interval A6DRKT00S0
| URI | m2://inv/A6DRKT00S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#GY77, Partition of an interval (definition)
History
- 2026-11-02: add by m2/dev
A6DWB37017 A6DWB37017
| URI | m2://inv/A6DWB37017 |
|---|---|
| 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.25255#HDEL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Virtually solvable characteristic images A6DYS56A5P
| URI | m2://inv/A6DYS56A5P |
|---|---|
| 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 2609.27204#K9EM, Virtually solvable characteristic images (statement)
History
- 2026-11-01: add by m2/v0.6.15
A6E2W3Y2J8 A6E2W3Y2J8
| URI | m2://inv/A6E2W3Y2J8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#DQIW (definition). In PZCA01JXVR/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Cauchy distribution A6E9JK9AJ8
| URI | m2://inv/A6E9JK9AJ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Cauchy distribution 0GPG24Q3GR |
Mentions
- wikidata: Wikidata Q726441, Cauchy distribution (concept). Also MathWorld CauchyDistribution
- wikipedia: Wikipedia Cauchy distribution, Cauchy distribution (definition). Also Wikidata Q726441
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
A6EN1S59MY A6EN1S59MY
| URI | m2://inv/A6EN1S59MY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#7TD7 (definition). In BSWNH3NW1M/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.4.0
Examples A6EQQFXT2W
| URI | m2://inv/A6EQQFXT2W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summary statistics#9YVV, Examples (example)
History
- 2026-11-02: add by m2/dev
A6FC59Z6SH A6FC59Z6SH
| URI | m2://inv/A6FC59Z6SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:truncn-ind (statement). In N54F33XE07, thm, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Ladder height process A6FDA2644D
| URI | m2://inv/A6FDA2644D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladder height process, Ladder height process (definition). Also Wikidata Q16887779
History
- 2026-11-02: add by m2/dev
A6FG1KYRQZ A6FG1KYRQZ
| URI | m2://inv/A6FG1KYRQZ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0507030#SI11 (proof). In QV0QQ5ZCHX/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Triple DES A6FG7SN2AG
| URI | m2://inv/A6FG7SN2AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple DES, Triple DES (definition). Also Wikidata Q134983
History
- 2026-11-02: add by m2/dev
Mayan mathematics A6FJ4HJFG8
| URI | m2://inv/A6FJ4HJFG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of mathematics#SYO6, Mayan mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Vacuum permittivity A6FK6D9521
| URI | m2://inv/A6FK6D9521 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#3GHZ, Vacuum permittivity (unknown)
History
- 2026-11-02: add by m2/dev
Almost sure hypothesis testing A6FVQHJWYF
| URI | m2://inv/A6FVQHJWYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindley's paradox#H61J, Almost sure hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
A6FWACSP6Q A6FWACSP6Q
| URI | m2://inv/A6FWACSP6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#JBVD (statement)
History
- 2026-11-01: add by m2/v0.6.15
A6FZ3JMEPD A6FZ3JMEPD
| URI | m2://inv/A6FZ3JMEPD |
|---|---|
| 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.11481#AAX8 (statement). In 8XHK5ZCX7H/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.3
Representations A6G5RXDS5N
| URI | m2://inv/A6G5RXDS5N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#CB8I, Representations (definition)
History
- 2026-11-01: add by m2/v0.6.15
HN group A6G92WMKTB
| URI | m2://inv/A6G92WMKTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#XF93, HN group (definition)
History
- 2026-11-02: add by m2/dev
Allen Hatcher A6GCWBS2QH
| URI | m2://inv/A6GCWBS2QH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GMU4, Allen Hatcher (topic)
History
- 2026-11-02: add by m2/dev
A6GDHB4W30 A6GDHB4W30
| URI | m2://inv/A6GDHB4W30 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#IRAV (unknown). In DH84PYVRCF/e1, unknown 2.2.2
History
- 2026-10-30: add by m2/v0.4.12
Example A6GG34RX4N
| URI | m2://inv/A6GG34RX4N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial fractions in complex analysis#01DR, Example (example)
History
- 2026-11-02: add by m2/dev
Example A6GHMSG9NX
| URI | m2://inv/A6GHMSG9NX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation space#O8TS, Example (example)
History
- 2026-11-02: add by m2/dev
A6GPTEPCS0 A6GPTEPCS0
| URI | m2://inv/A6GPTEPCS0 |
|---|---|
| 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 2401.05118#46VM (statement). In BT0T0QS2TN/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
A6H1Q88GZC A6H1Q88GZC
| URI | m2://inv/A6H1Q88GZC |
|---|---|
| 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#HSA3 (statement). In N3K26VPX0R/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Kantorovich inequality A6H42NTP8B
| URI | m2://inv/A6H42NTP8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#70CC, Kantorovich inequality (statement)
History
- 2026-11-02: add by m2/dev
A6H5CF6K0R A6H5CF6K0R
| URI | m2://inv/A6H5CF6K0R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
Example A6H9K14BE3
| URI | m2://inv/A6H9K14BE3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autonomous system (mathematics)#LYCE, Example (example)
History
- 2026-11-02: add by m2/dev
Snake oil A6HA595BR0
| URI | m2://inv/A6HA595BR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snake oil (cryptography), Snake oil (definition). Also Wikidata Q17084553
History
- 2026-11-02: add by m2/dev
Uniform local pressure estimate away from the initial time A6HBQ5CX39
| URI | m2://inv/A6HBQ5CX39 |
|---|---|
| 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.13613#1UJR, Uniform local pressure estimate away from the initial time (statement). In 3HCT4TQ5PM/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Computational science A6HCDN83R4
| URI | m2://inv/A6HCDN83R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational science, Computational science (definition). Also Wikidata Q117801
History
- 2026-11-02: add by m2/dev
A6HCMGPZVV A6HCMGPZVV
| URI | m2://inv/A6HCMGPZVV |
|---|---|
| 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.00657#EILS (statement). In FF8A8FP4FB/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
A6HD4N4SPB A6HD4N4SPB
| URI | m2://inv/A6HD4N4SPB |
|---|---|
| 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 2610.20273#JANQ (definition). In AEGHDSD5S7/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
special function A6HE0YE4GP
| URI | m2://inv/A6HE0YE4GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 33-XX |
| Sources | 2 |
| Outcome | open |
| Node | Special functions HWY72ZK273 |
Mentions
- wikidata: Wikidata Q867707, special function (topic). Also EoM Special_functions, MathWorld SpecialFunction, ProofWiki Definition:Special_Function
- wikipedia: Wikipedia Special functions, Special functions (definition). Also Wikidata Q867707
History
- 2026-10-26: add by m2/dev
A6HFY2HE6R A6HFY2HE6R
| URI | m2://inv/A6HFY2HE6R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#PJDA (definition). In PZCA01JXVR/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Windows Calculator A6HMB4D495
| URI | m2://inv/A6HMB4D495 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Z3JU, Windows Calculator (unknown)
History
- 2026-11-02: add by m2/dev
Alternative definitions A6HPGWP56J
| URI | m2://inv/A6HPGWP56J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor function#C05B, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Nyssa A6HSBXQ4WB
| URI | m2://inv/A6HSBXQ4WB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#56LE, Nyssa (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 2: Region of attraction A6HVM2XA88
| URI | m2://inv/A6HVM2XA88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding mode control#666T, Theorem 2: Region of attraction (statement)
History
- 2026-11-02: add by m2/dev
A6HWTVY34F A6HWTVY34F
| URI | m2://inv/A6HWTVY34F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#61LD (definition)
History
- 2026-11-02: add by m2/v0.6.18
A6HXGV4M9W A6HXGV4M9W
| URI | m2://inv/A6HXGV4M9W |
|---|---|
| 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.00882#X2RJ (statement). In CDA78ZYNZ0/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
removable discontinuity A6J2X67147
| URI | m2://inv/A6J2X67147 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#EW8K, removable discontinuity (definition)
History
- 2026-11-02: add by m2/dev
A6J4AFGH6W A6J4AFGH6W
| URI | m2://inv/A6J4AFGH6W |
|---|---|
| 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.21116#LQD7 (definition)
History
- 2026-11-02: add by m2/v0.6.18
A6JDKD3E52 A6JDKD3E52
| URI | m2://inv/A6JDKD3E52 |
|---|---|
| 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 2605.30285#F1VV (statement). In YMY0NNSM27/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.3.6
Al Scates A6JH6P4XXE
| URI | m2://inv/A6JH6P4XXE |
|---|---|
| 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#9BQE, Al Scates (unknown)
History
- 2026-11-02: add by m2/dev
Variations A6K0MARRKW
| URI | m2://inv/A6K0MARRKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Look-and-say sequence#89V3, Variations (statement)
History
- 2026-11-02: add by m2/dev
Alejandro Adem A6K2J607QW
| URI | m2://inv/A6K2J607QW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YQOC, Alejandro Adem (unknown)
History
- 2026-11-02: add by m2/dev
Sl2-triple A6K7AJHR87
| URI | m2://inv/A6K7AJHR87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sl2-triple, Sl2-triple (definition). Also Wikidata Q7538329
History
- 2026-11-02: add by m2/dev
A6K7NZWFF8 A6K7NZWFF8
| URI | m2://inv/A6K7NZWFF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.04874#SC22 (statement). In X365951S4Q/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Conway–Maxwell–binomial distribution A6K9ES9GPJ
| URI | m2://inv/A6K9ES9GPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway–Maxwell–binomial distribution, Conway–Maxwell–binomial distribution (definition). Also Wikidata Q48989116
History
- 2026-11-02: add by m2/dev
Alexander Module of a Link (see for a pedagogical exposition A6KCBA544X
| URI | m2://inv/A6KCBA544X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-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.30262#8OIT, Alexander Module of a Link (see for a pedagogical exposition (definition). In FWA5QW6FCF/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Centered-disk hard wall A6KGJ59JD7
| URI | m2://inv/A6KGJ59JD7 |
|---|---|
| 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 2609.25307#JHXT, Centered-disk hard wall (statement)
History
- 2026-11-01: add by m2/v0.6.15
Homotopy Groups A6KS3XQRMK
| URI | m2://inv/A6KS3XQRMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#def-of-homotopy-groups, Homotopy Groups (definition). In N54F33XE07, defn, section 7
History
- 2026-11-01: add by m2/v0.6.13
A6KTQE7SVA A6KTQE7SVA
| URI | m2://inv/A6KTQE7SVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#UZOL (statement). In E63NRC7MBE/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.4.2
Richardson constant A6KWNDGMGN
| URI | m2://inv/A6KWNDGMGN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#MUIU, Richardson constant (unknown)
History
- 2026-11-02: add by m2/dev
Completeness Theorem, Second Version A6KWX82PF8
| URI | m2://inv/A6KWX82PF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/completeness-thm.tex#cor:completeness, Completeness Theorem, Second Version (statement). In PKGMM3P5QY, cor, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Tensor A6M3HMKA74
| URI | m2://inv/A6M3HMKA74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#YVJN, Tensor (definition)
History
- 2026-11-02: add by m2/dev
A6M7728RMN A6M7728RMN
| URI | m2://inv/A6M7728RMN |
|---|---|
| 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.33108#W3KO (statement). In 5JK5N2RRMS/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Definitions A6M9PKXZGS
| URI | m2://inv/A6M9PKXZGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spanning tree#K5F0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
meridian A6M9Q7SEFZ
| URI | m2://inv/A6M9Q7SEFZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.7/meridian, meridian (concept). In N54F33XE07, index, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Newton's laws A6MASFTBSY
| URI | m2://inv/A6MASFTBSY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment of inertia#CZRM, Newton's laws (statement)
History
- 2026-11-02: add by m2/dev
A6MKFTX673 A6MKFTX673
| URI | m2://inv/A6MKFTX673 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2610.01958#EW3H (statement). In NQFYT2M6YZ/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.12
chord A6MQEBKP4T
| URI | m2://inv/A6MQEBKP4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#5FWS, chord (definition)
History
- 2026-11-02: add by m2/dev
Separation test A6N1Q38V0X
| URI | m2://inv/A6N1Q38V0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation test, Separation test (definition). Also Wikidata Q7451834
History
- 2026-11-02: add by m2/dev
9-orthoplex A6N1TMJ1AQ
| URI | m2://inv/A6N1TMJ1AQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#RS53, 9-orthoplex (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#TE88, 9-orthoplex (object)
History
- 2026-11-02: add by m2/dev
Examples A6N6E32R1R
| URI | m2://inv/A6N6E32R1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rota–Baxter algebra#PK6B, Examples (example)
History
- 2026-11-02: add by m2/dev
A6NS4YME6S A6NS4YME6S
| URI | m2://inv/A6NS4YME6S |
|---|---|
| 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.26041#NPSQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Canonical irredundancy A6NVA4833F
| URI | m2://inv/A6NVA4833F |
|---|---|
| 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.10950#4WO2, Canonical irredundancy (statement). In P392PEVRAY/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.3
mks units A6NVJHQG27
| URI | m2://inv/A6NVJHQG27 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.4.2/mks-units, mks units (concept). In E9HS8K3A52, index, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
Hartree remainder A6NX8HHVX4
| URI | m2://inv/A6NX8HHVX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#CO4L, Hartree remainder (statement). In ZRG6NY1ECH/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
Multivariate landing page optimization A6P44ED4D7
| URI | m2://inv/A6P44ED4D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate landing page optimization, Multivariate landing page optimization (definition). Also Wikidata Q6935138
History
- 2026-11-02: add by m2/dev
Financial mathematics A6P5ARHZ6T
| URI | m2://inv/A6P5ARHZ6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#XN51, Financial mathematics (definition)
History
- 2026-11-02: add by m2/dev
A6P972HSWB A6P972HSWB
| URI | m2://inv/A6P972HSWB |
|---|---|
| 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.26308#SQVE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem A6PHABJXBH
| URI | m2://inv/A6PHABJXBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbard–Satterthwaite theorem#47XE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples A6PYPA6G32
| URI | m2://inv/A6PYPA6G32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite graph#2Z7Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Multiply transitive group action A6Q03274X2
| URI | m2://inv/A6Q03274X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiply transitive group action, Multiply transitive group action (definition). Also Wikidata Q4596974
History
- 2026-11-02: add by m2/dev
Lemma 1 A6Q1TVXFMK
| URI | m2://inv/A6Q1TVXFMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden's theorem#DNH4, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
A6Q43BYKVV A6Q43BYKVV
| URI | m2://inv/A6Q43BYKVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.02961#QD07 (statement). In 986DENWM1D/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
A6Q4QBZR3W A6Q4QBZR3W
| URI | m2://inv/A6Q4QBZR3W |
|---|---|
| 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.22557#COSS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Exact slack is not Lipschitz A6Q8MKE7EM
| URI | m2://inv/A6Q8MKE7EM |
|---|---|
| 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.28160#FPHJ, Exact slack is not Lipschitz (statement)
History
- 2026-11-01: add by m2/v0.6.15
Further examples A6Q9A0CBCZ
| URI | m2://inv/A6Q9A0CBCZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill sphere#7PQP, Further examples (example)
History
- 2026-11-02: add by m2/dev
A6QA25YWJ6 A6QA25YWJ6
| URI | m2://inv/A6QA25YWJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#4CN7 (statement). In H9X9WZ17TT/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
A6QBMP4EGP A6QBMP4EGP
| URI | m2://inv/A6QBMP4EGP |
|---|---|
| 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.33313#A0UV (statement). In HRCEFY172P/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Polynomial descent through a subspace quotient A6QM51WR7S
| URI | m2://inv/A6QM51WR7S |
|---|---|
| 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.15815#6JQE, Polynomial descent through a subspace quotient (statement). In 9C75CTY5C3/e1, lemma 5.12
History
- 2026-10-28: add by m2/v0.4.2
A6QM7C1XDG A6QM7C1XDG
| URI | m2://inv/A6QM7C1XDG |
|---|---|
| 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 2606.00589#9XYU (statement). In C8JAGP8VCQ/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Lagrange interpolation A6QXEC5M68
| URI | m2://inv/A6QXEC5M68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Approximation of numerical functions > Lagrange interpolation, Lagrange interpolation (unknown). Also Mathlib Lagrange.interpolate
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Approximation of numerical functions > Lagrange polynomial of a function at (n + 1) points, Lagrange polynomial of a function at (n + 1) points (unknown). Also Mathlib Lagrange.interpolate
History
- 2026-10-26: add by m2/dev
A6QZEDC368 A6QZEDC368
| URI | m2://inv/A6QZEDC368 |
|---|---|
| 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.40207#45OP (statement). In JXTG8KP95P/e1, lemma 1.7
History
- 2026-10-30: add by m2/v0.4.12
A6R8CPN638 A6R8CPN638
| URI | m2://inv/A6R8CPN638 |
|---|---|
| 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.29023#6EU6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formulation A6RFS42C0Z
| URI | m2://inv/A6RFS42C0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lonely runner conjecture#F750, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Kurt Schütte A6RGZR7YQK
| URI | m2://inv/A6RGZR7YQK |
|---|---|
| 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#I5L6, Kurt Schütte (topic)
- wikipedia: Wikipedia List of German mathematicians#4BQ4, Kurt Schütte (topic)
History
- 2026-11-02: add by m2/dev
A6RMRBY8D6 A6RMRBY8D6
| URI | m2://inv/A6RMRBY8D6 |
|---|---|
| Kind | example |
| 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.01888#RTZO (example). In A89G9GMPC9/e1, example 4.11
History
- 2026-10-29: add by m2/v0.4.12
A6RPJQ7X0R A6RPJQ7X0R
| URI | m2://inv/A6RPJQ7X0R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 93.2
History
- 2026-11-01: add by m2/v0.6.13
List of books on history of number systems A6RSQ3NC1H
| URI | m2://inv/A6RSQ3NC1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of books on history of number systems, List of books on history of number systems (topic). Also Wikidata Q134437418
History
- 2026-11-02: add by m2/dev
A6RYWXM5S0 A6RYWXM5S0
| URI | m2://inv/A6RYWXM5S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#VRSQ (statement). In TTRSZVT4VX/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.4.2
Mary Fama A6RZB2NCF9
| URI | m2://inv/A6RZB2NCF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Fama, Mary Fama (topic). Also Wikidata Q108684100
History
- 2026-11-02: add by m2/dev
Octacube A6S3FH9MV4
| URI | m2://inv/A6S3FH9MV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octacube (sculpture), Octacube (definition). Also Wikidata Q7076681
History
- 2026-11-02: add by m2/dev
Leo Sario A6S9193HK1
| URI | m2://inv/A6S9193HK1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leo Sario, Leo Sario (topic). Also Wikidata Q11875570
History
- 2026-11-02: add by m2/dev
monomorphism A6SGJEZ13A
| URI | m2://inv/A6SGJEZ13A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/monomorphism, monomorphism (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Convergence of MBO from (equivalent A6SGQFTSR6
| URI | m2://inv/A6SGQFTSR6 |
|---|---|
| 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.37803#M7RD, Convergence of MBO from (equivalent (statement). In 2RN6YVQD0Z/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Intrinsic subcriticality A6SKS80YQR
| URI | m2://inv/A6SKS80YQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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 2609.27774#ZLVE, Intrinsic subcriticality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Support and equality conditions at the optimal factor A6SKWY4V22
| URI | m2://inv/A6SKWY4V22 |
|---|---|
| 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#6TEE, Support and equality conditions at the optimal factor (statement). In V5GT8NJKCM/e1, proposition E.4
History
- 2026-10-28: add by m2/v0.4.2
BCJR algorithm A6SX909N9B
| URI | m2://inv/A6SX909N9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCJR algorithm, BCJR algorithm (definition). Also Wikidata Q625117
History
- 2026-11-02: add by m2/dev
Exotic probability A6T17RSRX4
| URI | m2://inv/A6T17RSRX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#HB47, Exotic probability (definition)
History
- 2026-11-02: add by m2/dev
A6T5A40X95 A6T5A40X95
| URI | m2://inv/A6T5A40X95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#BG8N (statement). In X47RYAZF8P/e1, lemma 11.7
History
- 2026-10-28: add by m2/v0.4.2
A6T5YGSWCR A6T5YGSWCR
| URI | m2://inv/A6T5YGSWCR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#736O (definition). In ATSYBWEMMP/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Todd Harris A6T97YC65M
| URI | m2://inv/A6T97YC65M |
|---|---|
| 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#V068, Todd Harris (unknown)
History
- 2026-11-02: add by m2/dev
A6TCWR5PA0 A6TCWR5PA0
| URI | m2://inv/A6TCWR5PA0 |
|---|---|
| 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.01433#2SW4 (statement). In 160PQ7F1AS/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Matching law formulation A6TT90W6PS
| URI | m2://inv/A6TT90W6PS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luce's choice axiom#H41L, Matching law formulation (statement)
History
- 2026-11-02: add by m2/dev
A6V6NC6GT1 A6V6NC6GT1
| URI | m2://inv/A6V6NC6GT1 |
|---|---|
| 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.36447#5JGA (statement). In D90TFQTQ6P/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Judi Hewitt A6V7FRA4HQ
| URI | m2://inv/A6V7FRA4HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judi Hewitt, Judi Hewitt (topic). Also Wikidata Q50318773
History
- 2026-11-02: add by m2/dev
A6VR4E0VAJ A6VR4E0VAJ
| URI | m2://inv/A6VR4E0VAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#S72S (statement). In 5EKTECQ2P1/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
Random indexing A6W03HDBHE
| URI | m2://inv/A6W03HDBHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random indexing, Random indexing (definition). Also Wikidata Q7291973
History
- 2026-11-02: add by m2/dev
Tord Hall A6W87163F9
| URI | m2://inv/A6W87163F9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tord Hall, Tord Hall (topic). Also Wikidata Q10700070
History
- 2026-11-02: add by m2/dev
Jean Buridan A6WCWB43YN
| URI | m2://inv/A6WCWB43YN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#7ZH9, Jean Buridan (topic)
History
- 2026-11-02: add by m2/dev
A6WEA0NMBP A6WEA0NMBP
| URI | m2://inv/A6WEA0NMBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#XB6N (statement). In 1MPH7GCFJ2/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
Ravindra Bapat A6WRS0K8N8
| URI | m2://inv/A6WRS0K8N8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ravindra Bapat, Ravindra Bapat (topic). Also Wikidata Q27947838
History
- 2026-11-02: add by m2/dev
Backward evaluation for a rational \texorpdfstring{$(3,2)$}{(3,2)} Pi\ neiro system A6WSKV8ZMT
| URI | m2://inv/A6WSKV8ZMT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#7XFU, Backward evaluation for a rational \texorpdfstring{$(3,2)$}{(3,2)} Pi\ neiro system (example)
History
- 2026-11-01: add by m2/v0.6.15
Degree matrix A6WTA4NBPR
| URI | m2://inv/A6WTA4NBPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#INAU, Degree matrix (definition)
History
- 2026-11-02: add by m2/dev
A6WTWG1123 A6WTWG1123
| URI | m2://inv/A6WTWG1123 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#MNXX (definition). In 6KR7Z5ETRY/e1, definition 2.55
History
- 2026-10-27: add by m2/v0.3.5
Theorem A6XCHD5X5Y
| URI | m2://inv/A6XCHD5X5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal space#UA73, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Helen Infeld A6XKKCNTHX
| URI | m2://inv/A6XKKCNTHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen Infeld, Helen Infeld (topic). Also Wikidata Q102198390
History
- 2026-11-02: add by m2/dev
almost universal A6XNQNEYYV
| URI | m2://inv/A6XNQNEYYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HVH9, almost universal (definition)
History
- 2026-11-02: add by m2/dev
Dendrogram A6XRPVYYN5
| URI | m2://inv/A6XRPVYYN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dendrogram, Dendrogram (definition). Also Wikidata Q1957903
History
- 2026-11-02: add by m2/dev
A6XSH61K5A A6XSH61K5A
| URI | m2://inv/A6XSH61K5A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-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 2108.10246#QQP6 (example). In XD0YT3XCW2/e1, example 3.9
History
- 2026-10-27: add by m2/v0.3.5
A6XW62TJKK A6XW62TJKK
| URI | m2://inv/A6XW62TJKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.14762#WTAP (statement). In ZC1B70NT4D/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.5
A6Y1NJQM24 A6Y1NJQM24
| URI | m2://inv/A6Y1NJQM24 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-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 1204.5958#OSKG (example). In XYCBKM4WKY/e1, example 57
History
- 2026-10-27: add by m2/v0.3.5
A6YDB6KHBJ A6YDB6KHBJ
| URI | m2://inv/A6YDB6KHBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:NO-unstrict-transitive (statement). In N54F33XE07, cor, section B.6
History
- 2026-11-01: add by m2/v0.6.13
A scalar product count A6YET3M4P9
| URI | m2://inv/A6YET3M4P9 |
|---|---|
| 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.02585#L1OC, A scalar product count (statement). In V0KBBY82SY/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
great ditrigonal dodecacronic hexecontahedron A6YFNNPT3D
| URI | m2://inv/A6YFNNPT3D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600346, great ditrigonal dodecacronic hexecontahedron (unknown). Also MathWorld GreatDitrigonalDodecacronicHexecontahedron
- wikipedia: Wikipedia Great ditrigonal dodecacronic hexecontahedron, Great ditrigonal dodecacronic hexecontahedron (object). Also Wikidata Q5600346
History
- 2026-10-26: add by m2/dev
Lakshadweep A6YG41E20J
| URI | m2://inv/A6YG41E20J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6AX8, Lakshadweep (unknown)
History
- 2026-11-02: add by m2/dev
Public-key cryptography A6YHW15Q8D
| URI | m2://inv/A6YHW15Q8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#VJL8, Public-key cryptography (definition)
History
- 2026-11-02: add by m2/dev
Mordell curve A6YSA69VNY
| URI | m2://inv/A6YSA69VNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordell curve, Mordell curve (definition). Also Wikidata Q2567243
History
- 2026-11-02: add by m2/dev
Joint-gravity cover and witness bound A6YT4Q34AJ
| URI | m2://inv/A6YT4Q34AJ |
|---|---|
| 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.10408#VXWA, Joint-gravity cover and witness bound (statement). In H976NYKBNT/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
finitely axiomatizable A6YWPBNAW7
| URI | m2://inv/A6YWPBNAW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#N4D7, finitely axiomatizable (statement)
History
- 2026-11-02: add by m2/dev
Goldwasser–Micali cryptosystem A6YXAHSWT3
| URI | m2://inv/A6YXAHSWT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldwasser–Micali cryptosystem, Goldwasser–Micali cryptosystem (definition). Also Wikidata Q742758
History
- 2026-11-02: add by m2/dev
A6YYJVRY0W A6YYJVRY0W
| URI | m2://inv/A6YYJVRY0W |
|---|---|
| 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 2504.18390#52HJ (example). In A1E8BB0QHC/e1, example 2.1
History
- 2026-10-27: add by m2/v0.3.5
Criticism of string theory A6YYPXH03R
| URI | m2://inv/A6YYPXH03R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String theory#JY7E, Criticism of string theory (unknown)
History
- 2026-11-02: add by m2/dev
Rate of natural increase A6Z0NK5RQR
| URI | m2://inv/A6Z0NK5RQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of natural increase, Rate of natural increase (definition). Also Wikidata Q2822899
History
- 2026-11-02: add by m2/dev
Difference of two squares A6Z25PNDVP
| URI | m2://inv/A6Z25PNDVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#R9J0, Difference of two squares (definition)
History
- 2026-11-02: add by m2/dev
Similarity invariance of $g_C$ A6Z4JVG8KK
| URI | m2://inv/A6Z4JVG8KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#F126, Similarity invariance of $g_C$ (statement). In EHW82CK883/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
Von Zeipel theorem A6Z7C10JP8
| URI | m2://inv/A6Z7C10JP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Zeipel theorem, Von Zeipel theorem (statement). Also Wikidata Q1616875
History
- 2026-11-02: add by m2/dev
Scott weight and finite-tier compatibility A6ZHG5QYRJ
| URI | m2://inv/A6ZHG5QYRJ |
|---|---|
| Kind | definition |
| 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 2609.23281#E824, Scott weight and finite-tier compatibility (definition)
History
- 2026-11-02: add by m2/v0.6.17
Bounds on the coefficients for $N\geq 2$ A6ZMRCHEDB
| URI | m2://inv/A6ZMRCHEDB |
|---|---|
| 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 1905.02785#ODHE, Bounds on the coefficients for $N\geq 2$ (statement). In PF9KV74Q02/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Mojżesz David Kirszbraun A6ZR8K01AQ
| URI | m2://inv/A6ZR8K01AQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mojżesz David Kirszbraun, Mojżesz David Kirszbraun (topic). Also Wikidata Q6895199
History
- 2026-11-02: add by m2/dev
Partial Euler Product A6ZRE0B84D
| URI | m2://inv/A6ZRE0B84D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial Euler Product, Partial Euler Product (definition). Also Wikidata Q141286277
History
- 2026-11-02: add by m2/dev
Scalar decay at the heat scale A6ZTB1ZKVD
| URI | m2://inv/A6ZTB1ZKVD |
|---|---|
| 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.13613#0CDZ, Scalar decay at the heat scale (statement). In 3HCT4TQ5PM/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Application A6ZWTYN1PZ
| URI | m2://inv/A6ZWTYN1PZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler–Hadwiger theorem#YQ1R, Application (example)
History
- 2026-11-02: add by m2/dev