Inventory rows M7
The cards of the rows of the inventory whose ids start with M7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sharkovskii's theorem M703NFKKKJ
| URI | m2://inv/M703NFKKKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#CI4V, Sharkovskii's theorem (statement)
History
- 2026-11-02: add by m2/dev
M707NCTBKB M707NCTBKB
| URI | m2://inv/M707NCTBKB |
|---|---|
| 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 2610.10262#M7EW (example). In MVSGDTN2PB/e1, example 4.21
History
- 2026-10-29: add by m2/v0.4.10
M70DEV5DHJ M70DEV5DHJ
| URI | m2://inv/M70DEV5DHJ |
|---|---|
| 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.04382#4LGJ (statement). In 7VW8XD28G1/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
M70DQN658Y M70DQN658Y
| URI | m2://inv/M70DQN658Y |
|---|---|
| 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 2508.03972#YZ04 (statement). In 2JD3KNKJ1P/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
Beno Arbel M70DSZW0ND
| URI | m2://inv/M70DSZW0ND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beno Arbel, Beno Arbel (topic). Also Wikidata Q6627356
History
- 2026-11-02: add by m2/dev
Quart de les Valls M70FBATH6F
| URI | m2://inv/M70FBATH6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MN0T, Quart de les Valls (unknown)
History
- 2026-11-02: add by m2/dev
Fourier realization of the analytic class M70QQEEQXE
| URI | m2://inv/M70QQEEQXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28937#I0SJ, Fourier realization of the analytic class (statement)
History
- 2026-11-01: add by m2/v0.6.15
Peter Nigri M70RN25FHF
| URI | m2://inv/M70RN25FHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Nigri, Peter Nigri (topic). Also Wikidata Q744494
History
- 2026-11-02: add by m2/dev
M710FECJ88 M710FECJ88
| URI | m2://inv/M710FECJ88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.15535#BV26 (statement). In 73A9KWZJRD/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
M719Y8FZVC M719Y8FZVC
| URI | m2://inv/M719Y8FZVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#X1BO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Whitehead's, principle M71E7W21JC
| URI | m2://inv/M71E7W21JC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/whitehead-s-principle, Whitehead's, principle (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
M71H1XXMZG M71H1XXMZG
| URI | m2://inv/M71H1XXMZG |
|---|---|
| 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.26813#XRKW (statement)
History
- 2026-11-01: add by m2/v0.6.15
M71H6TA48F M71H6TA48F
| URI | m2://inv/M71H6TA48F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#example-2 (example). In 649HGZKE96, example, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Multi-layer gradient rate under common layer bounds M71KG4F2A2
| URI | m2://inv/M71KG4F2A2 |
|---|---|
| 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.02659#HILT, Multi-layer gradient rate under common layer bounds (statement). In EV933413SJ/e1, corollary D.3
History
- 2026-10-29: add by m2/v0.4.12
The remaining equation M71QBWFXJ5
| URI | m2://inv/M71QBWFXJ5 |
|---|---|
| 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.12238#NZ3B, The remaining equation (statement). In E31CZYM2H8/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
The generic extension satisfies $\ZFC$ M71V12HQNA
| URI | m2://inv/M71V12HQNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#theorem-2, The generic extension satisfies $\ZFC$ (statement). In RZP28ERRZV, theorem, section 90.6
History
- 2026-11-01: add by m2/v0.6.13
M71ZMNJ1DH M71ZMNJ1DH
| URI | m2://inv/M71ZMNJ1DH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30033#EJ2C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distance fog M729F08960
| URI | m2://inv/M729F08960 |
|---|---|
| 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#TTVO, Distance fog (unknown)
History
- 2026-11-02: add by m2/dev
Orthogonal Procrustes problem M72CAS7B0T
| URI | m2://inv/M72CAS7B0T |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal Procrustes problem, Orthogonal Procrustes problem (problem). Also Wikidata Q3406231
History
- 2026-11-02: add by m2/dev
brute-force search M72GNDJWVC
| URI | m2://inv/M72GNDJWVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q850362, brute-force search (unknown). Also MathWorld ExhaustiveSearch
History
- 2026-10-26: add by m2/dev
Multistage testing M72GRZHQ2E
| URI | m2://inv/M72GRZHQ2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multistage testing, Multistage testing (definition). Also Wikidata Q6935101
History
- 2026-11-02: add by m2/dev
Conway's simplicity theorem M72J2RDK49
| URI | m2://inv/M72J2RDK49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:NO-simplicity, Conway's simplicity theorem (statement). In N54F33XE07, thm, section B.6
History
- 2026-11-01: add by m2/v0.6.13
M72JS0XZJ8 M72JS0XZJ8
| URI | m2://inv/M72JS0XZJ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example-7 (example). In E59CDZA4DP, example, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
M733CY1G4Q M733CY1G4Q
| URI | m2://inv/M733CY1G4Q |
|---|---|
| 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 2205.09049#192R (statement). In 37S7MNMZ2F/e1, corollary 19
History
- 2026-10-27: add by m2/v0.3.5
Matched Z-transform method M7372TNSF3
| URI | m2://inv/M7372TNSF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matched Z-transform method, Matched Z-transform method (definition). Also Wikidata Q4678053
History
- 2026-11-02: add by m2/dev
M73C2H9S8E M73C2H9S8E
| URI | m2://inv/M73C2H9S8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#IONT (statement)
History
- 2026-11-01: add by m2/v0.6.15
M73CYDEAXK M73CYDEAXK
| URI | m2://inv/M73CYDEAXK |
|---|---|
| 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 0904.2839#JFWF (definition). In 2P34N0GWS1/e1, definition 2.3.1
History
- 2026-10-27: add by m2/v0.3.5
Econometrics M73D8MVFCV
| URI | m2://inv/M73D8MVFCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W5G0, Econometrics (definition)
History
- 2026-11-02: add by m2/dev
Examples M73HVS3X9M
| URI | m2://inv/M73HVS3X9M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star domain#ACLO, Examples (example)
History
- 2026-11-02: add by m2/dev
Nicole M. Joseph M73QJMQD7G
| URI | m2://inv/M73QJMQD7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicole M. Joseph, Nicole M. Joseph (topic). Also Wikidata Q83568935
History
- 2026-11-02: add by m2/dev
Chaturbhuj Temple, Gwalior M73RM16CAW
| URI | m2://inv/M73RM16CAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaturbhuj Temple, Gwalior, Chaturbhuj Temple, Gwalior (definition). Also Wikidata Q44545847
History
- 2026-11-02: add by m2/dev
M73RT2X1V8 M73RT2X1V8
| URI | m2://inv/M73RT2X1V8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#AXF1 (definition). In 80S2NP05HJ/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.4.0
Circolo Matematico di Palermo M73SXW1R8G
| URI | m2://inv/M73SXW1R8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circolo Matematico di Palermo, Circolo Matematico di Palermo (definition). Also Wikidata Q516426
History
- 2026-11-02: add by m2/dev
M73TSC5P0H M73TSC5P0H
| URI | m2://inv/M73TSC5P0H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
M73WGJJG06 M73WGJJG06
| URI | m2://inv/M73WGJJG06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.04730#UF7A (statement). In QHFP0837Q8/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
M73YH2RSY0 M73YH2RSY0
| URI | m2://inv/M73YH2RSY0 |
|---|---|
| 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.02681#JEEX (statement). In 7BBJMB97N7/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
spherical category M7427HDDAC
| URI | m2://inv/M7427HDDAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16897593, spherical category (unknown). Also nLab spherical category
- wikipedia: Wikipedia Spherical category, Spherical category (definition). Also Wikidata Q16897593
History
- 2026-10-26: add by m2/dev
Polykay M744161DAS
| URI | m2://inv/M744161DAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PYMR, Polykay (definition)
History
- 2026-11-02: add by m2/dev
M7470H616Q M7470H616Q
| URI | m2://inv/M7470H616Q |
|---|---|
| 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.08323#MMY6 (definition). In FR51ART4NF/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
structure sheaf M74DSD3MBB
| URI | m2://inv/M74DSD3MBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91435750, structure sheaf (definition). Also nLab structure sheaf, ProofWiki Definition:Ringed_Space/Structure_Sheaf
History
- 2026-10-26: add by m2/dev
M74FTNHYTS M74FTNHYTS
| URI | m2://inv/M74FTNHYTS |
|---|---|
| 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.30310#UE1L (statement). In 31XSBAFMEQ/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
David Bressoud M74G8FBHHF
| URI | m2://inv/M74G8FBHHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Bressoud, David Bressoud (topic). Also Wikidata Q5231717
History
- 2026-11-02: add by m2/dev
Tom Pernice Jr. M74KWDZSZR
| URI | m2://inv/M74KWDZSZR |
|---|---|
| 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#993P, Tom Pernice Jr. (unknown)
History
- 2026-11-02: add by m2/dev
M74MZNCZ8S M74MZNCZ8S
| URI | m2://inv/M74MZNCZ8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#APFE (statement). In 3Y76AQQGF0/e1, theorem 2.15
History
- 2026-10-29: add by m2/v0.4.12
Sven Erlander M750A3GSR4
| URI | m2://inv/M750A3GSR4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sven Erlander, Sven Erlander (topic). Also Wikidata Q5717716
History
- 2026-11-02: add by m2/dev
Local reductivity, , Defns. 2.1 and 2.5 M75298D246
| URI | m2://inv/M75298D246 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#Y0JB, Local reductivity, , Defns. 2.1 and 2.5 (definition). In CVESAPNMCQ/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Iona Yakir M753M6DRMS
| URI | m2://inv/M753M6DRMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#610U, Iona Yakir (unknown)
History
- 2026-11-02: add by m2/dev
Hyperbolic geometry M757HQ32X2
| URI | m2://inv/M757HQ32X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#EYRV, Hyperbolic geometry (definition)
History
- 2026-11-02: add by m2/dev
M75A4PMEF9 M75A4PMEF9
| URI | m2://inv/M75A4PMEF9 |
|---|---|
| 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#V27A (statement). In ZA34B1CR9M/e1, proposition 3.15
History
- 2026-10-30: add by m2/v0.4.12
Gram-Schmidt M75DW2AYRV
| URI | m2://inv/M75DW2AYRV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#theorem-1, Gram-Schmidt (statement). In RZP28ERRZV, theorem, section 60.3
History
- 2026-11-01: add by m2/v0.6.13
M75SCKY55P M75SCKY55P
| URI | m2://inv/M75SCKY55P |
|---|---|
| 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 math/9902147#9E5P (statement). In 7CK21JGM5A/e1, corollary 3.19
History
- 2026-10-27: add by m2/v0.4.2
M75T8SDC1V M75T8SDC1V
| URI | m2://inv/M75T8SDC1V |
|---|---|
| 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.14692#QEFH (statement). In NE5EH5FXRV/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Exceptional Lie group M75WZHVBC0
| URI | m2://inv/M75WZHVBC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#DG8L, Exceptional Lie group (definition)
History
- 2026-11-02: add by m2/dev
Example M761G0RKF0
| URI | m2://inv/M761G0RKF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combined linear congruential generator#Q6QA, Example (example)
History
- 2026-11-02: add by m2/dev
Kosovar Mathematical Society M76B6Q29AN
| URI | m2://inv/M76B6Q29AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosovar Mathematical Society, Kosovar Mathematical Society (definition). Also Wikidata Q108936705
History
- 2026-11-02: add by m2/dev
Kripke semantics M76HV66J3J
| URI | m2://inv/M76HV66J3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke semantics, Kripke semantics (definition). Also Wikidata Q2462350
History
- 2026-11-02: add by m2/dev
M76KVRGNH9 M76KVRGNH9
| URI | m2://inv/M76KVRGNH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#FPGI (statement). In PQHTR84RAJ/e1, proposition 3.15
History
- 2026-10-27: add by m2/v0.4.0
Domninus of Larissa M76NQ3Y8YV
| URI | m2://inv/M76NQ3Y8YV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#MYWS, Domninus of Larissa (unknown)
History
- 2026-11-02: add by m2/dev
Paolo Gorini M772X4X4X7
| URI | m2://inv/M772X4X4X7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paolo Gorini, Paolo Gorini (topic). Also Wikidata Q2718063
History
- 2026-11-02: add by m2/dev
Variations M775TYFHB5
| URI | m2://inv/M775TYFHB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Procrustes analysis#E61J, Variations (statement)
History
- 2026-11-02: add by m2/dev
M77B5SAAHK M77B5SAAHK
| URI | m2://inv/M77B5SAAHK |
|---|---|
| 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 2602.15812#S8EK (statement). In GAAZD3SGPN/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
M77G0TGDXF M77G0TGDXF
| URI | m2://inv/M77G0TGDXF |
|---|---|
| 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.18922#JX0F (statement). In 6FKDYENQ8M/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Certifiability of Log-Concave Distributions M77GD0RYBK
| URI | m2://inv/M77GD0RYBK |
|---|---|
| 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.30105#2RIY, Certifiability of Log-Concave Distributions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Saviour Montebello M77KZ2X2EN
| URI | m2://inv/M77KZ2X2EN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saviour Montebello, Saviour Montebello (topic). Also Wikidata Q16858044
History
- 2026-11-02: add by m2/dev
M77VE5NF0C M77VE5NF0C
| URI | m2://inv/M77VE5NF0C |
|---|---|
| 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.11007#OWR1 (statement). In MF0H78XZXC/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
M78AA9AP0F M78AA9AP0F
| URI | m2://inv/M78AA9AP0F |
|---|---|
| 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#EZI0 (statement). In C8JAGP8VCQ/e1, proposition 8.7
History
- 2026-10-27: add by m2/v0.3.5
Apéry's constant M78GPSAH4X
| URI | m2://inv/M78GPSAH4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#UKTC, Apéry's constant (definition)
History
- 2026-11-02: add by m2/dev
M78MW08JDQ M78MW08JDQ
| URI | m2://inv/M78MW08JDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 67.7
History
- 2026-11-01: add by m2/v0.6.13
Alexander Lerner M78N47KH9J
| URI | m2://inv/M78N47KH9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4SCG, Alexander Lerner (unknown)
History
- 2026-11-02: add by m2/dev
M78NE8KNCK M78NE8KNCK
| URI | m2://inv/M78NE8KNCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#T1PG (statement). In 6HJQXZS0A6/e1, lemma 3.16
History
- 2026-10-29: add by m2/v0.4.12
M78P4RTBXF M78P4RTBXF
| URI | m2://inv/M78P4RTBXF |
|---|---|
| Kind | statement |
| 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.21034#BMUO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gauss's lemma M793N2DVW0
| URI | m2://inv/M793N2DVW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Gauss's lemma 0QFV5Y1Z5X |
Mentions
- wikidata: Wikidata Q587938, Gauss's lemma (unknown). Also MathWorld GausssLemma
- wikipedia: Wikipedia Gauss's lemma (polynomials), Gauss's lemma (statement). Also Wikidata Q587938
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Definitions M793RD498W
| URI | m2://inv/M793RD498W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous poset#6O8M, Definitions (definition)
History
- 2026-11-02: add by m2/dev
M795A6WX6X M795A6WX6X
| URI | m2://inv/M795A6WX6X |
|---|---|
| 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.31910#RHWU (statement). In E4EK1XXPY4/e1, proposition 5.14
History
- 2026-10-31: add by m2/v0.5.6
M797R9QSCX M797R9QSCX
| URI | m2://inv/M797R9QSCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#6FU3 (statement). In R3NJYPZH52/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.3
Quaternionic K\"ahler obstruction M797VAEF51
| URI | m2://inv/M797VAEF51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#KD0A, Quaternionic K\"ahler obstruction (statement)
History
- 2026-11-01: add by m2/v0.6.15
M7990CQMWD M7990CQMWD
| URI | m2://inv/M7990CQMWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#TNDS (statement)
History
- 2026-11-01: add by m2/v0.6.15
M79D6TEDPN M79D6TEDPN
| URI | m2://inv/M79D6TEDPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#5BKR (statement). In ZBQX9341RV/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
M79N7TA64Z M79N7TA64Z
| URI | m2://inv/M79N7TA64Z |
|---|---|
| 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 2310.02073#KGEW (statement). In 3PNCRG6J62/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
R. Brauer M79P1NQF4B
| URI | m2://inv/M79P1NQF4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#6VCH, R. Brauer (topic)
History
- 2026-11-02: add by m2/dev
Multiplication theorems M79RNXN68X
| URI | m2://inv/M79RNXN68X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre polynomials#GTLQ, Multiplication theorems (statement)
History
- 2026-11-02: add by m2/dev
M79T56DKPT M79T56DKPT
| URI | m2://inv/M79T56DKPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39465#JFOZ (statement). In 17F6FDEA3W/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
David Friesenhausen M79WTH694Z
| URI | m2://inv/M79WTH694Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Friesenhausen, David Friesenhausen (topic). Also Wikidata Q96680
History
- 2026-11-02: add by m2/dev
class M79XFMP3KR
| URI | m2://inv/M79XFMP3KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#H25B, class (definition)
History
- 2026-11-02: add by m2/dev
M7A5BN5P8W M7A5BN5P8W
| URI | m2://inv/M7A5BN5P8W |
|---|---|
| Kind | example |
| 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.29723#VFVT (example)
History
- 2026-11-01: add by m2/v0.6.15
Density M7A78J898A
| URI | m2://inv/M7A78J898A |
|---|---|
| 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.00039#VFSW, Density (statement). In 2YQ3WX6VSW/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
planar M7ACC6ZJY4
| URI | m2://inv/M7ACC6ZJY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#XG94, planar (definition)
History
- 2026-11-02: add by m2/dev
Ipsos-Reid M7ACFPZP31
| URI | m2://inv/M7ACFPZP31 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#41NT, Ipsos-Reid (unknown)
History
- 2026-11-02: add by m2/dev
gauge group M7AGTB5HZJ
| URI | m2://inv/M7AGTB5HZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gauge group 707DEWCCFX |
Mentions
- wikidata: Wikidata Q11301672, gauge group (unknown). Also nLab gauge group
- wikipedia: Wikipedia Gauge group (mathematics), Gauge group (definition). Also Wikidata Q11301672
History
- 2026-10-26: add by m2/dev
Cartan involution M7ASA99EQQ
| URI | m2://inv/M7ASA99EQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#2BSG, Cartan involution (definition)
History
- 2026-11-02: add by m2/dev
M7AVK9SJRV M7AVK9SJRV
| URI | m2://inv/M7AVK9SJRV |
|---|---|
| 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 2401.00191#EY2F (statement). In ZMH2KJDAWJ/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
M7AVP7DP0X M7AVP7DP0X
| URI | m2://inv/M7AVP7DP0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#03DJ (statement). In DPJ15KW23C/e1, proposition A.3
History
- 2026-10-30: add by m2/v0.4.12
binary M7AY858AN4
| URI | m2://inv/M7AY858AN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#2YXH, binary (definition)
History
- 2026-11-02: add by m2/dev
M7AYDMRHWN M7AYDMRHWN
| URI | m2://inv/M7AYDMRHWN |
|---|---|
| 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.37106#KKBT (statement). In XNK04XFP2C/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
Lambert of Auxerre M7AYYKCZ79
| URI | m2://inv/M7AYYKCZ79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert of Auxerre, Lambert of Auxerre (definition). Also Wikidata Q610309
History
- 2026-11-02: add by m2/dev
M7B37Y8ADQ M7B37Y8ADQ
| URI | m2://inv/M7B37Y8ADQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#LP1D (statement). In RAVR2W9S0B/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
Dennis K.J. Lin M7B9NK4621
| URI | m2://inv/M7B9NK4621 |
|---|---|
| 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#YJ89, Dennis K.J. Lin (topic)
History
- 2026-11-02: add by m2/dev
cycle graph C5 M7BF5CT6PD
| URI | m2://inv/M7BF5CT6PD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126914656, cycle graph C5 (unknown). Also House of Graphs 340
History
- 2026-10-26: add by m2/dev
Quantitative terminal approximation M7BJRDB2R1
| URI | m2://inv/M7BJRDB2R1 |
|---|---|
| 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.00241#YF2A, Quantitative terminal approximation (statement). In VBRQTN2RXN/e1, corollary 5.6
History
- 2026-10-30: add by m2/v0.4.12
Treviso Arithmetic M7BZBHAHN4
| URI | m2://inv/M7BZBHAHN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7839003, Treviso Arithmetic (unknown). Also ProofWiki Book:Anonymous/Treviso_Arithmetic
- wikipedia: Wikipedia Treviso Arithmetic, Treviso Arithmetic (definition). Also Wikidata Q7839003
History
- 2026-10-26: add by m2/dev
Repeated measures design M7C3KGWGS2
| URI | m2://inv/M7C3KGWGS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EK29, Repeated measures design (definition)
History
- 2026-11-02: add by m2/dev
M7CEXG47K9 M7CEXG47K9
| URI | m2://inv/M7CEXG47K9 |
|---|---|
| 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.20916#PGB4 (statement). In HV598NZW9X/e1, proposition 1.8
History
- 2026-10-27: add by m2/v0.4.2
M7CT4MYZ14 M7CT4MYZ14
| URI | m2://inv/M7CT4MYZ14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/expressing-relations.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 12.9
History
- 2026-11-01: add by m2/v0.6.13
M7CVRGK3VV M7CVRGK3VV
| URI | m2://inv/M7CVRGK3VV |
|---|---|
| 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 1806.00752#PHSC (definition). In GGW2N4JHXM/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.5
Indecomposability M7CYTM566N
| URI | m2://inv/M7CYTM566N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indecomposability (intuitionistic logic), Indecomposability (definition). Also Wikidata Q3552056
History
- 2026-11-02: add by m2/dev
Thorp, Willard M7D7C3W4YT
| URI | m2://inv/M7D7C3W4YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ERCC, Thorp, Willard (unknown)
History
- 2026-11-02: add by m2/dev
Cohen ring M7D8EM2JWF
| URI | m2://inv/M7D8EM2JWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen ring, Cohen ring (definition). Also Wikidata Q5141329
History
- 2026-11-02: add by m2/dev
M7D8VYYA0J M7D8VYYA0J
| URI | m2://inv/M7D8VYYA0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#V0YP (statement). In ZJQB9W60T6/e1, lemma 5.18
History
- 2026-10-28: add by m2/v0.4.2
Injective gapless boundary M7DBR3F51J
| URI | m2://inv/M7DBR3F51J |
|---|---|
| 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.08787#JXH9, Injective gapless boundary (definition). In CCQ5XXWYDZ/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.10
Disappearance under enlargement of the first part M7DD23CSTW
| URI | m2://inv/M7DD23CSTW |
|---|---|
| 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#MWVW, Disappearance under enlargement of the first part (problem). In Y1DR0DPWD0/e1, problem 8.3
History
- 2026-10-29: add by m2/v0.4.12
Stellar dynamics M7DDTQPED8
| URI | m2://inv/M7DDTQPED8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellar dynamics, Stellar dynamics (topic). Also Wikidata Q6333
History
- 2026-11-02: add by m2/dev
M7DG4HFZ1E M7DG4HFZ1E
| URI | m2://inv/M7DG4HFZ1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#TVOZ (statement). In Q5Z178SAHP/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
M7DGVFYAR8 M7DGVFYAR8
| URI | m2://inv/M7DGVFYAR8 |
|---|---|
| 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.24314#X3KP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition M7DNVMF8N5
| URI | m2://inv/M7DNVMF8N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract differential equation#A21J, Definition (definition)
History
- 2026-11-02: add by m2/dev
M7DSMXHYET M7DSMXHYET
| URI | m2://inv/M7DSMXHYET |
|---|---|
| Kind | statement |
| 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#S6AK (statement). In ATSYBWEMMP/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
secant M7E57RBG4V
| URI | m2://inv/M7E57RBG4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#V4QF, secant (unknown)
History
- 2026-11-02: add by m2/dev
Harold Gulliksen M7E6D27SJ6
| URI | m2://inv/M7E6D27SJ6 |
|---|---|
| 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#1PCF, Harold Gulliksen (unknown)
History
- 2026-11-02: add by m2/dev
M7E7KDM064 M7E7KDM064
| URI | m2://inv/M7E7KDM064 |
|---|---|
| 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 2609.28141#WI89 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Schanuel's conjecture M7EC859Q8T
| URI | m2://inv/M7EC859Q8T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#9AW5, Schanuel's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
M7ERWTF704 M7ERWTF704
| URI | m2://inv/M7ERWTF704 |
|---|---|
| Kind | definition |
| 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 2606.18859#34PE (definition). In EVRAASXEDY/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
M7ET25K1ED M7ET25K1ED
| URI | m2://inv/M7ET25K1ED |
|---|---|
| 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.01276#ONFR (statement). In 7JJPPMS2DN/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
Bending moment M7EW00JA41
| URI | m2://inv/M7EW00JA41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bending moment, Bending moment (definition). Also Wikidata Q857244
History
- 2026-11-02: add by m2/dev
M7EX5CFY05 M7EX5CFY05
| URI | m2://inv/M7EX5CFY05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30363#G13U (statement). In QHBBP180QJ/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
M7EYN8YT1A M7EYN8YT1A
| URI | m2://inv/M7EYN8YT1A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 32.8
History
- 2026-11-01: add by m2/v0.6.13
Pointwise channel M7EZV9FGYA
| URI | m2://inv/M7EZV9FGYA |
|---|---|
| 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 2609.25987#IQ9P, Pointwise channel (definition)
History
- 2026-11-01: add by m2/v0.6.15
Branko Grünbaum M7F1CJPYGV
| URI | m2://inv/M7F1CJPYGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6PF2, Branko Grünbaum (topic)
History
- 2026-11-02: add by m2/dev
String girdling Earth M7F36BS6TA
| URI | m2://inv/M7F36BS6TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String girdling Earth, String girdling Earth (definition). Also Wikidata Q7623975
History
- 2026-11-02: add by m2/dev
M7FK6EFN66 M7FK6EFN66
| URI | m2://inv/M7FK6EFN66 |
|---|---|
| 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.22769#OTQI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implicit association M7FKXXMNK2
| URI | m2://inv/M7FKXXMNK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#J8CT, Implicit association (unknown)
History
- 2026-11-02: add by m2/dev
Every level coarser than $\delta$ is blind M7FMK8714R
| URI | m2://inv/M7FMK8714R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35418#WNSR, Every level coarser than $\delta$ is blind (statement). In JHD3TW67QT/e1, lemma 25
History
- 2026-10-30: add by m2/v0.4.12
NinKi: Urgency of Proximate Drawing Photograph M7FQC7TFZS
| URI | m2://inv/M7FQC7TFZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NinKi: Urgency of Proximate Drawing Photograph, NinKi: Urgency of Proximate Drawing Photograph (definition). Also Wikidata Q25043709
History
- 2026-11-02: add by m2/dev
M7FR2FD4VJ M7FR2FD4VJ
| URI | m2://inv/M7FR2FD4VJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#2Z2D (example). In X88HPQ0W8C/e1, example 2.31
History
- 2026-10-27: add by m2/v0.3.5
M7FT1XNH9B M7FT1XNH9B
| URI | m2://inv/M7FT1XNH9B |
|---|---|
| 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.28649#UJUG (statement)
History
- 2026-11-01: add by m2/v0.6.15
M7FZVP1ZWC M7FZVP1ZWC
| URI | m2://inv/M7FZVP1ZWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#2LNX (statement). In ZG0GNHTCWB/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Basic properties M7G06CG3JE
| URI | m2://inv/M7G06CG3JE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping cylinder#K10R, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
great dodecacronic hexecontahedron M7G4BVC7EZ
| URI | m2://inv/M7G4BVC7EZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600348, great dodecacronic hexecontahedron (unknown). Also MathWorld GreatDodecacronicHexecontahedron
- wikipedia: Wikipedia Great dodecacronic hexecontahedron, Great dodecacronic hexecontahedron (object). Also Wikidata Q5600348
History
- 2026-10-26: add by m2/dev
Power-nine formula M7G56E8NDH
| URI | m2://inv/M7G56E8NDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbulb#3DGX, Power-nine formula (statement)
History
- 2026-11-02: add by m2/dev
TetraVex M7G8BYFHF6
| URI | m2://inv/M7G8BYFHF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge-matching puzzle#QY6S, TetraVex (unknown)
History
- 2026-11-02: add by m2/dev
Outline of trigonometry M7G9TJM0T1
| URI | m2://inv/M7G9TJM0T1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of trigonometry, Outline of trigonometry (topic). Also Wikidata Q7112803
History
- 2026-11-02: add by m2/dev
Statement of the inequality M7GCGY2FR0
| URI | m2://inv/M7GCGY2FR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korn's inequality#RAWO, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
direct predecessor M7GKD4S9QK
| URI | m2://inv/M7GKD4S9QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#HCQV, direct predecessor (definition)
History
- 2026-11-02: add by m2/dev
M7H04GV8MD M7H04GV8MD
| URI | m2://inv/M7H04GV8MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#8Z0V (statement). In SVJYA0171G/e1, theorem 6.8
History
- 2026-10-30: add by m2/v0.4.12
Cheah--de Saint Germain lemma M7H9EPY62B
| URI | m2://inv/M7H9EPY62B |
|---|---|
| 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.31537#XTRK, Cheah--de Saint Germain lemma (statement). In MNYPK3W135/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Fitch notation M7HAEAW9B5
| URI | m2://inv/M7HAEAW9B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitch notation, Fitch notation (definition). Also Wikidata Q1142450
History
- 2026-11-02: add by m2/dev
↾ M7HAZ90F9T
| URI | m2://inv/M7HAZ90F9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#N4TG, ↾ (definition)
History
- 2026-11-02: add by m2/dev
M7HG88KHJ8 M7HG88KHJ8
| URI | m2://inv/M7HG88KHJ8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
M7HHQX6AB4 M7HHQX6AB4
| URI | m2://inv/M7HHQX6AB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#ZSPX (statement). In 8SVVEVGMNE/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
M7HK5YPBT5 M7HK5YPBT5
| URI | m2://inv/M7HK5YPBT5 |
|---|---|
| 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.01737#NISY (statement). In M4JGP708F4/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
M7J2PM4TKZ M7J2PM4TKZ
| URI | m2://inv/M7J2PM4TKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#GLD7 (statement). In 29D4TTE3J2/e1, theorem 10.1
History
- 2026-10-27: add by m2/v0.4.2
M7J8XBSTJB M7J8XBSTJB
| URI | m2://inv/M7J8XBSTJB |
|---|---|
| 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.21098#WSV6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wire-frame model M7JBPX06TV
| URI | m2://inv/M7JBPX06TV |
|---|---|
| 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#UNTM, Wire-frame model (unknown)
History
- 2026-11-02: add by m2/dev
M7JGX4NHV9 M7JGX4NHV9
| URI | m2://inv/M7JGX4NHV9 |
|---|---|
| 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 2410.02139#JCUT (statement). In TJ1NTK3KJW/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
M7JJR0KAJJ M7JJR0KAJJ
| URI | m2://inv/M7JJR0KAJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33926#C52T (definition). In 1XF3T5HXNV/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
M7JN7J5VN6 M7JN7J5VN6
| URI | m2://inv/M7JN7J5VN6 |
|---|---|
| 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.32077#KI7H (statement). In WYXQDSQR9B/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
substructural logic M7K4KJ8GDJ
| URI | m2://inv/M7K4KJ8GDJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03B47 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q839490, substructural logic (topic)
- wikipedia: Wikipedia Substructural logic, Substructural logic (topic). Also Wikidata Q839490
History
- 2026-10-26: add by m2/dev
Credal set M7K501PZJJ
| URI | m2://inv/M7K501PZJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Credal set, Credal set (definition). Also Wikidata Q5183679
History
- 2026-11-02: add by m2/dev
M7KA1QC905 M7KA1QC905
| URI | m2://inv/M7KA1QC905 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#ITDP (statement). In 6XP6PD2XZA/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Statement M7KANR3929
| URI | m2://inv/M7KANR3929 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solovay–Kitaev theorem#W45T, Statement (statement)
History
- 2026-11-02: add by m2/dev
Green, Peter M7KAX5DWWG
| URI | m2://inv/M7KAX5DWWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#58IM, Green, Peter (unknown)
History
- 2026-11-02: add by m2/dev
M7KAZ9FJ15 M7KAZ9FJ15
| URI | m2://inv/M7KAZ9FJ15 |
|---|---|
| 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.17608#EV7U (statement). In VAGWC38NSF/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
M7KG30F42D M7KG30F42D
| URI | m2://inv/M7KG30F42D |
|---|---|
| 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 2205.15365#UBUR (statement). In R2XC1SC9NZ/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
M7KKKQQSHD M7KKKQQSHD
| URI | m2://inv/M7KKKQQSHD |
|---|---|
| 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.31527#JV8T (statement). In ZQ2YZ4P6P5/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
measure M7KN2CK8DV
| URI | m2://inv/M7KN2CK8DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#7VCX, measure (definition)
History
- 2026-11-02: add by m2/dev
Trading candles M7KQ3RWATW
| URI | m2://inv/M7KQ3RWATW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Candlestick chart#OGTW, Trading candles (unknown)
History
- 2026-11-02: add by m2/dev
q-theta function M7KQVKMCXR
| URI | m2://inv/M7KQVKMCXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#AAT1, q-theta function (definition)
History
- 2026-11-02: add by m2/dev
M7KRYNT331 M7KRYNT331
| URI | m2://inv/M7KRYNT331 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2610.04870#66YE (statement). In X765ZXXVC3/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.12
M7KTSKC5FE M7KTSKC5FE
| URI | m2://inv/M7KTSKC5FE |
|---|---|
| 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.05696#5LKF (statement). In MG81A9XJTQ/e1, lemma VI.4
History
- 2026-10-29: add by m2/v0.4.10
M7KZA5WXV4 M7KZA5WXV4
| URI | m2://inv/M7KZA5WXV4 |
|---|---|
| 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.18101#2EU0 (statement). In XXN6KKXPYF/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Carl Friedrich Gauss M7M3JPQC0E
| URI | m2://inv/M7M3JPQC0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#X0NS, Carl Friedrich Gauss (topic)
- wikipedia: Wikipedia List of German mathematicians#9FEB, Carl Friedrich Gauss (topic)
History
- 2026-11-02: add by m2/dev
Opial property M7M45HS8M4
| URI | m2://inv/M7M45HS8M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opial property, Opial property (definition). Also Wikidata Q7098122
History
- 2026-11-02: add by m2/dev
Example 1 M7M51XSG7J
| URI | m2://inv/M7M51XSG7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor (intrinsic definition)#UKP1, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Assumed co premise M7MB7RRT35
| URI | m2://inv/M7MB7RRT35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Objection (argument)#Q1R4, Assumed co premise (unknown)
History
- 2026-11-02: add by m2/dev
Key lemma M7MK0GCYAT
| URI | m2://inv/M7MK0GCYAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.15869#1BLN, Key lemma (statement). In 5VRP29WZEK/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
A sharper loss in degree eleven M7MPNZ5CZJ
| URI | m2://inv/M7MPNZ5CZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#6P5D, A sharper loss in degree eleven (statement). In 8BNPFYQDQX/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.10
Joanne Elliott M7MQKZG55T
| URI | m2://inv/M7MQKZG55T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joanne Elliott, Joanne Elliott (topic). Also Wikidata Q67202249
History
- 2026-11-02: add by m2/dev
Computing the permanent M7NAMTYBGF
| URI | m2://inv/M7NAMTYBGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computing the permanent, Computing the permanent (definition). Also Wikidata Q5157642
History
- 2026-11-02: add by m2/dev
M7NECAJXWT M7NECAJXWT
| URI | m2://inv/M7NECAJXWT |
|---|---|
| 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 2507.05923#U6CP (statement). In ZFKZ6YDT62/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
Grigory Feldman M7NGXW8A5T
| URI | m2://inv/M7NGXW8A5T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigory Feldman, Grigory Feldman (topic). Also Wikidata Q43293030
History
- 2026-11-02: add by m2/dev
M7NJ0CC6K2 M7NJ0CC6K2
| URI | m2://inv/M7NJ0CC6K2 |
|---|---|
| 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 2406.07116#A6FQ (statement). In 5B030CB2RK/e1, lemma 12.1
History
- 2026-10-27: add by m2/v0.3.6
Consistency M7NKBKR7AX
| URI | m2://inv/M7NKBKR7AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#defn-3, Consistency (definition). In PKGMM3P5QY, defn, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
equality, propositional M7NMFN6X69
| URI | m2://inv/M7NMFN6X69 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/equality-propositional, equality, propositional (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Julio Cesar Firrufino M7NP0EJ5YT
| URI | m2://inv/M7NP0EJ5YT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julio Cesar Firrufino, Julio Cesar Firrufino (topic). Also Wikidata Q21402687
History
- 2026-11-02: add by m2/dev
centered heptagonal number M7NVHZ5X8H
| URI | m2://inv/M7NVHZ5X8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q940343, centered heptagonal number (object). Also OEIS A069099
- wikipedia: Wikipedia Centered heptagonal number, Centered heptagonal number (definition). Also Wikidata Q940343
History
- 2026-10-26: add by m2/dev
Base stock model M7P65DQBGB
| URI | m2://inv/M7P65DQBGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base stock model, Base stock model (definition). Also Wikidata Q24965314
History
- 2026-11-02: add by m2/dev
Preimage attack M7P6BSANCD
| URI | m2://inv/M7P6BSANCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preimage attack, Preimage attack (definition). Also Wikidata Q1187426
History
- 2026-11-02: add by m2/dev
M7PA152Z0F M7PA152Z0F
| URI | m2://inv/M7PA152Z0F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/interpolation-proof.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.10
History
- 2026-11-01: add by m2/v0.6.13
Definition M7PH28W1M3
| URI | m2://inv/M7PH28W1M3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-finite measure#HMAW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gradient network M7PYPF8X3P
| URI | m2://inv/M7PYPF8X3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient network, Gradient network (definition). Also Wikidata Q5591914
History
- 2026-11-02: add by m2/dev
M7Q0SBP5N6 M7Q0SBP5N6
| URI | m2://inv/M7Q0SBP5N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.10600#1YHQ (statement). In V7WT21EDPM/e1, lemma 8.4
History
- 2026-10-29: add by m2/v0.4.10
M7QEVA2B7N M7QEVA2B7N
| URI | m2://inv/M7QEVA2B7N |
|---|---|
| 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.19437#KICG (statement). In 9PXXGQ978Z/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Novikov's condition M7QHHVNXAP
| URI | m2://inv/M7QHHVNXAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JBHX, Novikov's condition (definition)
History
- 2026-11-02: add by m2/dev
M7QKTEGE0W M7QKTEGE0W
| URI | m2://inv/M7QKTEGE0W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-6 (proof). In E59CDZA4DP, proof, section 11.1.4
History
- 2026-11-01: add by m2/v0.6.13
Examples M7QMP4KBBM
| URI | m2://inv/M7QMP4KBBM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit in the last place#TVLU, Examples (example)
History
- 2026-11-02: add by m2/dev
M7QP45AWFG M7QP45AWFG
| URI | m2://inv/M7QP45AWFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.19469#PVO7 (statement). In QK9FT9AKHN/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
M7QXHE4XWN M7QXHE4XWN
| URI | m2://inv/M7QXHE4XWN |
|---|---|
| Kind | problem |
| 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.39169#Q6FY (problem). In ANHWXYPQFX/e1, problem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Ludic fallacy M7R34D198C
| URI | m2://inv/M7R34D198C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludic fallacy, Ludic fallacy (definition). Also Wikidata Q2900742
History
- 2026-11-02: add by m2/dev
pancake sorting M7R6Y51WKJ
| URI | m2://inv/M7R6Y51WKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2736589, pancake sorting (unknown). Also MathWorld PancakeSorting
- wikipedia: Wikipedia Pancake sorting, Pancake sorting (definition). Also Wikidata Q2736589
History
- 2026-10-26: add by m2/dev
M7R92NJCAR M7R92NJCAR
| URI | m2://inv/M7R92NJCAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07963#OJB5 (statement). In HAGJKEZ1CK/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
M7RBMVNRCN M7RBMVNRCN
| URI | m2://inv/M7RBMVNRCN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#I0VX (example). In W0ZHX9DHPV/e1, example 13
History
- 2026-10-29: add by m2/v0.4.10
Method M7REHE0BYR
| URI | m2://inv/M7REHE0BYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vortex lattice method#1ROA, Method (definition)
History
- 2026-11-02: add by m2/dev
Gustave Choquet M7RGSJAEPV
| URI | m2://inv/M7RGSJAEPV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q476198, Gustave Choquet (unknown). Also ProofWiki Mathematician:Gustave_Alfred_Arthur_Choquet
- wikipedia: Wikipedia Gustave Choquet, Gustave Choquet (topic). Also Wikidata Q476198
History
- 2026-10-26: add by m2/dev
M7RGTPKB0J M7RGTPKB0J
| URI | m2://inv/M7RGTPKB0J |
|---|---|
| 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 2609.37112#L89R (statement). In 5B10HAY4C3/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Helmut Hasse M7RQ01TRR9
| URI | m2://inv/M7RQ01TRR9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#PDFF, Helmut Hasse (topic)
History
- 2026-11-02: add by m2/dev
summation M7S59H6XYF
| URI | m2://inv/M7S59H6XYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#A7WA, summation (definition)
History
- 2026-11-02: add by m2/dev
Box topology M7S7TS5TJZ
| URI | m2://inv/M7S7TS5TJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#9HLF, Box topology (definition)
History
- 2026-11-02: add by m2/dev
Definitions M7S9JMJHCD
| URI | m2://inv/M7S9JMJHCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subobject#ZVS9, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Exact rank loss and polynomial relations M7SGA3Q8D5
| URI | m2://inv/M7SGA3Q8D5 |
|---|---|
| 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.22027#G8RI, Exact rank loss and polynomial relations (statement)
History
- 2026-11-02: add by m2/v0.6.17
M7SGKG8MZK M7SGKG8MZK
| URI | m2://inv/M7SGKG8MZK |
|---|---|
| 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.09506#7EDL (statement). In AQC7E6RAT4/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Honda M7SMR1E966
| URI | m2://inv/M7SMR1E966 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#5UFY, Honda (statement)
History
- 2026-11-02: add by m2/v0.6.17
Planar asymptotics M7SP7SGPSP
| URI | m2://inv/M7SP7SGPSP |
|---|---|
| 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.14086#NRZ4, Planar asymptotics (statement). In J6EZ2RQW2F/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Maximum modulus principle M7SST6GAAA
| URI | m2://inv/M7SST6GAAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#WXWR, Maximum modulus principle (statement)
History
- 2026-11-02: add by m2/dev
M7SWHCWP2Z M7SWHCWP2Z
| URI | m2://inv/M7SWHCWP2Z |
|---|---|
| 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.40138#40Z5 (statement). In R60HR493TS/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
M7T53WHDCC M7T53WHDCC
| URI | m2://inv/M7T53WHDCC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Sequential certification M7T8SC6BKP
| URI | m2://inv/M7T8SC6BKP |
|---|---|
| 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.21139#U18X, Sequential certification (statement). In E3NM0QN6KK/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
Double robustness M7TC7380QZ
| URI | m2://inv/M7TC7380QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11388#AZP0, Double robustness (statement). In PC1SZ68BPZ/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Little q-Laguerre polynomials M7TEC0B5XZ
| URI | m2://inv/M7TEC0B5XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Little q-Laguerre polynomials, Little q-Laguerre polynomials (definition). Also Wikidata Q16249469
History
- 2026-11-02: add by m2/dev
M7TGVF6EAQ M7TGVF6EAQ
| URI | m2://inv/M7TGVF6EAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 math/0406514#DJPO (statement). In CY1FE8W1ZW/e1, lemma 0.200
History
- 2026-10-27: add by m2/v0.4.0
Donald Wunsch M7TMG11S34
| URI | m2://inv/M7TMG11S34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MXPR, Donald Wunsch (unknown)
History
- 2026-11-02: add by m2/dev
Definition M7TMRWAD89
| URI | m2://inv/M7TMRWAD89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Vaucouleurs's law#QVG8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dwyer–Kan equivalence M7TRQZG1HG
| URI | m2://inv/M7TRQZG1HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#BVJU, Dwyer–Kan equivalence (definition)
History
- 2026-11-02: add by m2/dev
Cubic reciprocity M7TTGXDXSS
| URI | m2://inv/M7TTGXDXSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cubic reciprocity EMVECB93EQ |
Mentions
- wikidata: Wikidata Q2443110, Cubic reciprocity (statement). Also MathWorld CubicReciprocityTheorem
- wikipedia: Wikipedia Cubic reciprocity, Cubic reciprocity (definition). Also Wikidata Q2443110
History
- 2026-10-26: add by m2/dev
Semantic Subtyping for Contexts M7TWS70DDY
| URI | m2://inv/M7TWS70DDY |
|---|---|
| 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.21131#B2O7, Semantic Subtyping for Contexts (definition). In CPYWHRTPKC/e1, definition 6.20
History
- 2026-10-27: add by m2/v0.4.2
Power laws with : quadrupole M7TZ5TQDMK
| URI | m2://inv/M7TZ5TQDMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential flow#5I51, Power laws with : quadrupole (statement)
History
- 2026-11-02: add by m2/dev
Arnold Dresden M7V5PZM7MF
| URI | m2://inv/M7V5PZM7MF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Dresden, Arnold Dresden (topic). Also Wikidata Q4795019
History
- 2026-11-02: add by m2/dev
Scalar splitting M7V5ZS1Z3N
| URI | m2://inv/M7V5ZS1Z3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26873#KIGZ, Scalar splitting (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Littlewood–Richardson rule and Pieri's formula M7V7D9YQV4
| URI | m2://inv/M7V7D9YQV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur polynomial#DB95, The Littlewood–Richardson rule and Pieri's formula (statement)
History
- 2026-11-02: add by m2/dev
M7VS7DYWDJ M7VS7DYWDJ
| URI | m2://inv/M7VS7DYWDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#28WY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Christos Papadimitriou M7VVK7W7YK
| URI | m2://inv/M7VVK7W7YK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KI4J, Christos Papadimitriou (unknown)
History
- 2026-11-02: add by m2/dev
Eguchi–Hanson space M7VWQ5CDMV
| URI | m2://inv/M7VWQ5CDMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eguchi–Hanson space, Eguchi–Hanson space (definition). Also Wikidata Q5348275
History
- 2026-11-02: add by m2/dev
Examples M7W1H5F1VR
| URI | m2://inv/M7W1H5F1VR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amortized analysis#FLC5, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition M7W6W3GZES
| URI | m2://inv/M7W6W3GZES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff gap#IHOE, Definition (definition)
History
- 2026-11-02: add by m2/dev
M7WDCGX8KR M7WDCGX8KR
| URI | m2://inv/M7WDCGX8KR |
|---|---|
| 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.21098#LIBF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Analytic combinatorics M7WGX7ACAH
| URI | m2://inv/M7WGX7ACAH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic combinatorics, Analytic combinatorics (topic). Also Wikidata Q2985062
History
- 2026-11-02: add by m2/dev
Definition M7WMR3RV6Q
| URI | m2://inv/M7WMR3RV6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proximity space#CM62, Definition (definition)
History
- 2026-11-02: add by m2/dev
C-stationarity M7WR8X6GDW
| URI | m2://inv/M7WR8X6GDW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00033#JDRG, C-stationarity (definition). In SHMMW4JXZ1/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Lattice problem M7WT4GMCXN
| URI | m2://inv/M7WT4GMCXN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice problem, Lattice problem (problem). Also Wikidata Q6497128
History
- 2026-11-02: add by m2/dev
List of abstract algebra topics M7X27BJPY2
| URI | m2://inv/M7X27BJPY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics, List of abstract algebra topics (topic). Also Wikidata Q6604731
History
- 2026-11-02: add by m2/dev
coordinate origin M7X4N1VGV7
| URI | m2://inv/M7X4N1VGV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q40735, coordinate origin (unknown). Also MathWorld Origin
- wikipedia: Wikipedia Origin (mathematics), Origin (definition). Also Wikidata Q40735
History
- 2026-10-26: add by m2/dev
M7XB6J9EFE M7XB6J9EFE
| URI | m2://inv/M7XB6J9EFE |
|---|---|
| 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 2602.02346#DXV6 (statement). In 1JSNWJH3BX/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Public key infrastructure M7XCQVRY2C
| URI | m2://inv/M7XCQVRY2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Public key infrastructure, Public key infrastructure (definition). Also Wikidata Q658476
History
- 2026-11-02: add by m2/dev
Quantum computation of the static Schr\"odinger bridge M7XRM3EDPV
| URI | m2://inv/M7XRM3EDPV |
|---|---|
| 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 2609.27103#AVRC, Quantum computation of the static Schr\"odinger bridge (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition M7XWK0J5NX
| URI | m2://inv/M7XWK0J5NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cut locus#2JMO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
M7XZ9CRW7X M7XZ9CRW7X
| URI | m2://inv/M7XZ9CRW7X |
|---|---|
| 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#X3SZ (definition). In 6KR7Z5ETRY/e1, definition 2.46
History
- 2026-10-27: add by m2/v0.3.5
Erdős squarefree conjecture M7Y2K26N23
| URI | m2://inv/M7Y2K26N23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#ZFCE, Erdős squarefree conjecture (definition)
History
- 2026-11-02: add by m2/dev
M7YACBPYS8 M7YACBPYS8
| URI | m2://inv/M7YACBPYS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38194#Q3VB (statement). In M9BZSET9ZV/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
Examples M7YX2AS6DN
| URI | m2://inv/M7YX2AS6DN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase line (mathematics)#KLSW, Examples (example)
History
- 2026-11-02: add by m2/dev
Intersection classes M7Z1X3T82H
| URI | m2://inv/M7Z1X3T82H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#EWK2, Intersection classes (definition). In KR7WXN4EWR/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Definitions M7Z67K35SC
| URI | m2://inv/M7Z67K35SC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversion (discrete mathematics)#5JFO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Gohberg M7ZCRV9J0N
| URI | m2://inv/M7ZCRV9J0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.40028#R0E5, Gohberg (statement). In N8TDKGGC7S/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
M7ZDRKE2KV M7ZDRKE2KV
| URI | m2://inv/M7ZDRKE2KV |
|---|---|
| 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.28993#NFPF (statement)
History
- 2026-11-01: add by m2/v0.6.15
mathematics, predicative M7ZEYTP70R
| URI | m2://inv/M7ZEYTP70R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/mathematics-predicative, mathematics, predicative (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
M7ZKVXNV8M M7ZKVXNV8M
| URI | m2://inv/M7ZKVXNV8M |
|---|---|
| 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.40054#LI2E (statement). In CA4C9PFM1E/e1, lemma 2.2.8
History
- 2026-10-30: add by m2/v0.4.12
Unique Readability M7ZV35ZWK9
| URI | m2://inv/M7ZV35ZWK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#prop:unq, Unique Readability (statement). In PKGMM3P5QY, prop, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
M7ZY0TC14R M7ZY0TC14R
| URI | m2://inv/M7ZY0TC14R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exact:exactR2example (example). In E9HS8K3A52, example, section 4.8.1
History
- 2026-11-01: add by m2/v0.6.13