Inventory rows KQ
The cards of the rows of the inventory whose ids start with KQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
KQ06G0GE1A KQ06G0GE1A
| URI | m2://inv/KQ06G0GE1A |
|---|---|
| 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 2609.40207#XE0D (definition). In JXTG8KP95P/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
KQ0E96AP66 KQ0E96AP66
| URI | m2://inv/KQ0E96AP66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2404.14253#G5OS (statement). In R7W38A039X/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.6
Yves Colin de Verdière KQ0RD9AWXW
| URI | m2://inv/KQ0RD9AWXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yves Colin de Verdière, Yves Colin de Verdière (topic). Also Wikidata Q441148
History
- 2026-11-02: add by m2/dev
KQ1279P3CZ KQ1279P3CZ
| URI | m2://inv/KQ1279P3CZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#proof-1 (proof). In P1C114YBXG, proof, section F
History
- 2026-11-01: add by m2/v0.6.13
KQ170E3FXV KQ170E3FXV
| URI | m2://inv/KQ170E3FXV |
|---|---|
| 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.29326#78YB (statement). In 3F83V6VKKA/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.6
KQ18FD3BV5 KQ18FD3BV5
| URI | m2://inv/KQ18FD3BV5 |
|---|---|
| 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.00019#QGMC (statement). In VJ09B3HRHQ/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
KQ1MZJ28RY KQ1MZJ28RY
| URI | m2://inv/KQ1MZJ28RY |
|---|---|
| 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#PITI (statement). In GXHKRV5BPY/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
KQ1PT55MKB KQ1PT55MKB
| URI | m2://inv/KQ1PT55MKB |
|---|---|
| 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#OCOH (statement). In M8TSJ24RC2/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
A weighted, unique-edge simultaneous inequality KQ1XXXN3NJ
| URI | m2://inv/KQ1XXXN3NJ |
|---|---|
| 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.19207#J5EI, A weighted, unique-edge simultaneous inequality (statement). In BH3R0BA3PC/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
GNU Octave KQ1Z28R98B
| URI | m2://inv/KQ1Z28R98B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#FU8N, GNU Octave (definition)
History
- 2026-11-02: add by m2/dev
Bulk modulus KQ2041JWZN
| URI | m2://inv/KQ2041JWZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bulk modulus, Bulk modulus (definition). Also Wikidata Q900371
History
- 2026-11-02: add by m2/dev
Robert Horton Cameron KQ21XA35HA
| URI | m2://inv/KQ21XA35HA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Horton Cameron, Robert Horton Cameron (topic). Also Wikidata Q7345627
History
- 2026-11-02: add by m2/dev
Shortcomings of the original formulation of the circuital law KQ2Y5A80T7
| URI | m2://inv/KQ2Y5A80T7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ampère's circuital law#G9D0, Shortcomings of the original formulation of the circuital law (statement)
History
- 2026-11-02: add by m2/dev
Numerical ordinary differential equations KQ307B8D8P
| URI | m2://inv/KQ307B8D8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#15OP, Numerical ordinary differential equations (definition)
History
- 2026-11-02: add by m2/dev
Examples KQ30FWRFE6
| URI | m2://inv/KQ30FWRFE6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegaard splitting#DTDO, Examples (example)
History
- 2026-11-02: add by m2/dev
Sims rank versus faithfulness and hollowing KQ346RBRNV
| URI | m2://inv/KQ346RBRNV |
|---|---|
| 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.14509#XJN3, Sims rank versus faithfulness and hollowing (statement). In N6GD8392QB/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Abelian BF on the positive real conifold KQ36YH3A2M
| URI | m2://inv/KQ36YH3A2M |
|---|---|
| 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 2609.27799#XXZ1, Abelian BF on the positive real conifold (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cournot, Antoine Augustin KQ3E4SY5FD
| URI | m2://inv/KQ3E4SY5FD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4QIY, Cournot, Antoine Augustin (topic)
History
- 2026-11-02: add by m2/dev
Great disdyakis dodecahedron KQ3EFF443F
| URI | m2://inv/KQ3EFF443F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#5ZG8, Great disdyakis dodecahedron (object)
History
- 2026-11-02: add by m2/dev
Marcotte-style covariance-level completeness KQ3FZ8BZFK
| URI | m2://inv/KQ3FZ8BZFK |
|---|---|
| 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.09356#ANG2, Marcotte-style covariance-level completeness (statement). In 3VVGPXWH6R/e1, corollary D.2
History
- 2026-10-29: add by m2/v0.4.10
KQ3J38G5VZ KQ3J38G5VZ
| URI | m2://inv/KQ3J38G5VZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.10329#4SNF (statement). In SCSTR1Q1BW/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Applications KQ3KTSQ5RP
| URI | m2://inv/KQ3KTSQ5RP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tschirnhausen cubic#BCBW, Applications (example)
History
- 2026-11-02: add by m2/dev
Mike Steel KQ3PVZA9VW
| URI | m2://inv/KQ3PVZA9VW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mike Steel (mathematician), Mike Steel (topic). Also Wikidata Q6848921
History
- 2026-11-02: add by m2/dev
Medoid KQ3T4MWMJM
| URI | m2://inv/KQ3T4MWMJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medoid, Medoid (definition). Also Wikidata Q4287912
History
- 2026-11-02: add by m2/dev
Separation bounds KQ3WWSDRGV
| URI | m2://inv/KQ3WWSDRGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#R4TM, Separation bounds (statement). In RYWAX33Z51/e1, proposition 11.1
History
- 2026-10-31: add by m2/v0.5.6
KQ40SHG5ZH KQ40SHG5ZH
| URI | m2://inv/KQ40SHG5ZH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
KQ4C5BRSGE KQ4C5BRSGE
| URI | m2://inv/KQ4C5BRSGE |
|---|---|
| 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.09672#NY2L (statement). In TXBXCPP0QH/e1, lemma 26
History
- 2026-10-29: add by m2/v0.4.10
Additive versus multiplicative ergodic theorems KQ4GJMJ56V
| URI | m2://inv/KQ4GJMJ56V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oseledets theorem#A6AA, Additive versus multiplicative ergodic theorems (statement)
History
- 2026-11-02: add by m2/dev
KQ4KDQ1GWB KQ4KDQ1GWB
| URI | m2://inv/KQ4KDQ1GWB |
|---|---|
| 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 2301.02848#K4IA (statement). In G6WQDW52TJ/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
KQ4WQCCQP7 KQ4WQCCQP7
| URI | m2://inv/KQ4WQCCQP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32090#1PCA (statement). In HJWWFBA63D/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
KQ539QN2JT KQ539QN2JT
| URI | m2://inv/KQ539QN2JT |
|---|---|
| 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.21295#SA79 (example)
History
- 2026-11-02: add by m2/v0.6.18
Rectified truncated dodecahedron KQ53K5B0Q4
| URI | m2://inv/KQ53K5B0Q4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified truncated dodecahedron, Rectified truncated dodecahedron (object). Also Wikidata Q18393740
History
- 2026-11-02: add by m2/dev
Australia KQ5BP528RY
| URI | m2://inv/KQ5BP528RY |
|---|---|
| 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 Q408, Australia (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Australia
History
- 2026-10-26: add by m2/dev
Wilson polynomial KQ5HD3G330
| URI | m2://inv/KQ5HD3G330 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#GF8T, Wilson polynomial (definition)
History
- 2026-11-02: add by m2/dev
KQ5PSZ3KS4 KQ5PSZ3KS4
| URI | m2://inv/KQ5PSZ3KS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#PIJF (statement). In ZZQT0GFMT2/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Probability and Mathematical Statistics KQ5Q6A7XAC
| URI | m2://inv/KQ5Q6A7XAC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#THZW, Probability and Mathematical Statistics (unknown)
- wikipedia: Wikipedia List of statistics journals#GM7D, Probability and Mathematical Statistics (unknown)
History
- 2026-11-02: add by m2/dev
KQ5ST3CDD8 KQ5ST3CDD8
| URI | m2://inv/KQ5ST3CDD8 |
|---|---|
| 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.38548#CF9Y (statement). In Z7ZFV3HM1S/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
KQ5ZVRE5VJ KQ5ZVRE5VJ
| URI | m2://inv/KQ5ZVRE5VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#UY9Q (statement). In 9ZD87293QS/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.4.0
KQ5ZZB6S6Y KQ5ZZB6S6Y
| URI | m2://inv/KQ5ZZB6S6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#C7O8 (statement). In ETRT1R1CQ8/e1, lemma 10.1
History
- 2026-10-27: add by m2/v0.4.0
KQ626VGWVS KQ626VGWVS
| URI | m2://inv/KQ626VGWVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#D1RU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement KQ659V69XM
| URI | m2://inv/KQ659V69XM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annulus theorem#Z03E, Statement (statement)
History
- 2026-11-02: add by m2/dev
KQ68YQJ0HJ KQ68YQJ0HJ
| URI | m2://inv/KQ68YQJ0HJ |
|---|---|
| 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.23287#J4L4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
solution to a system KQ69V5JR4C
| URI | m2://inv/KQ69V5JR4C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.1.1/solution-to-a-system, solution to a system (concept). In E9HS8K3A52, index, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Functoriality of the corrected logarithmic algebra KQ69VF726B
| URI | m2://inv/KQ69VF726B |
|---|---|
| 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 2609.27799#RERJ, Functoriality of the corrected logarithmic algebra (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harnack-type inequality KQ6E1N6G93
| URI | m2://inv/KQ6E1N6G93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27957#RZ97, Harnack-type inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
KQ6EEFEG0H KQ6EEFEG0H
| URI | m2://inv/KQ6EEFEG0H |
|---|---|
| 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.27673#U85B (statement)
History
- 2026-11-01: add by m2/v0.6.15
note below KQ6KD5DCHV
| URI | m2://inv/KQ6KD5DCHV |
|---|---|
| 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#TE4E, note below (statement). In D3WKY1PW64/e1, lemma 3.15
History
- 2026-10-29: add by m2/v0.4.10
The axioms KQ6TKGXEGV
| URI | m2://inv/KQ6TKGXEGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Morgenstern utility theorem#2O42, The axioms (statement)
History
- 2026-11-02: add by m2/dev
KQ6TVB9701 KQ6TVB9701
| URI | m2://inv/KQ6TVB9701 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-4.xml#example-1 (example). In 649HGZKE96, example, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
convex KQ6VEKKANG
| URI | m2://inv/KQ6VEKKANG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/E.2/convex, convex (concept). In VNMV985MXX, index, section E.2
History
- 2026-11-01: add by m2/v0.6.13
Ralph Phillips KQ6Y1SA3CE
| URI | m2://inv/KQ6Y1SA3CE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CD8Z, Ralph Phillips (topic)
History
- 2026-11-02: add by m2/dev
Applications KQ747EHJSC
| URI | m2://inv/KQ747EHJSC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmert–Wolf blocking#2JLJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Oscar Randal-Williams KQ74BAPWDD
| URI | m2://inv/KQ74BAPWDD |
|---|---|
| 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#6CQ5, Oscar Randal-Williams (topic)
History
- 2026-11-02: add by m2/dev
KQ74WKCG7E KQ74WKCG7E
| URI | m2://inv/KQ74WKCG7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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 2609.31090#6HP6 (statement). In SMTJDX0Q6R/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
A theorem by Sazonov-Badrikian KQ78RSYX5Y
| URI | m2://inv/KQ78RSYX5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure theory in topological vector spaces#50MA, A theorem by Sazonov-Badrikian (statement)
History
- 2026-11-02: add by m2/dev
KQ7BPADSTA KQ7BPADSTA
| URI | m2://inv/KQ7BPADSTA |
|---|---|
| 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.06810#5AIK (statement). In 1NY2SA03XF/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
KQ7ESNERK3 KQ7ESNERK3
| URI | m2://inv/KQ7ESNERK3 |
|---|---|
| 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 2202.07274#43II (statement). In V5WGBGKYXN/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.6
KQ7P6QMSKJ KQ7P6QMSKJ
| URI | m2://inv/KQ7P6QMSKJ |
|---|---|
| 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.21715#0BFL (statement). In QW0SV5D6MQ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
KQ7SACZ2D0 KQ7SACZ2D0
| URI | m2://inv/KQ7SACZ2D0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-29 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
KQ7SYTBZN4 KQ7SYTBZN4
| URI | m2://inv/KQ7SYTBZN4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:double-negation-modality (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Martin Davis KQ7W5HX7KM
| URI | m2://inv/KQ7W5HX7KM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Davis (mathematician), Martin Davis (topic). Also Wikidata Q1239172
History
- 2026-11-02: add by m2/dev
Werner Wolfgang Rogosinski KQ809J52Y5
| URI | m2://inv/KQ809J52Y5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Werner Wolfgang Rogosinski, Werner Wolfgang Rogosinski (topic). Also Wikidata Q27373
History
- 2026-11-02: add by m2/dev
KQ80M6P06A KQ80M6P06A
| URI | m2://inv/KQ80M6P06A |
|---|---|
| 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.20488#7HAN (statement)
History
- 2026-11-02: add by m2/v0.6.18
KQ86SE1AF1 KQ86SE1AF1
| URI | m2://inv/KQ86SE1AF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.22514#6GKL (statement)
History
- 2026-11-02: add by m2/v0.6.17
KQ8FA92TEC KQ8FA92TEC
| URI | m2://inv/KQ8FA92TEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08288#Y91T (statement). In CHVWYJM7RM/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Math Horizons KQ8JTZ3CXZ
| URI | m2://inv/KQ8JTZ3CXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math Horizons, Math Horizons (definition). Also Wikidata Q6786760
History
- 2026-11-02: add by m2/dev
First mean value theorem for definite integrals KQ8KD9RF3P
| URI | m2://inv/KQ8KD9RF3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#HMVM, First mean value theorem for definite integrals (statement)
History
- 2026-11-02: add by m2/dev
Maxwell–Fricke equation KQ8NWAPXAW
| URI | m2://inv/KQ8NWAPXAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell–Fricke equation, Maxwell–Fricke equation (definition). Also Wikidata Q105082031
History
- 2026-11-02: add by m2/dev
Hitoshi Murayama KQ8VX3GG40
| URI | m2://inv/KQ8VX3GG40 |
|---|---|
| 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 Q11523125, Hitoshi Murayama (unknown). Also nLab Hitoshi Murayama
History
- 2026-10-26: add by m2/dev
Examples KQ97D733KR
| URI | m2://inv/KQ97D733KR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale algebra#4WEJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Sufficient condition KQ98Z71AJH
| URI | m2://inv/KQ98Z71AJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#WF7Q, Sufficient condition (statement). In J9C7YMKJ33/e1, theorem Theorem
History
- 2026-10-27: add by m2/v0.3.5
Piece-wise polynomial approximation error KQ9CMQ4HFD
| URI | m2://inv/KQ9CMQ4HFD |
|---|---|
| Kind | definition |
| 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.21033#DZ7P, Piece-wise polynomial approximation error (definition). In A8C1M9BSWH/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
KQ9CYDS83S KQ9CYDS83S
| URI | m2://inv/KQ9CYDS83S |
|---|---|
| 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.18252#SFPN (statement). In PSQ3CNVK2D/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
KQ9DFH4T2E KQ9DFH4T2E
| URI | m2://inv/KQ9DFH4T2E |
|---|---|
| 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.15817#MFQA (statement). In NVJMA8ARHP/e1, proposition 3.2.1
History
- 2026-10-28: add by m2/v0.4.2
Hinduism and religious pluralism KQ9F8BBFMR
| URI | m2://inv/KQ9F8BBFMR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious pluralism#TCGG, Hinduism and religious pluralism (unknown)
History
- 2026-11-02: add by m2/dev
Wigner semi-circle law KQ9JRPZF41
| URI | m2://inv/KQ9JRPZF41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2508.07340#4WA6, Wigner semi-circle law (statement). In 2HSB99DW4M/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.6
Balanced form KQ9K4HV67S
| URI | m2://inv/KQ9K4HV67S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed-digit representation#BION, Balanced form (unknown)
History
- 2026-11-02: add by m2/dev
KQ9KHP1REE KQ9KHP1REE
| URI | m2://inv/KQ9KHP1REE |
|---|---|
| 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#22BD (statement). In HH35K7S17H/e1, lemma 4.23
History
- 2026-10-29: add by m2/v0.4.10
KQ9M2T9KS6 KQ9M2T9KS6
| URI | m2://inv/KQ9M2T9KS6 |
|---|---|
| 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.28597#GFOI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Self-selection bias KQ9SV0D1SJ
| URI | m2://inv/KQ9SV0D1SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1VRG, Self-selection bias (definition)
History
- 2026-11-02: add by m2/dev
Heckman correction KQ9WHTKSWY
| URI | m2://inv/KQ9WHTKSWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heckman correction, Heckman correction (definition). Also Wikidata Q5696455
History
- 2026-11-02: add by m2/dev
Epstein profile KQA2QZSKFT
| URI | m2://inv/KQA2QZSKFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epstein profile, Epstein profile (definition). Also Wikidata Q141306780
History
- 2026-11-02: add by m2/dev
Birge Huisgen-Zimmermann KQA2YTHC5W
| URI | m2://inv/KQA2YTHC5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZVTP, Birge Huisgen-Zimmermann (topic)
History
- 2026-11-02: add by m2/dev
KQA4GRGVP8 KQA4GRGVP8
| URI | m2://inv/KQA4GRGVP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#QI3C (statement). In B9EX6K51RD/e1, theorem 4.18
History
- 2026-10-28: add by m2/v0.4.2
Contrived experiment KQA9HJHGX2
| URI | m2://inv/KQA9HJHGX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Experiment#2BP2, Contrived experiment (unknown)
History
- 2026-11-02: add by m2/dev
KQAE21THNA KQAE21THNA
| URI | m2://inv/KQAE21THNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#HDO9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KQAES5MYF3 KQAES5MYF3
| URI | m2://inv/KQAES5MYF3 |
|---|---|
| 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.32946#5K8N (statement). In 6AEBXNK614/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
KQAFEER8YZ KQAFEER8YZ
| URI | m2://inv/KQAFEER8YZ |
|---|---|
| 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.33015#Z1HB (statement). In W6Y6NPK648/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Properties KQAKE576Y9
| URI | m2://inv/KQAKE576Y9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler line#12II, Properties (statement)
History
- 2026-11-02: add by m2/dev
KQAKM93RZC KQAKM93RZC
| URI | m2://inv/KQAKM93RZC |
|---|---|
| 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 2112.14455#ZTTP (statement). In VDE5R8HBS1/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
KQAM47X4H9 KQAM47X4H9
| URI | m2://inv/KQAM47X4H9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07299#43S8 (definition). In M70KP0BZ99/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Hall's marriage theorem KQAM7F7XCT
| URI | m2://inv/KQAM7F7XCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8KVU, Hall's marriage theorem (statement)
History
- 2026-11-02: add by m2/dev
Baseball statistics KQAWNGVPBM
| URI | m2://inv/KQAWNGVPBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baseball statistics, Baseball statistics (definition). Also Wikidata Q809898
History
- 2026-11-02: add by m2/dev
KQB59PDTSR KQB59PDTSR
| URI | m2://inv/KQB59PDTSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/equivalence-relations.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
KQB8CJ4WT1 KQB8CJ4WT1
| URI | m2://inv/KQB8CJ4WT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.07116#S6P2 (statement). In 5B030CB2RK/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
Collinearity KQB8ZK4WBR
| URI | m2://inv/KQB8ZK4WBR |
|---|---|
| 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.38668#0WW4, Collinearity (statement). In VB1EZ9K6YW/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Properties KQBAH4EY5Q
| URI | m2://inv/KQBAH4EY5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-correlation matrix#9Y9V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Weighted velocity moments KQBEJ8Q60W
| URI | m2://inv/KQBEJ8Q60W |
|---|---|
| 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.13248#DLPG, Weighted velocity moments (statement). In MGMC5SREP3/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
KQBS0SX14P KQBS0SX14P
| URI | m2://inv/KQBS0SX14P |
|---|---|
| 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.21622#VD7J (statement). In H21X3FHNYJ/e1, corollary 6.11
History
- 2026-10-27: add by m2/v0.4.2
Johann Bernoulli KQBZ23YBY1
| URI | m2://inv/KQBZ23YBY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Bernoulli, Johann Bernoulli (topic). Also Wikidata Q227897
History
- 2026-11-02: add by m2/dev
Properties KQC0YKFVG0
| URI | m2://inv/KQC0YKFVG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creative and productive sets#Z03X, Properties (statement)
History
- 2026-11-02: add by m2/dev
KQCD9RYCG9 KQCD9RYCG9
| URI | m2://inv/KQCD9RYCG9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
KQCNVM3W24 KQCNVM3W24
| URI | m2://inv/KQCNVM3W24 |
|---|---|
| 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.10095#4OG5 (statement). In 2TSKFPTS0T/e1, lemma
History
- 2026-10-29: add by m2/v0.4.10
KQCNY34920 KQCNY34920
| URI | m2://inv/KQCNY34920 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37026#T6FB (statement). In QGZPH9W8GY/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
KQDGZFKJJC KQDGZFKJJC
| URI | m2://inv/KQDGZFKJJC |
|---|---|
| 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 2610.21572#582M (statement). In 5TSFJEF45V/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.2
On quaternions and octonions KQDK1CCDMS
| URI | m2://inv/KQDK1CCDMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97008688, On quaternions and octonions (unknown). Also ProofWiki Book:John_H._Conway/On_Quaternions_And_Octonions
History
- 2026-10-26: add by m2/dev
Eaton's inequality KQDXRNH2PK
| URI | m2://inv/KQDXRNH2PK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eaton's inequality, Eaton's inequality (statement). Also Wikidata Q5331316
History
- 2026-11-02: add by m2/dev
Mathematical instrument KQE1EE5K6J
| URI | m2://inv/KQE1EE5K6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical instrument, Mathematical instrument (definition). Also Wikidata Q1666865
History
- 2026-11-02: add by m2/dev
Separating pattern KQE1VE7BBH
| URI | m2://inv/KQE1VE7BBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34122#ZKU6, Separating pattern (statement). In 6V2FT31QA1/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
KQEBR06D73 KQEBR06D73
| URI | m2://inv/KQEBR06D73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30675#9C9S (statement). In RQ0K0A6PQA/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
rank-one perturbations KQEGFSY1X6
| URI | m2://inv/KQEGFSY1X6 |
|---|---|
| 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.18803#2RHC, rank-one perturbations (statement). In VG8AF124T3/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Michel Plancherel KQEWC5S9ZJ
| URI | m2://inv/KQEWC5S9ZJ |
|---|---|
| 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#2R0U, Michel Plancherel (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9TO5, Michel Plancherel (unknown)
History
- 2026-11-02: add by m2/dev
axiom, Streicher's Axiom K KQEY0BX2V9
| URI | m2://inv/KQEY0BX2V9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/axiom-streicher-s-axiom-k, axiom, Streicher's Axiom K (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Statement KQF0BHTTDM
| URI | m2://inv/KQF0BHTTDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#F37B, Statement (statement)
History
- 2026-11-02: add by m2/dev
KQF2Z2C0J4 KQF2Z2C0J4
| URI | m2://inv/KQF2Z2C0J4 |
|---|---|
| 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.10598#JMT8 (statement). In WQ9TXX4E5C/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Proper metric space KQF570SBTY
| URI | m2://inv/KQF570SBTY |
|---|---|
| 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.05388#CIED, Proper metric space (statement). In 4HJK1986EJ/e1, corollary B.1
History
- 2026-10-29: add by m2/v0.4.10
Snub square antiprism KQG3F7AMGG
| URI | m2://inv/KQG3F7AMGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#EOQ8, Snub square antiprism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MEBN, Snub square antiprism (definition)
History
- 2026-11-02: add by m2/dev
Finite tracial approximations of the lamp channel KQG6NPDA5C
| URI | m2://inv/KQG6NPDA5C |
|---|---|
| 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.04271#U5R5, Finite tracial approximations of the lamp channel (statement). In WBXAW9G4JB/e1, corollary 14.1
History
- 2026-10-29: add by m2/v0.4.12
Spectral mapping theorem KQG7313HS9
| URI | m2://inv/KQG7313HS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic functional calculus#9GH4, Spectral mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
KQGB70XZ8Y KQGB70XZ8Y
| URI | m2://inv/KQGB70XZ8Y |
|---|---|
| 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.06541#KDS8 (statement). In R604B78EVK/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
HP-18C KQGBGYFEDH
| URI | m2://inv/KQGBGYFEDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-18C, HP-18C (definition). Also Wikidata Q5635544
History
- 2026-11-02: add by m2/dev
KQGG1FNW3K KQGG1FNW3K
| URI | m2://inv/KQGG1FNW3K |
|---|---|
| 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.21351#YVN4 (statement). In 8TT2STBE9W/e1, fact 2
History
- 2026-10-27: add by m2/v0.4.2
KQGMWW9RJ9 KQGMWW9RJ9
| URI | m2://inv/KQGMWW9RJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13613#RPHT (statement). In 3HCT4TQ5PM/e1, corollary 6.1
History
- 2026-10-28: add by m2/v0.4.2
Formally smooth map KQGNS8J93X
| URI | m2://inv/KQGNS8J93X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formally smooth map, Formally smooth map (definition). Also Wikidata Q5469991
History
- 2026-11-02: add by m2/dev
Matrix approximation KQGSDK2X2P
| URI | m2://inv/KQGSDK2X2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular value decomposition#7ESQ, Matrix approximation (unknown)
History
- 2026-11-02: add by m2/dev
KQGZGJZY4A KQGZGJZY4A
| URI | m2://inv/KQGZGJZY4A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-8 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
KQHFRS6G0A KQHFRS6G0A
| URI | m2://inv/KQHFRS6G0A |
|---|---|
| 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.30823#FJ8L (statement). In 1YHQ9YNQ68/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
KQHPF6R31F KQHPF6R31F
| URI | m2://inv/KQHPF6R31F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/topological-semantics.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 33.1
History
- 2026-11-01: add by m2/v0.6.13
KQHPGWJF4G KQHPGWJF4G
| URI | m2://inv/KQHPGWJF4G |
|---|---|
| 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 2201.04174#X90Q (statement). In NVTHDNQQ4Q/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Formal definition KQHZJ4DJCK
| URI | m2://inv/KQHZJ4DJCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean payoff game#YYRM, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Intertwining operators KQJ62WXFFF
| URI | m2://inv/KQJ62WXFFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-10, Intertwining operators (example). In RZP28ERRZV, example, section 80.5
History
- 2026-11-01: add by m2/v0.6.13
KQJAD8NQN4 KQJAD8NQN4
| URI | m2://inv/KQJAD8NQN4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-50 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
KQJGSTGMPY KQJGSTGMPY
| URI | m2://inv/KQJGSTGMPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31393#L9JA (statement). In ED0WC9Z55C/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Conditional functional fluctuations KQJJ2GK1YJ
| URI | m2://inv/KQJJ2GK1YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01391#V5W9, Conditional functional fluctuations (statement). In MAZNVJX5YK/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Bound current KQJN8JMA59
| URI | m2://inv/KQJN8JMA59 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell's equations#XTZT, Bound current (unknown)
History
- 2026-11-02: add by m2/dev
Inference KQJND7HSTP
| URI | m2://inv/KQJND7HSTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4BA1, Inference (definition)
History
- 2026-11-02: add by m2/dev
KQJPQPED97 KQJPQPED97
| URI | m2://inv/KQJPQPED97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#TVXW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Antisymmetric sesquilinear form KQJSFMH2HA
| URI | m2://inv/KQJSFMH2HA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sesquilinear form#9LHJ, Antisymmetric sesquilinear form (unknown)
History
- 2026-11-02: add by m2/dev
Traveling plane wave KQJWBWQX2Z
| URI | m2://inv/KQJWBWQX2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traveling plane wave, Traveling plane wave (definition). Also Wikidata Q65064815
History
- 2026-11-02: add by m2/dev
Applications of stochastic gradient descent KQK1GDQ5ND
| URI | m2://inv/KQK1GDQ5ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic gradient descent#00RM, Applications of stochastic gradient descent (unknown)
History
- 2026-11-02: add by m2/dev
Protected bias budget KQK6DTX8F0
| URI | m2://inv/KQK6DTX8F0 |
|---|---|
| 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.15202#SR9U, Protected bias budget (statement). In X1FPG0KYBM/e1, corollary M.7
History
- 2026-10-28: add by m2/v0.4.2
Constance F. Citro KQK6Z4WPE7
| URI | m2://inv/KQK6Z4WPE7 |
|---|---|
| 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#1FG0, Constance F. Citro (unknown)
History
- 2026-11-02: add by m2/dev
Nancy Potok KQK9X2VBJE
| URI | m2://inv/KQK9X2VBJE |
|---|---|
| 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#SAA5, Nancy Potok (topic)
History
- 2026-11-02: add by m2/dev
Harmonic analysis KQKBCFXWBW
| URI | m2://inv/KQKBCFXWBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#EAY5, Harmonic analysis (definition)
History
- 2026-11-02: add by m2/dev
Universal source-rate-free lower bound and RDC upper bound KQKDHDCR9W
| URI | m2://inv/KQKDHDCR9W |
|---|---|
| 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#N1KT, Universal source-rate-free lower bound and RDC upper bound (statement). In H9X9WZ17TT/e1, theorem 7
History
- 2026-10-31: add by m2/v0.5.6
Witt algebra KQKFAC4QM4
| URI | m2://inv/KQKFAC4QM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt algebra, Witt algebra (definition). Also Wikidata Q444054
History
- 2026-11-02: add by m2/dev
KQKHHA4TX0 KQKHHA4TX0
| URI | m2://inv/KQKHHA4TX0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
KQKMZRGQPB KQKMZRGQPB
| URI | m2://inv/KQKMZRGQPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#3SH5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cylinder KQM6HS3C9K
| URI | m2://inv/KQM6HS3C9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#A0YL, Cylinder (definition)
History
- 2026-11-02: add by m2/dev
KQMEFPNFRC KQMEFPNFRC
| URI | m2://inv/KQMEFPNFRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#ATOC (statement). In DPT4P2BTEW/e1, proposition 10.2
History
- 2026-10-30: add by m2/v0.4.12
Ramchundra KQMYWZP3S0
| URI | m2://inv/KQMYWZP3S0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramchundra, Ramchundra (topic). Also Wikidata Q7289302
History
- 2026-11-02: add by m2/dev
Applications KQN2WMKZ9G
| URI | m2://inv/KQN2WMKZ9G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaughan's identity#4JCF, Applications (example)
History
- 2026-11-02: add by m2/dev
The Wilson loop is a monomial in $1-x$ KQN3CVYW08
| URI | m2://inv/KQN3CVYW08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.18512#G2VS, The Wilson loop is a monomial in $1-x$ (statement). In 11JNM66Z09/e1, proposition 11.10
History
- 2026-10-28: add by m2/v0.4.2
disjoint, basepoint KQN7NWHMBW
| URI | m2://inv/KQN7NWHMBW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.5/disjoint-basepoint, disjoint, basepoint (concept). In N54F33XE07, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
KQN8P689NR KQN8P689NR
| URI | m2://inv/KQN8P689NR |
|---|---|
| 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.35323#XEIO (statement). In 5CKPXBWSCX/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
KQNC690W2P KQNC690W2P
| URI | m2://inv/KQNC690W2P |
|---|---|
| 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#UXXI (statement). In M8TSJ24RC2/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
fiber functor KQNEQG83YT
| URI | m2://inv/KQNEQG83YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16897605, fiber functor (unknown). Also nLab fiber functor
- wikipedia: Wikipedia Fiber functor, Fiber functor (definition). Also Wikidata Q16897605
History
- 2026-10-26: add by m2/dev
Converse theorem KQNGF3PFSQ
| URI | m2://inv/KQNGF3PFSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Converse theorem, Converse theorem (statement). Also Wikidata Q5166461
History
- 2026-11-02: add by m2/dev
KQNJS5EV4E KQNJS5EV4E
| URI | m2://inv/KQNJS5EV4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17045#HA8W (statement). In PA6JQDSKQT/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
KQNPV12112 KQNPV12112
| URI | m2://inv/KQNPV12112 |
|---|---|
| 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.05032#MD5E (statement). In DDNK8D4359/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
KQNX5TNS1G KQNX5TNS1G
| URI | m2://inv/KQNX5TNS1G |
|---|---|
| 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 2306.16411#LIKQ (statement). In QQ222ZDZC0/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
KQP4S67WEJ KQP4S67WEJ
| URI | m2://inv/KQP4S67WEJ |
|---|---|
| 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 2303.00676#XPQ5 (statement). In 5351H04TJY/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.4.0
Fokas method KQP7GPQRBT
| URI | m2://inv/KQP7GPQRBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fokas method, Fokas method (definition). Also Wikidata Q48995968
History
- 2026-11-02: add by m2/dev
Lefmann KQP9JXCMJS
| URI | m2://inv/KQP9JXCMJS |
|---|---|
| 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 1806.05002#N163, Lefmann (statement). In JBAQ7DTW7B/e1, lemma F.1
History
- 2026-10-27: add by m2/v0.3.5
KQPHHAX678 KQPHHAX678
| URI | m2://inv/KQPHHAX678 |
|---|---|
| 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.07852#B05U (statement). In 8X43SAEM99/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Topological quantum number KQPRTEKVHN
| URI | m2://inv/KQPRTEKVHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#IX1L, Topological quantum number (unknown)
History
- 2026-11-02: add by m2/dev
Matching normalized lower frontier KQPYM58ZJN
| URI | m2://inv/KQPYM58ZJN |
|---|---|
| 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.20187#ME1R, Matching normalized lower frontier (statement). In N280AVNNBY/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Locally finite collection KQPZDNEKC0
| URI | m2://inv/KQPZDNEKC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite collection, Locally finite collection (definition). Also Wikidata Q643300
History
- 2026-11-02: add by m2/dev
Applications KQQ2EZP0M0
| URI | m2://inv/KQQ2EZP0M0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition problem#7CQA, Applications (example)
History
- 2026-11-02: add by m2/dev
KQQ30JBMR3 KQQ30JBMR3
| URI | m2://inv/KQQ30JBMR3 |
|---|---|
| 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 2511.05069#HSRB (statement). In SFQBJBTW8K/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
KQQCF23VCE KQQCF23VCE
| URI | m2://inv/KQQCF23VCE |
|---|---|
| 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.19845#XIWW (statement). In A8Y7B1MD91/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.2
KQQCH0NPAF KQQCH0NPAF
| URI | m2://inv/KQQCH0NPAF |
|---|---|
| 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.10086#4N2M (statement). In NP9X9CAK19/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Alexandrov's theorem on polyhedra KQQGQ8P9B0
| URI | m2://inv/KQQGQ8P9B0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17003552, Alexandrov's uniqueness theorem (statement). Also Wikidata Q17003552
- thousand_plus: thousand_plus Q17003552, Alexandrov's uniqueness theorem (statement). Also Wikidata Q17003552, Wikipedia Alexandrov's uniqueness theorem
- wikipedia: Wikipedia Alexandrov's theorem on polyhedra, Alexandrov's theorem on polyhedra (statement). Also Wikidata Q17003552
History
- 2026-10-26: add by m2/dev
Decahedral bipyramid KQQPW81QJY
| URI | m2://inv/KQQPW81QJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipyramid#BG1D, Decahedral bipyramid (unknown)
History
- 2026-11-02: add by m2/dev
Unit circle KQQQ8BD63V
| URI | m2://inv/KQQQ8BD63V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#83MZ, Unit circle (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#MUAE, Unit circle (definition)
History
- 2026-11-02: add by m2/dev
Segal space KQQTCT3JN4
| URI | m2://inv/KQQTCT3JN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7446190, Segal space (unknown). Also nLab Segal space
History
- 2026-10-26: add by m2/dev
Weyl distance function KQQX9BN921
| URI | m2://inv/KQQX9BN921 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#NN5M, Weyl distance function (definition)
History
- 2026-11-02: add by m2/dev
KQR0P3CGDZ KQR0P3CGDZ
| URI | m2://inv/KQR0P3CGDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#CXTD (statement). In M4JGP708F4/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.12
A simple example KQRAQVT6RH
| URI | m2://inv/KQRAQVT6RH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof compression#2SBQ, A simple example (example)
History
- 2026-11-02: add by m2/dev
KQRAW9XWDM KQRAW9XWDM
| URI | m2://inv/KQRAW9XWDM |
|---|---|
| Kind | problem |
| 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.28507#K91N (problem)
History
- 2026-11-01: add by m2/v0.6.15
KQRC8RBYNY KQRC8RBYNY
| URI | m2://inv/KQRC8RBYNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17669#213P (statement). In RAWXJ72WWA/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
invertible KQRKVZDNS6
| URI | m2://inv/KQRKVZDNS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#GD4C, invertible (definition)
History
- 2026-11-02: add by m2/dev
KQRPT8EDT0 KQRPT8EDT0
| URI | m2://inv/KQRPT8EDT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#D50G (statement). In YQT2APQPWD/e1, lemma 8.4
History
- 2026-10-30: add by m2/v0.4.12
KQRZD95F5C KQRZD95F5C
| URI | m2://inv/KQRZD95F5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10408#4TQK (statement). In H976NYKBNT/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
Jordan–Hölder theorem KQS151WY44
| URI | m2://inv/KQS151WY44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#J7DX, Jordan–Hölder theorem (definition)
History
- 2026-11-02: add by m2/dev
KQS2XTGR0Z KQS2XTGR0Z
| URI | m2://inv/KQS2XTGR0Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#84T2 (definition)
History
- 2026-11-02: add by m2/v0.6.18
KQSVG2MMQ5 KQSVG2MMQ5
| URI | m2://inv/KQSVG2MMQ5 |
|---|---|
| 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.03449#36HS (statement). In 3XM05SYQ8D/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.12
QMA KQT0T30W4H
| URI | m2://inv/KQT0T30W4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QMA, QMA (definition). Also Wikidata Q4047721
History
- 2026-11-02: add by m2/dev
A large matching in $S$ KQT52H9W5V
| URI | m2://inv/KQT52H9W5V |
|---|---|
| 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 2609.26133#EFMH, A large matching in $S$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
KQT7K0TJ4G KQT7K0TJ4G
| URI | m2://inv/KQT7K0TJ4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#PD1P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Independent positive-parameter size estimate KQTBBQTV5V
| URI | m2://inv/KQTBBQTV5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#K50D, Independent positive-parameter size estimate (statement). In KFEASG3ZHS/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Tube maximal inequality from Dhar's set estimate KQTCFXKBQ5
| URI | m2://inv/KQTCFXKBQ5 |
|---|---|
| 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#Z74E, Tube maximal inequality from Dhar's set estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Empirical solution of the Monty Hall problem KQTFVVRKQS
| URI | m2://inv/KQTFVVRKQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monty Hall problem#6YDQ, Empirical solution of the Monty Hall problem (unknown)
History
- 2026-11-02: add by m2/dev
KQV5FCV5KS KQV5FCV5KS
| URI | m2://inv/KQV5FCV5KS |
|---|---|
| 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.10567#HUWA (statement). In Q7TTRJ20KD/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Results KQV6QRQ98P
| URI | m2://inv/KQV6QRQ98P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant problem#9RZF, Results (statement)
History
- 2026-11-02: add by m2/dev
Axiom schema of specification (or of separation, or of restricted comprehension) - 3 KQV73ZB2PT
| URI | m2://inv/KQV73ZB2PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo–Fraenkel set theory#9WXK, Axiom schema of specification (or of separation, or of restricted comprehension) - 3 (statement)
History
- 2026-11-02: add by m2/dev
Weierstrass Institute for Applied Analysis and Stochastics KQV9RPFJDH
| URI | m2://inv/KQV9RPFJDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Karl Weierstrass#56E3, Weierstrass Institute for Applied Analysis and Stochastics (unknown)
History
- 2026-11-02: add by m2/dev
Example KQVD08ZHZ7
| URI | m2://inv/KQVD08ZHZ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scatter plot#E3PK, Example (example)
History
- 2026-11-02: add by m2/dev
KQVGC9WP0B KQVGC9WP0B
| URI | m2://inv/KQVGC9WP0B |
|---|---|
| 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.20600#O3HL (statement). In H5JZ2T9KVT/e1, proposition 6
History
- 2026-10-27: add by m2/v0.4.2
Approximating the tensor operator norm by a product net KQVNAN1G3N
| URI | m2://inv/KQVNAN1G3N |
|---|---|
| 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.36594#DHQ4, Approximating the tensor operator norm by a product net (statement). In 8JDQ9FWFRK/e1, lemma E.3
History
- 2026-10-30: add by m2/v0.4.12
Thomas Hou KQVRCQ69RY
| URI | m2://inv/KQVRCQ69RY |
|---|---|
| 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#E5F3, Thomas Hou (unknown)
History
- 2026-11-02: add by m2/dev
Kourovka KQVSM4SW2J
| URI | m2://inv/KQVSM4SW2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8PC8, Kourovka (unknown)
History
- 2026-11-02: add by m2/dev
KQW0SNB7SH KQW0SNB7SH
| URI | m2://inv/KQW0SNB7SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#ABTB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quasi-birth–death process KQWMZWC0X7
| URI | m2://inv/KQWMZWC0X7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-birth–death process, Quasi-birth–death process (definition). Also Wikidata Q7269440
History
- 2026-11-02: add by m2/dev
KQWNWPEGDZ KQWNWPEGDZ
| URI | m2://inv/KQWNWPEGDZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#MMMI (unknown). In QNBFHFZ3H0/e1, unknown 127
History
- 2026-10-28: add by m2/v0.4.2
KQWQYYDNRQ KQWQYYDNRQ
| URI | m2://inv/KQWQYYDNRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#6S1H (statement). In FSGSVD0XYH/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Paul Mansion KQWRBCMN0H
| URI | m2://inv/KQWRBCMN0H |
|---|---|
| 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 Q3371764, Paul Mansion (unknown). Also ProofWiki Mathematician:Paul_Mansion
- wikipedia: Wikipedia Paul Mansion, Paul Mansion (topic). Also Wikidata Q3371764
History
- 2026-10-26: add by m2/dev
KQWZRFA9GC KQWZRFA9GC
| URI | m2://inv/KQWZRFA9GC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#proof-3 (proof). In Y91XFCEVHQ, proof, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
KQXAKADQHR KQXAKADQHR
| URI | m2://inv/KQXAKADQHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#TYZA (statement). In 3Y76AQQGF0/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.12
Markov model KQXBCJHNHQ
| URI | m2://inv/KQXBCJHNHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov model, Markov model (definition). Also Wikidata Q6771326
History
- 2026-11-02: add by m2/dev
integral KQXBSNP73T
| URI | m2://inv/KQXBSNP73T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#7N95, integral (definition)
History
- 2026-11-02: add by m2/dev
Example KQXC24MJND
| URI | m2://inv/KQXC24MJND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear network coding#K9HZ, Example (example)
History
- 2026-11-02: add by m2/dev
Ricci flow KQXFDWZ9KK
| URI | m2://inv/KQXFDWZ9KK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ricci flow CR14D9YQTY |
Mentions
- wikidata: Wikidata Q1361396, Ricci flow (concept). Also MathWorld RicciFlow, nLab Ricci flow, ProofWiki Definition:Ricci_Flow
- wikipedia: Wikipedia Ricci flow, Ricci flow (definition). Also Wikidata Q1361396
History
- 2026-10-26: add by m2/dev
KQXGW7NZ7Z KQXGW7NZ7Z
| URI | m2://inv/KQXGW7NZ7Z |
|---|---|
| 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#OXLC (statement). In RNXRAZYR3S/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Global strong solutions at large background density KQXP20QK51
| URI | m2://inv/KQXP20QK51 |
|---|---|
| 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.05312#D5BW, Global strong solutions at large background density (statement). In 1CMMK399WQ/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
List estimates KQXQF5Y1M6
| URI | m2://inv/KQXQF5Y1M6 |
|---|---|
| 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.06810#N28G, List estimates (statement). In 1NY2SA03XF/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
KQXW04HN39 KQXW04HN39
| URI | m2://inv/KQXW04HN39 |
|---|---|
| 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.16631#8QLI (statement). In T735PRQNJB/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Michael Struwe KQXWEAZ90X
| URI | m2://inv/KQXWEAZ90X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E80S, Michael Struwe (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DTGC, Michael Struwe (topic)
- wikipedia: Wikipedia List of German mathematicians#MOHW, Michael Struwe (topic)
History
- 2026-11-02: add by m2/dev
KQY3DH6KGQ KQY3DH6KGQ
| URI | m2://inv/KQY3DH6KGQ |
|---|---|
| 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 2610.01087#SL14 (statement). In 7QXAZXGNPQ/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
Properties KQY4NSENWK
| URI | m2://inv/KQY4NSENWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue covering dimension#ASRB, Properties (statement)
History
- 2026-11-02: add by m2/dev
equivalence, properties of KQYANZEP3S
| URI | m2://inv/KQYANZEP3S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.5/equivalence-properties-of, equivalence, properties of (concept). In N54F33XE07, index, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Definitions KQYNJSTGWM
| URI | m2://inv/KQYNJSTGWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biracks and biquandles#915V, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Chamfered dodecahedron KQYSZB5SHW
| URI | m2://inv/KQYSZB5SHW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chamfered dodecahedron, Chamfered dodecahedron (object). Also Wikidata Q3538651
History
- 2026-11-02: add by m2/dev
KQYZDHME04 KQYZDHME04
| URI | m2://inv/KQYZDHME04 |
|---|---|
| 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 2404.06445#06QO (definition). In 12JKZ8EN52/e1, definition 8.18
History
- 2026-10-27: add by m2/v0.3.5
phantom map KQZ0KWR3TQ
| URI | m2://inv/KQZ0KWR3TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7180612, phantom map (unknown). Also nLab phantom map
- wikipedia: Wikipedia Phantom map, Phantom map (definition). Also Wikidata Q7180612
History
- 2026-10-26: add by m2/dev
Implementations KQZ3N65FGN
| URI | m2://inv/KQZ3N65FGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multifactor dimensionality reduction#UI7X, Implementations (definition)
History
- 2026-11-02: add by m2/dev
KQZ76SSBXY KQZ76SSBXY
| URI | m2://inv/KQZ76SSBXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#6SIC (statement)
History
- 2026-11-01: add by m2/v0.6.15
continuously differentiable function KQZ8H9DM9F
| URI | m2://inv/KQZ8H9DM9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Continuously differentiable function 06SKCHDQT5 |
Mentions
- wikidata: Wikidata Q91933113, continuously differentiable function (unknown). Also MathWorld ContinuouslyDifferentiableFunction
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
KQZBZR5EJ4 KQZBZR5EJ4
| URI | m2://inv/KQZBZR5EJ4 |
|---|---|
| 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.11395#A30D (statement). In T3W7SMWQ73/e1, theorem 50
History
- 2026-10-28: add by m2/v0.4.3
KQZMS049FD KQZMS049FD
| URI | m2://inv/KQZMS049FD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-221 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
KQZS5X71ER KQZS5X71ER
| URI | m2://inv/KQZS5X71ER |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-3.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Elements of Algebra KQZSJC4GZ2
| URI | m2://inv/KQZSJC4GZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elements of Algebra, Elements of Algebra (definition). Also Wikidata Q5358925
History
- 2026-11-02: add by m2/dev