Inventory rows QH
The cards of the rows of the inventory whose ids start with QH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem QH018SZ7VS
| URI | m2://inv/QH018SZ7VS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young's inequality for products#5SUL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
QH042ZQ8W9 QH042ZQ8W9
| URI | m2://inv/QH042ZQ8W9 |
|---|---|
| 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 2301.04933#2QQ4 (statement). In Q70CTMCJTP/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
QH04T6D75P QH04T6D75P
| URI | m2://inv/QH04T6D75P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#HDU0 (example). In Z7E16PFFCP/e1, example 4.18
History
- 2026-10-30: add by m2/v0.4.12
Left centre action QH09E803XN
| URI | m2://inv/QH09E803XN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#6PV5, Left centre action (definition). In 5MJ4NJ5ZCV/e1, definition 2.15
History
- 2026-10-28: add by m2/v0.4.3
QH0E4X82S8 QH0E4X82S8
| URI | m2://inv/QH0E4X82S8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#UZU9 (definition). In Z7E16PFFCP/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
QH0ESPRSKR QH0ESPRSKR
| URI | m2://inv/QH0ESPRSKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20568#LPKM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Movement-to-optimization reduction QH0HZ21C00
| URI | m2://inv/QH0HZ21C00 |
|---|---|
| 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.20701#IN7C, Movement-to-optimization reduction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jan Kratochvíl QH0JVMS626
| URI | m2://inv/QH0JVMS626 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Kratochvíl, Jan Kratochvíl (topic). Also Wikidata Q18341539
History
- 2026-11-02: add by m2/dev
Uniform bounds QH0Y1S26HT
| URI | m2://inv/QH0Y1S26HT |
|---|---|
| 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.13753#VVOC, Uniform bounds (statement). In AHM0PBKZZN/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
QH0ZMHK5B5 QH0ZMHK5B5
| URI | m2://inv/QH0ZMHK5B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#V2H8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
QH16N0P64J QH16N0P64J
| URI | m2://inv/QH16N0P64J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#JAQI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition QH196JRW26
| URI | m2://inv/QH196JRW26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incompressible surface#T90G, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Farrell–Markushevich theorem QH1AC6WC49
| URI | m2://inv/QH1AC6WC49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5436274, Farrell–Markushevich theorem (statement). Also Wikidata Q5436274
- thousand_plus: thousand_plus Q5436274, Farrell–Markushevich theorem (statement). Also Wikidata Q5436274, Wikipedia Farrell–Markushevich theorem
- wikipedia: Wikipedia Farrell–Markushevich theorem, Farrell–Markushevich theorem (statement). Also Wikidata Q5436274
History
- 2026-10-26: add by m2/dev
Graph theory QH1HEPYM34
| URI | m2://inv/QH1HEPYM34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#XPYH, Graph theory (topic)
History
- 2026-11-02: add by m2/dev
Corollary QH1MC4MXQS
| URI | m2://inv/QH1MC4MXQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic varieties#3MS3, Corollary (statement)
History
- 2026-11-02: add by m2/dev
2010 Dominican Republic census QH1RSJJX3S
| URI | m2://inv/QH1RSJJX3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2010 Dominican Republic census, 2010 Dominican Republic census (definition). Also Wikidata Q28401723
History
- 2026-11-02: add by m2/dev
Boundedness of $\tilde g$-lengths QH1V89VXWX
| URI | m2://inv/QH1V89VXWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#R7JC, Boundedness of $\tilde g$-lengths (statement). In 5BYE5NYB89/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.3
Subhash Suri QH1ZXCYT8H
| URI | m2://inv/QH1ZXCYT8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A4K8, Subhash Suri (unknown)
History
- 2026-11-02: add by m2/dev
Y and H transforms QH2339GKA2
| URI | m2://inv/QH2339GKA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Y and H transforms, Y and H transforms (definition). Also Wikidata Q25303833
History
- 2026-11-02: add by m2/dev
Divide-and-conquer algorithm QH2F3C23XS
| URI | m2://inv/QH2F3C23XS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divide-and-conquer algorithm, Divide-and-conquer algorithm (definition). Also Wikidata Q671298
History
- 2026-11-02: add by m2/dev
QH2G77AS34 QH2G77AS34
| URI | m2://inv/QH2G77AS34 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#prop:entails-unsat (statement). In PKGMM3P5QY, prop, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
Properties QH2K4C7C7D
| URI | m2://inv/QH2K4C7C7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#WNS8, Properties (statement)
History
- 2026-11-02: add by m2/dev
QH2MCKX33S QH2MCKX33S
| URI | m2://inv/QH2MCKX33S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#0VWP (definition)
History
- 2026-11-02: add by m2/dev
Four-dimensional binary application QH2NQ69B5B
| URI | m2://inv/QH2NQ69B5B |
|---|---|
| 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.28028#DPR0, Four-dimensional binary application (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ernesto Padova QH2Q8Y9XK1
| URI | m2://inv/QH2Q8Y9XK1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#FVMD, Ernesto Padova (topic)
History
- 2026-11-02: add by m2/dev
Order-5 icosahedral 120-cell honeycomb QH2RPXSMAZ
| URI | m2://inv/QH2RPXSMAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#37W0, Order-5 icosahedral 120-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
sphere bundle QH2S79YCJY
| URI | m2://inv/QH2S79YCJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#MWEQ, sphere bundle (definition)
History
- 2026-11-02: add by m2/dev
QH2WVRRHCQ QH2WVRRHCQ
| URI | m2://inv/QH2WVRRHCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25472#QLK5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QH2X2C70E5 QH2X2C70E5
| URI | m2://inv/QH2X2C70E5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#example-2 (example). In RZP28ERRZV, example, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
Demographics of South Africa QH30TKZPV6
| URI | m2://inv/QH30TKZPV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of South Africa, Demographics of South Africa (definition). Also Wikidata Q1185967
History
- 2026-11-02: add by m2/dev
Triangle choke QH342G2NJ4
| URI | m2://inv/QH342G2NJ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#2DGW, Triangle choke (unknown)
History
- 2026-11-02: add by m2/dev
Applications QH34H6GBY4
| URI | m2://inv/QH34H6GBY4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anamorphic stretch transform#V550, Applications (example)
History
- 2026-11-02: add by m2/dev
Axioms of cardinal welfarism QH35F8CRE3
| URI | m2://inv/QH35F8CRE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social welfare function#2C0D, Axioms of cardinal welfarism (statement)
History
- 2026-11-02: add by m2/dev
Autocorrelation plot QH38100BRM
| URI | m2://inv/QH38100BRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#OIYV, Autocorrelation plot (definition)
History
- 2026-11-02: add by m2/dev
Davies 1971 QH3DZDS228
| URI | m2://inv/QH3DZDS228 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40161#9QQC, Davies 1971 (statement). In P2ZW0PZMEH/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Generalizations QH3ERZE7EX
| URI | m2://inv/QH3ERZE7EX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rearrangement inequality#E1ME, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
QH3KDNNGRC QH3KDNNGRC
| URI | m2://inv/QH3KDNNGRC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
configuration QH3S8X8N55
| URI | m2://inv/QH3S8X8N55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#VI4R, configuration (definition)
History
- 2026-11-02: add by m2/dev
QH3SWQXF15 QH3SWQXF15
| URI | m2://inv/QH3SWQXF15 |
|---|---|
| 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 2307.02473#EF8X (statement). In RGXMK94YW1/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Veblen-Young axiom for projective geometry QH3TT4FZCJ
| URI | m2://inv/QH3TT4FZCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasch's axiom#Q3XR, Veblen-Young axiom for projective geometry (statement)
History
- 2026-11-02: add by m2/dev
Nicolas Vilant QH3Z6XNCKM
| URI | m2://inv/QH3Z6XNCKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolas Vilant, Nicolas Vilant (topic). Also Wikidata Q19931412
History
- 2026-11-02: add by m2/dev
QH40CW8EH3 QH40CW8EH3
| URI | m2://inv/QH40CW8EH3 |
|---|---|
| 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 2606.16311#K35G (statement). In 3G0HCK0DVA/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
QH4D4FJWHG QH4D4FJWHG
| URI | m2://inv/QH4D4FJWHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#LUQW (statement). In EZXTEXR47M/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Plücker surface QH4K77W31J
| URI | m2://inv/QH4K77W31J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#NZ6O, Plücker surface (definition)
History
- 2026-11-02: add by m2/dev
Differential graded algebra QH4STW92T5
| URI | m2://inv/QH4STW92T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#RN51, Differential graded algebra (definition)
History
- 2026-11-02: add by m2/dev
On-Line Encyclopedia of Integer Sequences QH4T121B29
| URI | m2://inv/QH4T121B29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On-Line Encyclopedia of Integer Sequences, On-Line Encyclopedia of Integer Sequences (definition). Also Wikidata Q728415
History
- 2026-11-02: add by m2/dev
GeoDa QH4V85NGDK
| URI | m2://inv/QH4V85NGDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GeoDa, GeoDa (definition). Also Wikidata Q5533897
History
- 2026-11-02: add by m2/dev
Anthony Zee QH53091RRZ
| URI | m2://inv/QH53091RRZ |
|---|---|
| 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 Q574181, Anthony Zee (unknown). Also nLab Anthony Zee
History
- 2026-10-26: add by m2/dev
QH554SBZA7 QH554SBZA7
| URI | m2://inv/QH554SBZA7 |
|---|---|
| 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.05486#1E5Y (statement). In 5Z46AK2XTC/e1, lemma C.11
History
- 2026-10-29: add by m2/v0.4.10
Consistency QH57Q39PCX
| URI | m2://inv/QH57Q39PCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#defn-3, Consistency (definition). In PKGMM3P5QY, defn, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
Algorithm QH5BQ3V8GS
| URI | m2://inv/QH5BQ3V8GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christofides algorithm#GNFW, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
QH5EGJC9Q5 QH5EGJC9Q5
| URI | m2://inv/QH5EGJC9Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#C4YH (statement). In NGZ5AZ70NN/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Propagation of the covariance matrices QH5FAWVHWP
| URI | m2://inv/QH5FAWVHWP |
|---|---|
| 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.32695#QAZV, Propagation of the covariance matrices (statement). In VQSF2E35BX/e1, proposition C.3
History
- 2026-10-31: add by m2/v0.5.6
Weyl basis QH5PEF3WAZ
| URI | m2://inv/QH5PEF3WAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma matrices#A1TK, Weyl basis (unknown)
History
- 2026-11-02: add by m2/dev
QH5V1ECZ5A QH5V1ECZ5A
| URI | m2://inv/QH5V1ECZ5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#definition-1 (definition). In RZP28ERRZV, definition, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
Bureau of Agricultural Statistics (Philippines) QH60V02BP1
| URI | m2://inv/QH60V02BP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippine Statistics Authority#WT23, Bureau of Agricultural Statistics (Philippines) (unknown)
History
- 2026-11-02: add by m2/dev
QH696C5EC3 QH696C5EC3
| URI | m2://inv/QH696C5EC3 |
|---|---|
| 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.02751#LLXY (statement). In MWGXPXF3BW/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
Version Space QH6E37W7A5
| URI | m2://inv/QH6E37W7A5 |
|---|---|
| Kind | definition |
| 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.27241#DUKT, Version Space (definition)
History
- 2026-11-01: add by m2/v0.6.15
List of mathematics history topics QH6RSA1FEJ
| URI | m2://inv/QH6RSA1FEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#548X, List of mathematics history topics (topic)
History
- 2026-11-02: add by m2/dev
Compound of six cubes with rotational freedom QH6S4GS76X
| URI | m2://inv/QH6S4GS76X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3GR9, Compound of six cubes with rotational freedom (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3L1L, Compound of six cubes with rotational freedom (definition)
History
- 2026-11-02: add by m2/dev
Probabilistic number theory QH78V276T8
| URI | m2://inv/QH78V276T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3A5W, Probabilistic number theory (definition)
History
- 2026-11-02: add by m2/dev
QH7CQKYHP9 QH7CQKYHP9
| URI | m2://inv/QH7CQKYHP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#MWAN (statement). In 65GKPZ15VH/e1, corollary 3.26
History
- 2026-10-28: add by m2/v0.4.2
Desuspension QH7H7FCX2B
| URI | m2://inv/QH7H7FCX2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desuspension, Desuspension (definition). Also Wikidata Q25303968
History
- 2026-11-02: add by m2/dev
QH7J6MWBA8 QH7J6MWBA8
| URI | m2://inv/QH7J6MWBA8 |
|---|---|
| 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.11836#OG6M (statement). In 1X68TCGB9E/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
QH7SK4B4WV QH7SK4B4WV
| URI | m2://inv/QH7SK4B4WV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#EGEY (definition). In QX77AN49J0/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Hausdorff dimension of the polynomial lift QH858QYHHK
| URI | m2://inv/QH858QYHHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#7U3D, Hausdorff dimension of the polynomial lift (statement)
History
- 2026-11-02: add by m2/v0.6.17
QH8C45A0AF QH8C45A0AF
| URI | m2://inv/QH8C45A0AF |
|---|---|
| Kind | example |
| 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.26896#ACOX (example)
History
- 2026-11-01: add by m2/v0.6.15
Amy C. King QH8FCHRS46
| URI | m2://inv/QH8FCHRS46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amy C. King, Amy C. King (topic). Also Wikidata Q108225288
History
- 2026-11-02: add by m2/dev
Input-size complexity QH8JBABF6D
| URI | m2://inv/QH8JBABF6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07293#9KWY, Input-size complexity (statement). In V1GVYM0WQG/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.10
QH8KDDF71F QH8KDDF71F
| URI | m2://inv/QH8KDDF71F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#FD1T (statement). In AGJE43FTF8/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.4.2
QH8PT98NEV QH8PT98NEV
| URI | m2://inv/QH8PT98NEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26434#8IXS (statement)
History
- 2026-11-01: add by m2/v0.6.15
\bf Density of Random Periodic Points QH94RJP8FM
| URI | m2://inv/QH94RJP8FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#CRSL, \bf Density of Random Periodic Points (statement). In 1P8D88DKG5/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
Donut chart QH9C02YXQQ
| URI | m2://inv/QH9C02YXQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pie chart#UTE9, Donut chart (unknown)
History
- 2026-11-02: add by m2/dev
Example QH9D175MV3
| URI | m2://inv/QH9D175MV3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cliquish function#8884, Example (example)
History
- 2026-11-02: add by m2/dev
Mikhail Lavrentyev QH9MQ3BA7T
| URI | m2://inv/QH9MQ3BA7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Lavrentyev, Mikhail Lavrentyev (topic). Also Wikidata Q707137
History
- 2026-11-02: add by m2/dev
Examples QH9RQE3QQD
| URI | m2://inv/QH9RQE3QQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph of a polytope#NEW2, Examples (example)
History
- 2026-11-02: add by m2/dev
Finite-sample exact-or-certified optimality QH9TYDE0M5
| URI | m2://inv/QH9TYDE0M5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#H0JC, Finite-sample exact-or-certified optimality (statement). In H9X9WZ17TT/e1, theorem 19
History
- 2026-10-31: add by m2/v0.5.6
Spanning matching trees QH9XZGMYB5
| URI | m2://inv/QH9XZGMYB5 |
|---|---|
| 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.01240#Y1VD, Spanning matching trees (statement). In XD5HCP8DHF/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.12
Reciprocal tangle QHA0WY3YSY
| URI | m2://inv/QHA0WY3YSY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#KTBN, Reciprocal tangle (unknown)
History
- 2026-11-02: add by m2/dev
QHA469EXC2 QHA469EXC2
| URI | m2://inv/QHA469EXC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27023#NLTA (statement)
History
- 2026-11-01: add by m2/v0.6.15
QHA8AG8MFY QHA8AG8MFY
| URI | m2://inv/QHA8AG8MFY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Finite-density decomposition QHA94FWC5X
| URI | m2://inv/QHA94FWC5X |
|---|---|
| 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 2609.22305#RKU3, Finite-density decomposition (statement). In P6FTXTV09Q/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.0
Structure of $\varphi(n)$ and its Derivatives QHABP8NVKZ
| URI | m2://inv/QHABP8NVKZ |
|---|---|
| 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.37489#634C, Structure of $\varphi(n)$ and its Derivatives (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
List of representations of e QHAHZMXFKQ
| URI | m2://inv/QHAHZMXFKQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#F5CF, List of representations of e (topic)
History
- 2026-11-02: add by m2/dev
minimization QHB0D19XHX
| URI | m2://inv/QHB0D19XHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E1YY, minimization (definition)
History
- 2026-11-02: add by m2/dev
QHB0VCJBME QHB0VCJBME
| URI | m2://inv/QHB0VCJBME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#example-5 (example). In Y91XFCEVHQ, example, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
QHB4AWKNFW QHB4AWKNFW
| URI | m2://inv/QHB4AWKNFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#BWNA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rhonda Hughes QHB4QTYAB0
| URI | m2://inv/QHB4QTYAB0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhonda Hughes, Rhonda Hughes (topic). Also Wikidata Q16115403
History
- 2026-11-02: add by m2/dev
QHB6P04K0W QHB6P04K0W
| URI | m2://inv/QHB6P04K0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#9R80 (statement). In XX1J2REXY2/e1, corollary D
History
- 2026-10-28: add by m2/v0.4.2
Sensitivity of quadratic MRS functions QHB7PZTM46
| URI | m2://inv/QHB7PZTM46 |
|---|---|
| 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.17006#K8CA, Sensitivity of quadratic MRS functions (statement). In YY81ZEJ82P/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
Normal derivative QHBC9KNNDZ
| URI | m2://inv/QHBC9KNNDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional derivative#JT42, Normal derivative (unknown)
History
- 2026-11-02: add by m2/dev
Naum Akhiezer QHBNX5GGE8
| URI | m2://inv/QHBNX5GGE8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EHNV, Naum Akhiezer (topic)
History
- 2026-11-02: add by m2/dev
QHBXVM002Y QHBXVM002Y
| URI | m2://inv/QHBXVM002Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#7GM6 (statement). In X923ZEY423/e1, proposition 1.8.6
History
- 2026-10-27: add by m2/v0.3.5
QHBZ0Y4DHN QHBZ0Y4DHN
| URI | m2://inv/QHBZ0Y4DHN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.03972#TGS2 (example). In 2JD3KNKJ1P/e1, example 4.5
History
- 2026-10-27: add by m2/v0.3.5
QHC74FGFKK QHC74FGFKK
| URI | m2://inv/QHC74FGFKK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2405.14678#QPSG (example). In 9ZSNSJRJ5N/e1, example 19
History
- 2026-10-27: add by m2/v0.4.2
Walter Buckingham Carver QHCDF0Z878
| URI | m2://inv/QHCDF0Z878 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Buckingham Carver, Walter Buckingham Carver (topic). Also Wikidata Q102156845
History
- 2026-11-02: add by m2/dev
Elementary properties QHCJ2NPH7H
| URI | m2://inv/QHCJ2NPH7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime number#ROHQ, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Properties of the MMSE denoiser QHCKK4P07F
| URI | m2://inv/QHCKK4P07F |
|---|---|
| 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.32393#NQR5, Properties of the MMSE denoiser (statement). In F4816HC2JH/e1, proposition A.2
History
- 2026-10-31: add by m2/v0.5.6
QHCKM6SN0Y QHCKM6SN0Y
| URI | m2://inv/QHCKM6SN0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#5B3R (statement). In X1AGBB90EH/e1, proposition 5.12
History
- 2026-10-28: add by m2/v0.4.2
Mosely snowflake QHCN04PWBG
| URI | m2://inv/QHCN04PWBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#JL7B, Mosely snowflake (definition)
History
- 2026-11-02: add by m2/dev
simple continued fraction QHCPEFXHNG
| URI | m2://inv/QHCPEFXHNG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Simple continued fraction 06XF7BCFFJ |
Mentions
- wikidata: Wikidata Q141499009, simple continued fraction (unknown). Also MathWorld SimpleContinuedFraction
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
QHD09MAHYY QHD09MAHYY
| URI | m2://inv/QHD09MAHYY |
|---|---|
| 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.27823#LECA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Current value Hamiltonian QHD6XEBYWA
| URI | m2://inv/QHD6XEBYWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian (control theory)#EG5V, Current value Hamiltonian (unknown)
History
- 2026-11-02: add by m2/dev
QHD8BAE4QF QHD8BAE4QF
| URI | m2://inv/QHD8BAE4QF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#XY7P (statement). In F3BKXXPR3K/e1, lemma 3.59
History
- 2026-10-27: add by m2/v0.4.2
QHD98T81QK QHD98T81QK
| URI | m2://inv/QHD98T81QK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#problem-2 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Vantieghems theorem QHDHB8111J
| URI | m2://inv/QHDHB8111J |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226807, Vantieghem's theorem (statement). Also Wikidata Q2226807
- thousand_plus: thousand_plus Q2226807, Vantieghem's theorem (statement). Also Wikidata Q2226807, Wikipedia Vantieghems theorem
- wikipedia: Wikipedia Vantieghems theorem, Vantieghems theorem (statement). Also Wikidata Q2226807
History
- 2026-10-26: add by m2/dev
Tiled rendering QHDNTQ5W0Z
| URI | m2://inv/QHDNTQ5W0Z |
|---|---|
| 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#85MQ, Tiled rendering (unknown)
History
- 2026-11-02: add by m2/dev
QHEBP6RC33 QHEBP6RC33
| URI | m2://inv/QHEBP6RC33 |
|---|---|
| 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.01731#4AKD (statement). In 3TJ2FWXQ0D/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
QHEQPVSABJ QHEQPVSABJ
| URI | m2://inv/QHEQPVSABJ |
|---|---|
| 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 2607.26169#ONYX (statement). In Q46QV3B0NF/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
QHF5GCHCE5 QHF5GCHCE5
| URI | m2://inv/QHF5GCHCE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#5LQD (statement). In A4VP56CT7B/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Weyl quantization QHFE00VFK7
| URI | m2://inv/QHFE00VFK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#L4HH, Weyl quantization (definition)
History
- 2026-11-02: add by m2/dev
QHFEV83WR2 QHFEV83WR2
| URI | m2://inv/QHFEV83WR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-108 (exercise). In E9HS8K3A52, exercise, section 10.9.4
History
- 2026-11-01: add by m2/v0.6.13
Computer art QHFMEA8K9K
| URI | m2://inv/QHFMEA8K9K |
|---|---|
| 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#SGFE, Computer art (unknown)
History
- 2026-11-02: add by m2/dev
QHFZTJ7X49 QHFZTJ7X49
| URI | m2://inv/QHFZTJ7X49 |
|---|---|
| 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 2602.03909#LWQE (statement). In WWFAVFGPQQ/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
QHG2JF0CGW QHG2JF0CGW
| URI | m2://inv/QHG2JF0CGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.06795#C60Q (statement). In 32MMSEVHYN/e1, corollary 2.14
History
- 2026-10-27: add by m2/v0.3.5
Henry Jack QHGCTCTPWE
| URI | m2://inv/QHGCTCTPWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#0FS0, Henry Jack (topic)
History
- 2026-11-02: add by m2/dev
QHGJFB0GVX QHGJFB0GVX
| URI | m2://inv/QHGJFB0GVX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-14 (proof). In VNMV985MXX, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
QHGMH1G6PK QHGMH1G6PK
| URI | m2://inv/QHGMH1G6PK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/opps.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 72.7
History
- 2026-11-01: add by m2/v0.6.13
QHGW6SG42N QHGW6SG42N
| URI | m2://inv/QHGW6SG42N |
|---|---|
| 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.11535#AAKU (statement). In 7TY4S2YSVN/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
QHGY171S5K QHGY171S5K
| URI | m2://inv/QHGY171S5K |
|---|---|
| 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 2507.05417#7G8U (statement). In RGHZ863Q26/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.5
QHGZ0FJA3W QHGZ0FJA3W
| URI | m2://inv/QHGZ0FJA3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.3741#4MFU (statement). In BBXEQ9QE7K/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
second-order elliptic PDE QHH5Q7ENZJ
| URI | m2://inv/QHH5Q7ENZJ |
|---|---|
| Kind | example |
| 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.20641#AVBO, second-order elliptic PDE (example)
History
- 2026-11-02: add by m2/v0.6.18
Combinational logic QHH8Y6FGTF
| URI | m2://inv/QHH8Y6FGTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinational logic, Combinational logic (definition). Also Wikidata Q76505
History
- 2026-11-02: add by m2/dev
Examples QHHHP1AX1B
| URI | m2://inv/QHHHP1AX1B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline (mathematics)#V12C, Examples (example)
History
- 2026-11-02: add by m2/dev
Kronecker-type sequence QHHJB1T9HK
| URI | m2://inv/QHHJB1T9HK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#GG2W, Kronecker-type sequence (definition). In YVQKT91MYN/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Sidney Siegel QHHMP17M2N
| URI | m2://inv/QHHMP17M2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidney Siegel, Sidney Siegel (topic). Also Wikidata Q3960171
History
- 2026-11-02: add by m2/dev
QHHNXBN2ES QHHNXBN2ES
| URI | m2://inv/QHHNXBN2ES |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 81.2
History
- 2026-11-01: add by m2/v0.6.13
Generalized selection QHHPYTZPMJ
| URI | m2://inv/QHHPYTZPMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relational algebra#QHLS, Generalized selection (unknown)
History
- 2026-11-02: add by m2/dev
QHHVNHCWKB QHHVNHCWKB
| URI | m2://inv/QHHVNHCWKB |
|---|---|
| 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 2212.14457#OWXM (statement). In PNRHHWGHM2/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.6
tamisage QHHY355G8A
| URI | m2://inv/QHHY355G8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#EU1B, tamisage (definition)
History
- 2026-11-02: add by m2/dev
Next Nigerian census QHHYPD1S0A
| URI | m2://inv/QHHYPD1S0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Next Nigerian census, Next Nigerian census (definition). Also Wikidata Q111937196
History
- 2026-11-02: add by m2/dev
Maria Heep-Altiner QHHYS3RBQY
| URI | m2://inv/QHHYS3RBQY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Heep-Altiner, Maria Heep-Altiner (topic). Also Wikidata Q1743857
History
- 2026-11-02: add by m2/dev
Rough estimate QHJ2EP281S
| URI | m2://inv/QHJ2EP281S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#AU8Y, Rough estimate (statement). In 9EMCPF1F2T/e1, proposition 52
History
- 2026-10-29: add by m2/v0.4.10
QHJ4459JPS QHJ4459JPS
| URI | m2://inv/QHJ4459JPS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Semigroup with involution QHJDE49S03
| URI | m2://inv/QHJDE49S03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup with involution, Semigroup with involution (definition). Also Wikidata Q7449422
History
- 2026-11-02: add by m2/dev
Alberto Collino QHJFMRC4VR
| URI | m2://inv/QHJFMRC4VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alberto Collino, Alberto Collino (topic). Also Wikidata Q97457715
History
- 2026-11-02: add by m2/dev
Diversity of Islamic law QHJG1PHZSY
| URI | m2://inv/QHJG1PHZSY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Averroes#IAOZ, Diversity of Islamic law (statement)
History
- 2026-11-02: add by m2/dev
Localized virial identity QHJSSWBHH9
| URI | m2://inv/QHJSSWBHH9 |
|---|---|
| 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.10188#C2V6, Localized virial identity (statement). In S608Z3ZBP6/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
QHK51BM11V QHK51BM11V
| URI | m2://inv/QHK51BM11V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#HJAO (definition). In GGW2N4JHXM/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Gregor Reisch QHK5KM7AZ2
| URI | m2://inv/QHK5KM7AZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregor Reisch, Gregor Reisch (topic). Also Wikidata Q72192
History
- 2026-11-02: add by m2/dev
Stable free-boundary minimal hypersurface QHK8DPM8CR
| URI | m2://inv/QHK8DPM8CR |
|---|---|
| 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 2610.09596#78Q0, Stable free-boundary minimal hypersurface (definition). In HXFA55BREZ/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
special linear group QHK8HZF932
| URI | m2://inv/QHK8HZF932 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Classical automorphism groups > special linear group, special linear group (unknown). Also Mathlib Matrix.SpecialLinearGroup
- mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > special linear group, special linear group (unknown). Also Mathlib Matrix.SpecialLinearGroup
History
- 2026-10-26: add by m2/dev
Ottaviano Menni QHKCBSD3MR
| URI | m2://inv/QHKCBSD3MR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ottaviano Menni, Ottaviano Menni (topic). Also Wikidata Q18945705
History
- 2026-11-02: add by m2/dev
Derivative algebra (abstract algebra) QHKCGJV5KQ
| URI | m2://inv/QHKCGJV5KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#U72E, Derivative algebra (abstract algebra) (definition)
History
- 2026-11-02: add by m2/dev
Convergence of GGDPC under the ARI QHKK3Y0VAK
| URI | m2://inv/QHKK3Y0VAK |
|---|---|
| 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.01050#V43M, Convergence of GGDPC under the ARI (statement). In 48NN33SAH7/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Definition QHKMYF5JV6
| URI | m2://inv/QHKMYF5JV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberger–Horne–Zeilinger state#ATMV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Weldon, Walter Frank Raphael QHKVVBZHRV
| URI | m2://inv/QHKVVBZHRV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JPUN, Weldon, Walter Frank Raphael (topic)
History
- 2026-11-02: add by m2/dev
QHKXKQTNDT QHKXKQTNDT
| URI | m2://inv/QHKXKQTNDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#0PUZ (statement). In HH35K7S17H/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
QHM4FPKYT5 QHM4FPKYT5
| URI | m2://inv/QHM4FPKYT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#7K3Q (statement). In GXHKRV5BPY/e1, lemma 3.24
History
- 2026-10-29: add by m2/v0.4.10
QHM7MESEXX QHM7MESEXX
| URI | m2://inv/QHM7MESEXX |
|---|---|
| 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.05354#UI0S (statement). In TZ5BMDXRQZ/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
QHM995DAEQ QHM995DAEQ
| URI | m2://inv/QHM995DAEQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 68.2
History
- 2026-11-01: add by m2/v0.6.13
QHMASS0DHH QHMASS0DHH
| URI | m2://inv/QHMASS0DHH |
|---|---|
| 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.25345#LE9V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jean-Loup Waldspurger QHMC77E1NE
| URI | m2://inv/QHMC77E1NE |
|---|---|
| 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#D7Z2, Jean-Loup Waldspurger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OXJU, Jean-Loup Waldspurger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TQWR, Jean-Loup Waldspurger (topic)
History
- 2026-11-02: add by m2/dev
QHMHHDCPQS QHMHHDCPQS
| URI | m2://inv/QHMHHDCPQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#UPXO (statement). In Y1K8WE4MDP/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Lagrange Polynomials QHN1KQR7GX
| URI | m2://inv/QHN1KQR7GX |
|---|---|
| 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.13222#K14T, Lagrange Polynomials (statement). In Z6WA2R0J50/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
QHN26RYNA9 QHN26RYNA9
| URI | m2://inv/QHN26RYNA9 |
|---|---|
| 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.10365#KVBI (statement). In PRVQPSBVHK/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Is Logic Empirical? QHN7Q7HXT3
| URI | m2://inv/QHN7Q7HXT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Is Logic Empirical?, Is Logic Empirical? (definition). Also Wikidata Q9098060
History
- 2026-11-02: add by m2/dev
QHN836CYN0 QHN836CYN0
| URI | m2://inv/QHN836CYN0 |
|---|---|
| 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#2AAA (statement). In RBQ5FNCVNZ/e1, lemma 9.6
History
- 2026-10-30: add by m2/v0.4.12
Special values of L-functions QHNGSV2BRQ
| URI | m2://inv/QHNGSV2BRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QB4T, Special values of L-functions (topic)
History
- 2026-11-02: add by m2/dev
QHNH0WD1VP QHNH0WD1VP
| URI | m2://inv/QHNH0WD1VP |
|---|---|
| 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 2512.07340#178U (statement). In WXE3PVAZBT/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
QHNN00N9CM QHNN00N9CM
| URI | m2://inv/QHNN00N9CM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/proofs-to-terms.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 60.6
History
- 2026-11-01: add by m2/v0.6.13
Definition QHP2SBWJG7
| URI | m2://inv/QHP2SBWJG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Mises distribution#YNGT, Definition (definition)
History
- 2026-11-02: add by m2/dev
QHPFA3RJAP QHPFA3RJAP
| URI | m2://inv/QHPFA3RJAP |
|---|---|
| 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.17720#CDR7 (statement). In QPM0GQYNZ9/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
QHPFPVBPZH QHPFPVBPZH
| URI | m2://inv/QHPFPVBPZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2404.13734#ST2C (statement). In 7AXKHR4YB3/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
QHPGCC3S5P QHPGCC3S5P
| URI | m2://inv/QHPGCC3S5P |
|---|---|
| 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.13378#CXJS (statement). In QAH7SV1JT6/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
QHPGFZZPFK QHPGFZZPFK
| URI | m2://inv/QHPGFZZPFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.24892#R29L (statement)
History
- 2026-11-01: add by m2/v0.6.15
QHPPJAGCD7 QHPPJAGCD7
| URI | m2://inv/QHPPJAGCD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.19023#VC7A (statement). In QFA8TMJPHZ/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
QHPWVHDB0A QHPWVHDB0A
| URI | m2://inv/QHPWVHDB0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem:transport-s1-code (statement). In N54F33XE07, lem, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
QHPZHFG11Y QHPZHFG11Y
| URI | m2://inv/QHPZHFG11Y |
|---|---|
| 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 math/0003117#WOWX (example). In WD2NCBV9F0/e1, example 7.7
History
- 2026-10-27: add by m2/v0.3.5
QHQ003PFM9 QHQ003PFM9
| URI | m2://inv/QHQ003PFM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#0NBR (statement). In TZM08VJAQT/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Jean-Pierre Quadrat QHQ594BYE6
| URI | m2://inv/QHQ594BYE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6S9S, Jean-Pierre Quadrat (unknown)
History
- 2026-11-02: add by m2/dev
Quasiregular and quasiconformal mappings QHQ75V2YH0
| URI | m2://inv/QHQ75V2YH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#QVL6, Quasiregular and quasiconformal mappings (definition)
History
- 2026-11-02: add by m2/v0.6.17
Statement QHQ8KGBKG8
| URI | m2://inv/QHQ8KGBKG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delzant's theorem#YXSH, Statement (statement)
History
- 2026-11-02: add by m2/dev
QHQABF6M4T QHQABF6M4T
| URI | m2://inv/QHQABF6M4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#DRML (statement)
History
- 2026-11-02: add by m2/v0.6.18
megapascal QHQDEC6FRG
| URI | m2://inv/QHQDEC6FRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21062777, megapascal (definition). Also ProofWiki Definition:SI/Pressure/Megapascal
History
- 2026-10-26: add by m2/dev
QHQGGXPFTJ QHQGGXPFTJ
| URI | m2://inv/QHQGGXPFTJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#3J2I (definition)
History
- 2026-11-01: add by m2/v0.6.15
QHQNSAW8X3 QHQNSAW8X3
| URI | m2://inv/QHQNSAW8X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24297#YIVC (statement)
History
- 2026-11-01: add by m2/v0.6.15
QHQZ8H9BKD QHQZ8H9BKD
| URI | m2://inv/QHQZ8H9BKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#INUL (statement). In E7BPGPP9Z5/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
QHR5J2GDJG QHR5J2GDJG
| URI | m2://inv/QHR5J2GDJG |
|---|---|
| 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.12295#7Y4O (statement). In 6DZPR52HRP/e1, theorem 4.31
History
- 2026-10-28: add by m2/v0.4.2
Torsion and torsion-freeness QHR8DTYMG1
| URI | m2://inv/QHR8DTYMG1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#USXA, Torsion and torsion-freeness (definition). In RZDNWV9E29/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.3.6
Definition QHR8WHTK4D
| URI | m2://inv/QHR8WHTK4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional derivative#WMY5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Divide-and-conquer eigenvalue algorithm QHR988JJV0
| URI | m2://inv/QHR988JJV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divide-and-conquer eigenvalue algorithm, Divide-and-conquer eigenvalue algorithm (definition). Also Wikidata Q5283998
History
- 2026-11-02: add by m2/dev
Giovanni Bordiga QHRHBZJBNE
| URI | m2://inv/QHRHBZJBNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Bordiga, Giovanni Bordiga (topic). Also Wikidata Q3766871
History
- 2026-11-02: add by m2/dev
counterexample QHRMZ2NQ7A
| URI | m2://inv/QHRMZ2NQ7A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2.4/counterexample, counterexample (concept). In Y91XFCEVHQ, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Definition QHRPA3T0ZE
| URI | m2://inv/QHRPA3T0ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law#7N0P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Speck QHRRC61VS9
| URI | m2://inv/QHRRC61VS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Speck (cipher), Speck (definition). Also Wikidata Q17084934
History
- 2026-11-02: add by m2/dev
Remark QHRV5NSYE8
| URI | m2://inv/QHRV5NSYE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff space#GQLR, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Two-element block formula QHS04VJT8V
| URI | m2://inv/QHS04VJT8V |
|---|---|
| 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 2610.20649#6FE3, Two-element block formula (statement). In XDTM624YPE/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.4.2
Giant component QHSMB95PR9
| URI | m2://inv/QHSMB95PR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giant component, Giant component (definition). Also Wikidata Q4137985
History
- 2026-11-02: add by m2/dev
QHSNF95Y17 QHSNF95Y17
| URI | m2://inv/QHSNF95Y17 |
|---|---|
| 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.06785#AHVW (statement). In PG6AEWX25E/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Bates distribution QHSPA3G1ZZ
| URI | m2://inv/QHSPA3G1ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0T7E, Bates distribution (definition)
History
- 2026-11-02: add by m2/dev
Generality of algebra QHSR5V6K3B
| URI | m2://inv/QHSR5V6K3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#8LT8, Generality of algebra (definition)
History
- 2026-11-02: add by m2/dev
QHSWJEB0AM QHSWJEB0AM
| URI | m2://inv/QHSWJEB0AM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#TNSK (definition). In 1PR73ECTZB/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Dual polyhedron QHT48AAR7K
| URI | m2://inv/QHT48AAR7K |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#PSN6, Dual polyhedron (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YJOT, Dual polyhedron (object)
History
- 2026-11-02: add by m2/dev
QHT856TRQQ QHT856TRQQ
| URI | m2://inv/QHT856TRQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#QMFL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Toom–Cook multiplication QHTA0HGTBZ
| URI | m2://inv/QHTA0HGTBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toom–Cook multiplication, Toom–Cook multiplication (definition). Also Wikidata Q1522355
History
- 2026-11-02: add by m2/dev
Definition QHTG2JGSN0
| URI | m2://inv/QHTG2JGSN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P4-metric#VTAU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorems 2 and 3, including their proofs QHV1N2P4DG
| URI | m2://inv/QHV1N2P4DG |
|---|---|
| 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.23128#TL6Q, Theorems 2 and 3, including their proofs (statement)
History
- 2026-11-02: add by m2/v0.6.17
QHVAV83RD8 QHVAV83RD8
| URI | m2://inv/QHVAV83RD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#definition-5 (definition). In RZP28ERRZV, definition, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
QHVPK3VDG4 QHVPK3VDG4
| URI | m2://inv/QHVPK3VDG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#IO8G (statement). In F3BKXXPR3K/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
QHVS2GX0NP QHVS2GX0NP
| URI | m2://inv/QHVS2GX0NP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-matchings.ptx#example-1 (example). In Y91XFCEVHQ, example, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
$k$-linear forms condition QHW0ZDX55H
| URI | m2://inv/QHW0ZDX55H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29653#WAJT, $k$-linear forms condition (definition)
History
- 2026-11-01: add by m2/v0.6.15
Exit time QHW1QYHFSM
| URI | m2://inv/QHW1QYHFSM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
Construction QHW6EC55QV
| URI | m2://inv/QHW6EC55QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombic hexecontahedron#ZPPY, Construction (definition)
History
- 2026-11-02: add by m2/dev
QHWB7QP4SK QHWB7QP4SK
| URI | m2://inv/QHWB7QP4SK |
|---|---|
| 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.18377#5MKK (statement). In KYJJMC50SJ/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Test Criterion , specialized to Shamir sharing QHWD37D33A
| URI | m2://inv/QHWD37D33A |
|---|---|
| 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.12357#PJ6M, Test Criterion , specialized to Shamir sharing (statement). In 1F26AF81XP/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
QHWHAVD88N QHWHAVD88N
| URI | m2://inv/QHWHAVD88N |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius strip#NB8G (problem)
History
- 2026-11-02: add by m2/dev
QHWPR2F3SA QHWPR2F3SA
| URI | m2://inv/QHWPR2F3SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0709.4546#89IQ (statement). In 7H5Q5M7W96/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Total unimodularity QHX1BEVE99
| URI | m2://inv/QHX1BEVE99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unimodular matrix#T9O2, Total unimodularity (unknown)
History
- 2026-11-02: add by m2/dev
QHX3P5WKAG QHX3P5WKAG
| URI | m2://inv/QHX3P5WKAG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/completeness-thm.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Algorithm QHX6J65513
| URI | m2://inv/QHX6J65513 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Waterman algorithm#WNXQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
QHXBADH1WW QHXBADH1WW
| URI | m2://inv/QHXBADH1WW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-10 (example). In E9HS8K3A52, example, section 10.4.2
History
- 2026-11-01: add by m2/v0.6.13
QHXEEFVDPV QHXEEFVDPV
| URI | m2://inv/QHXEEFVDPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#CVQM (statement). In 8KKYZ4NKT2/e1, lemma 45
History
- 2026-10-27: add by m2/v0.4.2
Strong B-normality by exponent shifts QHXKEM8EPQ
| URI | m2://inv/QHXKEM8EPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#Q34T, Strong B-normality by exponent shifts (statement)
History
- 2026-11-01: add by m2/v0.6.15
QHXSQ5NTR2 QHXSQ5NTR2
| URI | m2://inv/QHXSQ5NTR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#definition-6 (definition). In RZP28ERRZV, definition, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Generalizations QHXT6C72MT
| URI | m2://inv/QHXT6C72MT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical Dirichlet process#QZUX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
QHXXGWRMQQ QHXXGWRMQQ
| URI | m2://inv/QHXXGWRMQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#RHPW (statement). In WWMHZKWZSM/e1, corollary 25
History
- 2026-10-27: add by m2/v0.3.5
anticlastic QHY34QDW43
| URI | m2://inv/QHY34QDW43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q576135, anticlastic (unknown). Also MathWorld Anticlastic
History
- 2026-10-26: add by m2/dev
Formal definition QHY4PCQJ6S
| URI | m2://inv/QHY4PCQJ6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational mapping#Y200, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Alvarez QHY6SA3GTN
| URI | m2://inv/QHY6SA3GTN |
|---|---|
| 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.11440#THIW, Alvarez (statement). In KBV6TD64F1/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
Finite volume method QHYCTWE9Y4
| URI | m2://inv/QHYCTWE9Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#PHQE, Finite volume method (definition)
History
- 2026-11-02: add by m2/dev
QHYCVBFEED QHYCVBFEED
| URI | m2://inv/QHYCVBFEED |
|---|---|
| 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.18199#MQJ2 (statement). In MSP4PCWCJA/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Terminology QHYDPFRFD0
| URI | m2://inv/QHYDPFRFD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical distance#A79O, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Transylvania lottery QHYTXM0Y3P
| URI | m2://inv/QHYTXM0Y3P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7835490, Transylvania lottery (concept). Also MathWorld TransylvaniaLottery
- wikipedia: Wikipedia Transylvania lottery, Transylvania lottery (definition). Also Wikidata Q7835490
History
- 2026-10-26: add by m2/dev
Radford M. Neal QHYZJW3AN8
| URI | m2://inv/QHYZJW3AN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NQ2N, Radford M. Neal (unknown)
History
- 2026-11-02: add by m2/dev
Bidirectional feasibility QHZ4K5PHEQ
| URI | m2://inv/QHZ4K5PHEQ |
|---|---|
| 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.33753#DVED, Bidirectional feasibility (statement). In CGNMRJYD7Y/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
QHZ4R8DA8G QHZ4R8DA8G
| URI | m2://inv/QHZ4R8DA8G |
|---|---|
| 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.19791#IK2Y (statement). In AVDB4KJ6XB/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
Curry paradox QHZ61NHVF8
| URI | m2://inv/QHZ61NHVF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0DSR, Curry paradox (definition)
History
- 2026-11-02: add by m2/dev
Vopěnka's alternative set theory QHZ84XE6EP
| URI | m2://inv/QHZ84XE6EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#RB51, Vopěnka's alternative set theory (definition)
History
- 2026-11-02: add by m2/dev
Selberg class QHZJ6TY6NV
| URI | m2://inv/QHZJ6TY6NV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7447524, Selberg class (unknown). Also LMFDB knowl lfunction.selberg_class
- wikipedia: Wikipedia Selberg class, Selberg class (definition). Also Wikidata Q7447524
History
- 2026-10-26: add by m2/dev
Evasive Boolean function QHZJEPY32S
| URI | m2://inv/QHZJEPY32S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evasive Boolean function, Evasive Boolean function (definition). Also Wikidata Q5416097
History
- 2026-11-02: add by m2/dev
The global inverse QHZKJAQQ3K
| URI | m2://inv/QHZKJAQQ3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24739#Z1D0, The global inverse (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chronux QHZPMJ89JJ
| URI | m2://inv/QHZPMJ89JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VR4T, Chronux (definition)
History
- 2026-11-02: add by m2/dev
QHZRJ27ANZ QHZRJ27ANZ
| URI | m2://inv/QHZRJ27ANZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#P2AU (statement). In VWNB6QJWFN/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
QHZRXXQ37H QHZRXXQ37H
| URI | m2://inv/QHZRXXQ37H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#J8I1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
QHZXQ0HZ1H QHZXQ0HZ1H
| URI | m2://inv/QHZXQ0HZ1H |
|---|---|
| Kind | example |
| 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.20013#4ULG (example). In SC5JZQKZH6/e1, example 3.1
History
- 2026-10-27: add by m2/v0.4.2