Inventory rows 83
The cards of the rows of the inventory whose ids start with 83. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Order-5 square tiling 8302SPTXM7
| URI | m2://inv/8302SPTXM7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 square tiling, Order-5 square tiling (object). Also Wikidata Q7100407
History
- 2026-11-02: add by m2/dev
Complex chain rule 8306WZK115
| URI | m2://inv/8306WZK115 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-4, Complex chain rule (statement). In VNMV985MXX, prop, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Examples 8307XTFXCY
| URI | m2://inv/8307XTFXCY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand representation#FNLO, Examples (example)
History
- 2026-11-02: add by m2/dev
83088J5BYH 83088J5BYH
| URI | m2://inv/83088J5BYH |
|---|---|
| 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.13852#EMNJ (statement). In SXTGSAH3WF/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
830DHVE91V 830DHVE91V
| URI | m2://inv/830DHVE91V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#C45H (statement). In CRFDGFZHBF/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.3
Trapezo-rhombic dodecahedron 830VKSQPM4
| URI | m2://inv/830VKSQPM4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezo-rhombic dodecahedron, Trapezo-rhombic dodecahedron (object). Also Wikidata Q3893539
History
- 2026-11-02: add by m2/dev
Prime form 830X85T3BD
| URI | m2://inv/830X85T3BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime form, Prime form (definition). Also Wikidata Q7243370
History
- 2026-11-02: add by m2/dev
Elisha Netanyahu 8310S1PE8C
| URI | m2://inv/8310S1PE8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#52M7, Elisha Netanyahu (topic)
History
- 2026-11-02: add by m2/dev
8313NDCNCB 8313NDCNCB
| URI | m2://inv/8313NDCNCB |
|---|---|
| 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 2011.14561#9C0H (statement). In V2XJJJX1Z8/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.5
831AY1E38M 831AY1E38M
| URI | m2://inv/831AY1E38M |
|---|---|
| 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.12740#LIG6 (statement). In HKYRZSZPEC/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
\bf \texorpdfstring{A $(3,3,\{X_i\}_{i\in[3]},\{f_i\}_{i\in[3]})$} Boolean computation broadcast model 831F2GA753
| URI | m2://inv/831F2GA753 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#08L3, \bf \texorpdfstring{A $(3,3,\{X_i\}_{i\in[3]},\{f_i\}_{i\in[3]})$} Boolean computation broadcast model (example). In N7XJ16700B/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
Construction 831XKHWSSH
| URI | m2://inv/831XKHWSSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biaugmented pentagonal prism#3QI0, Construction (definition)
History
- 2026-11-02: add by m2/dev
831YEKD9RA 831YEKD9RA
| URI | m2://inv/831YEKD9RA |
|---|---|
| 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.33383#Y9TS (statement). In 8AHWRHTP5G/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Juliusz Schauder 83209H67P6
| URI | m2://inv/83209H67P6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CHJN, Juliusz Schauder (topic)
History
- 2026-11-02: add by m2/dev
83279AS2CS 83279AS2CS
| URI | m2://inv/83279AS2CS |
|---|---|
| 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.15352#MD36 (statement). In R39P7AFXM8/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Example 8327C46C62
| URI | m2://inv/8327C46C62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian model reduction#D0S0, Example (example)
History
- 2026-11-02: add by m2/dev
rule, rewriting 832AANM4QT
| URI | m2://inv/832AANM4QT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/rule-rewriting, rule, rewriting (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
John R. Stallings 832DPEZEFP
| URI | m2://inv/832DPEZEFP |
|---|---|
| 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 Q1701799, John R. Stallings (unknown). Also nLab John Stallings
- wikipedia: Wikipedia John R. Stallings, John R. Stallings (topic). Also Wikidata Q1701799
History
- 2026-10-26: add by m2/dev
Stratified Morse theory 832E6A0QN3
| URI | m2://inv/832E6A0QN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ORTB, Stratified Morse theory (definition)
History
- 2026-11-02: add by m2/dev
Continuous case: Bertrand's paradox 832JRHF1A2
| URI | m2://inv/832JRHF1A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of transformation groups#3JTB, Continuous case: Bertrand's paradox (statement)
History
- 2026-11-02: add by m2/dev
Example 832KWCD34C
| URI | m2://inv/832KWCD34C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmonds–Karp algorithm#Z8S2, Example (example)
History
- 2026-11-02: add by m2/dev
Terminology 832PTB2K5J
| URI | m2://inv/832PTB2K5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I2P#MZ2R, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Problem solving 832PVNJ51V
| URI | m2://inv/832PVNJ51V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem solving, Problem solving (problem). Also Wikidata Q730920
History
- 2026-11-02: add by m2/dev
832YATJ3Q6 832YATJ3Q6
| URI | m2://inv/832YATJ3Q6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2604.07243#H826 (statement). In 9RH8C8RYW3/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Applications 8333SBQR1X
| URI | m2://inv/8333SBQR1X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oka–Weil theorem#59TI, Applications (example)
History
- 2026-11-02: add by m2/dev
833CKGPQGZ 833CKGPQGZ
| URI | m2://inv/833CKGPQGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.18564#ZYW6 (statement). In MC8ZBZ14PM/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
833TKE27HA 833TKE27HA
| URI | m2://inv/833TKE27HA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#L3VF (statement). In PG0B4PH9YH/e1, fact 5.17
History
- 2026-10-27: add by m2/v0.4.2
83474VRC4P 83474VRC4P
| URI | m2://inv/83474VRC4P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/identity.tex#ex-2 (example). In PKGMM3P5QY, ex, section 13.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 83489P7MFN
| URI | m2://inv/83489P7MFN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric probability distribution#K8JJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
8348BEQVBS 8348BEQVBS
| URI | m2://inv/8348BEQVBS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#example-2 (example). In 649HGZKE96, example, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
Jennifer Seberry 834EXZ1ZNH
| URI | m2://inv/834EXZ1ZNH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W0CR, Jennifer Seberry (topic)
History
- 2026-11-02: add by m2/dev
Terminology 834KP1PK8M
| URI | m2://inv/834KP1PK8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptography#PJJR, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Aggregate adjacent discrepancy 834NF7WGBC
| URI | m2://inv/834NF7WGBC |
|---|---|
| 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.00137#P4IH, Aggregate adjacent discrepancy (statement). In NKW6YQ04QW/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
Sabidussi's Theorem 834YRM5FRR
| URI | m2://inv/834YRM5FRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley graph#8CNR, Sabidussi's Theorem (statement)
History
- 2026-11-02: add by m2/dev
410 (number) 834YYMNZ36
| URI | m2://inv/834YYMNZ36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#T1QB, 410 (number) (unknown)
History
- 2026-11-02: add by m2/dev
A barrier contour through all connecting saddles 83500Z94TS
| URI | m2://inv/83500Z94TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#A5UJ, A barrier contour through all connecting saddles (statement). In 4AQ48WSBDQ/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
83523XR152 83523XR152
| URI | m2://inv/83523XR152 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14811#SIRZ (statement). In QA5CM6HNM1/e1, lemma 14.2
History
- 2026-10-28: add by m2/v0.4.2
8353HSH7B4 8353HSH7B4
| URI | m2://inv/8353HSH7B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-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 2603.28861#G8FY (statement). In A3VQ2TNRKK/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Existential generalization 8355TE6XM9
| URI | m2://inv/8355TE6XM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential generalization#XH7X, Existential generalization (statement)
History
- 2026-11-02: add by m2/dev
Ordered graph 8358KJEJVX
| URI | m2://inv/8358KJEJVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered graph, Ordered graph (definition). Also Wikidata Q17143897
History
- 2026-11-02: add by m2/dev
Maslov index 835Q9YY50T
| URI | m2://inv/835Q9YY50T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#BC13, Maslov index (definition)
History
- 2026-11-02: add by m2/dev
Smith, Cedric 835TC7ERS3
| URI | m2://inv/835TC7ERS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4JYM, Smith, Cedric (unknown)
History
- 2026-11-02: add by m2/dev
836593ZFFV 836593ZFFV
| URI | m2://inv/836593ZFFV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#5736 (example). In PF5JJ9DS8Q/e1, example 6.3.3
History
- 2026-10-28: add by m2/v0.4.2
Wally Smith 836J92BKVV
| URI | m2://inv/836J92BKVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wally Smith (mathematician), Wally Smith (topic). Also Wikidata Q7963493
History
- 2026-11-02: add by m2/dev
Hitoshi Kumano-Go 836Y9X856K
| URI | m2://inv/836Y9X856K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitoshi Kumano-Go, Hitoshi Kumano-Go (topic). Also Wikidata Q37735326
History
- 2026-11-02: add by m2/dev
Percentile 8370GT6E42
| URI | m2://inv/8370GT6E42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BCQ0, Percentile (definition)
History
- 2026-11-02: add by m2/dev
Uniform-topology dissipative Lieb--Robinson bound 8372X1ZVXC
| URI | m2://inv/8372X1ZVXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01669#90NK, Uniform-topology dissipative Lieb--Robinson bound (statement). In 41AVNP6DJ9/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Margarita Philosophica 837DYK9PEY
| URI | m2://inv/837DYK9PEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregor Reisch#J0IO, Margarita Philosophica (unknown)
History
- 2026-11-02: add by m2/dev
AdS/CFT correspondence 837EG4K74P
| URI | m2://inv/837EG4K74P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#HK5N, AdS/CFT correspondence (definition)
History
- 2026-11-02: add by m2/dev
837EP43KXC 837EP43KXC
| URI | m2://inv/837EP43KXC |
|---|---|
| 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.26357#9DEU (definition)
History
- 2026-11-01: add by m2/v0.6.15
837ME04W0B 837ME04W0B
| URI | m2://inv/837ME04W0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor-7 (statement). In VNMV985MXX, cor, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
837QP2MJJS 837QP2MJJS
| URI | m2://inv/837QP2MJJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.12484#RQPO (statement). In GW23NX78SB/e1, lemma 4.22
History
- 2026-10-28: add by m2/v0.4.2
837TT87HDF 837TT87HDF
| URI | m2://inv/837TT87HDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#WW51 (statement). In JW8HH6EPG2/e1, proposition 3.16
History
- 2026-10-29: add by m2/v0.4.10
Theorem 837TZ2TJB7
| URI | m2://inv/837TZ2TJB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornological space#4XOP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
83813BGHNE 83813BGHNE
| URI | m2://inv/83813BGHNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40260#QXF4 (statement). In 524FZAC6NB/e1, theorem 14
History
- 2026-10-30: add by m2/v0.4.12
Valentin Belousov 838BH90EV1
| URI | m2://inv/838BH90EV1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valentin Belousov, Valentin Belousov (topic). Also Wikidata Q12742990
History
- 2026-11-02: add by m2/dev
biconjugate gradient stabilized method 838HBT6NT6
| URI | m2://inv/838HBT6NT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Biconjugate gradient stabilized method MA64H1RTP1 |
Mentions
- wikidata: Wikidata Q4903720, biconjugate gradient stabilized method (unknown). Also MathWorld BiconjugateGradientStabilizedMethod
- wikipedia: Wikipedia Biconjugate gradient stabilized method, Biconjugate gradient stabilized method (definition). Also Wikidata Q4903720
History
- 2026-10-26: add by m2/dev
Imre Leader 838HYRSHP6
| URI | m2://inv/838HYRSHP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#32G2, Imre Leader (topic)
History
- 2026-11-02: add by m2/dev
One-dimensional projected convex order for radial distributions 838XAHF9S1
| URI | m2://inv/838XAHF9S1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07404#W41T, One-dimensional projected convex order for radial distributions (statement). In VAJ9MBT3SJ/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
Quaternion algebra 83999FYAK3
| URI | m2://inv/83999FYAK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#PLKN, Quaternion algebra (definition)
History
- 2026-11-02: add by m2/dev
Joseph E. Gillis 8399G26DNB
| URI | m2://inv/8399G26DNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GJ7G, Joseph E. Gillis (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8U7P, Joseph E. Gillis (topic)
History
- 2026-11-02: add by m2/dev
839CVRCHNC 839CVRCHNC
| URI | m2://inv/839CVRCHNC |
|---|---|
| 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 2308.02672#3BIU (statement). In ETRT1R1CQ8/e1, corollary 9.1
History
- 2026-10-27: add by m2/v0.4.0
transitivity 839D2Q7SWK
| URI | m2://inv/839D2Q7SWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54933015, transitivity (unknown). Also EoM Transitivity
History
- 2026-10-26: add by m2/dev
Biquaternion 839GV34XQX
| URI | m2://inv/839GV34XQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#K71Q, Biquaternion (definition)
History
- 2026-11-02: add by m2/dev
Josephine Janina Mehlberg 839NPN8W7A
| URI | m2://inv/839NPN8W7A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josephine Janina Mehlberg, Josephine Janina Mehlberg (topic). Also Wikidata Q102299804
History
- 2026-11-02: add by m2/dev
Yurii Nesterov 839QQNQC6S
| URI | m2://inv/839QQNQC6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yurii Nesterov, Yurii Nesterov (topic). Also Wikidata Q3573263
History
- 2026-11-02: add by m2/dev
839R5YCNYH 839R5YCNYH
| URI | m2://inv/839R5YCNYH |
|---|---|
| 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 2310.10361#7GPL (statement). In 65ED1ZXG98/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.6
Applications 839VJ43PZW
| URI | m2://inv/839VJ43PZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanner graph#Q7KD, Applications (example)
History
- 2026-11-02: add by m2/dev
Critique of Ptolemy 839WR2W9SQ
| URI | m2://inv/839WR2W9SQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibn al-Haytham#T1GE, Critique of Ptolemy (unknown)
History
- 2026-11-02: add by m2/dev
at $q=1$ 839YQYCZ7B
| URI | m2://inv/839YQYCZ7B |
|---|---|
| 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.33124#T79R, at $q=1$ (statement). In P27HYGQDAN/e1, theorem 26
History
- 2026-10-30: add by m2/v0.4.12
83A5AF1PB3 83A5AF1PB3
| URI | m2://inv/83A5AF1PB3 |
|---|---|
| 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.20466#VCAH (statement). In M4ZVJWM8YA/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.2
type, product 83A5S8DXTD
| URI | m2://inv/83A5S8DXTD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/type-product, type, product (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
83A8TZST56 83A8TZST56
| URI | m2://inv/83A8TZST56 |
|---|---|
| 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.20025#76MY (definition). In 4W1WR4JB89/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
83AKSC4VJZ 83AKSC4VJZ
| URI | m2://inv/83AKSC4VJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 2505.04593#V1ZE (statement). In PEXJPV3NP8/e1, theorem 6.9
History
- 2026-10-27: add by m2/v0.3.5
83AQSD7B6X 83AQSD7B6X
| URI | m2://inv/83AQSD7B6X |
|---|---|
| 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#M8H4 (statement). In ZJQB9W60T6/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
83AQX8QKE1 83AQX8QKE1
| URI | m2://inv/83AQX8QKE1 |
|---|---|
| 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.15344#QD07 (statement). In B9EX6K51RD/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Harmonic spinor parameterisation 83ARWGGRTA
| URI | m2://inv/83ARWGGRTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#RTES, Harmonic spinor parameterisation (statement). In Z7M2JSF6HA/e1, lemma 14.1
History
- 2026-10-31: add by m2/v0.5.6
James Maynard 83ASYJMKR4
| URI | m2://inv/83ASYJMKR4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#72J3, James Maynard (topic)
History
- 2026-11-02: add by m2/dev
José Maria 83AYQEWW5Z
| URI | m2://inv/83AYQEWW5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#CQW2, José Maria (unknown)
History
- 2026-11-02: add by m2/dev
Olga Kharlampovich 83AYV131QD
| URI | m2://inv/83AYV131QD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EBZ0, Olga Kharlampovich (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WJCV, Olga Kharlampovich (unknown)
History
- 2026-11-02: add by m2/dev
Random energy model 83BD1TYHE4
| URI | m2://inv/83BD1TYHE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random energy model, Random energy model (definition). Also Wikidata Q2130737
History
- 2026-11-02: add by m2/dev
Thomas Bartholin 83BQYRA3TZ
| URI | m2://inv/83BQYRA3TZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Bartholin, Thomas Bartholin (topic). Also Wikidata Q365909
History
- 2026-11-02: add by m2/dev
83BS3YTVK3 83BS3YTVK3
| URI | m2://inv/83BS3YTVK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/unsolvability-decision-problem.tex#thm:decision-prob (statement). In PKGMM3P5QY, thm, section 87.2
History
- 2026-11-01: add by m2/v0.6.13
An almost-complete boundary-phase arc 83C4S4XHXK
| URI | m2://inv/83C4S4XHXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#DBMQ, An almost-complete boundary-phase arc (statement)
History
- 2026-11-01: add by m2/v0.6.15
83C6ZVSP7Y 83C6ZVSP7Y
| URI | m2://inv/83C6ZVSP7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#RMN9 (statement). In E7W2HDNEKJ/e1, theorem 6.39
History
- 2026-10-30: add by m2/v0.4.12
Zelen's design 83C9BADM8E
| URI | m2://inv/83C9BADM8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zelen's design, Zelen's design (definition). Also Wikidata Q8068723
History
- 2026-11-02: add by m2/dev
Laws and method 83CE4A34GA
| URI | m2://inv/83CE4A34GA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramism#7W8R, Laws and method (statement)
History
- 2026-11-02: add by m2/dev
Boundary-parallel $\varepsilon$-regularity for the tilt 83CK5WEAA2
| URI | m2://inv/83CK5WEAA2 |
|---|---|
| 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.09596#WWW9, Boundary-parallel $\varepsilon$-regularity for the tilt (statement). In HXFA55BREZ/e1, theorem 1.11
History
- 2026-10-29: add by m2/v0.4.10
Theorem 83CKRACYXP
| URI | m2://inv/83CKRACYXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#LRWP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
83CNT47KH3 83CNT47KH3
| URI | m2://inv/83CNT47KH3 |
|---|---|
| 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.06724#GJQN (statement). In W5XG3PGVF1/e1, proposition 1.22
History
- 2026-10-29: add by m2/v0.4.10
Axiom schema versus class existence theorem 83D3SQ1RVN
| URI | m2://inv/83D3SQ1RVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#FPE8, Axiom schema versus class existence theorem (statement)
History
- 2026-11-02: add by m2/dev
83D7BVYNTM 83D7BVYNTM
| URI | m2://inv/83D7BVYNTM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
83DEFZZNZN 83DEFZZNZN
| URI | m2://inv/83DEFZZNZN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#O3R3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Tilde (diacritic) 83DQR0G034
| URI | m2://inv/83DQR0G034 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilde#B3ZJ, Tilde (diacritic) (unknown)
History
- 2026-11-02: add by m2/dev
83DVVSWVER 83DVVSWVER
| URI | m2://inv/83DVVSWVER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#37CO (statement). In SD28S3K7BT/e1, theorem 47
History
- 2026-10-29: add by m2/v0.4.12
Complete partial order 83DXG092MR
| URI | m2://inv/83DXG092MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete partial order, Complete partial order (definition). Also Wikidata Q3082805
History
- 2026-11-02: add by m2/dev
Claw-free permutation 83DYH5NSK2
| URI | m2://inv/83DYH5NSK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claw-free permutation, Claw-free permutation (definition). Also Wikidata Q5129749
History
- 2026-11-02: add by m2/dev
83E0GG3Y2R 83E0GG3Y2R
| URI | m2://inv/83E0GG3Y2R |
|---|---|
| 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#QU6X (statement). In C8JAGP8VCQ/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Explicit width proportional to the reciprocal index 83E7FJ8BZ0
| URI | m2://inv/83E7FJ8BZ0 |
|---|---|
| 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#ZG8I, Explicit width proportional to the reciprocal index (statement). In 8BNPFYQDQX/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
83EDJJF20D 83EDJJF20D
| URI | m2://inv/83EDJJF20D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#RBTG (definition). In XYCBKM4WKY/e1, definition 26
History
- 2026-10-27: add by m2/v0.3.5
Properties 83EGC4HJM7
| URI | m2://inv/83EGC4HJM7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-continuity#YR8T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement 83EQ6DRH7H
| URI | m2://inv/83EQ6DRH7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach fixed-point theorem#A0S4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Tree cluster bound 83ES0DA1T1
| URI | m2://inv/83ES0DA1T1 |
|---|---|
| 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.20031#6SSC, Tree cluster bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
Projective lift and Hilbert function 83EW4M6RBZ
| URI | m2://inv/83EW4M6RBZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#YVAV, Projective lift and Hilbert function (definition). In Z7M2JSF6HA/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Scaling and shifting 83EX3MPYK8
| URI | m2://inv/83EX3MPYK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of variables#M47F, Scaling and shifting (unknown)
History
- 2026-11-02: add by m2/dev
Properties 83EYQEC779
| URI | m2://inv/83EYQEC779 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular resolution (graph drawing)#EZWC, Properties (statement)
History
- 2026-11-02: add by m2/dev
83F0JHEFQZ 83F0JHEFQZ
| URI | m2://inv/83F0JHEFQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#8C56 (statement). In PP8BEHWK33/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Wacław Sierpiński 83F1GP2RT6
| URI | m2://inv/83F1GP2RT6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#MQ9N, Wacław Sierpiński (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#CUI6, Wacław Sierpiński (topic)
History
- 2026-11-02: add by m2/dev
Old World monkeys 83FBD0PR9K
| URI | m2://inv/83FBD0PR9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#UCUS, Old World monkeys (unknown)
History
- 2026-11-02: add by m2/dev
1 centimeter 83FES4XXGH
| URI | m2://inv/83FES4XXGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#YC8J, 1 centimeter (unknown)
History
- 2026-11-02: add by m2/dev
The Jacobi potential and ambient curvature 83FH29Y7XJ
| URI | m2://inv/83FH29Y7XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32001#10HQ, The Jacobi potential and ambient curvature (statement). In 5FZGDECW2R/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
83FP2EA6HA 83FP2EA6HA
| URI | m2://inv/83FP2EA6HA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07180#SVX3 (statement). In TM4H1RV0BQ/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Index of fractal-related articles 83G1E2EPEZ
| URI | m2://inv/83G1E2EPEZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of fractal-related articles, Index of fractal-related articles (topic). Also Wikidata Q16000120
History
- 2026-11-02: add by m2/dev
83G1NFRP42 83G1NFRP42
| URI | m2://inv/83G1NFRP42 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
83G1VA1NMA 83G1VA1NMA
| URI | m2://inv/83G1VA1NMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00918#K9AY (statement). In 2SMJ5V7FZ7/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
83G8G1PAGA 83G8G1PAGA
| URI | m2://inv/83G8G1PAGA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02506#EK0R (example). In 3JKRBZWJ33/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.12
83GD3WNQS8 83GD3WNQS8
| URI | m2://inv/83GD3WNQS8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#IT1K (example). In BDN507RN7J/e1, example 4.5.10
History
- 2026-10-30: add by m2/v0.4.12
83GKD0JA9Y 83GKD0JA9Y
| URI | m2://inv/83GKD0JA9Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-39 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
George W. Snedecor 83GW4DX5NG
| URI | m2://inv/83GW4DX5NG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George W. Snedecor, George W. Snedecor (topic). Also Wikidata Q2604115
History
- 2026-11-02: add by m2/dev
83H3PS41R7 83H3PS41R7
| URI | m2://inv/83H3PS41R7 |
|---|---|
| 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.10078#YQPS (statement). In YVGRZK1HRS/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.10
Examples 83H8VHE3D1
| URI | m2://inv/83H8VHE3D1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casimir element#0M9R, Examples (example)
History
- 2026-11-02: add by m2/dev
electric dipole moment 83HACATZ8T
| URI | m2://inv/83HACATZ8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q735135, electric dipole moment (unknown). Also nLab electric dipole moment
- wikipedia: Wikipedia Electric dipole moment, Electric dipole moment (definition). Also Wikidata Q735135
History
- 2026-10-26: add by m2/dev
83HGZQ7KSG 83HGZQ7KSG
| URI | m2://inv/83HGZQ7KSG |
|---|---|
| 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.28794#4D6V (statement)
History
- 2026-11-01: add by m2/v0.6.15
83HKEETEDG 83HKEETEDG
| URI | m2://inv/83HKEETEDG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#A6G8 (definition). In 4RPXT0YCS5/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
83HNCQA545 83HNCQA545
| URI | m2://inv/83HNCQA545 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#FF5Z (definition). In 1WCXV5PVZA/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.4.0
Al-Kindi 83HVBVWA3N
| URI | m2://inv/83HVBVWA3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#VEIQ, Al-Kindi (topic)
History
- 2026-11-02: add by m2/dev
Positive strip estimate 83HW26QPV8
| URI | m2://inv/83HW26QPV8 |
|---|---|
| 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.01391#IVIL, Positive strip estimate (statement). In MAZNVJX5YK/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
morphism 83HXTZTTTN
| URI | m2://inv/83HXTZTTTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#PCQT, morphism (definition)
History
- 2026-11-02: add by m2/dev
83HY0RZ0GM 83HY0RZ0GM
| URI | m2://inv/83HY0RZ0GM |
|---|---|
| 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.23098#JXRO (statement)
History
- 2026-11-02: add by m2/v0.6.17
83J0TJMYEY 83J0TJMYEY
| URI | m2://inv/83J0TJMYEY |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#9YA2 (unknown). In 4YJH4FPWDA/e1, unknown 4.5
History
- 2026-10-30: add by m2/v0.4.12
83J8SZZ9TH 83J8SZZ9TH
| URI | m2://inv/83J8SZZ9TH |
|---|---|
| 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.10813#I7GH (statement). In G8F4P7GDMA/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.3
Questions of identity 83JGJCWEF2
| URI | m2://inv/83JGJCWEF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubna of Córdoba#4VMC, Questions of identity (statement)
History
- 2026-11-02: add by m2/dev
Herman ring 83JGWZN6SW
| URI | m2://inv/83JGWZN6SW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman ring, Herman ring (definition). Also Wikidata Q4228993
History
- 2026-11-02: add by m2/dev
WinBUGS 83JK1DKQCG
| URI | m2://inv/83JK1DKQCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WinBUGS, WinBUGS (definition). Also Wikidata Q8023586
History
- 2026-11-02: add by m2/dev
Steven Haberman 83JK7VNP6Z
| URI | m2://inv/83JK7VNP6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JI78, Steven Haberman (unknown)
History
- 2026-11-02: add by m2/dev
interesting number paradox 83JSWSSDT8
| URI | m2://inv/83JSWSSDT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1665996, interesting number paradox (statement). Also ProofWiki Interesting_Number_Paradox
- wikipedia: Wikipedia Interesting number paradox, Interesting number paradox (statement). Also Wikidata Q1665996
History
- 2026-10-26: add by m2/dev
Quadratrix 83JTZ5YESC
| URI | m2://inv/83JTZ5YESC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratrix, Quadratrix (definition). Also Wikidata Q1122555
History
- 2026-11-02: add by m2/dev
83K0HTPYC6 83K0HTPYC6
| URI | m2://inv/83K0HTPYC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/separation.tex#lem:sep2 (statement). In PKGMM3P5QY, lem, section 47.2
History
- 2026-11-01: add by m2/v0.6.13
83K1RE5NEB 83K1RE5NEB
| URI | m2://inv/83K1RE5NEB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-9 (example). In E9HS8K3A52, example, section 7.2.4
History
- 2026-11-01: add by m2/v0.6.13
Bījapallava 83K2DP674S
| URI | m2://inv/83K2DP674S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bījapallava, Bījapallava (definition). Also Wikidata Q127260258
History
- 2026-11-02: add by m2/dev
Properties and a priori estimates 83K2XJ45WH
| URI | m2://inv/83K2XJ45WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#GIN5, Properties and a priori estimates (statement). In KM3Q791JY0/e1, theorem 4.19
History
- 2026-10-27: add by m2/v0.4.2
Taylor–von Neumann–Sedov blast wave 83KBVJNDJN
| URI | m2://inv/83KBVJNDJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor–von Neumann–Sedov blast wave, Taylor–von Neumann–Sedov blast wave (definition). Also Wikidata Q104868831
History
- 2026-11-02: add by m2/dev
83KGG5B0GS 83KGG5B0GS
| URI | m2://inv/83KGG5B0GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.10920#49FU (statement). In 6TTFGK6ZV0/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
83KJ918WA1 83KJ918WA1
| URI | m2://inv/83KJ918WA1 |
|---|---|
| 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 2607.28185#LSQS (statement). In EG1XXNSTXX/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.3.5
Non-convex Kahane's inequality for normalized exponentials of Gaussian fields 83KJC1JH13
| URI | m2://inv/83KJC1JH13 |
|---|---|
| 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 2502.09121#QKT6, Non-convex Kahane's inequality for normalized exponentials of Gaussian fields (statement). In 559PF7Q5BT/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
83KK95NFVB 83KK95NFVB
| URI | m2://inv/83KK95NFVB |
|---|---|
| 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 2609.31274#2Y1Y (definition). In RK0ZMDJ23T/e1, definition 2.3.2
History
- 2026-10-31: add by m2/v0.5.6
A scalar logarithmic average-error lower bound 83KKFXS8C5
| URI | m2://inv/83KKFXS8C5 |
|---|---|
| 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.32729#3ZTD, A scalar logarithmic average-error lower bound (statement). In PGJ37WRB1K/e1, theorem 3.10
History
- 2026-10-31: add by m2/v0.5.6
Lemma 83M2R7M49B
| URI | m2://inv/83M2R7M49B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dolbeault cohomology#WFLA, Lemma (statement)
History
- 2026-11-02: add by m2/dev
83M5NW9FR6 83M5NW9FR6
| URI | m2://inv/83M5NW9FR6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#6AWM (definition). In ZHTGQT07PE/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
83MNJPM4J2 83MNJPM4J2
| URI | m2://inv/83MNJPM4J2 |
|---|---|
| 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.37739#S9ZD (definition). In F5XF5VXTXY/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Logit-normal distribution 83MZJH244Z
| URI | m2://inv/83MZJH244Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logit-normal distribution, Logit-normal distribution (definition). Also Wikidata Q3258532
History
- 2026-11-02: add by m2/dev
Lattice and concavity} properties 83N1CTBDYF
| URI | m2://inv/83N1CTBDYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#9ATK, Lattice and concavity} properties (statement). In KM3Q791JY0/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.4.2
Edna Kramer 83N2BKPZQW
| URI | m2://inv/83N2BKPZQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7URI, Edna Kramer (topic)
History
- 2026-11-02: add by m2/dev
Perturbations of Classified ERP $G_2$-Structures 83N9QE529Y
| URI | m2://inv/83N9QE529Y |
|---|---|
| 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.34154#PCTP, Perturbations of Classified ERP $G_2$-Structures (statement). In VPET0W9RFS/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Complementary relation 83NJ15HJZN
| URI | m2://inv/83NJ15HJZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (set theory)#H7ZX, Complementary relation (unknown)
History
- 2026-11-02: add by m2/dev
83NPGK9HT0 83NPGK9HT0
| URI | m2://inv/83NPGK9HT0 |
|---|---|
| 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 1509.00950#9GMU (statement). In MDZFW5GACV/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
83NYP1YXNH 83NYP1YXNH
| URI | m2://inv/83NYP1YXNH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#8G1F (example). In BDN507RN7J/e1, example 3.2.5
History
- 2026-10-30: add by m2/v0.4.12
Optimal order of certainty equivalent growth for sublinear mean reversion 83NYPBQS20
| URI | m2://inv/83NYPBQS20 |
|---|---|
| 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.08631#QYWX, Optimal order of certainty equivalent growth for sublinear mean reversion (statement). In 3YQNR18XB3/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
83NZT3WGY5 83NZT3WGY5
| URI | m2://inv/83NZT3WGY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#MXC3 (statement). In CFJH0Q39FZ/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
Sanjaye Ramgoolam 83P0YBGYMG
| URI | m2://inv/83P0YBGYMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60057620, Sanjaye Ramgoolam (unknown). Also nLab Sanjaye Ramgoolam
History
- 2026-10-26: add by m2/dev
Wild knot 83P1NXYDST
| URI | m2://inv/83P1NXYDST |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#VYJC, Wild knot (object)
History
- 2026-11-02: add by m2/dev
83P4DXK5S6 83P4DXK5S6
| URI | m2://inv/83P4DXK5S6 |
|---|---|
| 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 2504.00267#KLDQ (statement). In 38XJWDZ2PH/e1, proposition 4.20
History
- 2026-10-27: add by m2/v0.3.5
Nonconceptual mental content 83P4XVGT8V
| URI | m2://inv/83P4XVGT8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptualism#KIAL, Nonconceptual mental content (unknown)
History
- 2026-11-02: add by m2/dev
Monte Carlo molecular modeling 83P6KFBJ1T
| URI | m2://inv/83P6KFBJ1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HP1G, Monte Carlo molecular modeling (definition)
History
- 2026-11-02: add by m2/dev
Carsten Lund 83P8Z0GNAF
| URI | m2://inv/83P8Z0GNAF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I3GQ, Carsten Lund (unknown)
History
- 2026-11-02: add by m2/dev
contraposition 83PKSCHZ36
| URI | m2://inv/83PKSCHZ36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FBVR, contraposition (definition)
History
- 2026-11-02: add by m2/dev
Theorems 83PQG3ZN81
| URI | m2://inv/83PQG3ZN81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#MLFJ, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Dugald Macpherson 83PS0D2ESN
| URI | m2://inv/83PS0D2ESN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NM8F, Dugald Macpherson (topic)
History
- 2026-11-02: add by m2/dev
primitive abundant number 83PYSECP91
| URI | m2://inv/83PYSECP91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1956296, primitive abundant number (unknown). Also MathWorld PrimitiveAbundantNumber, OEIS A071395
- wikipedia: Wikipedia Primitive abundant number, Primitive abundant number (definition). Also Wikidata Q1956296
History
- 2026-10-26: add by m2/dev
Fundamental identity 83PZPG50R9
| URI | m2://inv/83PZPG50R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telescoping product#V9MB, Fundamental identity (statement)
History
- 2026-11-02: add by m2/dev
83QQ271K5X 83QQ271K5X
| URI | m2://inv/83QQ271K5X |
|---|---|
| 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.06644#SVDW (statement). In M12XTGJZBP/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Properties 83QWEJG3GF
| URI | m2://inv/83QWEJG3GF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interleaving distance#IWSS, Properties (statement)
History
- 2026-11-02: add by m2/dev
83QZ0KBZ95 83QZ0KBZ95
| URI | m2://inv/83QZ0KBZ95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0910.5574#Y74A (statement). In 2TJRBRKYAY/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
The Gaudin quantum integrable system and Talalaev's theorem 83R1GJ07F3
| URI | m2://inv/83R1GJ07F3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#ZNGT, The Gaudin quantum integrable system and Talalaev's theorem (statement)
History
- 2026-11-02: add by m2/dev
83REGKE7S4 83REGKE7S4
| URI | m2://inv/83REGKE7S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.22607#ROOP (statement). In 6GT33A43SY/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Variants 83RFCZSF84
| URI | m2://inv/83RFCZSF84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chu space#EUXR, Variants (statement)
History
- 2026-11-02: add by m2/dev
83RGKKVNNV 83RGKKVNNV
| URI | m2://inv/83RGKKVNNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10545#SQXW (statement). In ZA75D59G8K/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
83RKT5ZYSZ 83RKT5ZYSZ
| URI | m2://inv/83RKT5ZYSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#0P5W (statement). In HGTFJ325A4/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
83RKTPB3E9 83RKTPB3E9
| URI | m2://inv/83RKTPB3E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zorn-lemma.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 94.5
History
- 2026-11-01: add by m2/v0.6.13
Mean-field particle methods 83RMHT12G6
| URI | m2://inv/83RMHT12G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean-field particle methods, Mean-field particle methods (definition). Also Wikidata Q22909082
History
- 2026-11-02: add by m2/dev
Jeanne Ferrier 83RNT0EWR9
| URI | m2://inv/83RNT0EWR9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeanne Ferrier, Jeanne Ferrier (topic). Also Wikidata Q105756959
History
- 2026-11-02: add by m2/dev
83RW045ZP6 83RW045ZP6
| URI | m2://inv/83RW045ZP6 |
|---|---|
| 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 2212.11038#6NG3 (statement). In M3E3ARMJXK/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
83RX3NGZ20 83RX3NGZ20
| URI | m2://inv/83RX3NGZ20 |
|---|---|
| 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.09882#KPSB (statement). In 7XV6T4N79V/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
83RZJGCB13 83RZJGCB13
| URI | m2://inv/83RZJGCB13 |
|---|---|
| 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.12047#4BEE (statement). In ZF1Y3HZMZ9/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.3
Quadrature 83S0WBQ700
| URI | m2://inv/83S0WBQ700 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#LEVL, Quadrature (statement). In JY6RYSNXMJ/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.10
83S0ZFHX36 83S0ZFHX36
| URI | m2://inv/83S0ZFHX36 |
|---|---|
| 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.15217#YKZ9 (definition). In G70Q2FB591/e1, definition 4.27
History
- 2026-10-28: add by m2/v0.4.2
classifier, object 83SA0GXCT4
| URI | m2://inv/83SA0GXCT4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/classifier-object, classifier, object (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
83SDD8VNE3 83SDD8VNE3
| URI | m2://inv/83SDD8VNE3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
periodic points 83SR5SJNJ0
| URI | m2://inv/83SR5SJNJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Dynamics > General theory > periodic points, periodic points (unknown). Also Mathlib Function.periodicPts
History
- 2026-10-26: add by m2/dev
83STPS6RR5 83STPS6RR5
| URI | m2://inv/83STPS6RR5 |
|---|---|
| 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.36884#ZN13 (statement). In Z7E16PFFCP/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithm 83SWE1GMM3
| URI | m2://inv/83SWE1GMM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral method#LM79, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Schläfli symbol 83SXYF3M79
| URI | m2://inv/83SXYF3M79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schläfli symbol MAE6BF4DFK |
Mentions
- wikidata: Wikidata Q1347011, Schläfli symbol (unknown). Also MathWorld SchlaefliSymbol
- wikipedia: Wikipedia Schläfli symbol, Schläfli symbol (definition). Also Wikidata Q1347011
History
- 2026-10-26: add by m2/dev
Vladimir Levenshtein 83TD6AQ212
| URI | m2://inv/83TD6AQ212 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Levenshtein, Vladimir Levenshtein (topic). Also Wikidata Q560858
History
- 2026-11-02: add by m2/dev
Hermite decay for ReLU difference and tanh 83TF6HDSNE
| URI | m2://inv/83TF6HDSNE |
|---|---|
| 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.10875#R0XP, Hermite decay for ReLU difference and tanh (statement). In N91F15MHW1/e1, lemma 31
History
- 2026-10-28: add by m2/v0.4.3
Applications 83THKDHX3D
| URI | m2://inv/83THKDHX3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mostow rigidity theorem#0CO4, Applications (example)
History
- 2026-11-02: add by m2/dev
Tarski's exponential function problem 83TMV7C2AR
| URI | m2://inv/83TMV7C2AR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WMQC, Tarski's exponential function problem (conjecture)
History
- 2026-11-02: add by m2/dev
83TWZ1WY6S 83TWZ1WY6S
| URI | m2://inv/83TWZ1WY6S |
|---|---|
| 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 1705.01594#3WAU (statement). In BR3N3GSY2C/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
cut-elimination 83V9FCY2RK
| URI | m2://inv/83V9FCY2RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Cut-elimination theorem AYRZ98Y0NW |
Mentions
- mathlib_1000: mathlib_1000 Q376166, Cut-elimination theorem (statement). Also Wikidata Q376166
- thousand_plus: thousand_plus Q376166, Cut-elimination theorem (statement). Also Wikidata Q376166, Wikipedia Cut-elimination theorem
- wikidata: Wikidata Q376166, cut-elimination (statement). Also MathWorld CutEliminationTheorem
- wikipedia: Wikipedia Cut-elimination theorem, Cut-elimination theorem (statement). Also Wikidata Q376166
History
- 2026-10-26: add by m2/dev
83VGX3MNPX 83VGX3MNPX
| URI | m2://inv/83VGX3MNPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#1P44 (statement). In JWNYJVH8XG/e1, proposition 3.32
History
- 2026-10-29: add by m2/v0.4.10
iron-56 83VPWXV1VV
| URI | m2://inv/83VPWXV1VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052454, iron-56 (definition). Also ProofWiki Definition:Iron/56
History
- 2026-10-26: add by m2/dev
Homoclinic connection 83W9YY9JJ7
| URI | m2://inv/83W9YY9JJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homoclinic connection, Homoclinic connection (definition). Also Wikidata Q5891067
History
- 2026-11-02: add by m2/dev
83WBSC07CB 83WBSC07CB
| URI | m2://inv/83WBSC07CB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/primitive-recursion.tex#lem-2 (statement). In PKGMM3P5QY, lem, section 37.5
History
- 2026-11-01: add by m2/v0.6.13
Indefinite orthogonal group 83WG4QDX8Y
| URI | m2://inv/83WG4QDX8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite orthogonal group, Indefinite orthogonal group (definition). Also Wikidata Q11061828
History
- 2026-11-02: add by m2/dev
Helen Hall Jennings 83WJKWPJD6
| URI | m2://inv/83WJKWPJD6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen Hall Jennings, Helen Hall Jennings (topic). Also Wikidata Q50380304
History
- 2026-11-02: add by m2/dev
Entropy power inequality 83WJQKCC7E
| URI | m2://inv/83WJQKCC7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy power inequality, Entropy power inequality (statement). Also Wikidata Q5380810
History
- 2026-11-02: add by m2/dev
83WM9JV9S9 83WM9JV9S9
| URI | m2://inv/83WM9JV9S9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 83WQW43WPH
| URI | m2://inv/83WQW43WPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lax pair#EV5K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lemmas $8$--$9$ 83WXPBC8X4
| URI | m2://inv/83WXPBC8X4 |
|---|---|
| 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.25656#OJUS, Lemmas $8$--$9$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Albert Ingham 83X3WT50M9
| URI | m2://inv/83X3WT50M9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Ingham, Albert Ingham (topic). Also Wikidata Q930768
History
- 2026-11-02: add by m2/dev
83X4XXGPE3 83X4XXGPE3
| URI | m2://inv/83X4XXGPE3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#CXI2 (definition). In 9DQKY7KGE8/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.5
83X6G5HQ36 83X6G5HQ36
| URI | m2://inv/83X6G5HQ36 |
|---|---|
| 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.17518#R26S (statement). In YA4JEWTVS4/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Established complete-transposition inequalities 83XCTNZNJ3
| URI | m2://inv/83XCTNZNJ3 |
|---|---|
| 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.00137#A020, Established complete-transposition inequalities (statement). In NKW6YQ04QW/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Kelly Goto 83XMPKDMAW
| URI | m2://inv/83XMPKDMAW |
|---|---|
| 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#YZY2, Kelly Goto (unknown)
History
- 2026-11-02: add by m2/dev
G. Gamow 83XP19TWGZ
| URI | m2://inv/83XP19TWGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of textbooks in thermodynamics and statistical mechanics#E4YH, G. Gamow (unknown)
History
- 2026-11-02: add by m2/dev
Marc Rieffel 83XXAM0E6K
| URI | m2://inv/83XXAM0E6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15456704, Marc Rieffel (unknown). Also nLab Marc Rieffel
History
- 2026-10-26: add by m2/dev
83XZR7GK23 83XZR7GK23
| URI | m2://inv/83XZR7GK23 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#SVJD (definition). In JS5FKV1S9T/e1, definition B.3
History
- 2026-10-27: add by m2/v0.3.5
Volatility 83Y4E32NQ5
| URI | m2://inv/83Y4E32NQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#FUOZ, Volatility (definition)
History
- 2026-11-02: add by m2/dev
Buckling 83Y5Y7JRH7
| URI | m2://inv/83Y5Y7JRH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buckling, Buckling (definition). Also Wikidata Q693104
History
- 2026-11-02: add by m2/dev
83YBY77GH0 83YBY77GH0
| URI | m2://inv/83YBY77GH0 |
|---|---|
| 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.21752#UA94 (statement). In E4DJTPKHAX/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.4.2
Tsallis entropy 83YFG6JDJ3
| URI | m2://inv/83YFG6JDJ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#E8GF, Tsallis entropy (unknown)
History
- 2026-11-02: add by m2/dev
Simple recurrent network 83YVP2TZBW
| URI | m2://inv/83YVP2TZBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network#22P2, Simple recurrent network (unknown)
History
- 2026-11-02: add by m2/dev
Properties 83YWYKKKNZ
| URI | m2://inv/83YWYKKKNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-fibration#PSDA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Locally (P) space 83YXFDN5PB
| URI | m2://inv/83YXFDN5PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#OJJO, Locally (P) space (definition)
History
- 2026-11-02: add by m2/dev
John R. Isbell 83YXYDYVCS
| URI | m2://inv/83YXYDYVCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John R. Isbell, John R. Isbell (topic). Also Wikidata Q6253889
History
- 2026-11-02: add by m2/dev
83YZ8SVN0W 83YZ8SVN0W
| URI | m2://inv/83YZ8SVN0W |
|---|---|
| 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.11336#EL6K (statement). In X1R1GDAJ0Y/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.3
83Z0VSDJ58 83Z0VSDJ58
| URI | m2://inv/83Z0VSDJ58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#FY3T (statement). In WRE0P7V6Z3/e1, lemma 9.3
History
- 2026-10-30: add by m2/v0.4.12
83Z7FCP5H8 83Z7FCP5H8
| URI | m2://inv/83Z7FCP5H8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#ZSDY (conjecture). In FDYZFDHZH9/e1, conjecture 1.4
History
- 2026-10-31: add by m2/v0.5.6
Convexity (finance) 83Z7M45TDW
| URI | m2://inv/83Z7M45TDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#GNFH, Convexity (finance) (unknown)
History
- 2026-11-02: add by m2/dev
83ZC966YD6 83ZC966YD6
| URI | m2://inv/83ZC966YD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#example-2 (example). In P1C114YBXG, example, section F
History
- 2026-11-01: add by m2/v0.6.13
83ZDT13Q70 83ZDT13Q70
| URI | m2://inv/83ZDT13Q70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#W9IX (statement). In 9704QPRPR6/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Policy learning under maintained coverage 83ZEE5ZRRQ
| URI | m2://inv/83ZEE5ZRRQ |
|---|---|
| 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.37380#0NH7, Policy learning under maintained coverage (statement). In 14Y4SA4SX0/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Koenigs function 83ZETTW2Q7
| URI | m2://inv/83ZETTW2Q7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koenigs function, Koenigs function (definition). Also Wikidata Q4493449
History
- 2026-11-02: add by m2/dev
parity 83ZGE9PWN5
| URI | m2://inv/83ZGE9PWN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q230967, parity (unknown). Also MathWorld Parity
- wikipedia: Wikipedia Parity (mathematics), Parity (definition). Also Wikidata Q230967
History
- 2026-10-26: add by m2/dev
Dependence trees and tree distributions 83ZHFCM4KZ
| URI | m2://inv/83ZHFCM4KZ |
|---|---|
| Kind | definition |
| 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.12544#TPEO, Dependence trees and tree distributions (definition). In XXV36V6CK8/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
reflect 83ZP11BPK2
| URI | m2://inv/83ZP11BPK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#3OLM, reflect (definition)
History
- 2026-11-02: add by m2/dev
Methods 83ZP1TND20
| URI | m2://inv/83ZP1TND20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative number theory#3IP4, Methods (definition)
History
- 2026-11-02: add by m2/dev
Linda Zhao 83ZXGQ1DDG
| URI | m2://inv/83ZXGQ1DDG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Zhao, Linda Zhao (topic). Also Wikidata Q96224234
History
- 2026-11-02: add by m2/dev
83ZXJM2SPE 83ZXJM2SPE
| URI | m2://inv/83ZXJM2SPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#WR49 (statement). In 8KKYZ4NKT2/e1, lemma 19
History
- 2026-10-27: add by m2/v0.4.2