Inventory rows QE
The cards of the rows of the inventory whose ids start with QE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Quadratic sign-averaged insertion QE00CBTBKS
| URI | m2://inv/QE00CBTBKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#SL9Z, Quadratic sign-averaged insertion (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hironaka's example QE04ZYNAST
| URI | m2://inv/QE04ZYNAST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hironaka's example, Hironaka's example (definition). Also Wikidata Q17098022
History
- 2026-11-02: add by m2/dev
Cartan pair QE086SD7P8
| URI | m2://inv/QE086SD7P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan pair, Cartan pair (definition). Also Wikidata Q18205840
History
- 2026-11-02: add by m2/dev
St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences QE093APX8G
| URI | m2://inv/QE093APX8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences, St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences (definition). Also Wikidata Q581272
History
- 2026-11-02: add by m2/dev
QE0BX9ZQF0 QE0BX9ZQF0
| URI | m2://inv/QE0BX9ZQF0 |
|---|---|
| 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.30090#U21G (statement)
History
- 2026-11-01: add by m2/v0.6.15
S. Rao Kosaraju QE0FTSYBMN
| URI | m2://inv/QE0FTSYBMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#32SN, S. Rao Kosaraju (unknown)
History
- 2026-11-02: add by m2/dev
QE0GYZES5R QE0GYZES5R
| URI | m2://inv/QE0GYZES5R |
|---|---|
| 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.19360#2RWU (statement). In MFCW5CY96C/e1, lemma 44
History
- 2026-10-28: add by m2/v0.4.2
Tristan Needham QE0N8XQTND
| URI | m2://inv/QE0N8XQTND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tristan Needham, Tristan Needham (topic). Also Wikidata Q11000497
History
- 2026-11-02: add by m2/dev
Arthur Cayley QE0TMND96W
| URI | m2://inv/QE0TMND96W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#YQO8, Arthur Cayley (topic)
History
- 2026-11-02: add by m2/dev
Variations QE10MCQW1Z
| URI | m2://inv/QE10MCQW1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LP-type problem#G9D2, Variations (statement)
History
- 2026-11-02: add by m2/dev
Doubly stochastic model QE1BNFSS72
| URI | m2://inv/QE1BNFSS72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GXUW, Doubly stochastic model (definition)
History
- 2026-11-02: add by m2/dev
QE1PVZBGAV QE1PVZBGAV
| URI | m2://inv/QE1PVZBGAV |
|---|---|
| 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.15094#O8N9 (statement). In 5AA8PPK2CC/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Wenxuan Zhong QE1SYEEB78
| URI | m2://inv/QE1SYEEB78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wenxuan Zhong, Wenxuan Zhong (topic). Also Wikidata Q102110398
History
- 2026-11-02: add by m2/dev
Adam Marcus QE1YWHSCC2
| URI | m2://inv/QE1YWHSCC2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7IM2, Adam Marcus (topic)
History
- 2026-11-02: add by m2/dev
Examples QE20RNPJS7
| URI | m2://inv/QE20RNPJS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph of a function#8U54, Examples (example)
History
- 2026-11-02: add by m2/dev
Sequent QE21B8S425
| URI | m2://inv/QE21B8S425 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/rules-and-proofs.tex#defn-1, Sequent (definition). In PKGMM3P5QY, defn, section 17.13
History
- 2026-11-01: add by m2/v0.6.13
Hervé Jacquet QE22ASYDVF
| URI | m2://inv/QE22ASYDVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hervé Jacquet, Hervé Jacquet (topic). Also Wikidata Q5745081
History
- 2026-11-02: add by m2/dev
QE2DAWY4C9 QE2DAWY4C9
| URI | m2://inv/QE2DAWY4C9 |
|---|---|
| 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.20002#42F5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Edward Kasner QE316WAC92
| URI | m2://inv/QE316WAC92 |
|---|---|
| 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 Q441117, Edward Kasner (unknown). Also ProofWiki Mathematician:Edward_Kasner
History
- 2026-10-26: add by m2/dev
QE344S9KS0 QE344S9KS0
| URI | m2://inv/QE344S9KS0 |
|---|---|
| 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.22667#DI6Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
Freeman Dyson QE36FDGQGK
| URI | m2://inv/QE36FDGQGK |
|---|---|
| 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 Q153717, Freeman Dyson (unknown). Also nLab Freeman Dyson
- wikipedia: Wikipedia Freeman Dyson, Freeman Dyson (topic). Also Wikidata Q153717
History
- 2026-10-26: add by m2/dev
QE375047W4 QE375047W4
| URI | m2://inv/QE375047W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20299#I71Z (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Stability estimate of the total loss function $L_{\epsilon,\beta}(u)$ QE3H8V4HBJ
| URI | m2://inv/QE3H8V4HBJ |
|---|---|
| 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.15111#MO36, Stability estimate of the total loss function $L_{\epsilon,\beta}(u)$ (statement). In 6RE6JYE4GP/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
QE3KCA3010 QE3KCA3010
| URI | m2://inv/QE3KCA3010 |
|---|---|
| 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#0O11 (statement). In M8TSJ24RC2/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
QE3N5NRSF1 QE3N5NRSF1
| URI | m2://inv/QE3N5NRSF1 |
|---|---|
| Kind | example |
| 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.10581#KH4G (example). In 6V42A71SPC/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
QE3VRMSGT5 QE3VRMSGT5
| URI | m2://inv/QE3VRMSGT5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
QE407BRPX0 QE407BRPX0
| URI | m2://inv/QE407BRPX0 |
|---|---|
| Kind | example |
| 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#PSA5 (example). In SCSTR1Q1BW/e1, example 5.9
History
- 2026-10-29: add by m2/v0.4.10
Artin–Schreier theorem QE45D447H6
| URI | m2://inv/QE45D447H6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QG7T, Artin–Schreier theorem (topic)
History
- 2026-11-02: add by m2/dev
F.W. Levi QE4BXHKX9E
| URI | m2://inv/QE4BXHKX9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#T4Q2, F.W. Levi (topic)
History
- 2026-11-02: add by m2/dev
John Koren QE4DZXT21S
| URI | m2://inv/QE4DZXT21S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Koren, John Koren (topic). Also Wikidata Q106977247
History
- 2026-11-02: add by m2/dev
Birnbaum–Saunders distribution QE4FZJS3XA
| URI | m2://inv/QE4FZJS3XA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#GXW1, Birnbaum–Saunders distribution (definition)
History
- 2026-11-02: add by m2/dev
Ergodic hypothesis in social science QE4JF7D4AJ
| URI | m2://inv/QE4JF7D4AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic hypothesis#3NQ8, Ergodic hypothesis in social science (statement)
History
- 2026-11-02: add by m2/dev
QE4XG4C9ND QE4XG4C9ND
| URI | m2://inv/QE4XG4C9ND |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-62 (exercise). In E59CDZA4DP, exercise, section 11.5.2
History
- 2026-11-01: add by m2/v0.6.13
QE4XZXFMHD QE4XZXFMHD
| URI | m2://inv/QE4XZXFMHD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#9FKA (definition). In REDG6QVHM3/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Generalizations QE50770XK0
| URI | m2://inv/QE50770XK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular p-group#VR4X, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
uniquely embeddable graph QE5C1PPSCQ
| URI | m2://inv/QE5C1PPSCQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130323039, uniquely embeddable graph (unknown). Also MathWorld UniquelyEmbeddableGraph, OEIS A372853
History
- 2026-10-26: add by m2/dev
Nijaz Ibrulj QE5DNWSM9C
| URI | m2://inv/QE5DNWSM9C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nijaz Ibrulj, Nijaz Ibrulj (topic). Also Wikidata Q7034524
History
- 2026-11-02: add by m2/dev
Count-only and observed-question minimax risks are equivalent QE5PEZWDPN
| URI | m2://inv/QE5PEZWDPN |
|---|---|
| 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.21363#XIBZ, Count-only and observed-question minimax risks are equivalent (statement). In YPH7NS5AAQ/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.2
Algebraic integers are closed under $+$ and $\times$ QE5QC17H6Y
| URI | m2://inv/QE5QC17H6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#theorem-2, Algebraic integers are closed under $+$ and $\times$ (statement). In RZP28ERRZV, theorem, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
QE63S38G8E QE63S38G8E
| URI | m2://inv/QE63S38G8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 1001.1196#S3TN (statement). In BCB418GV9C/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Quartic interaction QE65W4Q88E
| URI | m2://inv/QE65W4Q88E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic interaction, Quartic interaction (definition). Also Wikidata Q6497970
History
- 2026-11-02: add by m2/dev
QE67127RWD QE67127RWD
| URI | m2://inv/QE67127RWD |
|---|---|
| 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.19806#ITKJ (statement). In 64WX3WHW4H/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
QE6DR399X0 QE6DR399X0
| URI | m2://inv/QE6DR399X0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#619R (statement). In B23TX8G4E4/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
QE72RKEGX8 QE72RKEGX8
| URI | m2://inv/QE72RKEGX8 |
|---|---|
| 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#92SK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Charles W. Curtis QE78WBDBQN
| URI | m2://inv/QE78WBDBQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles W. Curtis, Charles W. Curtis (topic). Also Wikidata Q2960413
History
- 2026-11-02: add by m2/dev
The SK model with a Curie--Weiss bias QE7GEQNT45
| URI | m2://inv/QE7GEQNT45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#QQUC, The SK model with a Curie--Weiss bias (statement). In P3RTT99C41/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
QE7GPAE67Y QE7GPAE67Y
| URI | m2://inv/QE7GPAE67Y |
|---|---|
| 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 2403.16814#WX3P (statement). In MN03Z3PRFT/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.5
Ball divergence QE7KWWXHZ2
| URI | m2://inv/QE7KWWXHZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ball divergence, Ball divergence (definition). Also Wikidata Q128479478
History
- 2026-11-02: add by m2/dev
axiom, of choice QE7M9PTK2D
| URI | m2://inv/QE7M9PTK2D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.4/axiom-of-choice, axiom, of choice (concept). In N54F33XE07, index, section C.4
History
- 2026-11-01: add by m2/v0.6.13
Applications QE7MBC29EP
| URI | m2://inv/QE7MBC29EP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal component analysis#ZUQH, Applications (example)
History
- 2026-11-02: add by m2/dev
QE7MEA4N2T QE7MEA4N2T
| URI | m2://inv/QE7MEA4N2T |
|---|---|
| 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.03081#FX61 (statement). In TX0H26X4VX/e1, corollary 8.3
History
- 2026-10-29: add by m2/v0.4.12
QE7QCCPHD2 QE7QCCPHD2
| URI | m2://inv/QE7QCCPHD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#RO1R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vlad Voroninski QE80NPWTD5
| URI | m2://inv/QE80NPWTD5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FRPA, Vlad Voroninski (topic)
History
- 2026-11-02: add by m2/dev
QE841RYF41 QE841RYF41
| URI | m2://inv/QE841RYF41 |
|---|---|
| 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 2401.00191#PSQ0 (definition). In ZMH2KJDAWJ/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
QE894V7X4M QE894V7X4M
| URI | m2://inv/QE894V7X4M |
|---|---|
| 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 2109.09268#7BVX (statement). In SYZFEVFHC3/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
Conditional expectation QE89PNFWP1
| URI | m2://inv/QE89PNFWP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YSPL, Conditional expectation (definition)
- wikipedia: Wikipedia List of probability topics#K4YN, Conditional expectation (definition)
History
- 2026-11-02: add by m2/dev
Multivariate-$t$-copula score vector QE8BS8DENT
| URI | m2://inv/QE8BS8DENT |
|---|---|
| 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 2609.29658#IOG7, Multivariate-$t$-copula score vector (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples QE8G9AR61E
| URI | m2://inv/QE8G9AR61E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent algebra#J4AW, Examples (example)
History
- 2026-11-02: add by m2/dev
Sexual dimorphism measures QE8GE8C8RE
| URI | m2://inv/QE8GE8C8RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OFV9, Sexual dimorphism measures (definition)
History
- 2026-11-02: add by m2/dev
4-manifold QE8SSVKTJ6
| URI | m2://inv/QE8SSVKTJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | 4-manifold 8H58Q6YJCH |
Mentions
- wikidata: Wikidata Q2566544, 4-manifold (unknown). Also EoM Four-dimensional_manifold, nLab 4-manifold
- wikipedia: Wikipedia 4-manifold, 4-manifold (definition). Also Wikidata Q2566544
History
- 2026-10-26: add by m2/dev
Cosmos QE904Q2HE1
| URI | m2://inv/QE904Q2HE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmos (category theory), Cosmos (definition). Also Wikidata Q25203218
History
- 2026-11-02: add by m2/dev
arithmetic derivative QE915W1AMN
| URI | m2://inv/QE915W1AMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3013123, arithmetic derivative (object). Also OEIS A003415
- wikipedia: Wikipedia Arithmetic derivative, Arithmetic derivative (definition). Also Wikidata Q3013123
History
- 2026-10-26: add by m2/dev
Edwina Rissland QE91SF5R28
| URI | m2://inv/QE91SF5R28 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwina Rissland, Edwina Rissland (topic). Also Wikidata Q97961494
History
- 2026-11-02: add by m2/dev
QE93S1DRZ9 QE93S1DRZ9
| URI | m2://inv/QE93S1DRZ9 |
|---|---|
| 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 2411.16655#4Q4T (statement). In EJHAXRV685/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.5
QE98CAXQKE QE98CAXQKE
| URI | m2://inv/QE98CAXQKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#example-4 (example). In RZP28ERRZV, example, section 27.4.1
History
- 2026-11-01: add by m2/v0.6.13
Closed-form number QE9FM8CAJA
| URI | m2://inv/QE9FM8CAJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-form expression#GH5D, Closed-form number (unknown)
History
- 2026-11-02: add by m2/dev
Poincaré metric QE9HQZNK5A
| URI | m2://inv/QE9HQZNK5A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#SJ79, Poincaré metric (object)
History
- 2026-11-02: add by m2/dev
pencil QE9JS1H5QM
| URI | m2://inv/QE9JS1H5QM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HJ8N, pencil (definition)
History
- 2026-11-02: add by m2/dev
QE9RTWDNJM QE9RTWDNJM
| URI | m2://inv/QE9RTWDNJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2610.00869#SUS8 (statement). In 63JMKC4GZE/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
QE9TCV0NXM QE9TCV0NXM
| URI | m2://inv/QE9TCV0NXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2401.07983#PII2 (statement). In 4WJ9HYVSZY/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.3.6
Semi-invariant of a quiver QE9VKDPFH3
| URI | m2://inv/QE9VKDPFH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-invariant of a quiver, Semi-invariant of a quiver (definition). Also Wikidata Q17103195
History
- 2026-11-02: add by m2/dev
Generalization QE9WXTRA21
| URI | m2://inv/QE9WXTRA21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalization, Generalization (definition). Also Wikidata Q170084
History
- 2026-11-02: add by m2/dev
Schur algebra QE9X24PX2Y
| URI | m2://inv/QE9X24PX2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7433031, Schur algebra (unknown). Also MathWorld SchurAlgebra
- wikipedia: Wikipedia Schur algebra, Schur algebra (definition). Also Wikidata Q7433031
History
- 2026-10-26: add by m2/dev
QE9ZWGKFS0 QE9ZWGKFS0
| URI | m2://inv/QE9ZWGKFS0 |
|---|---|
| Kind | definition |
| 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 2204.01073#9075 (definition). In W4TYN4PGE8/e1, definition 2.55
History
- 2026-10-27: add by m2/v0.3.5
Michel Enock QEA523TR78
| URI | m2://inv/QEA523TR78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel Enock, Michel Enock (topic). Also Wikidata Q122374722
History
- 2026-11-02: add by m2/dev
valuation ring QEA7BCMX7J
| URI | m2://inv/QEA7BCMX7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Valuation ring QSX12D8RQM |
Mentions
- wikidata: Wikidata Q12013681, valuation ring (definition). Also EoM Valuation, MathWorld ValuationRing, nLab valuation ring, ProofWiki Definition:Valuation_Ring
- wikipedia: Wikipedia Valuation ring, Valuation ring (definition). Also Wikidata Q12013681
History
- 2026-10-26: add by m2/dev
Ultrastrong topology QEAD6B284Q
| URI | m2://inv/QEAD6B284Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrastrong topology, Ultrastrong topology (definition). Also Wikidata Q7880680
History
- 2026-11-02: add by m2/dev
Viswanath's constant QEAF4MKQTH
| URI | m2://inv/QEAF4MKQTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#SQZ8, Viswanath's constant (definition)
History
- 2026-11-02: add by m2/dev
QEARP83SMT QEARP83SMT
| URI | m2://inv/QEARP83SMT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-27 (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
complex-analytic subvariety QEB5E4ERP7
| URI | m2://inv/QEB5E4ERP7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.5/complex-analytic-subvariety, complex-analytic subvariety (concept). In VNMV985MXX, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Successive corrections of cochains QEB87PDSP1
| URI | m2://inv/QEB87PDSP1 |
|---|---|
| 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.21093#OUDS, Successive corrections of cochains (statement). In TBFPBPQV3G/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Degenerative research program QEBE0SDENK
| URI | m2://inv/QEBE0SDENK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imre Lakatos#HA9R, Degenerative research program (unknown)
History
- 2026-11-02: add by m2/dev
Lightly compressible surface water waves QEBR5V1E8G
| URI | m2://inv/QEBR5V1E8G |
|---|---|
| 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.01883#GNCW, Lightly compressible surface water waves (statement). In CYV4P9TDV0/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
QEBWSPVN1T QEBWSPVN1T
| URI | m2://inv/QEBWSPVN1T |
|---|---|
| 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.28893#BK88 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Schlömilch's series QEBXWA7R4Z
| URI | m2://inv/QEBXWA7R4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schlömilch's series, Schlömilch's series (definition). Also Wikidata Q55632671
History
- 2026-11-02: add by m2/dev
Examples QEC2DPW9JJ
| URI | m2://inv/QEC2DPW9JJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wien's displacement law#9WML, Examples (example)
History
- 2026-11-02: add by m2/dev
QEC2J0C8MV QEC2J0C8MV
| URI | m2://inv/QEC2J0C8MV |
|---|---|
| Kind | example |
| 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 2609.21914#K0W1 (example)
History
- 2026-11-02: add by m2/v0.6.17
QEC7X8D3Z5 QEC7X8D3Z5
| URI | m2://inv/QEC7X8D3Z5 |
|---|---|
| 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.13741#M773 (statement). In Q43F8N7XDE/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Definition QECB80SW9F
| URI | m2://inv/QECB80SW9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similar process#Z8K1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Superelliptic curve QECM8TV2BY
| URI | m2://inv/QECM8TV2BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superelliptic curve, Superelliptic curve (definition). Also Wikidata Q7643268
History
- 2026-11-02: add by m2/dev
QECNKZBH8S QECNKZBH8S
| URI | m2://inv/QECNKZBH8S |
|---|---|
| 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.07445#QBT1 (statement). In F1BM3Q8125/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
QECPRKM0K1 QECPRKM0K1
| URI | m2://inv/QECPRKM0K1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#ST3G (statement). In E4DJTPKHAX/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Examples QECXAXDS26
| URI | m2://inv/QECXAXDS26 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy fiber#8D8R, Examples (example)
History
- 2026-11-02: add by m2/dev
Tristan Rivière QED54DT5HJ
| URI | m2://inv/QED54DT5HJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tristan Rivière, Tristan Rivière (topic). Also Wikidata Q15851542
History
- 2026-11-02: add by m2/dev
Otto Toeplitz QED6WVBJAK
| URI | m2://inv/QED6WVBJAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Toeplitz, Otto Toeplitz (topic). Also Wikidata Q61763
History
- 2026-11-02: add by m2/dev
cf.\ QEDAJ1T37K
| URI | m2://inv/QEDAJ1T37K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01273#7F2I, cf.\ (example). In RAT41DDR51/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.12
Eight scalar channels and Reynolds projection QEDAKA2G0T
| URI | m2://inv/QEDAKA2G0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2501.09848#GR90, Eight scalar channels and Reynolds projection (statement). In HF7YNMW39N/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
Classical geometry QEDC6FG6EZ
| URI | m2://inv/QEDC6FG6EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#G0EZ, Classical geometry (definition)
History
- 2026-11-02: add by m2/dev
QEDEFHX57Y QEDEFHX57Y
| URI | m2://inv/QEDEFHX57Y |
|---|---|
| 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.27788#9CJ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notations QEDVC82CQF
| URI | m2://inv/QEDVC82CQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic hypercube#Z651, Notations (definition)
History
- 2026-11-02: add by m2/dev
QEDYTVK2EP QEDYTVK2EP
| URI | m2://inv/QEDYTVK2EP |
|---|---|
| Kind | example |
| 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 2212.01916#7X8L (example). In XTGB5Z08YH/e1, example 3.7
History
- 2026-10-27: add by m2/v0.4.0
QEDZJH6RTV QEDZJH6RTV
| URI | m2://inv/QEDZJH6RTV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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 2609.28814#X5DV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem LFT1 QEE3CHPF5N
| URI | m2://inv/QEE3CHPF5N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#1V0E, Theorem LFT1 (statement)
History
- 2026-11-02: add by m2/dev
QEE5ZKJ0GA QEE5ZKJ0GA
| URI | m2://inv/QEE5ZKJ0GA |
|---|---|
| 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 2311.01874#1YQV (statement). In A4TR95VGX2/e1, proposition 15
History
- 2026-10-27: add by m2/v0.3.5
Peter G. Casazza QEEA7S9VRR
| URI | m2://inv/QEEA7S9VRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter G. Casazza, Peter G. Casazza (topic). Also Wikidata Q29453055
History
- 2026-11-02: add by m2/dev
QEEA7XT35G QEEA7XT35G
| URI | m2://inv/QEEA7XT35G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#9OB0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QEEBFKC9QV QEEBFKC9QV
| URI | m2://inv/QEEBFKC9QV |
|---|---|
| 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#QY7U (statement)
History
- 2026-11-02: add by m2/v0.6.17
QEECT8J8ZJ QEECT8J8ZJ
| URI | m2://inv/QEECT8J8ZJ |
|---|---|
| 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.07546#KDX0 (statement). In H9YE46CGFN/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Elementary renewal theorem for renewal reward processes QEEGWA8BR8
| URI | m2://inv/QEEGWA8BR8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renewal theory#QK42, Elementary renewal theorem for renewal reward processes (statement)
History
- 2026-11-02: add by m2/dev
forbidden QEEJFMB28V
| URI | m2://inv/QEEJFMB28V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#90T0, forbidden (definition)
History
- 2026-11-02: add by m2/dev
QEEK7BD6PE QEEK7BD6PE
| URI | m2://inv/QEEK7BD6PE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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 2512.24812#0IMC (definition). In F4JB0RR5JV/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Shichigahama QEEKV1WSPX
| URI | m2://inv/QEEKV1WSPX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XBXU, Shichigahama (unknown)
History
- 2026-11-02: add by m2/dev
Transfer matrix QEEVGSJBX7
| URI | m2://inv/QEEVGSJBX7 |
|---|---|
| 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.23230#HKZ0, Transfer matrix (statement)
History
- 2026-11-02: add by m2/v0.6.17
Entropy and the determinant of Fisher information QEF5AS7S9T
| URI | m2://inv/QEF5AS7S9T |
|---|---|
| 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.38228#9HG9, Entropy and the determinant of Fisher information (statement). In 9YAE8FNQST/e1, lemma 9.6
History
- 2026-10-30: add by m2/v0.4.12
Half Way Tree QEFFNPD5YS
| URI | m2://inv/QEFFNPD5YS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OE4B, Half Way Tree (unknown)
History
- 2026-11-02: add by m2/dev
Indecomposable decomposition QEFG913K25
| URI | m2://inv/QEFG913K25 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition of a module#YS7Q, Indecomposable decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Howell normal form QEFJPSAZYX
| URI | m2://inv/QEFJPSAZYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howell normal form, Howell normal form (definition). Also Wikidata Q110880112
History
- 2026-11-02: add by m2/dev
Terminology QEFM96KQMJ
| URI | m2://inv/QEFM96KQMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege–Church ontology#VO4S, Terminology (definition)
History
- 2026-11-02: add by m2/dev
QEFMK3SJ3W QEFMK3SJ3W
| URI | m2://inv/QEFMK3SJ3W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#0RDI (definition). In 9DQKY7KGE8/e1, definition C.1
History
- 2026-10-31: add by m2/v0.5.6
Wu Wen-Tsun QEFN6WK8DZ
| URI | m2://inv/QEFN6WK8DZ |
|---|---|
| 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#ZN8H, Wu Wen-Tsun (unknown)
History
- 2026-11-02: add by m2/dev
QEG0SWCMBH QEG0SWCMBH
| URI | m2://inv/QEG0SWCMBH |
|---|---|
| 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 2512.19872#EKE2 (statement). In DG9TF5X0EG/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.0
Construction QEG130MS6D
| URI | m2://inv/QEG130MS6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotomic conjugate#7B8Q, Construction (definition)
History
- 2026-11-02: add by m2/dev
Schnyder wood QEG2KGED8G
| URI | m2://inv/QEG2KGED8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arboricity#YSYW, Schnyder wood (unknown)
History
- 2026-11-02: add by m2/dev
Ceva's theorem QEGF6S4SM4
| URI | m2://inv/QEGF6S4SM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LODI, Ceva's theorem (statement)
History
- 2026-11-02: add by m2/dev
QEGYYNED9Q QEGYYNED9Q
| URI | m2://inv/QEGYYNED9Q |
|---|---|
| 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.16399#SLAR (statement). In 2N87D4KTSY/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
QEGZJ8BCKD QEGZJ8BCKD
| URI | m2://inv/QEGZJ8BCKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#KD0J (statement)
History
- 2026-11-02: add by m2/v0.6.18
István Juhász QEH1E7VQ0E
| URI | m2://inv/QEH1E7VQ0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia István Juhász (mathematician), István Juhász (topic). Also Wikidata Q1101916
History
- 2026-11-02: add by m2/dev
QEH29AZNXK QEH29AZNXK
| URI | m2://inv/QEH29AZNXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#DTVR (statement). In 74MMMHHPW5/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
Alexander D. Wentzell QEH2YB5T66
| URI | m2://inv/QEH2YB5T66 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander D. Wentzell, Alexander D. Wentzell (topic). Also Wikidata Q36941218
History
- 2026-11-02: add by m2/dev
Integrality QEH31PRFAH
| URI | m2://inv/QEH31PRFAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#HBC2, Integrality (statement). In 8BNPFYQDQX/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
prime knot QEH5VZCP1N
| URI | m2://inv/QEH5VZCP1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Prime knot GJ6FJ4G5VC |
Mentions
- wikidata: Wikidata Q1014491, prime knot (unknown). Also MathWorld PrimeKnot
- wikipedia: Wikipedia Prime knot, Prime knot (definition). Also Wikidata Q1014491
History
- 2026-10-26: add by m2/dev
QEH8HDAB6X QEH8HDAB6X
| URI | m2://inv/QEH8HDAB6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#FXAX (statement)
History
- 2026-11-01: add by m2/v0.6.15
E. G. Glagoleva QEHQYBC231
| URI | m2://inv/QEHQYBC231 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. G. Glagoleva, E. G. Glagoleva (topic). Also Wikidata Q59628572
History
- 2026-11-02: add by m2/dev
QEHWFG6QS0 QEHWFG6QS0
| URI | m2://inv/QEHWFG6QS0 |
|---|---|
| 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#6ESG (statement). In KYJJMC50SJ/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Irving Copi QEHXTH5835
| URI | m2://inv/QEHXTH5835 |
|---|---|
| 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 Q6074533, Irving Copi (unknown). Also ProofWiki Mathematician:Irving_Marmer_Copi
- wikipedia: Wikipedia Irving Copi, Irving Copi (topic). Also Wikidata Q6074533
History
- 2026-10-26: add by m2/dev
QEJ5TNRZB9 QEJ5TNRZB9
| URI | m2://inv/QEJ5TNRZB9 |
|---|---|
| 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.18673#IMQZ (statement). In 7ZFD9XRKA1/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
QEJAF4JH2R QEJAF4JH2R
| URI | m2://inv/QEJAF4JH2R |
|---|---|
| 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.23847#JN8K (statement)
History
- 2026-11-02: add by m2/v0.6.17
cosecant QEJAZPD302
| URI | m2://inv/QEJAZPD302 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.4.2/cosecant, cosecant (concept). In 907G4C4EJ1, index, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
QEJBV7S4SB QEJBV7S4SB
| URI | m2://inv/QEJBV7S4SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#RFOT (statement). In 160PQ7F1AS/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
universe QEJCDF4JJA
| URI | m2://inv/QEJCDF4JJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#C445, universe (definition)
History
- 2026-11-02: add by m2/dev
Ranthony Edmonds QEJD2KAXED
| URI | m2://inv/QEJD2KAXED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranthony Edmonds, Ranthony Edmonds (topic). Also Wikidata Q103126374
History
- 2026-11-02: add by m2/dev
Burden-Indexed Receiver Family QEJMK6XHCS
| URI | m2://inv/QEJMK6XHCS |
|---|---|
| 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.03769#5LNE, Burden-Indexed Receiver Family (definition). In 35DNCV14M4/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Regularity of the eigenfunction QEJVDQG833
| URI | m2://inv/QEJVDQG833 |
|---|---|
| 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.15460#FTYP, Regularity of the eigenfunction (statement). In T2Z3D2VQ9B/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
QEJZC8D6QG QEJZC8D6QG
| URI | m2://inv/QEJZC8D6QG |
|---|---|
| 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.19806#ZWDT (statement). In 64WX3WHW4H/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Levenshtein automaton QEJZEWF6D9
| URI | m2://inv/QEJZEWF6D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levenshtein automaton, Levenshtein automaton (definition). Also Wikidata Q6535190
History
- 2026-11-02: add by m2/dev
QEK8QG8D2M QEK8QG8D2M
| URI | m2://inv/QEK8QG8D2M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.27872#Y7SI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Congruum QEK9ZNM88Y
| URI | m2://inv/QEK9ZNM88Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5161003, Congruum (concept). Also MathWorld CongruumProblem
- wikipedia: Wikipedia Congruum, Congruum (definition). Also Wikidata Q5161003
History
- 2026-10-26: add by m2/dev
QEKEP4DSAP QEKEP4DSAP
| URI | m2://inv/QEKEP4DSAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#CE86 (statement). In PG0B4PH9YH/e1, fact 4.1
History
- 2026-10-27: add by m2/v0.4.2
Paul I. Richards QEKGM4HVJW
| URI | m2://inv/QEKGM4HVJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul I. Richards, Paul I. Richards (topic). Also Wikidata Q22096270
History
- 2026-11-02: add by m2/dev
QEKJEQVK1B QEKJEQVK1B
| URI | m2://inv/QEKJEQVK1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#9U9C (statement). In 9J7TJYKGYX/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
The fixed-ratio atoms QEKMKS7T7J
| URI | m2://inv/QEKMKS7T7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#0WWS, The fixed-ratio atoms (statement). In 4AQ48WSBDQ/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Definition QEKQMYNQHS
| URI | m2://inv/QEKQMYNQHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual object#PFRN, Definition (definition)
History
- 2026-11-02: add by m2/dev
rubidium QEKRC27NZ8
| URI | m2://inv/QEKRC27NZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q895, rubidium (definition). Also ProofWiki Definition:Rubidium
History
- 2026-10-26: add by m2/dev
Restricted-multiplier Positivstellensatz QEKZKFDNGQ
| URI | m2://inv/QEKZKFDNGQ |
|---|---|
| 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.33697#S88W, Restricted-multiplier Positivstellensatz (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
QEM03YXW9D QEM03YXW9D
| URI | m2://inv/QEM03YXW9D |
|---|---|
| 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 2511.17751#FP8C (statement). In J39X0NB31S/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
QEM3CQWNGS QEM3CQWNGS
| URI | m2://inv/QEM3CQWNGS |
|---|---|
| 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.17476#3U2A (statement). In 6HXD74FA4S/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Jim Mauldon QEMD53S508
| URI | m2://inv/QEMD53S508 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jim Mauldon, Jim Mauldon (topic). Also Wikidata Q6196687
History
- 2026-11-02: add by m2/dev
Mary Nicholas Arnoldy QEMDGDQXXR
| URI | m2://inv/QEMDGDQXXR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Nicholas Arnoldy, Mary Nicholas Arnoldy (topic). Also Wikidata Q102198435
History
- 2026-11-02: add by m2/dev
Forecast error QEMJJH6GWX
| URI | m2://inv/QEMJJH6GWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VXHD, Forecast error (definition)
History
- 2026-11-02: add by m2/dev
$\w$-type QEMQGD9YY8
| URI | m2://inv/QEMQGD9YY8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/w-type, $\w$-type (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Chladni Figures QEMR8XSZPP
| URI | m2://inv/QEMR8XSZPP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Chladni#MXIE, Chladni Figures (unknown)
History
- 2026-11-02: add by m2/dev
QEMXSQ299M QEMXSQ299M
| URI | m2://inv/QEMXSQ299M |
|---|---|
| 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#EFHY (statement). In RBQ5FNCVNZ/e1, corollary D.2
History
- 2026-10-30: add by m2/v0.4.12
Generalized De Morgan's Law QEMZ3VJY1N
| URI | m2://inv/QEMZ3VJY1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#theorem-2, Generalized De Morgan's Law (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
Theorem QENBP03D53
| URI | m2://inv/QENBP03D53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Models of DNA evolution#TKQJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
QENH19NBG5 QENH19NBG5
| URI | m2://inv/QENH19NBG5 |
|---|---|
| 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.21552#T664 (statement)
History
- 2026-11-02: add by m2/v0.6.18
QENR7RD0E4 QENR7RD0E4
| URI | m2://inv/QENR7RD0E4 |
|---|---|
| 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.34283#BSSQ (statement). In DF1S2FHKJE/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
Operator span seminorm QENR95DQMF
| URI | m2://inv/QENR95DQMF |
|---|---|
| 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.14988#A5NE, Operator span seminorm (statement). In B29M4E6KGC/e1, lemma E.5
History
- 2026-10-28: add by m2/v0.4.2
Edith Hirsch Luchins QENR9GFYY5
| URI | m2://inv/QENR9GFYY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edith Hirsch Luchins, Edith Hirsch Luchins (topic). Also Wikidata Q1284993
History
- 2026-11-02: add by m2/dev
Ascending chain condition QEP2HGQS89
| URI | m2://inv/QEP2HGQS89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#532S, Ascending chain condition (definition)
History
- 2026-11-02: add by m2/dev
QEP3J2WYXT QEP3J2WYXT
| URI | m2://inv/QEP3J2WYXT |
|---|---|
| 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.16886#C6E1 (statement). In Y8QQAH7VCF/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Cayley absolute QEP4YXJ6ZE
| URI | m2://inv/QEP4YXJ6ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#IRLK, Cayley absolute (definition)
History
- 2026-11-02: add by m2/dev
Applications QEP83D5ZVV
| URI | m2://inv/QEP83D5ZVV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scene statistics#LUDI, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties QEP880DF0N
| URI | m2://inv/QEP880DF0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonically normal space#F8WR, Properties (statement)
History
- 2026-11-02: add by m2/dev
highly cototient number QEPBJTNBP9
| URI | m2://inv/QEPBJTNBP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3879385, highly cototient number (unknown). Also MathWorld HighlyCototientNumber, OEIS A100827
- wikipedia: Wikipedia Highly cototient number, Highly cototient number (definition). Also Wikidata Q3879385
History
- 2026-10-26: add by m2/dev
QEPC5Z5WD1 QEPC5Z5WD1
| URI | m2://inv/QEPC5Z5WD1 |
|---|---|
| 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.14803#PKDK (statement). In VAEVDTBD3B/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
covering space QEPFYDM96Z
| URI | m2://inv/QEPFYDM96Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Covering space 3XZRRE165N |
Mentions
- wikidata: Wikidata Q332648, covering space (unknown). Also EoM Covering_(of_a_set), MathWorld CoveringMap, MathWorld CoveringSpace, nLab covering space
- wikipedia: Wikipedia Covering space, Covering space (definition). Also Wikidata Q332648
History
- 2026-10-26: add by m2/dev
630 (number) QEPMK2NX57
| URI | m2://inv/QEPMK2NX57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#MX97, 630 (number) (unknown)
History
- 2026-11-02: add by m2/dev
QEPQ7TNAX7 QEPQ7TNAX7
| URI | m2://inv/QEPQ7TNAX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-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 2409.00806#TRAN (statement). In SBN06J39DG/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
hectad QEPTF1W9D1
| URI | m2://inv/QEPTF1W9D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5696515, hectad (definition). Also ProofWiki Definition:Hectad
History
- 2026-10-26: add by m2/dev
Properties QEQ0Q53HRR
| URI | m2://inv/QEQ0Q53HRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicover bifiltration#1PDB, Properties (statement)
History
- 2026-11-02: add by m2/dev
QEQ32VH5EE QEQ32VH5EE
| URI | m2://inv/QEQ32VH5EE |
|---|---|
| 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.01029#BXB6 (statement). In KA8VS65Z9G/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
QEQABKCQZK QEQABKCQZK
| URI | m2://inv/QEQABKCQZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:ntypes-sigma (statement). In N54F33XE07, thm, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
The sixth moment QEQC98NM47
| URI | m2://inv/QEQC98NM47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#7IBK, The sixth moment (statement). In QPJ6FWG5HD/e1, theorem 2.66
History
- 2026-10-29: add by m2/v0.4.12
Open questions QEQES5ANMW
| URI | m2://inv/QEQES5ANMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singmaster's conjecture#U23F, Open questions (statement)
History
- 2026-11-02: add by m2/dev
Definition QEQFA7RQ02
| URI | m2://inv/QEQFA7RQ02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization (Lie algebra)#SDHS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Escape QEQFFP8YY6
| URI | m2://inv/QEQFFP8YY6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#C2WT, Escape (definition). In SQZGKRDVBX/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Primitive normal basis QEQK3Q9YN9
| URI | m2://inv/QEQK3Q9YN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal basis#HA4D, Primitive normal basis (unknown)
History
- 2026-11-02: add by m2/dev
Theory of functional connections QEQK9NMJZ0
| URI | m2://inv/QEQK9NMJZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of functional connections, Theory of functional connections (definition). Also Wikidata Q131311587
History
- 2026-11-02: add by m2/dev
QER6Q41RD5 QER6Q41RD5
| URI | m2://inv/QER6Q41RD5 |
|---|---|
| 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.06206#4IX1 (statement). In A7611PTXVQ/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Chronology of computation of QER9TFYY42
| URI | m2://inv/QER9TFYY42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#UUHI, Chronology of computation of (definition)
History
- 2026-11-02: add by m2/dev
QERHH9GDXC QERHH9GDXC
| URI | m2://inv/QERHH9GDXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#thm:Xcompactfunifcont (statement). In E59CDZA4DP, thm, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
QERJRZ2FE1 QERJRZ2FE1
| URI | m2://inv/QERJRZ2FE1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#proof-3 (proof). In RZP28ERRZV, proof, section 18.4
History
- 2026-11-01: add by m2/v0.6.13
QERQ0JC7RS QERQ0JC7RS
| URI | m2://inv/QERQ0JC7RS |
|---|---|
| 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.19959#5EPQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
QERRVCJJD6 QERRVCJJD6
| URI | m2://inv/QERRVCJJD6 |
|---|---|
| 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.27715#WFLO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example QERYGVTT17
| URI | m2://inv/QERYGVTT17 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observability#KHJ1, Example (example)
History
- 2026-11-02: add by m2/dev
QERYV9WRKW QERYV9WRKW
| URI | m2://inv/QERYV9WRKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#7VF9 (statement). In 73A9KWZJRD/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Using an (object) theorem of the propositional calculus as a lemma QESA3YMGAN
| URI | m2://inv/QESA3YMGAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel numbering for sequences#899J, Using an (object) theorem of the propositional calculus as a lemma (statement)
History
- 2026-11-02: add by m2/dev
definable set QESKKWGKJ1
| URI | m2://inv/QESKKWGKJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Model theory > definable set, definable set (unknown). Also Mathlib Set.Definable
History
- 2026-10-26: add by m2/dev
QESNYZHZ7F QESNYZHZ7F
| URI | m2://inv/QESNYZHZ7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#ZZMP (statement). In BDN507RN7J/e1, proposition 3.2.12
History
- 2026-10-30: add by m2/v0.4.12
QESQZHDZ2C QESQZHDZ2C
| URI | m2://inv/QESQZHDZ2C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example:nlin-xplusy (example). In E9HS8K3A52, example, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
Functional graph QESSRA4X1N
| URI | m2://inv/QESSRA4X1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoforest#IJD3, Functional graph (unknown)
History
- 2026-11-02: add by m2/dev
Fixed-entropy mean partition QET4EXS1X2
| URI | m2://inv/QET4EXS1X2 |
|---|---|
| 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.24931#GWMB, Fixed-entropy mean partition (statement)
History
- 2026-11-01: add by m2/v0.6.15
QET6S1633Z QET6S1633Z
| URI | m2://inv/QET6S1633Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#definition-4 (definition). In P1C114YBXG, definition, section J
History
- 2026-11-01: add by m2/v0.6.13
Evasive Boolean function QET8CABGF0
| URI | m2://inv/QET8CABGF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#FYD7, Evasive Boolean function (definition)
History
- 2026-11-02: add by m2/dev
QETHC40Q7W QETHC40Q7W
| URI | m2://inv/QETHC40Q7W |
|---|---|
| Kind | definition |
| 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#Q0YI (definition). In 9EMCPF1F2T/e1, definition 15
History
- 2026-10-29: add by m2/v0.4.10
Formulation QETNM3R25G
| URI | m2://inv/QETNM3R25G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-communication theorem#4EIB, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Examples QETTKP2ZP7
| URI | m2://inv/QETTKP2ZP7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute continuity#J1FY, Examples (example)
History
- 2026-11-02: add by m2/dev
Variations QEV0423E9W
| URI | m2://inv/QEV0423E9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octagram#97VB, Variations (statement)
History
- 2026-11-02: add by m2/dev
Notation QEV6BF8HRF
| URI | m2://inv/QEV6BF8HRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Queuing delay#L7S3, Notation (definition)
History
- 2026-11-02: add by m2/dev
Local potential estimates QEV92VJNRS
| URI | m2://inv/QEV92VJNRS |
|---|---|
| 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#8A6G, Local potential estimates (statement). In KFEASG3ZHS/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Properties QEV9V85T1Y
| URI | m2://inv/QEV9V85T1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube#LJNG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ruth Barcan Marcus QEVBWZP8Q5
| URI | m2://inv/QEVBWZP8Q5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Q1WY, Ruth Barcan Marcus (topic)
History
- 2026-11-02: add by m2/dev
620 (number) QEVHAKDWZZ
| URI | m2://inv/QEVHAKDWZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#O0WU, 620 (number) (unknown)
History
- 2026-11-02: add by m2/dev
QEVR5N2WMC QEVR5N2WMC
| URI | m2://inv/QEVR5N2WMC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 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.14600#MJK6 (definition). In CJHTDS522P/e1, definition 3.2.3
History
- 2026-10-28: add by m2/v0.4.2
QEVSTA08AR QEVSTA08AR
| URI | m2://inv/QEVSTA08AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#E5LE (statement). In REDG6QVHM3/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Cover QEVV845FDA
| URI | m2://inv/QEVV845FDA |
|---|---|
| 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 math/0003117#764H, Cover (statement). In WD2NCBV9F0/e1, lemma 16.1
History
- 2026-10-27: add by m2/v0.3.5
QEVXH7356E QEVXH7356E
| URI | m2://inv/QEVXH7356E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#UTKP (statement). In MRR92GQNZE/e1, corollary 5.15
History
- 2026-10-30: add by m2/v0.4.12
Examples QEW047W4SB
| URI | m2://inv/QEW047W4SB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra representation#DC3O, Examples (example)
History
- 2026-11-02: add by m2/dev
QEWA9AP7DP QEWA9AP7DP
| URI | m2://inv/QEWA9AP7DP |
|---|---|
| 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#C67B (statement)
History
- 2026-11-02: add by m2/v0.6.17
QEWD38S80M QEWD38S80M
| URI | m2://inv/QEWD38S80M |
|---|---|
| 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.20480#5LEQ (statement). In BK4359JSC3/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.4.2
QEWDV4RF8J QEWDV4RF8J
| URI | m2://inv/QEWDV4RF8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#D4BR (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
QEWK1QQCQM QEWK1QQCQM
| URI | m2://inv/QEWK1QQCQM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
QEWM99EBKD QEWM99EBKD
| URI | m2://inv/QEWM99EBKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.00077#FSSZ (statement). In 25WX007DJ1/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
QEWY1XWRD2 QEWY1XWRD2
| URI | m2://inv/QEWY1XWRD2 |
|---|---|
| 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 2204.04820#ZHWB (statement). In 9EJ71MW89B/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
523 (number) QEWZQ9QSZC
| URI | m2://inv/QEWZQ9QSZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#9KNE, 523 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Partial representation of the bisection pseudogroup QEX4G54NZ2
| URI | m2://inv/QEX4G54NZ2 |
|---|---|
| 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.25987#PZMW, Partial representation of the bisection pseudogroup (statement)
History
- 2026-11-01: add by m2/v0.6.15
Crossing-Support Theorem QEXAJ05DD8
| URI | m2://inv/QEXAJ05DD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22465#AC9K, Crossing-Support Theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples QEXCBTV465
| URI | m2://inv/QEXCBTV465 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric space#CA06, Examples (example)
History
- 2026-11-02: add by m2/dev
QEXFTPJVSV QEXFTPJVSV
| URI | m2://inv/QEXFTPJVSV |
|---|---|
| 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#50G1 (statement). In 8KKYZ4NKT2/e1, lemma 40
History
- 2026-10-27: add by m2/v0.4.2
QEXH2K9HB7 QEXH2K9HB7
| URI | m2://inv/QEXH2K9HB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#BLO9 (statement). In CB35ZBBBPT/e1, proposition 3.6
History
- 2026-10-31: add by m2/v0.5.6
Grelling–Nelson paradox QEXHBYEN2E
| URI | m2://inv/QEXHBYEN2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1028161, Grelling–Nelson paradox (statement). Also MathWorld GrellingsParadox, ProofWiki Grelling-Nelson_Paradox
- wikipedia: Wikipedia Grelling–Nelson paradox, Grelling–Nelson paradox (statement). Also Wikidata Q1028161
History
- 2026-10-26: add by m2/dev
Free Gibbs states QEXQWV0QG5
| URI | m2://inv/QEXQWV0QG5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#20TD, Free Gibbs states (example). In MZ60NP20BH/e1, example 3.6
History
- 2026-10-27: add by m2/v0.4.0
QEY2Q5AJ0A QEY2Q5AJ0A
| URI | m2://inv/QEY2Q5AJ0A |
|---|---|
| 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 2609.26129#4XXH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vladimir G. Berkovich QEY612JBH9
| URI | m2://inv/QEY612JBH9 |
|---|---|
| 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#EZ0A, Vladimir G. Berkovich (topic)
History
- 2026-11-02: add by m2/dev
QEYBFF5KAX QEYBFF5KAX
| URI | m2://inv/QEYBFF5KAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31216#M00X (statement). In M9CSGRSRB3/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
QEYD0FKNHB QEYD0FKNHB
| URI | m2://inv/QEYD0FKNHB |
|---|---|
| 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 2508.02432#USFS (statement). In B366ACYB37/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Schur multiplier QEYMB6C6EW
| URI | m2://inv/QEYMB6C6EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3327702, Schur multiplier (unknown). Also EoM Schur_multiplicator, LMFDB knowl group.schur_multiplier, MathWorld SchurMultiplier, nLab Schur multiplier
- wikipedia: Wikipedia Schur multiplier, Schur multiplier (definition). Also Wikidata Q3327702
History
- 2026-10-26: add by m2/dev
The algorithm QEYP83Y96B
| URI | m2://inv/QEYP83Y96B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kahan summation algorithm#5R62, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Cauchy–Schwarz inequality QEYX7NATWZ
| URI | m2://inv/QEYX7NATWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy–Schwarz inequality 0RFWW56Y22 |
Mentions
- wikidata: Wikidata Q190546, Cauchy–Schwarz inequality (statement). Also EoM Cauchy_Schwarz_inequality, MathWorld SchwarzsInequality, nLab Cauchy–Schwarz inequality, ProofWiki Cauchy-Bunyakovsky-Schwarz_Inequality
- wikipedia: Wikipedia Cauchy–Schwarz inequality, Cauchy–Schwarz inequality (statement). Also Wikidata Q190546
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Schur–Ostrowski criterion QEZ2PM0MBQ
| URI | m2://inv/QEZ2PM0MBQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur-convex function#0UW4, Schur–Ostrowski criterion (statement)
History
- 2026-11-02: add by m2/dev
Circular analysis QEZ9TCGX1T
| URI | m2://inv/QEZ9TCGX1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular analysis, Circular analysis (definition). Also Wikidata Q16958490
History
- 2026-11-02: add by m2/dev
Gene regulatory network QEZAH3GHBC
| URI | m2://inv/QEZAH3GHBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gene regulatory network, Gene regulatory network (definition). Also Wikidata Q1502576
History
- 2026-11-02: add by m2/dev
Examples QEZDC0GCWS
| URI | m2://inv/QEZDC0GCWS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bioche's rules#TRUF, Examples (example)
History
- 2026-11-02: add by m2/dev
Spacing estimate QEZKKZFTWT
| URI | m2://inv/QEZKKZFTWT |
|---|---|
| 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.01035#IW5D, Spacing estimate (statement). In MVQWXFXWM7/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Exact diagonal contribution to the fourth moment QEZMWTYBWW
| URI | m2://inv/QEZMWTYBWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#YFCG, Exact diagonal contribution to the fourth moment (statement). In QPJ6FWG5HD/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
super QEZNS0Z41Q
| URI | m2://inv/QEZNS0Z41Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#95VS, super (definition)
History
- 2026-11-02: add by m2/dev
QEZPM7KKMV QEZPM7KKMV
| URI | m2://inv/QEZPM7KKMV |
|---|---|
| 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.38532#XILJ (statement). In X7YYWCZFTV/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Stability to model misspecification QEZWTJGMM3
| URI | m2://inv/QEZWTJGMM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#009J, Stability to model misspecification (statement). In N06J7GC05Q/e1, corollary 7.6
History
- 2026-10-30: add by m2/v0.4.12