Inventory rows MQ
The cards of the rows of the inventory whose ids start with MQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
MQ011PFMXT MQ011PFMXT
| URI | m2://inv/MQ011PFMXT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Brian Cabell White MQ01GP8W0W
| URI | m2://inv/MQ01GP8W0W |
|---|---|
| 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#31BE, Brian Cabell White (topic)
History
- 2026-11-02: add by m2/dev
central extension MQ0371V3A0
| URI | m2://inv/MQ0371V3A0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114145344, central extension (unknown). Also nLab central extension
History
- 2026-10-26: add by m2/dev
Variations MQ03KCNJ1B
| URI | m2://inv/MQ03KCNJ1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cipher disk#ICHW, Variations (statement)
History
- 2026-11-02: add by m2/dev
Kleene star MQ0BZX60QY
| URI | m2://inv/MQ0BZX60QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene star, Kleene star (definition). Also Wikidata Q849775
History
- 2026-11-02: add by m2/dev
Vector operator MQ0FSCF761
| URI | m2://inv/MQ0FSCF761 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#0IOP, Vector operator (definition)
History
- 2026-11-02: add by m2/dev
higher-order quantifier MQ0WDKKT94
| URI | m2://inv/MQ0WDKKT94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QLNI, higher-order quantifier (definition)
History
- 2026-11-02: add by m2/dev
Cayley's ruled cubic surface MQ0WR6VWR9
| URI | m2://inv/MQ0WR6VWR9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5055317, Cayley's ruled cubic surface (concept). Also MathWorld CayleySurface
- wikipedia: Wikipedia Cayley's ruled cubic surface, Cayley's ruled cubic surface (definition). Also Wikidata Q5055317
History
- 2026-10-26: add by m2/dev
MQ0Z0SYMEV MQ0Z0SYMEV
| URI | m2://inv/MQ0Z0SYMEV |
|---|---|
| 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.09084#AOTF (statement). In F5VT2K2QYX/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
MQ12QBKNQQ MQ12QBKNQQ
| URI | m2://inv/MQ12QBKNQQ |
|---|---|
| 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.38865#SQRB (statement). In TFZNHCE6EV/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
resizing MQ1K2NW0DZ
| URI | m2://inv/MQ1K2NW0DZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/resizing, resizing (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Algorithms MQ1QVE6KPP
| URI | m2://inv/MQ1QVE6KPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi automaton#AL5I, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Complex number inequality MQ1SNC1PT1
| URI | m2://inv/MQ1SNC1PT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequality (mathematics)#O8X6, Complex number inequality (unknown)
History
- 2026-11-02: add by m2/dev
MQ1VKDXW0R MQ1VKDXW0R
| URI | m2://inv/MQ1VKDXW0R |
|---|---|
| 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.15416#7FBI (statement). In W9JJQYHQ7J/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Relative canonical model MQ1WWGYBBV
| URI | m2://inv/MQ1WWGYBBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative canonical model, Relative canonical model (definition). Also Wikidata Q7310785
History
- 2026-11-02: add by m2/dev
Symbolic regression MQ28YF4EN7
| URI | m2://inv/MQ28YF4EN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#FPXP, Symbolic regression (definition)
History
- 2026-11-02: add by m2/dev
Taut foliation MQ297YMDXP
| URI | m2://inv/MQ297YMDXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7688954, Taut foliation (unknown). Also MathWorld TautFoliation
- wikipedia: Wikipedia Taut foliation, Taut foliation (definition). Also Wikidata Q7688954
History
- 2026-10-26: add by m2/dev
computer project MQ2AA35K1W
| URI | m2://inv/MQ2AA35K1W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-41, computer project (exercise). In E9HS8K3A52, exercise, section 8.5.3
History
- 2026-11-01: add by m2/v0.6.13
Example MQ2GCP1777
| URI | m2://inv/MQ2GCP1777 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bode plot#Q9VZ, Example (example)
History
- 2026-11-02: add by m2/dev
MQ2MGPMGV1 MQ2MGPMGV1
| URI | m2://inv/MQ2MGPMGV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
MQ2SDDHGWG MQ2SDDHGWG
| URI | m2://inv/MQ2SDDHGWG |
|---|---|
| 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 1904.09810#O9MX (statement). In T1VFA7TXPA/e1, theorem 27
History
- 2026-10-27: add by m2/v0.3.5
Applications MQ30SN31K4
| URI | m2://inv/MQ30SN31K4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-range multilateration#CKAU, Applications (example)
History
- 2026-11-02: add by m2/dev
MQ33M43FYR MQ33M43FYR
| URI | m2://inv/MQ33M43FYR |
|---|---|
| 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#5OH0 (statement). In 9EJ71MW89B/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Manvel-type formula MQ35008WH6
| URI | m2://inv/MQ35008WH6 |
|---|---|
| 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.36389#3DMW, Manvel-type formula (statement). In N1S169J2MV/e1, theorem 0.1
History
- 2026-10-30: add by m2/v0.4.12
MQ37DXZY5N MQ37DXZY5N
| URI | m2://inv/MQ37DXZY5N |
|---|---|
| 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 2012.06334#UYXQ (statement). In QD725J6HV4/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
subset MQ3BN6EDT0
| URI | m2://inv/MQ3BN6EDT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Subset 0BJR9QR08E |
Mentions
- wikidata: Wikidata Q177646, subset (definition). Also MathWorld Subset, nLab subset, ProofWiki Definition:Subset
- wikipedia: Wikipedia Subset, Subset (definition). Also Wikidata Q177646
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Benzécri, Jean-Paul MQ3CC8KWRT
| URI | m2://inv/MQ3CC8KWRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#IAT0, Benzécri, Jean-Paul (topic)
History
- 2026-11-02: add by m2/dev
Quartic surface MQ3JCCTS2J
| URI | m2://inv/MQ3JCCTS2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#KHKT, Quartic surface (definition)
History
- 2026-11-02: add by m2/dev
involution MQ3Q1C5K96
| URI | m2://inv/MQ3Q1C5K96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GPM8, involution (definition)
History
- 2026-11-02: add by m2/dev
Double induction MQ3WWPVZ3K
| URI | m2://inv/MQ3WWPVZ3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical induction#15B6, Double induction (unknown)
History
- 2026-11-02: add by m2/dev
Seven-number summary MQ3X5Q7HY0
| URI | m2://inv/MQ3X5Q7HY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seven-number summary, Seven-number summary (definition). Also Wikidata Q1228832
History
- 2026-11-02: add by m2/dev
Triangle inequality for cosine similarity MQ3XBAG9XR
| URI | m2://inv/MQ3XBAG9XR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle inequality#OFD3, Triangle inequality for cosine similarity (statement)
History
- 2026-11-02: add by m2/dev
MQ3Y1MJ55J MQ3Y1MJ55J
| URI | m2://inv/MQ3Y1MJ55J |
|---|---|
| Kind | definition |
| 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 2103.02468#MXP2 (definition). In Q7C6G66CWM/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
MQ44XDWQRB MQ44XDWQRB
| URI | m2://inv/MQ44XDWQRB |
|---|---|
| Kind | example |
| 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.22205#WL7V (example). In 7REABAAQED/e1, example
History
- 2026-10-27: add by m2/v0.4.0
Barron distance between Gaussians MQ4ESN08R9
| URI | m2://inv/MQ4ESN08R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#7K9K, Barron distance between Gaussians (statement). In N91F15MHW1/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
Gelfand–Naimark theorem MQ4FWAWDMQ
| URI | m2://inv/MQ4FWAWDMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XN47, Gelfand–Naimark theorem (statement)
History
- 2026-11-02: add by m2/dev
Definite clause grammar MQ4R5GPCGC
| URI | m2://inv/MQ4R5GPCGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite clause grammar, Definite clause grammar (definition). Also Wikidata Q1582738
History
- 2026-11-02: add by m2/dev
Proposition MQ54PY7WMM
| URI | m2://inv/MQ54PY7WMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#JL2E, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Fitted linear coordinate model MQ5AKZSDNV
| URI | m2://inv/MQ5AKZSDNV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#6776, Fitted linear coordinate model (definition). In 6KAZWJ8RFX/e1, definition 4.15
History
- 2026-10-31: add by m2/v0.5.6
Stability MQ5BT4N2PR
| URI | m2://inv/MQ5BT4N2PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#OFNC, Stability (statement). In HCTYW6VH87/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Action of the $\mathfrak{b}$-to-$\mathfrak{b}$ mapping $\widehat{\mathfrak{P}}$ on $\mathbb{P}_2(\mathbb{R})$ MQ5EC3N1E5
| URI | m2://inv/MQ5EC3N1E5 |
|---|---|
| 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#WS3Z, Action of the $\mathfrak{b}$-to-$\mathfrak{b}$ mapping $\widehat{\mathfrak{P}}$ on $\mathbb{P}_2(\mathbb{R})$ (definition). In F4JB0RR5JV/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Examples MQ5PD5Z7D1
| URI | m2://inv/MQ5PD5Z7D1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial moment#5NPP, Examples (example)
History
- 2026-11-02: add by m2/dev
Non-aggregated setting MQ5XT67FNP
| URI | m2://inv/MQ5XT67FNP |
|---|---|
| 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.24469#J8FL, Non-aggregated setting (statement)
History
- 2026-11-01: add by m2/v0.6.15
MQ63V5T93H MQ63V5T93H
| URI | m2://inv/MQ63V5T93H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16208#EXQE (statement). In 7R51MHWQF7/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
MQ65EC0HZQ MQ65EC0HZQ
| URI | m2://inv/MQ65EC0HZQ |
|---|---|
| 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 2109.08858#W926 (statement). In E6795TKR6R/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
MQ6BCVWV7M MQ6BCVWV7M
| URI | m2://inv/MQ6BCVWV7M |
|---|---|
| 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.14741#GC4G (statement). In RK1VPWWX9E/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Federico Amodeo MQ6JSMRSWR
| URI | m2://inv/MQ6JSMRSWR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#JDCW, Federico Amodeo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#061K, Federico Amodeo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MHMX, Federico Amodeo (topic)
History
- 2026-11-02: add by m2/dev
Exact control-sector selection MQ6MB789WH
| URI | m2://inv/MQ6MB789WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14081#FXVB, Exact control-sector selection (statement). In DCCKKQ7Y21/e1, corollary V.3
History
- 2026-10-28: add by m2/v0.4.2
Generalizations MQ6MK4MNWY
| URI | m2://inv/MQ6MK4MNWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaughan's identity#DSF2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Rolle's theorem MQ6Q0R31SB
| URI | m2://inv/MQ6Q0R31SB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 6 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Rolle's theorem 0194DY35BG |
Mentions
- mathlib_1000: mathlib_1000 Q193286, Rolle's theorem (statement). Also Mathlib exists_deriv_eq_zero, Wikidata Q193286
- mathlib_overview: mathlib_overview Analysis > Differentiability > Rolle's theorem, Rolle's theorem (unknown). Also Mathlib exists_deriv_eq_zero
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > Rolle's theorem, Rolle's theorem (unknown). Also Mathlib exists_deriv_eq_zero
- thousand_plus: thousand_plus Q193286, Rolle's theorem (statement). Also Mathlib exists_deriv_eq_zero, Wikidata Q193286, Wikipedia Rolle's theorem
- wikidata: Wikidata Q193286, Rolle's theorem (statement). Also EoM Rolle_theorem, Mathlib exists_deriv_eq_zero, MathWorld RollesTheorem, ProofWiki Rolle's_Theorem
- wikipedia: Wikipedia Rolle's theorem, Rolle's theorem (statement). Also Wikidata Q193286
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Definition MQ6STEZ691
| URI | m2://inv/MQ6STEZ691 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cesàro summation#KMAE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gluing MQ73FNQSJF
| URI | m2://inv/MQ73FNQSJF |
|---|---|
| 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.02833#APIU, Gluing (statement). In TNREX5GDK2/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
MQ79XEGETW MQ79XEGETW
| URI | m2://inv/MQ79XEGETW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#XWC0 (statement). In XJWQ6Y83F8/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Circular definition MQ7CQET5RY
| URI | m2://inv/MQ7CQET5RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular definition, Circular definition (definition). Also Wikidata Q428414
History
- 2026-11-02: add by m2/dev
Ramified norm quotient and norm characters MQ7X9R7976
| URI | m2://inv/MQ7X9R7976 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#XVHN, Ramified norm quotient and norm characters (statement). In 5BZQS1KY9A/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
MQ812TG337 MQ812TG337
| URI | m2://inv/MQ812TG337 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03499#5HNY (statement). In NAE99N03W3/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Expected residual-weighted stability of linear regression MQ8ATH2JTN
| URI | m2://inv/MQ8ATH2JTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20772#B1FO, Expected residual-weighted stability of linear regression (statement)
History
- 2026-11-02: add by m2/v0.6.18
Invariant differential operator MQ8GK3MP5D
| URI | m2://inv/MQ8GK3MP5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant differential operator, Invariant differential operator (definition). Also Wikidata Q1443411
History
- 2026-11-02: add by m2/dev
Hobby–Rice theorem MQ8GWW204Z
| URI | m2://inv/MQ8GWW204Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PHY0, Hobby–Rice theorem (statement)
History
- 2026-11-02: add by m2/dev
MQ8SW2JJF7 MQ8SW2JJF7
| URI | m2://inv/MQ8SW2JJF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#UP1D (statement). In P5SY7AVP5E/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
Quantitative Blackwell recovery MQ908K7E1D
| URI | m2://inv/MQ908K7E1D |
|---|---|
| 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#EMK6, Quantitative Blackwell recovery (statement). In 9YAE8FNQST/e1, theorem 30.15
History
- 2026-10-30: add by m2/v0.4.12
MQ92NCJE8J MQ92NCJE8J
| URI | m2://inv/MQ92NCJE8J |
|---|---|
| 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.02628#8RYA (statement). In G4S9C5M1A4/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
Lucas shift MQ97SYGRJR
| URI | m2://inv/MQ97SYGRJR |
|---|---|
| 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.05776#PZ2N, Lucas shift (statement). In AFSG70BF7S/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Properties MQ9CHR4Q8R
| URI | m2://inv/MQ9CHR4Q8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computably enumerable set#02R7, Properties (statement)
History
- 2026-11-02: add by m2/dev
MQ9FEAWNAQ MQ9FEAWNAQ
| URI | m2://inv/MQ9FEAWNAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#1MPI (statement). In A1GWWGRXPA/e1, lemma 3.35
History
- 2026-10-27: add by m2/v0.4.2
Classical analysis MQ9J3WGAK8
| URI | m2://inv/MQ9J3WGAK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PTYR, Classical analysis (definition)
History
- 2026-11-02: add by m2/dev
Affinor MQ9PDE2RBY
| URI | m2://inv/MQ9PDE2RBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Arnoldus Schouten#IQ23, Affinor (unknown)
History
- 2026-11-02: add by m2/dev
MQ9QRYDF3S MQ9QRYDF3S
| URI | m2://inv/MQ9QRYDF3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#6IU6 (statement). In 7SSKW778T8/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Strongly-connected digraph MQ9QYTM8AV
| URI | m2://inv/MQ9QYTM8AV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed graph#AP4U, Strongly-connected digraph (unknown)
History
- 2026-11-02: add by m2/dev
Strings MQ9TF6Q5X1
| URI | m2://inv/MQ9TF6Q5X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#defn:string, Strings (definition). In PKGMM3P5QY, defn, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Spherical cap MQA3K0EN3B
| URI | m2://inv/MQA3K0EN3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#RVRJ, Spherical cap (unknown)
History
- 2026-11-02: add by m2/dev
Niels Abel MQAEQ4HQTW
| URI | m2://inv/MQAEQ4HQTW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#8NXA, Niels Abel (topic)
History
- 2026-11-02: add by m2/dev
Applications MQAF7H9J3M
| URI | m2://inv/MQAF7H9J3M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presburger arithmetic#99YD, Applications (example)
History
- 2026-11-02: add by m2/dev
the Heisenberg group modulo p MQAJR7QNX3
| URI | m2://inv/MQAJR7QNX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#9Z6T, the Heisenberg group modulo p (definition)
History
- 2026-11-02: add by m2/dev
B. Fischer MQANYSB5DC
| URI | m2://inv/MQANYSB5DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#2ZVY, B. Fischer (topic)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness MQAPE32Z68
| URI | m2://inv/MQAPE32Z68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net (polyhedron)#HLPB, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Small initial degree over the prime field MQASG8AD09
| URI | m2://inv/MQASG8AD09 |
|---|---|
| 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#I91G, Small initial degree over the prime field (statement). In 8BNPFYQDQX/e1, corollary 7.7
History
- 2026-10-29: add by m2/v0.4.10
MQB001MB1K MQB001MB1K
| URI | m2://inv/MQB001MB1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/history/set-theory/cantor-plane.tex#thm:cantorplane (statement). In PKGMM3P5QY, thm, section 25.8
History
- 2026-11-01: add by m2/v0.6.13
Example MQB4C0KTBQ
| URI | m2://inv/MQB4C0KTBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#CK0H, Example (example)
History
- 2026-11-02: add by m2/dev
Variations MQB798HC0T
| URI | m2://inv/MQB798HC0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment problem#RK3T, Variations (statement)
History
- 2026-11-02: add by m2/dev
MQB7F07AYG MQB7F07AYG
| URI | m2://inv/MQB7F07AYG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Theorems MQBNW2X7ZS
| URI | m2://inv/MQBNW2X7ZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial algebra#LKYY, Theorems (statement)
History
- 2026-11-02: add by m2/dev
MQBVPA4RS5 MQBVPA4RS5
| URI | m2://inv/MQBVPA4RS5 |
|---|---|
| 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#SQNR (statement). In RBQ5FNCVNZ/e1, theorem A.2
History
- 2026-10-30: add by m2/v0.4.12
Skew Young tableau MQC3WWVJAK
| URI | m2://inv/MQC3WWVJAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young tableau#PG22, Skew Young tableau (unknown)
History
- 2026-11-02: add by m2/dev
Canonical Gibbs property MQC4XYGV39
| URI | m2://inv/MQC4XYGV39 |
|---|---|
| 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.28503#CMK1, Canonical Gibbs property (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mills bounds and their hierarchy MQC6PAN5YY
| URI | m2://inv/MQC6PAN5YY |
|---|---|
| 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.25380#8X5D, Mills bounds and their hierarchy (statement)
History
- 2026-11-01: add by m2/v0.6.15
Deborah A. Nolan MQCKHTWQH5
| URI | m2://inv/MQCKHTWQH5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deborah A. Nolan, Deborah A. Nolan (topic). Also Wikidata Q42835145
History
- 2026-11-02: add by m2/dev
MQCMT7B799 MQCMT7B799
| URI | m2://inv/MQCMT7B799 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2610.14837#CR1O (statement). In J4P6HXMJCH/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
MQCMZT6RA3 MQCMZT6RA3
| URI | m2://inv/MQCMZT6RA3 |
|---|---|
| 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 2311.16252#NXM8 (statement). In 8AHN9GSRMR/e1, proposition B.1
History
- 2026-10-27: add by m2/v0.4.0
Uniform logarithmic law for the resolution time MQCP04EYCW
| URI | m2://inv/MQCP04EYCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03629#HR7Y, Uniform logarithmic law for the resolution time (statement). In T6W0HCPXFN/e1, theorem A4
History
- 2026-10-29: add by m2/v0.4.12
MQCVNCWFM5 MQCVNCWFM5
| URI | m2://inv/MQCVNCWFM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#definition-5 (definition). In RZP28ERRZV, definition, section 99.4
History
- 2026-11-01: add by m2/v0.6.13
MQD4D1FQTX MQD4D1FQTX
| URI | m2://inv/MQD4D1FQTX |
|---|---|
| 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.20588#AJ7L (statement)
History
- 2026-11-02: add by m2/v0.6.18
hyperbolic sine integral MQD5027XKD
| URI | m2://inv/MQD5027XKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19624009, hyperbolic sine integral (unknown). Also MathWorld Shi
History
- 2026-10-26: add by m2/dev
Bruce G. Lindsay MQD7N01K0Z
| URI | m2://inv/MQD7N01K0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#TSGN, Bruce G. Lindsay (topic)
History
- 2026-11-02: add by m2/dev
Examples MQD9GZT008
| URI | m2://inv/MQD9GZT008 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buckingham pi theorem#DJ0T, Examples (example)
History
- 2026-11-02: add by m2/dev
MQDC45FJFZ MQDC45FJFZ
| URI | m2://inv/MQDC45FJFZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#28HP (example). In MG81A9XJTQ/e1, example VI.3
History
- 2026-10-29: add by m2/v0.4.10
Probabilistic algorithm MQDJWCPXVE
| URI | m2://inv/MQDJWCPXVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#BJI9, Probabilistic algorithm (definition)
History
- 2026-11-02: add by m2/dev
factorial MQDPN6144H
| URI | m2://inv/MQDPN6144H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Factorial 0XWG0JGDFW |
Mentions
- wikidata: Wikidata Q120976, factorial (object). Also EoM Factorial, Mathlib Nat.factorial, MathWorld Factorial, nLab factorial, OEIS A000142, ProofWiki Definition:Factorial
- wikipedia: Wikipedia Factorial, Factorial (definition). Also Wikidata Q120976
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Kevin O'Connor MQDZFA7FMS
| URI | m2://inv/MQDZFA7FMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#C0HZ, Kevin O'Connor (unknown)
History
- 2026-11-02: add by m2/dev
Cutoff window MQE6G9B7XW
| URI | m2://inv/MQE6G9B7XW |
|---|---|
| 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.31187#RSQK, Cutoff window (statement). In 2535DQ1DEG/e1, proposition 5
History
- 2026-10-31: add by m2/v0.5.6
MQE7PR1HMW MQE7PR1HMW
| URI | m2://inv/MQE7PR1HMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#BGTC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isaac Babel MQE90NDCC8
| URI | m2://inv/MQE90NDCC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#F6XT, Isaac Babel (unknown)
History
- 2026-11-02: add by m2/dev
MQE9H0WSJ1 MQE9H0WSJ1
| URI | m2://inv/MQE9H0WSJ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:empty-inductive-type (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
MQEH35E1M2 MQEH35E1M2
| URI | m2://inv/MQEH35E1M2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#LSMQ (statement). In 7V2PVZS04C/e1, corollary 4.9
History
- 2026-10-31: add by m2/v0.5.6
Vera Kublanovskaya MQEQXTYGPY
| URI | m2://inv/MQEQXTYGPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vera Kublanovskaya, Vera Kublanovskaya (topic). Also Wikidata Q516450
History
- 2026-11-02: add by m2/dev
MQEXTFVZJ8 MQEXTFVZJ8
| URI | m2://inv/MQEXTFVZJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#NT3V (statement). In 2S89BG5WPH/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Lari Pittman MQF12DCSF1
| URI | m2://inv/MQF12DCSF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#S7W4, Lari Pittman (unknown)
History
- 2026-11-02: add by m2/dev
Advances in Operator Theory MQF2YX493F
| URI | m2://inv/MQF2YX493F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advances in Operator Theory, Advances in Operator Theory (definition). Also Wikidata Q50817924
History
- 2026-11-02: add by m2/dev
Additive and relative errors of the approximation method MQFCRGQ9NJ
| URI | m2://inv/MQFCRGQ9NJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#BDQI, Additive and relative errors of the approximation method (statement). In WF64CGYVK1/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Leontief, Wassily MQFPGQZT3N
| URI | m2://inv/MQFPGQZT3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#UTWE, Leontief, Wassily (unknown)
History
- 2026-11-02: add by m2/dev
Weierstrass factorization theorem MQFQXYH89N
| URI | m2://inv/MQFQXYH89N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass factorization theorem#IE95, Weierstrass factorization theorem (statement)
History
- 2026-11-02: add by m2/dev
Future obstruction module MQFR74F0PD
| URI | m2://inv/MQFR74F0PD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#67RF, Future obstruction module (definition)
History
- 2026-11-01: add by m2/v0.6.15
Commutant lifting theorem MQFWX83JQW
| URI | m2://inv/MQFWX83JQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutant lifting theorem, Commutant lifting theorem (statement). Also Wikidata Q5155083
History
- 2026-11-02: add by m2/dev
Hervé Jacquet MQFZZMWHPS
| URI | m2://inv/MQFZZMWHPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5QMB, Hervé Jacquet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1B4J, Hervé Jacquet (topic)
History
- 2026-11-02: add by m2/dev
Modding out in the product group MQG17R5YN5
| URI | m2://inv/MQG17R5YN5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-8, Modding out in the product group (example). In RZP28ERRZV, example, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Classifying space for SO MQG6Q5HG4A
| URI | m2://inv/MQG6Q5HG4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space for SO(n)#R4O7, Classifying space for SO (unknown)
History
- 2026-11-02: add by m2/dev
MQGMQ32BNZ MQGMQ32BNZ
| URI | m2://inv/MQGMQ32BNZ |
|---|---|
| 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.22528#DJV9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Small groups MQGN34DEDY
| URI | m2://inv/MQGN34DEDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#CFRM, Small groups (statement). In 4W7ARR1DAR/e1, fact B.6
History
- 2026-10-28: add by m2/v0.4.2
iterated product MQGQ4YVGNG
| URI | m2://inv/MQGQ4YVGNG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140132240, iterated product (unknown). Also ProofWiki Symbols:Continued_Product
History
- 2026-10-26: add by m2/dev
Properties MQGX0H1TMC
| URI | m2://inv/MQGX0H1TMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taut foliation#9H1M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Variants MQH3Z5THHD
| URI | m2://inv/MQH3Z5THHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor set#D2O4, Variants (statement)
History
- 2026-11-02: add by m2/dev
Uniform linear anti-concentration MQH8Z8FBJ0
| URI | m2://inv/MQH8Z8FBJ0 |
|---|---|
| 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.39855#XPX2, Uniform linear anti-concentration (statement). In E1KFX0NW51/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
MQHBC7J1DK MQHBC7J1DK
| URI | m2://inv/MQHBC7J1DK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#6JHQ (definition). In 80S2NP05HJ/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.4.0
MQHC71VV2C MQHC71VV2C
| URI | m2://inv/MQHC71VV2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-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 2610.03756#BYZ4 (statement). In 2381M4GBTT/e1, proposition 12.1
History
- 2026-10-29: add by m2/v0.4.12
Composite polyhedron MQHEJXQ4JN
| URI | m2://inv/MQHEJXQ4JN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composite polyhedron, Composite polyhedron (object). Also Wikidata Q130244125
History
- 2026-11-02: add by m2/dev
MQHGA3CTCC MQHGA3CTCC
| URI | m2://inv/MQHGA3CTCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03499#M7E2 (statement). In NAE99N03W3/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
Hendrik Willem Lenstra MQHKBX3MHT
| URI | m2://inv/MQHKBX3MHT |
|---|---|
| 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#D42S, Hendrik Willem Lenstra (unknown)
History
- 2026-11-02: add by m2/dev
Moy–Prasad filtration MQHKKWW2TQ
| URI | m2://inv/MQHKKWW2TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moy–Prasad filtration, Moy–Prasad filtration (definition). Also Wikidata Q96394175
History
- 2026-11-02: add by m2/dev
affine plane MQHP0X87FN
| URI | m2://inv/MQHP0X87FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Affine plane EC7XT2ZM5S |
Mentions
- wikidata: Wikidata Q382491, affine plane (unknown). Also MathWorld AffinePlane
- wikipedia: Wikipedia Affine plane (incidence geometry), Affine plane (definition). Also Wikidata Q382491
History
- 2026-10-26: add by m2/dev
Polar bundle MQJ2HKR1JC
| URI | m2://inv/MQJ2HKR1JC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38126#9UOI, Polar bundle (definition). In QNVKW32G02/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
MQJ6VHYGMQ MQJ6VHYGMQ
| URI | m2://inv/MQJ6VHYGMQ |
|---|---|
| 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.20656#V3D2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bronislaw Knaster MQJ7ETTNVX
| URI | m2://inv/MQJ7ETTNVX |
|---|---|
| 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#0V2X, Bronislaw Knaster (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#22OR, Bronislaw Knaster (topic)
History
- 2026-11-02: add by m2/dev
Extensions MQJK079TYR
| URI | m2://inv/MQJK079TYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden Markov model#1G3R, Extensions (statement)
History
- 2026-11-02: add by m2/dev
MQJKSFR952 MQJKSFR952
| URI | m2://inv/MQJKSFR952 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#3YN2 (statement). In WSG1ZW956E/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
Mathematical Optimization Society MQJY0CSWW9
| URI | m2://inv/MQJY0CSWW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Optimization Society, Mathematical Optimization Society (definition). Also Wikidata Q948100
History
- 2026-11-02: add by m2/dev
Variants of the Ruzsa triangle inequality MQK0Y6N150
| URI | m2://inv/MQK0Y6N150 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruzsa triangle inequality#SHDI, Variants of the Ruzsa triangle inequality (statement)
History
- 2026-11-02: add by m2/dev
MQKS5162CF MQKS5162CF
| URI | m2://inv/MQKS5162CF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#5MVE (definition)
History
- 2026-11-01: add by m2/v0.6.15
Elementwise reflection of relative smallness MQKT7HG41S
| URI | m2://inv/MQKT7HG41S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#HFNT, Elementwise reflection of relative smallness (statement). In HX63A1PH1W/e1, proposition 5.19
History
- 2026-10-28: add by m2/v0.4.3
Evidential reasoning approach MQKTB7D8X5
| URI | m2://inv/MQKTB7D8X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidential reasoning approach, Evidential reasoning approach (definition). Also Wikidata Q5418360
History
- 2026-11-02: add by m2/dev
Reconstruction and rank MQKVQ9Q0XW
| URI | m2://inv/MQKVQ9Q0XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08280#0GEZ, Reconstruction and rank (statement). In EGADPYP7R3/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Sagarin, Jeff MQKZ8GPPQ8
| URI | m2://inv/MQKZ8GPPQ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Z95C, Sagarin, Jeff (unknown)
History
- 2026-11-02: add by m2/dev
MQKZSYSV4K MQKZSYSV4K
| URI | m2://inv/MQKZSYSV4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13229#1LOQ (statement). In 4WN20N5Z57/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Enumeration MQM4747VQ9
| URI | m2://inv/MQM4747VQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cograph#6FL1, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
MQM9FSEYE1 MQM9FSEYE1
| URI | m2://inv/MQM9FSEYE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#58V4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
recursion principle, for Cauchy reals MQMD6FHWVS
| URI | m2://inv/MQMD6FHWVS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/recursion-principle-for-cauchy-reals, recursion principle, for Cauchy reals (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
primary decomposition MQMKP257PQ
| URI | m2://inv/MQMKP257PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 4 |
| Outcome | open |
| Node | Primary decomposition ZD34THCXQ0 |
Mentions
- mathlib_1000: mathlib_1000 Q172298, Lasker–Noether theorem (statement). Also Mathlib Submodule.isPrimary_decomposition_pairwise_ne_radical, Wikidata Q172298
- thousand_plus: thousand_plus Q172298, Lasker–Noether theorem (statement). Also Mathlib Submodule.isPrimary_decomposition_pairwise_ne_radical, Wikidata Q172298, Wikipedia Lasker–Noether theorem
- wikidata: Wikidata Q172298, primary decomposition (statement). Also EoM Primary_decomposition
- wikipedia: Wikipedia Primary decomposition, Primary decomposition (definition). Also Wikidata Q172298
History
- 2026-10-26: add by m2/dev
MQMVA2KTF7 MQMVA2KTF7
| URI | m2://inv/MQMVA2KTF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#ZOW8 (statement). In HVY45JQRNK/e1, corollary 2.21
History
- 2026-10-31: add by m2/v0.5.6
type theory MQMYEHFYDP
| URI | m2://inv/MQMYEHFYDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#84V0, type theory (definition)
History
- 2026-11-02: add by m2/dev
Applications MQN24Y7MCK
| URI | m2://inv/MQN24Y7MCK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodogram#FB5C, Applications (example)
History
- 2026-11-02: add by m2/dev
MQN2Z3YB17 MQN2Z3YB17
| URI | m2://inv/MQN2Z3YB17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#CIGN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Accord.NET MQN9SP2EZJ
| URI | m2://inv/MQN9SP2EZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#JU2R, Accord.NET (unknown)
History
- 2026-11-02: add by m2/dev
MQNBKKJK5E MQNBKKJK5E
| URI | m2://inv/MQNBKKJK5E |
|---|---|
| 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#5GER (statement). In BDN507RN7J/e1, proposition 3.2.9
History
- 2026-10-30: add by m2/v0.4.12
MQNNX1VB4T MQNNX1VB4T
| URI | m2://inv/MQNNX1VB4T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#example-1 (example). In RZP28ERRZV, example, section 59.3.1
History
- 2026-11-01: add by m2/v0.6.13
MQNR8ZQSPS MQNR8ZQSPS
| URI | m2://inv/MQNR8ZQSPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#OV39 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MQNXK08JEK MQNXK08JEK
| URI | m2://inv/MQNXK08JEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-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.08484#ZVZI (statement). In C2HJ1CCJ0S/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Nonfinite basis is not inherited in this way MQNXXS5Z1S
| URI | m2://inv/MQNXXS5Z1S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#6F0L, Nonfinite basis is not inherited in this way (example). In 7XEVYJKJ5C/e1, example 4.5
History
- 2026-10-29: add by m2/v0.4.12
discriminant MQP1DPD1AK
| URI | m2://inv/MQP1DPD1AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Discriminant of a polynomial 0VVK64Q4JK |
Mentions
- wikidata: Wikidata Q192487, discriminant (definition). Also EoM Discriminant, MathWorld Discriminant, nLab discriminant, ProofWiki Definition:Discriminant_of_Polynomial
- wikipedia: Wikipedia Discriminant, Discriminant (definition). Also Wikidata Q192487
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Uniform Law of Large Numbers MQPBDD5S7G
| URI | m2://inv/MQPBDD5S7G |
|---|---|
| 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.20041#UZRK, Uniform Law of Large Numbers (statement)
History
- 2026-11-02: add by m2/v0.6.18
Morse–Kelley set theory MQPC06DE89
| URI | m2://inv/MQPC06DE89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#MKF9, Morse–Kelley set theory (definition)
History
- 2026-11-02: add by m2/dev
Abstract differential geometry MQPHX64T6K
| URI | m2://inv/MQPHX64T6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#LPAD, Abstract differential geometry (definition)
History
- 2026-11-02: add by m2/dev
MQPNWY91YQ MQPNWY91YQ
| URI | m2://inv/MQPNWY91YQ |
|---|---|
| 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 2409.20170#8N9Z (statement). In QXJP79APHN/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
MQQ1ZZ32XF MQQ1ZZ32XF
| URI | m2://inv/MQQ1ZZ32XF |
|---|---|
| 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.07164#1SNP (statement). In Q1XJ5VWE1N/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.10
MQQH0DSVBF MQQH0DSVBF
| URI | m2://inv/MQQH0DSVBF |
|---|---|
| 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 2609.36045#H9U3 (statement). In F0E8YBV0Z0/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
Merton's portfolio problem MQQXJ4491R
| URI | m2://inv/MQQXJ4491R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merton's portfolio problem, Merton's portfolio problem (problem). Also Wikidata Q3467003
History
- 2026-11-02: add by m2/dev
Foliation MQRN6JHBP1
| URI | m2://inv/MQRN6JHBP1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#F4DP, Foliation (definition). In YVK8EFSYNJ/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
MQRVFZ0BM3 MQRVFZ0BM3
| URI | m2://inv/MQRVFZ0BM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#HXAC (statement). In 44DQ7W1NW9/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.12
MQS7RNCEKK MQS7RNCEKK
| URI | m2://inv/MQS7RNCEKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#J4AV (statement). In P0HKF5DY7M/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
MQSCEAHPJX MQSCEAHPJX
| URI | m2://inv/MQSCEAHPJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-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.32953#KTWZ (statement). In 7CG4NZSJSZ/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Small cancellation theory MQSJNYP0XA
| URI | m2://inv/MQSJNYP0XA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small cancellation theory, Small cancellation theory (definition). Also Wikidata Q7543015
History
- 2026-11-02: add by m2/dev
mollifier MQSKYNR459
| URI | m2://inv/MQSKYNR459 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.4/mollifier, mollifier (concept). In VNMV985MXX, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Luther P. Eisenhart MQT0VV9T53
| URI | m2://inv/MQT0VV9T53 |
|---|---|
| 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#843Z, Luther P. Eisenhart (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PUU5, Luther P. Eisenhart (unknown)
History
- 2026-11-02: add by m2/dev
Ernest Duncan MQT96B25E6
| URI | m2://inv/MQT96B25E6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Duncan, Ernest Duncan (topic). Also Wikidata Q5392983
History
- 2026-11-02: add by m2/dev
Definition MQTTTHY59Q
| URI | m2://inv/MQTTTHY59Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#DAA5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lamination MQV6315JHX
| URI | m2://inv/MQV6315JHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#4Q0T, Lamination (definition)
History
- 2026-11-02: add by m2/dev
Sofia Olhede MQV6R9KVTJ
| URI | m2://inv/MQV6R9KVTJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sofia Olhede, Sofia Olhede (topic). Also Wikidata Q56875909
History
- 2026-11-02: add by m2/dev
Felix Bernstein MQV7FSTKVC
| URI | m2://inv/MQV7FSTKVC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FYV6, Felix Bernstein (topic)
History
- 2026-11-02: add by m2/dev
Principia Mathematica MQVD2FR3Q6
| URI | m2://inv/MQVD2FR3Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FLB6, Principia Mathematica (definition)
History
- 2026-11-02: add by m2/dev
Compactness MQVRDNEA9A
| URI | m2://inv/MQVRDNEA9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#5L28, Compactness (statement)
History
- 2026-11-02: add by m2/v0.6.18
MQVVRD8Q6X MQVVRD8Q6X
| URI | m2://inv/MQVVRD8Q6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#AFLD (statement). In 7V2PVZS04C/e1, proposition 2.18
History
- 2026-10-31: add by m2/v0.5.6
Computation MQW8ETAE6V
| URI | m2://inv/MQW8ETAE6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real number#KQ26, Computation (definition)
History
- 2026-11-02: add by m2/dev
MQW9FAH01H MQW9FAH01H
| URI | m2://inv/MQW9FAH01H |
|---|---|
| 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 2210.02261#8MJB (statement). In TT74R659T0/e1, lemma 0.14
History
- 2026-10-27: add by m2/v0.3.5
MQW9HTW2PS MQW9HTW2PS
| URI | m2://inv/MQW9HTW2PS |
|---|---|
| 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.21305#MNLL (statement)
History
- 2026-11-02: add by m2/v0.6.18
MQWBWDBGSX MQWBWDBGSX
| URI | m2://inv/MQWBWDBGSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#VT1Z (statement). In PV4Z2FRXRZ/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Variants MQWD7DF8KJ
| URI | m2://inv/MQWD7DF8KJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct image functor#QJYQ, Variants (statement)
History
- 2026-11-02: add by m2/dev
MQX5AR9FAZ MQX5AR9FAZ
| URI | m2://inv/MQX5AR9FAZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22784#RXZM (definition)
History
- 2026-11-02: add by m2/v0.6.17
Gaspare Mignosi MQXF4TQ6PJ
| URI | m2://inv/MQXF4TQ6PJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaspare Mignosi, Gaspare Mignosi (topic). Also Wikidata Q20557900
History
- 2026-11-02: add by m2/dev
Alexander Buchstab MQXK926WXV
| URI | m2://inv/MQXK926WXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Buchstab, Alexander Buchstab (topic). Also Wikidata Q19665878
History
- 2026-11-02: add by m2/dev
Giulio Vivanti MQXQQQVEKW
| URI | m2://inv/MQXQQQVEKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulio Vivanti, Giulio Vivanti (topic). Also Wikidata Q3107962
History
- 2026-11-02: add by m2/dev
Sterbenz lemma MQXRFYEDVH
| URI | m2://inv/MQXRFYEDVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#FF3I, Sterbenz lemma (statement)
History
- 2026-11-02: add by m2/dev
MQXTD0KBSC MQXTD0KBSC
| URI | m2://inv/MQXTD0KBSC |
|---|---|
| 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.02743#6J97 (statement). In GQH4ZPDWET/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Jean-Pierre Wintenberger MQY1TZA5T0
| URI | m2://inv/MQY1TZA5T0 |
|---|---|
| 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 Q327741, Jean-Pierre Wintenberger (unknown). Also nLab Jean-Pierre Wintenberger
- wikipedia: Wikipedia Jean-Pierre Wintenberger, Jean-Pierre Wintenberger (topic). Also Wikidata Q327741
History
- 2026-10-26: add by m2/dev
Peter Gacs MQY45360Z7
| URI | m2://inv/MQY45360Z7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Gacs, Peter Gacs (topic). Also Wikidata Q102174901
History
- 2026-11-02: add by m2/dev
half adjoint equivalence MQY4J8Z3DP
| URI | m2://inv/MQY4J8Z3DP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.2/half-adjoint-equivalence, half adjoint equivalence (concept). In N54F33XE07, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Pierre-Louis Lions MQYW4M4JXP
| URI | m2://inv/MQYW4M4JXP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre-Louis Lions, Pierre-Louis Lions (topic). Also Wikidata Q334030
History
- 2026-11-02: add by m2/dev
MQZ2MWAMCT MQZ2MWAMCT
| URI | m2://inv/MQZ2MWAMCT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#EOW3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
MQZE8FB2C4 MQZE8FB2C4
| URI | m2://inv/MQZE8FB2C4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 54.4
History
- 2026-11-01: add by m2/v0.6.13
Permutation-fair string MQZG81X99A
| URI | m2://inv/MQZG81X99A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15421#CS51, Permutation-fair string (definition). In 3RBKH0DA74/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Four Oaks, North Carolina MQZH83VCFW
| URI | m2://inv/MQZH83VCFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Y845, Four Oaks, North Carolina (unknown)
History
- 2026-11-02: add by m2/dev
Su–Schrieffer–Heeger model MQZV2WNPCD
| URI | m2://inv/MQZV2WNPCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Su–Schrieffer–Heeger model, Su–Schrieffer–Heeger model (definition). Also Wikidata Q113012911
History
- 2026-11-02: add by m2/dev