Inventory rows AW
The cards of the rows of the inventory whose ids start with AW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Homological dimension AW0855N9Z6
| URI | m2://inv/AW0855N9Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological dimension, Homological dimension (definition). Also Wikidata Q5891412
History
- 2026-11-02: add by m2/dev
interval, open and closed AW0DHWA29W
| URI | m2://inv/AW0DHWA29W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/interval-open-and-closed, interval, open and closed (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Order-4 120-cell honeycomb AW0JTDNZGH
| URI | m2://inv/AW0JTDNZGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 120-cell honeycomb, Order-4 120-cell honeycomb (definition). Also Wikidata Q17077775
History
- 2026-11-02: add by m2/dev
AW0QA0PBFF AW0QA0PBFF
| URI | m2://inv/AW0QA0PBFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.2160#HYFH (statement). In 3HYJ46TKX9/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Statement AW0X57BE4P
| URI | m2://inv/AW0X57BE4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#6CRV, Statement (statement)
History
- 2026-11-02: add by m2/dev
Logarithmic contraction AW100ZQ5S8
| URI | m2://inv/AW100ZQ5S8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#FJ2N, Logarithmic contraction (statement). In DHQWFJW02X/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Schur polynomial AW19PCHQ66
| URI | m2://inv/AW19PCHQ66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#KYNA, Schur polynomial (definition)
History
- 2026-11-02: add by m2/dev
AW1CY26JAH AW1CY26JAH
| URI | m2://inv/AW1CY26JAH |
|---|---|
| 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 2208.05288#F2JK (statement). In RTW3GDYPND/e1, theorem 3.21
History
- 2026-10-27: add by m2/v0.4.0
Runcinated order-6 dodecahedral honeycomb AW1V1QAA4M
| URI | m2://inv/AW1V1QAA4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 dodecahedral honeycomb#WYZU, Runcinated order-6 dodecahedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
AW22SV5MT9 AW22SV5MT9
| URI | m2://inv/AW22SV5MT9 |
|---|---|
| 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.19861#VJHR (statement). In 5ZPQ60TM6J/e1, proposition 10
History
- 2026-10-28: add by m2/v0.4.2
Examples AW235SGTJ6
| URI | m2://inv/AW235SGTJ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (discrete mathematics)#R23V, Examples (example)
History
- 2026-11-02: add by m2/dev
Amplified numerator average AW26CA9F4V
| URI | m2://inv/AW26CA9F4V |
|---|---|
| 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.15291#FD0N, Amplified numerator average (statement). In YVS8268AG8/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples AW2AT7E2K1
| URI | m2://inv/AW2AT7E2K1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keith number#WFFG, Examples (example)
History
- 2026-11-02: add by m2/dev
AW2BW47J7P AW2BW47J7P
| URI | m2://inv/AW2BW47J7P |
|---|---|
| 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.29677#XPA5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Blagove\v{s}\v{c}enski\u{i} identities AW2ZBMPYC0
| URI | m2://inv/AW2ZBMPYC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-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.13629#N6FH, The Blagove\v{s}\v{c}enski\u{i} identities (statement). In PQNYA0C510/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Definition AW331JJCW9
| URI | m2://inv/AW331JJCW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic sum#JNZ5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Arnold Emch AW33VWY839
| URI | m2://inv/AW33VWY839 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Emch, Arnold Emch (topic). Also Wikidata Q18070700
History
- 2026-11-02: add by m2/dev
Algorithm AW3854WYSA
| URI | m2://inv/AW3854WYSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum singular value transformation#F4J3, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Example AW3CVT7QMZ
| URI | m2://inv/AW3CVT7QMZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spark (mathematics)#ZCZT, Example (example)
History
- 2026-11-02: add by m2/dev
Proof that a relation is symmetric AW3D4S17TY
| URI | m2://inv/AW3D4S17TY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#skeleton-2, Proof that a relation is symmetric (proof). In P1C114YBXG, skeleton, section H
History
- 2026-11-01: add by m2/v0.6.13
word AW3GF2FXD5
| URI | m2://inv/AW3GF2FXD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8171, word (definition). Also ProofWiki Definition:Word_(Natural_Language)
History
- 2026-10-26: add by m2/dev
AW4155M0P2 AW4155M0P2
| URI | m2://inv/AW4155M0P2 |
|---|---|
| Kind | statement |
| 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#GVQD (statement). In BDN507RN7J/e1, proposition 5.2.9
History
- 2026-10-30: add by m2/v0.4.12
linear combination AW41B4D2VT
| URI | m2://inv/AW41B4D2VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Linear combination 0JB3DP1BMF |
Mentions
- wikidata: Wikidata Q27628, linear combination (unknown). Also MathWorld LinearCombination, nLab linear combination
- wikipedia: Wikipedia Linear combination, Linear combination (definition). Also Wikidata Q27628
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
AW42T6VXPA AW42T6VXPA
| URI | m2://inv/AW42T6VXPA |
|---|---|
| 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#QTXE (statement). In 8AHWRHTP5G/e1, proposition 30
History
- 2026-10-30: add by m2/v0.4.12
AW48NMD5KV AW48NMD5KV
| URI | m2://inv/AW48NMD5KV |
|---|---|
| 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.22002#OBL2 (statement). In JTND2BM263/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
Incommensurable magnitudes AW4M2WMM79
| URI | m2://inv/AW4M2WMM79 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational number#UOIM, Incommensurable magnitudes (unknown)
History
- 2026-11-02: add by m2/dev
Definition AW4MV21AXM
| URI | m2://inv/AW4MV21AXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop group#ICSW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nesmith Ankeny AW4MW3T8T6
| URI | m2://inv/AW4MW3T8T6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nesmith Ankeny, Nesmith Ankeny (topic). Also Wikidata Q470495
History
- 2026-11-02: add by m2/dev
quaternary numeral system AW50FBQ8EA
| URI | m2://inv/AW50FBQ8EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q303727, quaternary numeral system (definition). Also ProofWiki Definition:Quaternary_Notation
- wikipedia: Wikipedia Quaternary numeral system, Quaternary numeral system (definition). Also Wikidata Q303727
History
- 2026-10-26: add by m2/dev
AW573FSXV3 AW573FSXV3
| URI | m2://inv/AW573FSXV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.21365#GKKG (statement). In FCMMB2EVAP/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.2
CSS-AEL lifting theorem for relative subspace designs AW59TVZ3WJ
| URI | m2://inv/AW59TVZ3WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#FPQ1, CSS-AEL lifting theorem for relative subspace designs (statement). In 7MVPNFPRKB/e1, theorem 12.8
History
- 2026-10-30: add by m2/v0.4.12
Polygon mesh AW5BJ8YQ3M
| URI | m2://inv/AW5BJ8YQ3M |
|---|---|
| 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#JP8J, Polygon mesh (unknown)
History
- 2026-11-02: add by m2/dev
Alicia Prieto Langarica AW5CTMF6DK
| URI | m2://inv/AW5CTMF6DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alicia Prieto Langarica, Alicia Prieto Langarica (topic). Also Wikidata Q102416459
History
- 2026-11-02: add by m2/dev
AW5D244P59 AW5D244P59
| URI | m2://inv/AW5D244P59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-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.01208#L3S5 (statement). In 317GZJ38HS/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
Robert Sorgenfrey AW5ME10EXC
| URI | m2://inv/AW5ME10EXC |
|---|---|
| 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 Q383976, Robert Sorgenfrey (unknown). Also ProofWiki Mathematician:Robert_Henry_Sorgenfrey
- wikipedia: Wikipedia Robert Sorgenfrey, Robert Sorgenfrey (topic). Also Wikidata Q383976
History
- 2026-10-26: add by m2/dev
A simple example AW5PD6740Y
| URI | m2://inv/AW5PD6740Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lotka–Volterra equations#79YV, A simple example (example)
History
- 2026-11-02: add by m2/dev
Schnorr signature AW5RJDG3JK
| URI | m2://inv/AW5RJDG3JK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnorr signature, Schnorr signature (definition). Also Wikidata Q1465057
History
- 2026-11-02: add by m2/dev
AW5T21W7F9 AW5T21W7F9
| URI | m2://inv/AW5T21W7F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#definition-3 (definition). In RZP28ERRZV, definition, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
Degenerations of Pascal's theorem AW5WJ64MCB
| URI | m2://inv/AW5WJ64MCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal's theorem#ZTU7, Degenerations of Pascal's theorem (statement)
History
- 2026-11-02: add by m2/dev
Stolz–Cesàro theorem AW5Z0DAAT7
| URI | m2://inv/AW5Z0DAAT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence tests#FRH6, Stolz–Cesàro theorem (statement)
History
- 2026-11-02: add by m2/dev
The exceptional branch is impossible AW63B18AFJ
| URI | m2://inv/AW63B18AFJ |
|---|---|
| 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#CWTI, The exceptional branch is impossible (statement). In Z7M2JSF6HA/e1, proposition 13.1
History
- 2026-10-31: add by m2/v0.5.6
Matui and Sato's $\mathcal Z$-stability theorem AW64A2C6AR
| URI | m2://inv/AW64A2C6AR |
|---|---|
| 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.09390#5758, Matui and Sato's $\mathcal Z$-stability theorem (statement). In 7SSKW778T8/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Application AW64QBFZED
| URI | m2://inv/AW64QBFZED |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hotelling's law#ZHQ9, Application (example)
History
- 2026-11-02: add by m2/dev
pushout AW6B40ECG8
| URI | m2://inv/AW6B40ECG8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.1/pushout, pushout (concept). In N54F33XE07, index, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Geopotential spherical harmonic model AW6DDYP9K2
| URI | m2://inv/AW6DDYP9K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geopotential spherical harmonic model, Geopotential spherical harmonic model (definition). Also Wikidata Q5535591
History
- 2026-11-02: add by m2/dev
AW6GM2A1JF AW6GM2A1JF
| URI | m2://inv/AW6GM2A1JF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-37 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Definition AW6KT4TFWV
| URI | m2://inv/AW6KT4TFWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn twist#2R9I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications AW6MNB3F8N
| URI | m2://inv/AW6MNB3F8N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic tomography#TD30, Applications (example)
History
- 2026-11-02: add by m2/dev
AW6NKM9PM3 AW6NKM9PM3
| URI | m2://inv/AW6NKM9PM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#01FT (statement). In RBQ5FNCVNZ/e1, corollary B.4
History
- 2026-10-30: add by m2/v0.4.12
Iban number AW6ZGRXVCY
| URI | m2://inv/AW6ZGRXVCY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336321, Iban number (object). Also MathWorld IbanNumber, OEIS A089589
History
- 2026-10-26: add by m2/dev
Local lower bound AW71VWM55P
| URI | m2://inv/AW71VWM55P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#SLPD, Local lower bound (statement). In P0HKF5DY7M/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
AW76JQEB5F AW76JQEB5F
| URI | m2://inv/AW76JQEB5F |
|---|---|
| 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.06108#JTV1 (statement). In D3WKY1PW64/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
integers AW77B88QS3
| URI | m2://inv/AW77B88QS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3L4Z, integers (definition)
History
- 2026-11-02: add by m2/dev
Central Statistical Office AW79DZQ0HE
| URI | m2://inv/AW79DZQ0HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central Statistical Office (United Kingdom), Central Statistical Office (definition). Also Wikidata Q5061866
History
- 2026-11-02: add by m2/dev
Thermal runaway AW7EH0QKM6
| URI | m2://inv/AW7EH0QKM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal runaway, Thermal runaway (definition). Also Wikidata Q908282
History
- 2026-11-02: add by m2/dev
AW7ETRV47Y AW7ETRV47Y
| URI | m2://inv/AW7ETRV47Y |
|---|---|
| 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 2610.02017#KHE2 (statement). In F6C80AEXC1/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.12
AW7F7AHNF5 AW7F7AHNF5
| URI | m2://inv/AW7F7AHNF5 |
|---|---|
| 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 2503.08018#ODML (statement). In TN93YFN45W/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.4.0
Faith M. Williams AW8K2K3Z3B
| URI | m2://inv/AW8K2K3Z3B |
|---|---|
| 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#YMDP, Faith M. Williams (unknown)
History
- 2026-11-02: add by m2/dev
AW8PHKSBT1 AW8PHKSBT1
| URI | m2://inv/AW8PHKSBT1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#OVUK (definition). In 4WPYBTARS2/e1, definition 3.11
History
- 2026-10-29: add by m2/v0.4.12
Poisson Point Processes AW8QST52YK
| URI | m2://inv/AW8QST52YK |
|---|---|
| Kind | example |
| 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.23994#CQM8, Poisson Point Processes (example)
History
- 2026-11-02: add by m2/v0.6.17
AW8X47PWQW AW8X47PWQW
| URI | m2://inv/AW8X47PWQW |
|---|---|
| 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.36818#ENDB (statement). In SK6AP2B9JH/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Further examples AW9HCQX3Y3
| URI | m2://inv/AW9HCQX3Y3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity#OXAY, Further examples (example)
History
- 2026-11-02: add by m2/dev
AW9QBMZXJW AW9QBMZXJW
| URI | m2://inv/AW9QBMZXJW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-38 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
AW9QPWHWE3 AW9QPWHWE3
| URI | m2://inv/AW9QPWHWE3 |
|---|---|
| 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.12908#BFXI (statement). In TNC658NVMQ/e1, theorem 7.10
History
- 2026-10-28: add by m2/v0.4.2
AW9V45DX1X AW9V45DX1X
| URI | m2://inv/AW9V45DX1X |
|---|---|
| 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 2609.27125#CL7K (statement)
History
- 2026-11-01: add by m2/v0.6.15
AWA2VXG8NJ AWA2VXG8NJ
| URI | m2://inv/AWA2VXG8NJ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#T0Y6 (unknown). In R2XC1SC9NZ/e1, unknown 33
History
- 2026-10-27: add by m2/v0.3.5
Transference AWA43VY2Q9
| URI | m2://inv/AWA43VY2Q9 |
|---|---|
| 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.14616#SWPA, Transference (statement). In 17ACAG0N9C/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
AWA7VEZMY0 AWA7VEZMY0
| URI | m2://inv/AWA7VEZMY0 |
|---|---|
| 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 2610.18483#RNWB (statement). In FF4HDVF1DC/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Bruguières modularity theorem AWAAC4EDM4
| URI | m2://inv/AWAAC4EDM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruguières modularity theorem, Bruguières modularity theorem (statement). Also Wikidata Q133284157
History
- 2026-11-02: add by m2/dev
Theorem AWAC3NC984
| URI | m2://inv/AWAC3NC984 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#AB4A, Theorem (statement)
History
- 2026-11-02: add by m2/dev
minimal AWAE9KY10B
| URI | m2://inv/AWAE9KY10B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#DP2V, minimal (definition)
History
- 2026-11-02: add by m2/dev
AWAFMKG0CR AWAFMKG0CR
| URI | m2://inv/AWAFMKG0CR |
|---|---|
| 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.39531#RF2P (statement). In SN9RSTHQ07/e1, theorem C.4
History
- 2026-10-30: add by m2/v0.4.12
Applications AWAK7VP8TP
| URI | m2://inv/AWAK7VP8TP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#EWTG, Applications (example)
History
- 2026-11-02: add by m2/dev
AWAM2CRW51 AWAM2CRW51
| URI | m2://inv/AWAM2CRW51 |
|---|---|
| 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#XP0E (statement). In 8BNPFYQDQX/e1, proposition 12.1
History
- 2026-10-29: add by m2/v0.4.10
AWAMQTM30K AWAMQTM30K
| URI | m2://inv/AWAMQTM30K |
|---|---|
| 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.29449#MBPP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Plebanski tensor AWAPC6XQ4E
| URI | m2://inv/AWAPC6XQ4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plebanski tensor, Plebanski tensor (definition). Also Wikidata Q7204333
History
- 2026-11-02: add by m2/dev
AWAW1Q8BPZ AWAW1Q8BPZ
| URI | m2://inv/AWAW1Q8BPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#IUGT (statement). In VNN52G3BRE/e1, corollary 8.3
History
- 2026-10-28: add by m2/v0.4.2
Properties AWAX7H3A2C
| URI | m2://inv/AWAX7H3A2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection (mathematics)#QP4U, Properties (statement)
History
- 2026-11-02: add by m2/dev
The single-field constant AWAYDZQF6V
| URI | m2://inv/AWAYDZQF6V |
|---|---|
| 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.19356#NB6T, The single-field constant (statement). In 2B5QA28NCX/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
AWB1FQHWKY AWB1FQHWKY
| URI | m2://inv/AWB1FQHWKY |
|---|---|
| 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.03341#25QV (statement). In 3G1H5ASBVE/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.12
Yoshua Bengio AWBBC1BM1A
| URI | m2://inv/AWBBC1BM1A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V4OH, Yoshua Bengio (unknown)
History
- 2026-11-02: add by m2/dev
Determinantal capacity AWBC4AXDJF
| URI | m2://inv/AWBC4AXDJF |
|---|---|
| Kind | definition |
| 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.24078#NFDC, Determinantal capacity (definition)
History
- 2026-11-02: add by m2/v0.6.17
Weak quasi-factorisation AWBFQHE86V
| URI | m2://inv/AWBFQHE86V |
|---|---|
| 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.03683#VX2L, Weak quasi-factorisation (statement). In 14AMXF6X2V/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Examples AWBNWRBS3Z
| URI | m2://inv/AWBNWRBS3Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic portfolio theory#RE32, Examples (example)
History
- 2026-11-02: add by m2/dev
AWBRGZX73T AWBRGZX73T
| URI | m2://inv/AWBRGZX73T |
|---|---|
| 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 2510.12502#QUHM (statement). In 3A4K47Y9F2/e1, lemma 5.23
History
- 2026-10-27: add by m2/v0.4.0
AWBX72NJ1E AWBX72NJ1E
| URI | m2://inv/AWBX72NJ1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#QSN9 (statement). In FAJ10EJMYE/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
AWBXE5MFPQ AWBXE5MFPQ
| URI | m2://inv/AWBXE5MFPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2609.25168#NBMF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Self-selection bias AWC1M9KE3A
| URI | m2://inv/AWC1M9KE3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-selection bias, Self-selection bias (definition). Also Wikidata Q1658456
History
- 2026-11-02: add by m2/dev
AWC4B9XNG4 AWC4B9XNG4
| URI | m2://inv/AWC4B9XNG4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Uzawa iteration AWC6VMSG4W
| URI | m2://inv/AWC6VMSG4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uzawa iteration, Uzawa iteration (definition). Also Wikidata Q17144437
History
- 2026-11-02: add by m2/dev
AWCFF5108M AWCFF5108M
| URI | m2://inv/AWCFF5108M |
|---|---|
| Kind | example |
| 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.27056#OY2O (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition AWCRSYCNTD
| URI | m2://inv/AWCRSYCNTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autologistic actor attribute models#9WKN, Definition (definition)
History
- 2026-11-02: add by m2/dev
AWCYQXTSNN AWCYQXTSNN
| URI | m2://inv/AWCYQXTSNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
Kuratowski's theorem AWD2SGTBGG
| URI | m2://inv/AWD2SGTBGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#V4VD, Kuratowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
MathCounts Chapter Target Round AWDC7BWYZV
| URI | m2://inv/AWDC7BWYZV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#exercise-2, MathCounts Chapter Target Round (exercise). In RZP28ERRZV, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
AWDCBZ67W9 AWDCBZ67W9
| URI | m2://inv/AWDCBZ67W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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 2609.20567#935U (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition AWDDM8VNAR
| URI | m2://inv/AWDDM8VNAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate tangent space#K8Q1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Coupled reduction-error certificate (CoRE AWDN0KM49F
| URI | m2://inv/AWDN0KM49F |
|---|---|
| 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.19250#ANOA, Coupled reduction-error certificate (CoRE (statement). In FRJPR9GBCH/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Mutilated chessboard problem AWDVHDSBXJ
| URI | m2://inv/AWDVHDSBXJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles#WZWK, Mutilated chessboard problem (problem)
History
- 2026-11-02: add by m2/dev
Key theorems AWE3ZAMC83
| URI | m2://inv/AWE3ZAMC83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian ring#08EA, Key theorems (statement)
History
- 2026-11-02: add by m2/dev
Examples AWE5PZ1RZA
| URI | m2://inv/AWE5PZ1RZA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic function#Z96D, Examples (example)
History
- 2026-11-02: add by m2/dev
AWE81580BZ AWE81580BZ
| URI | m2://inv/AWE81580BZ |
|---|---|
| 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.26162#2BOL (statement)
History
- 2026-11-01: add by m2/v0.6.15
AWEBBSXP17 AWEBBSXP17
| URI | m2://inv/AWEBBSXP17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26452#M5C5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eduard Stiefel AWESJC29A9
| URI | m2://inv/AWESJC29A9 |
|---|---|
| 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#6NRE, Eduard Stiefel (topic)
History
- 2026-11-02: add by m2/dev
No periodic subset of a level set AWESXZ9SFR
| URI | m2://inv/AWESXZ9SFR |
|---|---|
| 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.00099#7KEW, No periodic subset of a level set (statement). In NNBY2AEHP4/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Kōmura's theorem AWF22QX4S3
| URI | m2://inv/AWF22QX4S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6455211, Kōmura's theorem (statement). Also Wikidata Q6455211
- thousand_plus: thousand_plus Q6455211, Kōmura's theorem (statement). Also Wikidata Q6455211, Wikipedia Kōmura's theorem
- wikipedia: Wikipedia Kōmura's theorem, Kōmura's theorem (statement). Also Wikidata Q6455211
History
- 2026-10-26: add by m2/dev
D. Ransom Whitney AWF9K1DEPC
| URI | m2://inv/AWF9K1DEPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D. Ransom Whitney, D. Ransom Whitney (topic). Also Wikidata Q24284331
History
- 2026-11-02: add by m2/dev
Applications AWF9P9KJGS
| URI | m2://inv/AWF9P9KJGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial remainder theorem#PR6W, Applications (example)
History
- 2026-11-02: add by m2/dev
AWFCXE57M3 AWFCXE57M3
| URI | m2://inv/AWFCXE57M3 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Jacob Cohen AWFE3FJ9G0
| URI | m2://inv/AWFE3FJ9G0 |
|---|---|
| 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#9GRM, Jacob Cohen (topic)
History
- 2026-11-02: add by m2/dev
Definition AWFEYE9D98
| URI | m2://inv/AWFEYE9D98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-dimensional space#99M3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Transfer of an admissible certificate AWFM8VD52G
| URI | m2://inv/AWFM8VD52G |
|---|---|
| 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#MC2V, Transfer of an admissible certificate (statement). In JY6RYSNXMJ/e1, theorem E.1
History
- 2026-10-29: add by m2/v0.4.10
Lemma AWFNTHTSXE
| URI | m2://inv/AWFNTHTSXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow variety#IQC2, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Generalization AWFSSK03JB
| URI | m2://inv/AWFSSK03JB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Williams's p + 1 algorithm#EOKN, Generalization (statement)
History
- 2026-11-02: add by m2/dev
AWFXZ23450 AWFXZ23450
| URI | m2://inv/AWFXZ23450 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.39615#STL8 (statement). In RNXRAZYR3S/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
uranium AWFYN1K7T5
| URI | m2://inv/AWFYN1K7T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1098, uranium (definition). Also ProofWiki Definition:Uranium
History
- 2026-10-26: add by m2/dev
AWG0VH2TDF AWG0VH2TDF
| URI | m2://inv/AWG0VH2TDF |
|---|---|
| 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 2610.13180#DCG6 (statement). In 7TSVFYEGD8/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Terence Tao AWG1XBCH0Z
| URI | m2://inv/AWG1XBCH0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#114R, Terence Tao (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DPEK, Terence Tao (topic)
History
- 2026-11-02: add by m2/dev
AWG2BET8AR AWG2BET8AR
| URI | m2://inv/AWG2BET8AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#62M9 (statement). In TJH58FRGEN/e1, lemma 5.15
History
- 2026-10-29: add by m2/v0.4.12
Vladimir Uspensky AWG6BTKKAB
| URI | m2://inv/AWG6BTKKAB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#RRW8, Vladimir Uspensky (unknown)
History
- 2026-11-02: add by m2/dev
Mironenko reflecting function AWGAEMDR7N
| URI | m2://inv/AWGAEMDR7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mironenko reflecting function, Mironenko reflecting function (definition). Also Wikidata Q3918989
History
- 2026-11-02: add by m2/dev
Bloch's theorem AWGFZ38ERF
| URI | m2://inv/AWGFZ38ERF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's theorem#A23A, Bloch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Method AWGH2Y557Z
| URI | m2://inv/AWGH2Y557Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancient Egyptian multiplication#VGY8, Method (definition)
History
- 2026-11-02: add by m2/dev
AWGK9BMA28 AWGK9BMA28
| URI | m2://inv/AWGK9BMA28 |
|---|---|
| Kind | example |
| 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.39905#6L9A (example). In D4B23ER9QD/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Ax–Kochen theorem AWH7FWBAM3
| URI | m2://inv/AWH7FWBAM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#27YS, Ax–Kochen theorem (statement)
History
- 2026-11-02: add by m2/dev
Secondary vector bundle structure AWHAVATCZ2
| URI | m2://inv/AWHAVATCZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secondary vector bundle structure, Secondary vector bundle structure (definition). Also Wikidata Q7443885
History
- 2026-11-02: add by m2/dev
sublime number AWHEK0KYS0
| URI | m2://inv/AWHEK0KYS0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q890987, sublime number (unknown). Also MathWorld SublimeNumber, OEIS A081357
- wikipedia: Wikipedia Sublime number, Sublime number (object). Also Wikidata Q890987
History
- 2026-10-26: add by m2/dev
Sensitivity and specificity AWHKAXAAWJ
| URI | m2://inv/AWHKAXAAWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YIT1, Sensitivity and specificity (definition)
History
- 2026-11-02: add by m2/dev
Snake-in-the-box AWHNNN08ZH
| URI | m2://inv/AWHNNN08ZH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#IC5L, Snake-in-the-box (conjecture)
History
- 2026-11-02: add by m2/dev
Nicholas D. Kazarinoff AWJ24D5VN4
| URI | m2://inv/AWJ24D5VN4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas D. Kazarinoff, Nicholas D. Kazarinoff (topic). Also Wikidata Q94918818
History
- 2026-11-02: add by m2/dev
Least-angle regression AWJE1RFFNB
| URI | m2://inv/AWJE1RFFNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EJIW, Least-angle regression (definition)
History
- 2026-11-02: add by m2/dev
AWJGEEZF4V AWJGEEZF4V
| URI | m2://inv/AWJGEEZF4V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#D9G6 (definition). In 5ZPSZFE08Q/e1, definition 3.10
History
- 2026-10-29: add by m2/v0.4.10
AWJM4B64BY AWJM4B64BY
| URI | m2://inv/AWJM4B64BY |
|---|---|
| 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.25367#C9G6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
AWJN81RWHN AWJN81RWHN
| URI | m2://inv/AWJN81RWHN |
|---|---|
| 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.18312#P8YP (statement). In NPEVE32HFP/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
AWJQB6EA4A AWJQB6EA4A
| URI | m2://inv/AWJQB6EA4A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#9WU0 (definition). In 8Z47D12KSX/e1, definition 4.9
History
- 2026-10-29: add by m2/v0.4.10
Subfield AWJWA6MHRA
| URI | m2://inv/AWJWA6MHRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#O4NP, Subfield (definition)
History
- 2026-11-02: add by m2/dev
Data Desk AWK47M0DHK
| URI | m2://inv/AWK47M0DHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ON4G, Data Desk (definition)
History
- 2026-11-02: add by m2/dev
Ronald N. Bracewell AWKBV2K779
| URI | m2://inv/AWKBV2K779 |
|---|---|
| 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 Q3441496, Ronald N. Bracewell (unknown). Also ProofWiki Mathematician:Ronald_Newbold_Bracewell
History
- 2026-10-26: add by m2/dev
Extreme learning machine AWKDX52S6K
| URI | m2://inv/AWKDX52S6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme learning machine, Extreme learning machine (definition). Also Wikidata Q21948731
History
- 2026-11-02: add by m2/dev
AWKGPTVEXJ AWKGPTVEXJ
| URI | m2://inv/AWKGPTVEXJ |
|---|---|
| Kind | statement |
| 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#X1FG (statement). In 6KR7Z5ETRY/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Applications AWKH5WJZVQ
| URI | m2://inv/AWKH5WJZVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fox derivative#PCHZ, Applications (example)
History
- 2026-11-02: add by m2/dev
stationary vector AWKHMRGSX2
| URI | m2://inv/AWKHMRGSX2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.5.3/stationary-vector, stationary vector (concept). In 649HGZKE96, index, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
AWKJXKR6EP AWKJXKR6EP
| URI | m2://inv/AWKJXKR6EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#PU49 (statement)
History
- 2026-11-01: add by m2/v0.6.15
753 (number) AWKW63C7HW
| URI | m2://inv/AWKW63C7HW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#XOWD, 753 (number) (unknown)
History
- 2026-11-02: add by m2/dev
AWM0YJQ710 AWM0YJQ710
| URI | m2://inv/AWM0YJQ710 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16562#M33N (statement). In 7QGPEBC70Y/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
AWM3V1W12E AWM3V1W12E
| URI | m2://inv/AWM3V1W12E |
|---|---|
| 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 2609.27518#VJ9S (statement)
History
- 2026-11-01: add by m2/v0.6.15
improper subset AWM6XEHDAM
| URI | m2://inv/AWM6XEHDAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141201437, improper subset (unknown). Also MathWorld ImproperSubset
History
- 2026-10-26: add by m2/dev
Algebraic property AWMEZECE6T
| URI | m2://inv/AWMEZECE6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-rank operator#3HPW, Algebraic property (statement)
History
- 2026-11-02: add by m2/dev
AWMFDGXT0S AWMFDGXT0S
| URI | m2://inv/AWMFDGXT0S |
|---|---|
| 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 2603.26376#5U3G (statement). In PJAT9YDX7Y/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.4.0
kurtosis AWMGA65MGY
| URI | m2://inv/AWMGA65MGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Kurtosis 0FGAJSPX8E |
Mentions
- wikidata: Wikidata Q287251, kurtosis (unknown). Also MathWorld Kurtosis
- wikipedia: Wikipedia Kurtosis, Kurtosis (definition). Also Wikidata Q287251
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Wolfe conditions AWMGPRY4CS
| URI | m2://inv/AWMGPRY4CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfe conditions, Wolfe conditions (definition). Also Wikidata Q3002999
History
- 2026-11-02: add by m2/dev
AWMMV0V4RG AWMMV0V4RG
| URI | m2://inv/AWMMV0V4RG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.01346#KV85 (definition). In 44DQ7W1NW9/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.12
Compactness of subgradients AWMNFNB4WC
| URI | m2://inv/AWMNFNB4WC |
|---|---|
| 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.17519#I135, Compactness of subgradients (statement). In H2DNTQ5MKV/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
Harry Reuter AWMTXS6TVW
| URI | m2://inv/AWMTXS6TVW |
|---|---|
| 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 Q1586720, Harry Reuter (unknown). Also ProofWiki Proof:Gerd_Edzard_Harry_Reuter
History
- 2026-10-26: add by m2/dev
Structure group (Jordan algebra) AWMVVE3WPR
| URI | m2://inv/AWMVVE3WPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#3J7U, Structure group (Jordan algebra) (unknown)
History
- 2026-11-02: add by m2/dev
AWMYT63GFT AWMYT63GFT
| URI | m2://inv/AWMYT63GFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#definition-3 (definition). In RZP28ERRZV, definition, section 37.6
History
- 2026-11-01: add by m2/v0.6.13
AWN1ZGCB66 AWN1ZGCB66
| URI | m2://inv/AWN1ZGCB66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#Z90K (statement). In XHSKEPT3VD/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
AWN4NV3X3J AWN4NV3X3J
| URI | m2://inv/AWN4NV3X3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25739#32MA (statement)
History
- 2026-11-01: add by m2/v0.6.15
AWN6ZCNM5B AWN6ZCNM5B
| URI | m2://inv/AWN6ZCNM5B |
|---|---|
| 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 2608.24190#P2CW (statement). In DW7FVA587C/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
local sphere AWNE76JAXS
| URI | m2://inv/AWNE76JAXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#DAV2, local sphere (definition)
History
- 2026-11-02: add by m2/dev
Further examples AWNH0CM5ZV
| URI | m2://inv/AWNH0CM5ZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curl (mathematics)#479B, Further examples (example)
History
- 2026-11-02: add by m2/dev
Haridatta AWNJYJ74TX
| URI | m2://inv/AWNJYJ74TX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haridatta, Haridatta (topic). Also Wikidata Q5657354
History
- 2026-11-02: add by m2/dev
First vector identity AWP1JPB99P
| URI | m2://inv/AWP1JPB99P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's identities#AGQT, First vector identity (statement)
History
- 2026-11-02: add by m2/dev
AWP1N3NWRW AWP1N3NWRW
| URI | m2://inv/AWP1N3NWRW |
|---|---|
| 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.32977#9RMJ (statement). In 4KT9TK3MG4/e1, lemma D.9
History
- 2026-10-31: add by m2/v0.5.6
Sect. 7.5 AWP6Q7E3YB
| URI | m2://inv/AWP6Q7E3YB |
|---|---|
| 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.27151#83F0, Sect. 7.5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties AWPEHR6Q87
| URI | m2://inv/AWPEHR6Q87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric graph#ZN9D, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples AWPMRMYNHN
| URI | m2://inv/AWPMRMYNHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic module#SIBG, Examples (example)
History
- 2026-11-02: add by m2/dev
Min-max optimization AWPPFKEG0G
| URI | m2://inv/AWPPFKEG0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max optimization, Min-max optimization (definition). Also Wikidata Q140246736
History
- 2026-11-02: add by m2/dev
multiplicative partition AWPQ3X3W15
| URI | m2://inv/AWPQ3X3W15 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6935002, multiplicative partition (concept). Also MathWorld UnorderedFactorization
- wikipedia: Wikipedia Multiplicative partition, Multiplicative partition (definition). Also Wikidata Q6935002
History
- 2026-10-26: add by m2/dev
Physical optics AWPQAE7PY9
| URI | m2://inv/AWPQAE7PY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical optics, Physical optics (topic). Also Wikidata Q942347
History
- 2026-11-02: add by m2/dev
group scheme AWPYQ27JP7
| URI | m2://inv/AWPYQ27JP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#14TF, group scheme (definition)
History
- 2026-11-02: add by m2/dev
Projected dynamics define a Markov chain AWQ09CHQTM
| URI | m2://inv/AWQ09CHQTM |
|---|---|
| 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#TGTO, Projected dynamics define a Markov chain (statement). In EG1XXNSTXX/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
if and only if (iff) AWQ2HBT80M
| URI | m2://inv/AWQ2HBT80M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#0NFA, if and only if (iff) (definition)
History
- 2026-11-02: add by m2/dev
AWQ356SXJS AWQ356SXJS
| URI | m2://inv/AWQ356SXJS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.08210#V5GI (definition). In D4VDVX74FT/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
AWQ3FPR5VX AWQ3FPR5VX
| URI | m2://inv/AWQ3FPR5VX |
|---|---|
| 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.12357#ZP3C (example). In 1F26AF81XP/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.2
Value convergence under arbitrary evaluation distributions AWQ668YD4N
| URI | m2://inv/AWQ668YD4N |
|---|---|
| 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.39837#4HCV, Value convergence under arbitrary evaluation distributions (statement). In MDQXTBEK0F/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
AWQ8E2QHB5 AWQ8E2QHB5
| URI | m2://inv/AWQ8E2QHB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21703#HZH1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
AWQSBN7BPQ AWQSBN7BPQ
| URI | m2://inv/AWQSBN7BPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.09678#2GLE (statement). In 9VG7PNZHZT/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Littlewood--Paley AWQSZECAHP
| URI | m2://inv/AWQSZECAHP |
|---|---|
| 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.15472#WK8I, Littlewood--Paley (statement). In 5Z3FH46YSY/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
AWQW95KK68 AWQW95KK68
| URI | m2://inv/AWQW95KK68 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22769#7OSA (definition)
History
- 2026-11-02: add by m2/v0.6.17
Alan Turing: The Enigma AWR6YVVMKF
| URI | m2://inv/AWR6YVVMKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#66XA, Alan Turing: The Enigma (unknown)
History
- 2026-11-02: add by m2/dev
\bf Function-value approximation AWRKPEKHR8
| URI | m2://inv/AWRKPEKHR8 |
|---|---|
| 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.16295#UQXL, \bf Function-value approximation (statement). In J1SKCVMNCB/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Applications AWRKW3EAXF
| URI | m2://inv/AWRKW3EAXF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wess–Zumino–Witten model#U0MM, Applications (example)
History
- 2026-11-02: add by m2/dev
Dimension formula AWRMPX4C45
| URI | m2://inv/AWRMPX4C45 |
|---|---|
| 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.17240#6Z4L, Dimension formula (statement). In 59BZ4V9RQW/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Examples AWS2FNP1GS
| URI | m2://inv/AWS2FNP1GS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amalgamation property#9CHE, Examples (example)
History
- 2026-11-02: add by m2/dev
List of mathematical puzzles AWS5GTDQPZ
| URI | m2://inv/AWS5GTDQPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical puzzle#L1W4, List of mathematical puzzles (unknown)
History
- 2026-11-02: add by m2/dev
Cubitruncated cuboctahedron AWS6323RDQ
| URI | m2://inv/AWS6323RDQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#E0XH, Cubitruncated cuboctahedron (object)
History
- 2026-11-02: add by m2/dev
AWS8352NGG AWS8352NGG
| URI | m2://inv/AWS8352NGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23559#3O91 (statement)
History
- 2026-11-02: add by m2/v0.6.17
AWSKFKDT8N AWSKFKDT8N
| URI | m2://inv/AWSKFKDT8N |
|---|---|
| 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 2610.13180#6QN6 (statement). In 7TSVFYEGD8/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
perfect field AWSNVR97NN
| URI | m2://inv/AWSNVR97NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Perfect field VWBVKT794W |
Mentions
- wikidata: Wikidata Q2997817, perfect field (definition). Also EoM Perfect_field, MathWorld PerfectField, nLab perfect field, ProofWiki Definition:Perfect_Field
- wikipedia: Wikipedia Perfect field, Perfect field (definition). Also Wikidata Q2997817
History
- 2026-10-26: add by m2/dev
Unirational variety AWSTE572Q3
| URI | m2://inv/AWSTE572Q3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational variety#BNSV, Unirational variety (unknown)
History
- 2026-11-02: add by m2/dev
AWSV3THXMS AWSV3THXMS
| URI | m2://inv/AWSV3THXMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21724#8PKS (statement). In EDDJCSBMXN/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.2
differential graded category AWSV650PB5
| URI | m2://inv/AWSV650PB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#RY01, differential graded category (definition)
History
- 2026-11-02: add by m2/dev
Cantor's theorem AWT3AZKW10
| URI | m2://inv/AWT3AZKW10 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.4/cantor-s-theorem, Cantor's theorem (concept). In E59CDZA4DP, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Sparse moment witness AWT7MHPKJN
| URI | m2://inv/AWT7MHPKJN |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31782#ADWP, Sparse moment witness (unknown). In YAYP5VZ94H/e1, unknown 2.3
History
- 2026-10-31: add by m2/v0.5.6
AWT941PA4A AWT941PA4A
| URI | m2://inv/AWT941PA4A |
|---|---|
| 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.08382#QAOZ (statement). In GYMGDQS25R/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Properties AWTA2NPQQ5
| URI | m2://inv/AWTA2NPQQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prewellordering#LA8G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Coupling input at \texorpdfstring{\(q=11\Deg/6\)}{q=11Delta/6 AWTBV2M533
| URI | m2://inv/AWTBV2M533 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#113T, Coupling input at \texorpdfstring{\(q=11\Deg/6\)}{q=11Delta/6 (statement). In 5XPM4E03W6/e1, corollary 4.13
History
- 2026-10-28: add by m2/v0.4.2
Bessel process AWTCB9DG22
| URI | m2://inv/AWTCB9DG22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel process, Bessel process (definition). Also Wikidata Q4896405
History
- 2026-11-02: add by m2/dev
multiplication AWTCBYGQAF
| URI | m2://inv/AWTCBYGQAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q40276, multiplication (definition). Also EoM Multiplication, MathWorld Multiplication, ProofWiki Definition:Multiplication
- wikipedia: Wikipedia Multiplication, Multiplication (definition). Also Wikidata Q40276
History
- 2026-10-26: add by m2/dev
Hart circle AWTJ9W8AMR
| URI | m2://inv/AWTJ9W8AMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111913746, Hart circle (statement). Also MathWorld HartCircle
- wikipedia: Wikipedia Hart circle, Hart circle (definition). Also Wikidata Q111913746
History
- 2026-10-26: add by m2/dev
AWTJQ7C693 AWTJQ7C693
| URI | m2://inv/AWTJQ7C693 |
|---|---|
| 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.10968#NBWI (statement). In KJRV9ZW833/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
Asymptote AWTMR1ED36
| URI | m2://inv/AWTMR1ED36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#1S2I, Asymptote (definition)
History
- 2026-11-02: add by m2/dev
AWV0AS138Q AWV0AS138Q
| URI | m2://inv/AWV0AS138Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05767#PZN0 (statement). In BG6MTYCXWS/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Logistic differential equation AWV423YVXV
| URI | m2://inv/AWV423YVXV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic function#AKLQ, Logistic differential equation (unknown)
History
- 2026-11-02: add by m2/dev
Theorem AWV73B2KK3
| URI | m2://inv/AWV73B2KK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor's intersection theorem#SSD5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Example AWVC9S68K7
| URI | m2://inv/AWVC9S68K7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crystallographic restriction theorem#S0YU, Example (example)
History
- 2026-11-02: add by m2/dev
AWVD33V440 AWVD33V440
| URI | m2://inv/AWVD33V440 |
|---|---|
| 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.30892#PWUB (statement). In F7C1RM5VA4/e1, proposition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Definition AWVDB991NF
| URI | m2://inv/AWVDB991NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double pushout graph rewriting#D524, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples AWVJTBT8TN
| URI | m2://inv/AWVJTBT8TN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of calculus#C7JF, Examples (example)
History
- 2026-11-02: add by m2/dev
AWVK22W9JS AWVK22W9JS
| URI | m2://inv/AWVK22W9JS |
|---|---|
| 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.14318#E2VU (statement). In HA4SZZJ831/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Chris Doran AWVNB1BP5Q
| URI | m2://inv/AWVNB1BP5Q |
|---|---|
| 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 Q5106976, Chris Doran (unknown). Also nLab Chris Doran
History
- 2026-10-26: add by m2/dev
Applications AWVPS704Z6
| URI | m2://inv/AWVPS704Z6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Kuranishi prolongation theorem#M9T3, Applications (example)
History
- 2026-11-02: add by m2/dev
AWVQWZVJRG AWVQWZVJRG
| URI | m2://inv/AWVQWZVJRG |
|---|---|
| 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.32338#FXU9 (statement). In HVY45JQRNK/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Definition AWVSMY2FJ1
| URI | m2://inv/AWVSMY2FJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voltage graph#0M5J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example AWVYCTT7K6
| URI | m2://inv/AWVYCTT7K6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riordan array#20IZ, Example (example)
History
- 2026-11-02: add by m2/dev
Median voter theorem AWW0A0GA2M
| URI | m2://inv/AWW0A0GA2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median voter theorem, Median voter theorem (statement). Also Wikidata Q648511
History
- 2026-11-02: add by m2/dev
Quantum entropic uncertainty principle AWW0WYMZ96
| URI | m2://inv/AWW0WYMZ96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty principle#OX4H, Quantum entropic uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
Adjacency algebra AWW113DDXF
| URI | m2://inv/AWW113DDXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjacency algebra, Adjacency algebra (definition). Also Wikidata Q4683138
History
- 2026-11-02: add by m2/dev
Properties AWW98JV1JF
| URI | m2://inv/AWW98JV1JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternative algebra#66E1, Properties (statement)
History
- 2026-11-02: add by m2/dev
reduced residue system AWWMCWBCZE
| URI | m2://inv/AWWMCWBCZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Reduced residue system 0HV01NH20W |
Mentions
- wikidata: Wikidata Q1246629, reduced residue system (unknown). Also MathWorld ReducedResidueSystem
- wikipedia: Wikipedia Reduced residue system, Reduced residue system (definition). Also Wikidata Q1246629
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Fuzzy relation equation AWWNB3QBXM
| URI | m2://inv/AWWNB3QBXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy set#EMJM, Fuzzy relation equation (unknown)
History
- 2026-11-02: add by m2/dev
Felix Bernstein AWWSDBQMT1
| URI | m2://inv/AWWSDBQMT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Bernstein (mathematician), Felix Bernstein (topic). Also Wikidata Q77523
History
- 2026-11-02: add by m2/dev
Theodor Kaluza AWX0W331YN
| URI | m2://inv/AWX0W331YN |
|---|---|
| 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 Q65346, Theodor Kaluza (unknown). Also nLab Theodor Kaluza
- wikipedia: Wikipedia Theodor Kaluza, Theodor Kaluza (topic). Also Wikidata Q65346
History
- 2026-10-26: add by m2/dev
Statistical alchemy AWX4A1WA1Q
| URI | m2://inv/AWX4A1WA1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical alchemy, Statistical alchemy (topic). Also Wikidata Q25112431
History
- 2026-11-02: add by m2/dev
duality AWX9DSX4D0
| URI | m2://inv/AWX9DSX4D0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1755512, duality (concept). Also nLab duality
- wikipedia: Wikipedia Duality (mathematics), Duality (definition). Also Wikidata Q1755512
History
- 2026-10-26: add by m2/dev
$C$-global spectra AWXA4XPPPP
| URI | m2://inv/AWXA4XPPPP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#48F9, $C$-global spectra (definition). In TB1294GY5X/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.4.2
Shallow representation and approximation lower bounds, quantitative AWXBKT93XS
| URI | m2://inv/AWXBKT93XS |
|---|---|
| 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#AETA, Shallow representation and approximation lower bounds, quantitative (statement). In N91F15MHW1/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.3
Properties AWXCBZJE3V
| URI | m2://inv/AWXCBZJE3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocountable topology#ADWW, Properties (statement)
History
- 2026-11-02: add by m2/dev
AWXCM538WM AWXCM538WM
| URI | m2://inv/AWXCM538WM |
|---|---|
| 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.01467#I92H (statement). In 10GZB25WAC/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
AWXCRR7B9N AWXCRR7B9N
| URI | m2://inv/AWXCRR7B9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#ANDE (statement). In DAMYG8BFAK/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Example AWXDFNBVPQ
| URI | m2://inv/AWXDFNBVPQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation#U4P3, Example (example)
History
- 2026-11-02: add by m2/dev
Menger's theorem AWXF368FHR
| URI | m2://inv/AWXF368FHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connectivity (graph theory)#F7U4, Menger's theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples AWXFW6T850
| URI | m2://inv/AWXFW6T850 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardness of approximation#0PUI, Examples (example)
History
- 2026-11-02: add by m2/dev
Newton's identity AWXY1EZTM5
| URI | m2://inv/AWXY1EZTM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#TMPE, Newton's identity (definition)
History
- 2026-11-02: add by m2/dev
AWY5XTAD5E AWY5XTAD5E
| URI | m2://inv/AWY5XTAD5E |
|---|---|
| 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 2604.05177#2B7E (statement). In G04BKQV6YM/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
AWY90MGQAA AWY90MGQAA
| URI | m2://inv/AWY90MGQAA |
|---|---|
| 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.17817#IYXB (statement). In M8TSJ24RC2/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
Heinrich Schotten AWYG8ZV1KN
| URI | m2://inv/AWYG8ZV1KN |
|---|---|
| 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#U7UV, Heinrich Schotten (topic)
History
- 2026-11-02: add by m2/dev
Spinᶜ structure AWYKNQ7M9A
| URI | m2://inv/AWYKNQ7M9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28051912, Spinᶜ structure (unknown). Also nLab spin^c structure
- wikipedia: Wikipedia Spinc structure, Spinc structure (definition). Also Wikidata Q28051912
History
- 2026-10-26: add by m2/dev
Infinite-dimensional projective unitary representations: Bargmann's theorem AWYPVP32RQ
| URI | m2://inv/AWYPVP32RQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective representation#CIG9, Infinite-dimensional projective unitary representations: Bargmann's theorem (statement)
History
- 2026-11-02: add by m2/dev
Block cipher AWYT358XRG
| URI | m2://inv/AWYT358XRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of random number generators#C3HI, Block cipher (definition)
History
- 2026-11-02: add by m2/dev
AWYWWDAW9F AWYWWDAW9F
| URI | m2://inv/AWYWWDAW9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1912.02769#IHAH (statement). In JH7VQ2EC16/e1, corollary 6.5
History
- 2026-10-27: add by m2/v0.3.5
AWYY84YMHD AWYY84YMHD
| URI | m2://inv/AWYY84YMHD |
|---|---|
| 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 1004.4564#N5JL (definition). In BZ54C9SKYS/e1, definition 6.10
History
- 2026-10-27: add by m2/v0.3.5
Subspace AWYYK9TKPG
| URI | m2://inv/AWYYK9TKPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#TTS9, Subspace (definition)
History
- 2026-11-02: add by m2/dev
General definition AWYZ8AJKBC
| URI | m2://inv/AWYZ8AJKBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuchsian group#TFEP, General definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithm AWYZXBSTD7
| URI | m2://inv/AWYZXBSTD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisimulation#9ABI, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
mile per hour AWZ0D1QRP2
| URI | m2://inv/AWZ0D1QRP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211256, mile per hour (definition). Also ProofWiki Definition:Mile_per_Hour
History
- 2026-10-26: add by m2/dev
Continuation map AWZGHP82S3
| URI | m2://inv/AWZGHP82S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuation map, Continuation map (definition). Also Wikidata Q5165380
History
- 2026-11-02: add by m2/dev
Additive noise in Hilbert spaces AWZKHE1A2X
| URI | m2://inv/AWZKHE1A2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#LJR2, Additive noise in Hilbert spaces (statement). In FTPW1SZ8D3/e1, corollary 5.7
History
- 2026-10-30: add by m2/v0.4.12
AWZPFWRJV7 AWZPFWRJV7
| URI | m2://inv/AWZPFWRJV7 |
|---|---|
| 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.06544#167D (statement). In VCRB27RMN6/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
AWZPWPHWRW AWZPWPHWRW
| URI | m2://inv/AWZPWPHWRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2603.07541#FSUQ (statement). In X3RFXWN6FW/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.6
Examples AWZTXB95B4
| URI | m2://inv/AWZTXB95B4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-structure on a manifold#LXDQ, Examples (example)
History
- 2026-11-02: add by m2/dev
algebraic multiplicity AWZZNPTEM5
| URI | m2://inv/AWZZNPTEM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#2CTE, algebraic multiplicity (definition)
History
- 2026-11-02: add by m2/dev