Inventory rows DQ

Lov\'asz--Simonovits DQ0MNWPMP6

URI	`m2://inv/DQ0MNWPMP6`
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.06038#RFSE, Lov\'asz--Simonovits (statement). In 4TJGTZWJVK/e1, theorem 1.2

History

2026-10-29: add by m2/v0.4.10

Elliptic Gamma cochain DQ11C710FD

URI	`m2://inv/DQ11C710FD`
Kind	definition
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10365#932Z, Elliptic Gamma cochain (definition). In PRVQPSBVHK/e1, definition 5

History

2026-10-29: add by m2/v0.4.10

Odds refinement DQ128DSDSV

URI	`m2://inv/DQ128DSDSV`
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#68LD, Odds refinement (statement)

History

2026-11-02: add by m2/v0.6.17

The axiom of choice implies a group structure DQ129P338A

URI	`m2://inv/DQ129P338A`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Group structure and the axiom of choice#9XV0, The axiom of choice implies a group structure (statement)

History

2026-11-02: add by m2/dev

History of Maxwell's equations DQ12CXAFN8

URI	`m2://inv/DQ12CXAFN8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia History of Maxwell's equations, History of Maxwell's equations (definition). Also Wikidata Q17016052

History

2026-11-02: add by m2/dev

Jelonek's isolated-singularity comparison DQ1HB7DSGB

URI	`m2://inv/DQ1HB7DSGB`
Kind	statement
Layer	research
MSC	13-XX, 30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07528#4CCT, Jelonek's isolated-singularity comparison (statement). In WVX0T502A1/e1, theorem 4.2

History

2026-10-29: add by m2/v0.4.10

DQ1KAEYPPR DQ1KAEYPPR

URI	`m2://inv/DQ1KAEYPPR`
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.16235#OZLP (statement). In RNGNWGMX85/e1, theorem 3.5

History

2026-10-28: add by m2/v0.4.2

Remark DQ1W9FZZ3C

URI	`m2://inv/DQ1W9FZZ3C`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#7KC9, Remark (unknown)

History

2026-11-02: add by m2/dev

Typical $z$-rotations need $3L$ DQ20SW7QS4

URI	`m2://inv/DQ20SW7QS4`
Kind	statement
Layer	research
MSC	11-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37368#LIB4, Typical $z$-rotations need $3L$ (statement). In FRMCKEGVJZ/e1, corollary 4

History

2026-10-30: add by m2/v0.4.12

Nicolas Guisnée DQ2AC6702H

URI	`m2://inv/DQ2AC6702H`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of German mathematicians#RJ3G, Nicolas Guisnée (unknown)

History

2026-11-02: add by m2/dev

DQ2BN99HCH DQ2BN99HCH

URI	`m2://inv/DQ2BN99HCH`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2602.03909#W70G (statement). In WWFAVFGPQQ/e1, proposition 3.3

History

2026-10-27: add by m2/v0.4.0

Van der Waerden number DQ2FEN3VWH

URI	`m2://inv/DQ2FEN3VWH`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7913892, Van der Waerden number (concept). Also MathWorld vanderWaerdenNumber
wikipedia: Wikipedia Van der Waerden number, Van der Waerden number (definition). Also Wikidata Q7913892

History

2026-10-26: add by m2/dev

Construction DQ2NRD5Y1E

URI	`m2://inv/DQ2NRD5Y1E`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rectified 6-orthoplexes#8UQO, Construction (definition)

History

2026-11-02: add by m2/dev

DQ2NSVVRJM DQ2NSVVRJM

URI	`m2://inv/DQ2NSVVRJM`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv scv.tex#sqrt:example (example). In VNMV985MXX, example, section 6.2

History

2026-11-01: add by m2/v0.6.13

Phillips–Perron test DQ2SGH2JRS

URI	`m2://inv/DQ2SGH2JRS`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Phillips–Perron test, Phillips–Perron test (definition). Also Wikidata Q7185973

History

2026-11-02: add by m2/dev

HoTT Book DQ2TP1Q7TR

URI	`m2://inv/DQ2TP1Q7TR`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Homotopy type theory#5T9P, HoTT Book (unknown)

History

2026-11-02: add by m2/dev

DQ2YX06EV1 DQ2YX06EV1

URI	`m2://inv/DQ2YX06EV1`
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.02579#T7J5 (definition). In CBTJDYHH34/e1, definition 1

History

2026-10-29: add by m2/v0.4.12

Beauville surface DQ2Z8Z0695

URI	`m2://inv/DQ2Z8Z0695`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#6KPJ, Beauville surface (definition)

History

2026-11-02: add by m2/dev

Definition DQ30ATJA9T

URI	`m2://inv/DQ30ATJA9T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dimension function#8LTQ, Definition (definition)

History

2026-11-02: add by m2/dev

Eli Upfal DQ31Z20MYP

URI	`m2://inv/DQ31Z20MYP`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#G7KT, Eli Upfal (unknown)

History

2026-11-02: add by m2/dev

Definitions DQ335BMY9R

URI	`m2://inv/DQ335BMY9R`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Brownian tree#9VIT, Definitions (definition)

History

2026-11-02: add by m2/dev

DQ36E05HK5 DQ36E05HK5

URI	`m2://inv/DQ36E05HK5`
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#OOG4 (statement). In RK1VPWWX9E/e1, proposition A.1

History

2026-10-28: add by m2/v0.4.2

Quantum list recovery DQ3731Q0WK

URI	`m2://inv/DQ3731Q0WK`
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 2609.40252#ZA78, Quantum list recovery (definition). In 7MVPNFPRKB/e1, definition 1.4

History

2026-10-30: add by m2/v0.4.12

DQ3880485Q DQ3880485Q

URI	`m2://inv/DQ3880485Q`
Kind	statement
Layer	research
MSC	37-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.17516#M278 (statement). In Z16NBNM4AK/e1, corollary 2.2

History

2026-10-28: add by m2/v0.4.2

302 (Number) DQ3FVNNPM4

URI	`m2://inv/DQ3FVNNPM4`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 300 (number)#YXD9, 302 (Number) (unknown)

History

2026-11-02: add by m2/dev

DQ3JMVWABT DQ3JMVWABT

URI	`m2://inv/DQ3JMVWABT`
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.01656#JAZ7 (statement). In AHGQZ89DY0/e1, lemma 3.3

History

2026-10-29: add by m2/v0.4.12

DQ3M93RT77 DQ3M93RT77

URI	`m2://inv/DQ3M93RT77`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21963#M3SG (statement). In HR9R8RPKN8/e1, lemma 2.4

History

2026-10-27: add by m2/v0.4.2

DQ3NN3A0VV DQ3NN3A0VV

URI	`m2://inv/DQ3NN3A0VV`
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.23390#LF6Q (statement)

History

2026-11-02: add by m2/v0.6.17

Vladimir Petrovich Platonov DQ3Q5CTGME

URI	`m2://inv/DQ3Q5CTGME`
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#IYAQ, Vladimir Petrovich Platonov (topic)

History

2026-11-02: add by m2/dev

Kruskal, Joseph DQ40VG18R5

URI	`m2://inv/DQ40VG18R5`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#O3KN, Kruskal, Joseph (unknown)

History

2026-11-02: add by m2/dev

DQ41DT1NX0 DQ41DT1NX0

URI	`m2://inv/DQ41DT1NX0`
Kind	statement
Layer	research
MSC	05-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12576#4TYZ (statement). In BVAWVRS3R9/e1, lemma 2.12

History

2026-10-28: add by m2/v0.4.2

Markov Processes and Potential Theory DQ42FD9TVQ

URI	`m2://inv/DQ42FD9TVQ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Markov Processes and Potential Theory, Markov Processes and Potential Theory (definition). Also Wikidata Q135838274

History

2026-11-02: add by m2/dev

Bose–Einstein condensate DQ4976MTK0

URI	`m2://inv/DQ4976MTK0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bose–Einstein condensate, Bose–Einstein condensate (definition). Also Wikidata Q46202

History

2026-11-02: add by m2/dev

Spectrum of $M$ DQ49TXW9PX

URI	`m2://inv/DQ49TXW9PX`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01731#2ZPS, Spectrum of $M$ (statement). In 3TJ2FWXQ0D/e1, theorem 4.5

History

2026-10-29: add by m2/v0.4.12

DQ4RKMR16P DQ4RKMR16P

URI	`m2://inv/DQ4RKMR16P`
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 2410.22607#XGON (statement). In 6GT33A43SY/e1, theorem 2.5

History

2026-10-27: add by m2/v0.3.5

Shrinking generator DQ4THM9D2K

URI	`m2://inv/DQ4THM9D2K`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of number theory topics#OITS, Shrinking generator (unknown)

History

2026-11-02: add by m2/dev

DQ4TPPCGMS DQ4TPPCGMS

URI	`m2://inv/DQ4TPPCGMS`
Kind	problem
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21408#6LDZ (problem). In 3XBEGXNPXZ/e1, problem 8.1

History

2026-10-27: add by m2/v0.4.2

Examples DQ58SGE5JM

URI	`m2://inv/DQ58SGE5JM`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Distributive lattice#JP90, Examples (example)

History

2026-11-02: add by m2/dev

Appell–Humbert theorem DQ5DN50VCN

URI	`m2://inv/DQ5DN50VCN`
Kind	statement
Layer	textbook
MSC	32-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1704878, Appell–Humbert theorem (statement). Also Wikidata Q1704878
thousand_plus: thousand_plus Q1704878, Appell–Humbert theorem (statement). Also Wikidata Q1704878, Wikipedia Appell–Humbert theorem
wikipedia: Wikipedia Appell–Humbert theorem, Appell–Humbert theorem (statement). Also Wikidata Q1704878

History

2026-10-26: add by m2/dev

Bubble DQ5J84SS75

URI	`m2://inv/DQ5J84SS75`
Kind	definition
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.40138#LJDS, Bubble (definition). In R60HR493TS/e1, definition 1.2

History

2026-10-30: add by m2/v0.4.12

Benoit Mandelbrot DQ5JVGXJ9D

URI	`m2://inv/DQ5JVGXJ9D`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#71BQ, Benoit Mandelbrot (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#TGXI, Benoit Mandelbrot (topic)

History

2026-11-02: add by m2/dev

bumblebees should not be able to fly DQ5KJSC8FP

URI	`m2://inv/DQ5KJSC8FP`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#J5LW, bumblebees should not be able to fly (unknown)

History

2026-11-02: add by m2/dev

\textbf{Ward identity DQ5PZ01B3X

URI	`m2://inv/DQ5PZ01B3X`
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#T0EI, \textbf{Ward identity (statement). In 74MMMHHPW5/e1, theorem 1.3

History

2026-10-27: add by m2/v0.4.0

Branch-decomposition DQ5VZZAKVE

URI	`m2://inv/DQ5VZZAKVE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Branch-decomposition, Branch-decomposition (definition). Also Wikidata Q4956329

History

2026-11-02: add by m2/dev

Stigler's law of eponymy DQ64R0KM1H

URI	`m2://inv/DQ64R0KM1H`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stigler's law of eponymy, Stigler's law of eponymy (statement). Also Wikidata Q1376201

History

2026-11-02: add by m2/dev

\textbf{Intrinsic discrete and continuous graph Laplace operators DQ650H0XTV

URI	`m2://inv/DQ650H0XTV`
Kind	definition
Layer	research
MSC	53-XX, 62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17032#VP60, \textbf{Intrinsic discrete and continuous graph Laplace operators (definition). In MXPK9A2HK2/e1, definition 2.3

History

2026-10-28: add by m2/v0.4.2

DQ65S1RCXJ DQ65S1RCXJ

URI	`m2://inv/DQ65S1RCXJ`
Kind	example
Layer	research
MSC	13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17875#AHDU (example). In AQX7DGD360/e1, example 5.16

History

2026-10-28: add by m2/v0.4.2

Scherk–Schwarz mechanism DQ6A6E5S5J

URI	`m2://inv/DQ6A6E5S5J`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7431194, Scherk–Schwarz mechanism (unknown). Also nLab Scherk-Schwarz mechanism

History

2026-10-26: add by m2/dev

ANOVA–simultaneous component analysis DQ6E9N93HP

URI	`m2://inv/DQ6E9N93HP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#LLP1, ANOVA–simultaneous component analysis (definition)

History

2026-11-02: add by m2/dev

DQ6JF1PB2P DQ6JF1PB2P

URI	`m2://inv/DQ6JF1PB2P`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-27 (exercise). In E59CDZA4DP, exercise, section 9.2.5

History

2026-11-01: add by m2/v0.6.13

DQ6SRSCS55 DQ6SRSCS55

URI	`m2://inv/DQ6SRSCS55`
Kind	statement
Layer	research
MSC	20-XX, 22-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.14045#F1E9 (statement). In KZ71GXT2B0/e1, lemma 6.1

History

2026-10-28: add by m2/v0.4.2

DQ6SRSJMMY DQ6SRSJMMY

URI	`m2://inv/DQ6SRSJMMY`
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 2310.10361#XLCE (statement). In 65ED1ZXG98/e1, lemma 5.1

History

2026-10-27: add by m2/v0.3.6

Boundedness dichotomy DQ6T1PEZMD

URI	`m2://inv/DQ6T1PEZMD`
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.15086#QIZX, Boundedness dichotomy (statement). In V60MVF3KQ1/e1, theorem 1.4

History

2026-10-28: add by m2/v0.4.2

Nan Laird DQ6VEG0RY7

URI	`m2://inv/DQ6VEG0RY7`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#3HU0, Nan Laird (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#8RI3, Nan Laird (topic)

History

2026-11-02: add by m2/dev

alternating function DQ793Q1CM4

URI	`m2://inv/DQ793Q1CM4`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q4235192, alternating function (unknown). Also nLab alternating multifunction

History

2026-10-26: add by m2/dev

Emmanuel Giroux DQ7AEXY1E4

URI	`m2://inv/DQ7AEXY1E4`
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#OY3J, Emmanuel Giroux (unknown)

History

2026-11-02: add by m2/dev

DQ7CZH1AGR DQ7CZH1AGR

URI	`m2://inv/DQ7CZH1AGR`
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.38436#48CR (statement). In 702AF3E4AF/e1, theorem 7.11

History

2026-10-30: add by m2/v0.4.12

Globalization by short-geodesic uniqueness DQ7DAYQB08

URI	`m2://inv/DQ7DAYQB08`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2609.24610#VD0J, Globalization by short-geodesic uniqueness (statement)

History

2026-11-01: add by m2/v0.6.15

The algorithm DQ7F2V06QY

URI	`m2://inv/DQ7F2V06QY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Matching pursuit#J3N6, The algorithm (definition)

History

2026-11-02: add by m2/dev

Stephen Yablo DQ7K051BD2

URI	`m2://inv/DQ7K051BD2`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stephen Yablo, Stephen Yablo (topic). Also Wikidata Q7610894

History

2026-11-02: add by m2/dev

Cockfield, Arthur DQ7T6VDX8S

URI	`m2://inv/DQ7T6VDX8S`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#JXIL, Cockfield, Arthur (unknown)

History

2026-11-02: add by m2/dev

DQ7ZE0KNH7 DQ7ZE0KNH7

URI	`m2://inv/DQ7ZE0KNH7`
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 2407.20385#C7YT (statement). In PZRSZ19KAH/e1, lemma 3.4

History

2026-10-27: add by m2/v0.3.5

DQ8AV6G946 DQ8AV6G946

URI	`m2://inv/DQ8AV6G946`
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.09949#962S (definition). In VGJVFCDV8A/e1, definition 2.18

History

2026-10-29: add by m2/v0.4.10

Denis Serre DQ8BMF4ZS2

URI	`m2://inv/DQ8BMF4ZS2`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Denis Serre, Denis Serre (topic). Also Wikidata Q3022929

History

2026-11-02: add by m2/dev

DQ8F55PANZ DQ8F55PANZ

URI	`m2://inv/DQ8F55PANZ`
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 2508.02432#X6NB (example). In B366ACYB37/e1, example 3.34

History

2026-10-27: add by m2/v0.3.5

DQ8JQPC9QR DQ8JQPC9QR

URI	`m2://inv/DQ8JQPC9QR`
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.01970#1XFK (statement). In 1B400PB2NJ/e1, lemma 2.3

History

2026-10-29: add by m2/v0.4.12

Harmonic upper bound DQ8SD104XC

URI	`m2://inv/DQ8SD104XC`
Kind	statement
Layer	research
MSC	11-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 2609.28282#4JGE, Harmonic upper bound (statement)

History

2026-11-01: add by m2/v0.6.15

Block triangular matrix DQ8SVZPQM3

URI	`m2://inv/DQ8SVZPQM3`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Block matrix#TPBV, Block triangular matrix (unknown)

History

2026-11-02: add by m2/dev

well-ordering principle DQ8ZDN1RB1

URI	`m2://inv/DQ8ZDN1RB1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#7FG8, well-ordering principle (definition)

History

2026-11-02: add by m2/dev

Rank of a group DQ9A8TWZJC

URI	`m2://inv/DQ9A8TWZJC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rank of a group, Rank of a group (definition). Also Wikidata Q112927

History

2026-11-02: add by m2/dev

Elementary properties DQ9CNSSQAF

URI	`m2://inv/DQ9CNSSQAF`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bochner integral#1BUO, Elementary properties (statement)

History

2026-11-02: add by m2/dev

Jeffreys prior DQ9FZVFPF2

URI	`m2://inv/DQ9FZVFPF2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#Z3RE, Jeffreys prior (definition)

History

2026-11-02: add by m2/dev

DQ9Q381PNN DQ9Q381PNN

URI	`m2://inv/DQ9Q381PNN`
Kind	statement
Layer	research
MSC	20-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.03422#1T57 (statement). In SF88CM0957/e1, lemma 4.10

History

2026-10-29: add by m2/v0.4.12

DQ9Y34PHQ8 DQ9Y34PHQ8

URI	`m2://inv/DQ9Y34PHQ8`
Kind	statement
Layer	research
MSC	55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22074#LHZR (statement). In F3BKXXPR3K/e1, lemma 3.24

History

2026-10-27: add by m2/v0.4.2

Dynamical Manin-Mumford DQA35X4C5K

URI	`m2://inv/DQA35X4C5K`
Kind	conjecture
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 2610.15169#CVUU, Dynamical Manin-Mumford (conjecture). In V7SN19J84T/e1, conjecture Conjecture

History

2026-10-28: add by m2/v0.4.2

DQA8J77DVN DQA8J77DVN

URI	`m2://inv/DQA8J77DVN`
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.05784#8FRU (statement). In 6NVP3YRWVA/e1, theorem 2.1

History

2026-10-29: add by m2/v0.4.10

Sufficient Conditions for Stability Transfer DQAABNQDEE

URI	`m2://inv/DQAABNQDEE`
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.17604#0JQS, Sufficient Conditions for Stability Transfer (statement). In CZNRSB168G/e1, theorem 1

History

2026-10-28: add by m2/v0.4.2

PEGASUS DQAD9ET2PA

URI	`m2://inv/DQAD9ET2PA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia PEGASUS, PEGASUS (definition). Also Wikidata Q7118922

History

2026-11-02: add by m2/dev

DQAHCJGS14 DQAHCJGS14

URI	`m2://inv/DQAHCJGS14`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 10.1.4

History

2026-11-01: add by m2/v0.6.13

DQAK6BBFYF DQAK6BBFYF

URI	`m2://inv/DQAK6BBFYF`
Kind	statement
Layer	research
MSC	05-XX, 16-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2509.04068#MJ22 (statement). In Y7TVAQE9PF/e1, proposition 3.12

History

2026-10-27: add by m2/v0.3.5

Generalizations DQANKK18KV

URI	`m2://inv/DQANKK18KV`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jacobi's four-square theorem#WIKT, Generalizations (statement)

History

2026-11-02: add by m2/dev

DQAPQ47VCH DQAPQ47VCH

URI	`m2://inv/DQAPQ47VCH`
Kind	example
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 2608.23797#TR26 (example). In PZCA01JXVR/e1, example 3.2

History

2026-10-27: add by m2/v0.3.5

Construction DQAQ93SNPT

URI	`m2://inv/DQAQ93SNPT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Heptagon#YN9W, Construction (definition)

History

2026-11-02: add by m2/dev

Applications DQARHQJ4PK

URI	`m2://inv/DQARHQJ4PK`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Infinity#XNTA, Applications (example)

History

2026-11-02: add by m2/dev

Examples DQATFNPRM0

URI	`m2://inv/DQATFNPRM0`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Precomputation#A6N8, Examples (example)

History

2026-11-02: add by m2/dev

Syntactical embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5 DQAX8PJ4JA

URI	`m2://inv/DQAX8PJ4JA`
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.08323#HQV1, Syntactical embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5 (statement). In FR51ART4NF/e1, theorem 1

History

2026-10-29: add by m2/v0.4.10

DQB39PQTMW DQB39PQTMW

URI	`m2://inv/DQB39PQTMW`
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.09704#TM78 (statement). In FNG4B47MRV/e1, proposition 5.9

History

2026-10-29: add by m2/v0.4.10

DQB574B2FC DQB574B2FC

URI	`m2://inv/DQB574B2FC`
Kind	definition
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.19088#3ERW (definition). In 90QTB4CC31/e1, definition 3.2

History

2026-10-28: add by m2/v0.4.2

DQB81RE2V2 DQB81RE2V2

URI	`m2://inv/DQB81RE2V2`
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.20385#0JKM (statement)

History

2026-11-02: add by m2/v0.6.18

Berry–Esseen theorem DQBDCS4CK0

URI	`m2://inv/DQBDCS4CK0`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#8FIV, Berry–Esseen theorem (statement)

History

2026-11-02: add by m2/dev

DQBDTW3H3Y DQBDTW3H3Y

URI	`m2://inv/DQBDTW3H3Y`
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.27641#Y4GG (statement)

History

2026-11-01: add by m2/v0.6.15

Coherent labeling-concentration bound DQBERT3QF5

URI	`m2://inv/DQBERT3QF5`
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#4WTS, Coherent labeling-concentration bound (statement). In DCCKKQ7Y21/e1, theorem VII.1

History

2026-10-28: add by m2/v0.4.2

N-vector model DQBMNT1KJ6

URI	`m2://inv/DQBMNT1KJ6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia N-vector model, N-vector model (definition). Also Wikidata Q1959618

History

2026-11-02: add by m2/dev

Traceability DQBPC5YPFN

URI	`m2://inv/DQBPC5YPFN`
Kind	definition
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#NPDX, Traceability (definition). In WD2NCBV9F0/e1, definition 15.4

History

2026-10-27: add by m2/v0.3.5

The transition formula DQBQYQS3EW

URI	`m2://inv/DQBQYQS3EW`
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#TSCS, The transition formula (statement). In TBFPBPQV3G/e1, lemma 2.1

History

2026-10-27: add by m2/v0.4.2

2024 Moldovan census DQBSSJX13S

URI	`m2://inv/DQBSSJX13S`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 2024 Moldovan census, 2024 Moldovan census (definition). Also Wikidata Q125359842

History

2026-11-02: add by m2/dev

pseudoalgebra DQBZ5FKT1Y

URI	`m2://inv/DQBZ5FKT1Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of category theory#6XGZ, pseudoalgebra (definition)

History

2026-11-02: add by m2/dev

Embeddings for the norm $\|\cdot\|_\cK$ DQC7ADWV6F

URI	`m2://inv/DQC7ADWV6F`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13753#WPIT, Embeddings for the norm $\|\cdot\|_\cK$ (statement). In AHM0PBKZZN/e1, lemma 4.3

History

2026-10-28: add by m2/v0.4.2

List of things named after Felix Klein DQCB34T4K2

URI	`m2://inv/DQCB34T4K2`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Felix Klein, List of things named after Felix Klein (topic). Also Wikidata Q16966234

History

2026-11-02: add by m2/dev

Applications DQCHTTD4QA

URI	`m2://inv/DQCHTTD4QA`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Text mining#790A, Applications (example)

History

2026-11-02: add by m2/dev

Knot polynomial DQCP37SWXA

URI	`m2://inv/DQCP37SWXA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of knot theory topics#VKKZ, Knot polynomial (definition)

History

2026-11-02: add by m2/dev

Lehrbuch der Topologie DQCPCEZ7Q6

URI	`m2://inv/DQCPCEZ7Q6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lehrbuch der Topologie, Lehrbuch der Topologie (definition). Also Wikidata Q26004

History

2026-11-02: add by m2/dev

DQCVH1GGEB DQCVH1GGEB

URI	`m2://inv/DQCVH1GGEB`
Kind	definition
Layer	research
MSC	16-XX, 17-XX, 20-XX, 22-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21860#KAGY (definition)

History

2026-11-02: add by m2/v0.6.18

lattice DQCXCKD2TY

URI	`m2://inv/DQCXCKD2TY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#CAQW, lattice (definition)

History

2026-11-02: add by m2/dev

DQD15RE6WQ DQD15RE6WQ

URI	`m2://inv/DQD15RE6WQ`
Kind	statement
Layer	research
MSC	03-XX, 18-XX, 54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07695#PBQS (statement). In 8Z47D12KSX/e1, theorem 11.3

History

2026-10-29: add by m2/v0.4.10

principle root DQD3MF3B5Z

URI	`m2://inv/DQD3MF3B5Z`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q141499754, principle root (unknown). Also MathWorld PrincipalRoot

History

2026-10-26: add by m2/dev

Geometric shape DQD485BA1T

URI	`m2://inv/DQD485BA1T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lists of shapes#4BMZ, Geometric shape (definition)

History

2026-11-02: add by m2/dev

Transference DQD6B2T2NN

URI	`m2://inv/DQD6B2T2NN`
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.37482#H3U7, Transference (statement). In 9QDRMZX8EY/e1, lemma 6

History

2026-10-30: add by m2/v0.4.12

DQDB97G6FC DQDB97G6FC

URI	`m2://inv/DQDB97G6FC`
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.15088#N06F (statement). In 2BRTT5ZFC6/e1, proposition 4.2

History

2026-10-28: add by m2/v0.4.2

DQDECFEQ37 DQDECFEQ37

URI	`m2://inv/DQDECFEQ37`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-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.04834#Z2PI (statement). In YZNK67K060/e1, proposition 7.2

History

2026-10-29: add by m2/v0.4.12

Decagrammic antiprism DQDG1KK1WF

URI	`m2://inv/DQDG1KK1WF`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Decagrammic antiprism, Decagrammic antiprism (object). Also Wikidata Q712576

History

2026-11-02: add by m2/dev

Explicit Sidon Set DQDJJHMSYE

URI	`m2://inv/DQDJJHMSYE`
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 2507.13548#013T, Explicit Sidon Set (statement). In 4NVVK50D1P/e1, theorem 3.4

History

2026-10-27: add by m2/v0.3.5

DQDMP190W8 DQDMP190W8

URI	`m2://inv/DQDMP190W8`
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 1902.04230#X6OQ (statement). In 22JZ68FGCW/e1, lemma 3.3

History

2026-10-27: add by m2/v0.3.5

Model theory and 0-1 laws DQDTSGYE7Z

URI	`m2://inv/DQDTSGYE7Z`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rado graph#7181, Model theory and 0-1 laws (statement)

History

2026-11-02: add by m2/dev

Parallelogram identity and polarization DQE2Z6VFG5

URI	`m2://inv/DQE2Z6VFG5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hilbert space#K0ML, Parallelogram identity and polarization (statement)

History

2026-11-02: add by m2/dev

Birman–Schwinger principle DQE3A39N1G

URI	`m2://inv/DQE3A39N1G`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Birman–Schwinger principle, Birman–Schwinger principle (statement). Also Wikidata Q135910430

History

2026-11-02: add by m2/dev

Unix-like DQE75R8TD6

URI	`m2://inv/DQE75R8TD6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of random number generators#3R5P, Unix-like (unknown)

History

2026-11-02: add by m2/dev

Compactness theorem DQE9GX05F9

URI	`m2://inv/DQE9GX05F9`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#AGSZ, Compactness theorem (statement)

History

2026-11-02: add by m2/dev

Monogenic system DQED1NW2P7

URI	`m2://inv/DQED1NW2P7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Monogenic system, Monogenic system (definition). Also Wikidata Q6901596

History

2026-11-02: add by m2/dev

Conditional divergences DQEE7X5D3X

URI	`m2://inv/DQEE7X5D3X`
Kind	definition
Layer	research
MSC	60-XX, 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 2609.27765#35XL, Conditional divergences (definition)

History

2026-11-01: add by m2/v0.6.15

Examples DQEFBY9Y9E

URI	`m2://inv/DQEFBY9Y9E`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Module (mathematics)#PRK4, Examples (example)

History

2026-11-02: add by m2/dev

Rad\'o's theorem DQEGW6K76A

URI	`m2://inv/DQEGW6K76A`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv index/2.4/rad-o-s-theorem, Rad\'o's theorem (concept). In VNMV985MXX, index, section 2.4

History

2026-11-01: add by m2/v0.6.13

Klein–Kramers equation DQEVDD5PJC

URI	`m2://inv/DQEVDD5PJC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Klein–Kramers equation, Klein–Kramers equation (definition). Also Wikidata Q110269413

History

2026-11-02: add by m2/dev

Complex question DQF9SKKZD2

URI	`m2://inv/DQF9SKKZD2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Complex question, Complex question (definition). Also Wikidata Q105291974

History

2026-11-02: add by m2/dev

Langton's Ant DQFWSFVDBS

URI	`m2://inv/DQFWSFVDBS`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#Z68D, Langton's Ant (definition)

History

2026-11-02: add by m2/dev

Conditional decomposition of the three updates DQFYVDC4YP

URI	`m2://inv/DQFYVDC4YP`
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.01843#6OIU, Conditional decomposition of the three updates (statement). In EDG9ZFDSWK/e1, lemma A.4

History

2026-10-29: add by m2/v0.4.12

Properties DQG3CXXGFD

URI	`m2://inv/DQG3CXXGFD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia K3 surface#2CWY, Properties (statement)

History

2026-11-02: add by m2/dev

Bounded-degree affine extractors DQG5CG7067

URI	`m2://inv/DQG5CG7067`
Kind	statement
Layer	research
MSC	05-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02407#K3NR, Bounded-degree affine extractors (statement). In ZZER8ZBSCR/e1, theorem 2.16

History

2026-10-29: add by m2/v0.4.12

Ruy Exel DQG6QGH2DA

URI	`m2://inv/DQG6QGH2DA`
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#HEZF, Ruy Exel (unknown)

History

2026-11-02: add by m2/dev

Examples DQGARMGCDR

URI	`m2://inv/DQGARMGCDR`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Markov kernel#0WAX, Examples (example)

History

2026-11-02: add by m2/dev

DQGC9GTVAW DQGC9GTVAW

URI	`m2://inv/DQGC9GTVAW`
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.29498#D9KF (statement)

History

2026-11-01: add by m2/v0.6.15

DQGEG9ZB8W DQGEG9ZB8W

URI	`m2://inv/DQGEG9ZB8W`
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#SHLH (statement). In MFCW5CY96C/e1, lemma 36

History

2026-10-28: add by m2/v0.4.2

DQGFD21NZD DQGFD21NZD

URI	`m2://inv/DQGFD21NZD`
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 1107.2621#05D3 (statement). In Z9AZRC1HA1/e1, proposition 1

History

2026-10-27: add by m2/v0.3.5

Applications DQGKNNH3Q6

URI	`m2://inv/DQGKNNH3Q6`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Distributed key generation#3JLB, Applications (example)

History

2026-11-02: add by m2/dev

DQGQBKD8PZ DQGQBKD8PZ

URI	`m2://inv/DQGQBKD8PZ`
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.22090#4UGR (statement). In NKJWGF050C/e1, lemma 3.3

History

2026-10-27: add by m2/v0.4.0

Urs Schreiber DQGTF4YFMX

URI	`m2://inv/DQGTF4YFMX`
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 Q16875354, Urs Schreiber (unknown). Also nLab Urs Schreiber
wikipedia: Wikipedia Urs Schreiber, Urs Schreiber (topic). Also Wikidata Q16875354

History

2026-10-26: add by m2/dev

Line chart DQGXK8848Y

URI	`m2://inv/DQGXK8848Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Line chart, Line chart (definition). Also Wikidata Q776115

History

2026-11-02: add by m2/dev

J. Laurie Snell DQH1TY4VKE

URI	`m2://inv/DQH1TY4VKE`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia J. Laurie Snell, J. Laurie Snell (topic). Also Wikidata Q589668

History

2026-11-02: add by m2/dev

DQH55S9QHR DQH55S9QHR

URI	`m2://inv/DQH55S9QHR`
Kind	statement
Layer	research
MSC	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.17759#489P (statement). In 7MWKMG2V8A/e1, lemma 4.6

History

2026-10-28: add by m2/v0.4.2

Applications DQH5J30FZH

URI	`m2://inv/DQH5J30FZH`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tetrakis hexahedron#0OT3, Applications (example)

History

2026-11-02: add by m2/dev

Noel Cressie DQHADNXVKP

URI	`m2://inv/DQHADNXVKP`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#H7EA, Noel Cressie (unknown)

History

2026-11-02: add by m2/dev

Variants of default logic DQHBRB3A69

URI	`m2://inv/DQHBRB3A69`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Default logic#KQCU, Variants of default logic (statement)

History

2026-11-02: add by m2/dev

Geometry template DQHHXHQ38D

URI	`m2://inv/DQHHXHQ38D`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Geometry template, Geometry template (definition). Also Wikidata Q30587627

History

2026-11-02: add by m2/dev

∤ DQHQ4FKDAP

URI	`m2://inv/DQHQ4FKDAP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#EDRE, ∤ (definition)

History

2026-11-02: add by m2/dev

Petri net DQHRVAQZF7

URI	`m2://inv/DQHRVAQZF7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of computability and complexity topics#FSTR, Petri net (definition)
wikipedia: Wikipedia List of network theory topics#R9SH, Petri net (definition)

History

2026-11-02: add by m2/dev

DQHXNPBTF0 DQHXNPBTF0

URI	`m2://inv/DQHXNPBTF0`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-19 (proof). In E59CDZA4DP, proof, section 4.4.2

History

2026-11-01: add by m2/v0.6.13

Michel Loève DQHYYA2H0J

URI	`m2://inv/DQHYYA2H0J`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Michel Loève, Michel Loève (topic). Also Wikidata Q1399240

History

2026-11-02: add by m2/dev

DQHZZDP5AV DQHZZDP5AV

URI	`m2://inv/DQHZZDP5AV`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2510.12502#R35L (statement). In 3A4K47Y9F2/e1, lemma 5.5

History

2026-10-27: add by m2/v0.4.0

Properties DQJ4FAXDYS

URI	`m2://inv/DQJ4FAXDYS`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stiefel–Whitney class#4JBT, Properties (statement)

History

2026-11-02: add by m2/dev

The half-measure level of extraction is sharp DQJF9SF1R0

URI	`m2://inv/DQJF9SF1R0`
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#IDW7, The half-measure level of extraction is sharp (statement). In 9YAE8FNQST/e1, proposition 14.5

History

2026-10-30: add by m2/v0.4.12

DQK2464JV7 DQK2464JV7

URI	`m2://inv/DQK2464JV7`
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#21CV (statement). In 7R51MHWQF7/e1, lemma 3.1

History

2026-10-28: add by m2/v0.4.2

Valery Senderov DQK3G8XP35

URI	`m2://inv/DQK3G8XP35`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#G11W, Valery Senderov (topic)

History

2026-11-02: add by m2/dev

Examples DQK7763B3P

URI	`m2://inv/DQK7763B3P`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quadratic residue code#84YQ, Examples (example)

History

2026-11-02: add by m2/dev

Properties DQKAFN7KRS

URI	`m2://inv/DQKAFN7KRS`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Binary tetrahedral group#XCCU, Properties (statement)

History

2026-11-02: add by m2/dev

two-dimensional jumps DQKQCXCPHB

URI	`m2://inv/DQKQCXCPHB`
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.08016#HN1E, two-dimensional jumps (statement). In YR3CSTYEJW/e1, corollary 4.10

History

2026-10-29: add by m2/v0.4.10

*{Theorem 1.2 DQKQP93WJM

URI	`m2://inv/DQKQP93WJM`
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.30575#GLYW, *{Theorem 1.2 (statement). In 6WFFY0QM27/e1, theorem 1.1

History

2026-10-31: add by m2/v0.5.6

ATS theorem DQKY1NVB9Z

URI	`m2://inv/DQKY1NVB9Z`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#7TPP, ATS theorem (statement)

History

2026-11-02: add by m2/dev

Period (multiplicative order base 10) of the terms in A116074 and A116075 . DQM0N3WQQS

URI	`m2://inv/DQM0N3WQQS`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q100193886, Period (multiplicative order base 10) of the terms in A116074 and A116075 . (object). Also OEIS A116076

History

2026-10-26: add by m2/dev

vector-valued integrable function (Bochner integral) DQM7W524T4

URI	`m2://inv/DQM7W524T4`
Kind	unknown
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > vector-valued integrable function (Bochner integral), vector-valued integrable function (Bochner integral) (unknown). Also Mathlib MeasureTheory.Integrable
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > finite-dimensional vector-valued integrable functions, finite-dimensional vector-valued integrable functions (unknown). Also Mathlib MeasureTheory.Integrable
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > integrable functions, integrable functions (unknown). Also Mathlib MeasureTheory.Integrable

History

2026-10-26: add by m2/dev

DQMC23QT18 DQMC23QT18

URI	`m2://inv/DQMC23QT18`
Kind	statement
Layer	research
MSC	11-XX, 14-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.11545#LM12 (statement). In VN084GGZGK/e1, proposition 2.25

History

2026-10-28: add by m2/v0.4.3

Paradox DQMGH6MNQ0

URI	`m2://inv/DQMGH6MNQ0`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Raven paradox#T0F0, Paradox (statement)

History

2026-11-02: add by m2/dev

Constrained bias transfer DQMKQZBNV3

URI	`m2://inv/DQMKQZBNV3`
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.04671#1S2T, Constrained bias transfer (statement). In BYP65TRGDT/e1, lemma 3.3

History

2026-10-29: add by m2/v0.4.12

$C^1$ specialization of Theorem 4.2 DQN70D1PB2

URI	`m2://inv/DQN70D1PB2`
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.05428#VNV1, $C^1$ specialization of Theorem 4.2 (statement). In 31MQPCA8SH/e1, theorem E.1

History

2026-10-29: add by m2/v0.4.10

DQN8ARXQ5M DQN8ARXQ5M

URI	`m2://inv/DQN8ARXQ5M`
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.15805#5OSU (statement). In 2XVWG0Z18V/e1, theorem 3.3

History

2026-10-28: add by m2/v0.4.2

Examples DQN9D2X7RC

URI	`m2://inv/DQN9D2X7RC`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Boolean function#NQ89, Examples (example)

History

2026-11-02: add by m2/dev

DQNH25Z2XE DQNH25Z2XE

URI	`m2://inv/DQNH25Z2XE`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22825#3218 (statement)

History

2026-11-02: add by m2/v0.6.17

DQP33D6M28 DQP33D6M28

URI	`m2://inv/DQP33D6M28`
Kind	statement
Layer	research
MSC	30-XX, 32-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.12497#MOAW (statement). In Z0SAF18JPP/e1, proposition 8.1

History

2026-10-28: add by m2/v0.4.2

DQPCMQ429T DQPCMQ429T

URI	`m2://inv/DQPCMQ429T`
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.16989#RX6X (statement). In 4769XNDWYS/e1, lemma A.1

History

2026-10-28: add by m2/v0.4.2

Q-function DQPMA5H0M9

URI	`m2://inv/DQPMA5H0M9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#RPXD, Q-function (definition)

History

2026-11-02: add by m2/dev

DQPQGZ1FV3 DQPQGZ1FV3

URI	`m2://inv/DQPQGZ1FV3`
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.12014#RU91 (statement). In DR7BK4CQ0V/e1, proposition 2.2

History

2026-10-28: add by m2/v0.4.3

DQQ4BKM45W DQQ4BKM45W

URI	`m2://inv/DQQ4BKM45W`
Kind	statement
Layer	research
MSC	05-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.20678#ZPMF (statement)

History

2026-11-02: add by m2/v0.6.18

Perfect table DQQB4Z2GPD

URI	`m2://inv/DQQB4Z2GPD`
Kind	statement
Layer	research
MSC	05-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39233#VY4R, Perfect table (statement). In Y7NC12TBNP/e1, theorem 1

History

2026-10-30: add by m2/v0.4.12

DQQC4X9GHA DQQC4X9GHA

URI	`m2://inv/DQQC4X9GHA`
Kind	statement
Layer	research
MSC	46-XX, 54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10329#A62Q (statement). In SCSTR1Q1BW/e1, proposition 5.2

History

2026-10-29: add by m2/v0.4.10

Limit inferior DQQMV73NFN

URI	`m2://inv/DQQMV73NFN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#IYI7, Limit inferior (definition)

History

2026-11-02: add by m2/dev

Properties DQQN02M08G

URI	`m2://inv/DQQN02M08G`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zonal spherical harmonics#J7HX, Properties (statement)

History

2026-11-02: add by m2/dev

DQQN34X3SG DQQN34X3SG

URI	`m2://inv/DQQN34X3SG`
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.07292#EJGW (statement). In PZ17NHGAKX/e1, lemma 19

History

2026-10-29: add by m2/v0.4.10

DQQWD3KNEF DQQWD3KNEF

URI	`m2://inv/DQQWD3KNEF`
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.28794#TR50 (statement)

History

2026-11-01: add by m2/v0.6.15

Irish Institute DQQXM3JMGX

URI	`m2://inv/DQQXM3JMGX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of research centers at Boston College#0D4W, Irish Institute (unknown)

History

2026-11-02: add by m2/dev

DQQZ6GEJME DQQZ6GEJME

URI	`m2://inv/DQQZ6GEJME`
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.10452#IVP5 (statement). In 2F4PNP1V3B/e1, theorem C

History

2026-10-29: add by m2/v0.4.10

DQR0A7K3PC DQR0A7K3PC

URI	`m2://inv/DQR0A7K3PC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/substitution.tex#def:subst-inst (definition). In PKGMM3P5QY, defn, section 54.8

History

2026-11-01: add by m2/v0.6.13

DQR28HRFT6 DQR28HRFT6

URI	`m2://inv/DQR28HRFT6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#definition-3 (definition). In P1C114YBXG, definition, section J

History

2026-11-01: add by m2/v0.6.13

nimber DQR7FC1MA3

URI	`m2://inv/DQR7FC1MA3`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2392819, nimber (unknown). Also MathWorld Nim-Value
wikipedia: Wikipedia Nimber, Nimber (definition). Also Wikidata Q2392819

History

2026-10-26: add by m2/dev

De Casteljau's algorithm DQR85SBYSC

URI	`m2://inv/DQR85SBYSC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia De Casteljau's algorithm, De Casteljau's algorithm (definition). Also Wikidata Q1179419

History

2026-11-02: add by m2/dev

DQRE5GF0MF DQRE5GF0MF

URI	`m2://inv/DQRE5GF0MF`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 2.1.5

History

2026-11-01: add by m2/v0.6.13

Log-space reduction DQREHJNJ1W

URI	`m2://inv/DQREHJNJ1W`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Log-space reduction, Log-space reduction (definition). Also Wikidata Q448582

History

2026-11-02: add by m2/dev

Bilinear program DQRGS0EK8W

URI	`m2://inv/DQRGS0EK8W`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bilinear program, Bilinear program (definition). Also Wikidata Q4907765

History

2026-11-02: add by m2/dev

Examples DQRJ2JMBVB

URI	`m2://inv/DQRJ2JMBVB`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Law of large numbers#QKD1, Examples (example)

History

2026-11-02: add by m2/dev

Join DQRNGDAQ0G

URI	`m2://inv/DQRNGDAQ0G`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Join (relational algebra), Join (definition). Also Wikidata Q134882134

History

2026-11-02: add by m2/dev

William V. Mayer DQRPKX3FJA

URI	`m2://inv/DQRPKX3FJA`
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#NSH4, William V. Mayer (unknown)

History

2026-11-02: add by m2/dev

XXX model DQS7TVJER1

URI	`m2://inv/DQS7TVJER1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quantum Heisenberg model#5CQM, XXX model (unknown)

History

2026-11-02: add by m2/dev

DQS9B1HXYZ DQS9B1HXYZ

URI	`m2://inv/DQS9B1HXYZ`
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.24902#4O2M (statement)

History

2026-11-01: add by m2/v0.6.15

't Hooft loop DQSA2XHYSX

URI	`m2://inv/DQSA2XHYSX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q4540599, 't Hooft loop (unknown). Also nLab 't Hooft operator

History

2026-10-26: add by m2/dev

Test-noise energies for selected directions DQSFG03XXE

URI	`m2://inv/DQSFG03XXE`
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.11309#EIHZ, Test-noise energies for selected directions (statement). In TTEAQA1XXR/e1, lemma F.4

History

2026-10-28: add by m2/v0.4.3

Diana Shelstad DQSFX84R26

URI	`m2://inv/DQSFX84R26`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#F7CS, Diana Shelstad (topic)

History

2026-11-02: add by m2/dev

properly discontinuous action DQSQAYVBTW

URI	`m2://inv/DQSQAYVBTW`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7250192, properly discontinuous action (unknown). Also nLab properly discontinuous action

History

2026-10-26: add by m2/dev

Bruce Bowman DQSV1M36KR

URI	`m2://inv/DQSV1M36KR`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bruce Bowman, Bruce Bowman (topic). Also Wikidata Q138744273

History

2026-11-02: add by m2/dev

DQSVSYEYS3 DQSVSYEYS3

URI	`m2://inv/DQSVSYEYS3`
Kind	definition
Layer	research
MSC	20-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.03424#QSHS (definition). In Q6HRJP4AWA/e1, definition 2.1

History

2026-10-29: add by m2/v0.4.12

Susanne Ditlevsen DQSZMXW8B0

URI	`m2://inv/DQSZMXW8B0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Susanne Ditlevsen, Susanne Ditlevsen (topic). Also Wikidata Q46985324

History

2026-11-02: add by m2/dev

Veinticinco de Mayo DQT0YTGEA0

URI	`m2://inv/DQT0YTGEA0`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of places with numeric names#VJ8B, Veinticinco de Mayo (unknown)

History

2026-11-02: add by m2/dev

International gravity formula 1930 DQTCZKRTWR

URI	`m2://inv/DQTCZKRTWR`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Theoretical gravity#GWTJ, International gravity formula 1930 (statement)

History

2026-11-02: add by m2/dev

Manfredo do Carmo DQTEQHP00Z

URI	`m2://inv/DQTEQHP00Z`
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 Q15456325, Manfredo do Carmo (unknown). Also nLab Manfredo do Carmo, ProofWiki Mathematician:Manfredo_Perdigão_do_Carmo
wikipedia: Wikipedia Manfredo do Carmo, Manfredo do Carmo (topic). Also Wikidata Q15456325

History

2026-10-26: add by m2/dev

Nonlinear mixed-effects model DQTG0W47TA

URI	`m2://inv/DQTG0W47TA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nonlinear mixed-effects model, Nonlinear mixed-effects model (definition). Also Wikidata Q98079401

History

2026-11-02: add by m2/dev

Seymour Ginsburg DQTJTA4YQM

URI	`m2://inv/DQTJTA4YQM`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#6N13, Seymour Ginsburg (unknown)

History

2026-11-02: add by m2/dev

DQTK00RWA6 DQTK00RWA6

URI	`m2://inv/DQTK00RWA6`
Kind	statement
Layer	research
MSC	05-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17135#NKN4 (statement). In XX1J2REXY2/e1, proposition 5.2

History

2026-10-28: add by m2/v0.4.2

DQTMD5H61W DQTMD5H61W

URI	`m2://inv/DQTMD5H61W`
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.14099#G88J (statement). In D77GXFTKFH/e1, theorem 18

History

2026-10-28: add by m2/v0.4.2

DQTP4EGSDT DQTP4EGSDT

URI	`m2://inv/DQTP4EGSDT`
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.08357#LFY2 (statement). In R9GRCAWHG0/e1, proposition 5.8

History

2026-10-29: add by m2/v0.4.10

Explicit inverse algorithm DQTRC37M21

URI	`m2://inv/DQTRC37M21`
Kind	statement
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20649#UYQZ, Explicit inverse algorithm (statement). In XDTM624YPE/e1, corollary 14.3

History

2026-10-27: add by m2/v0.4.2

Applications DQV16A0F1G

URI	`m2://inv/DQV16A0F1G`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Icosidodecahedron#517B, Applications (example)

History

2026-11-02: add by m2/dev

Optimal design model selection DQV353XCD7

URI	`m2://inv/DQV353XCD7`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Optimal experimental design#G42V, Optimal design model selection (unknown)

History

2026-11-02: add by m2/dev

Oskar Klein DQV3W152M6

URI	`m2://inv/DQV3W152M6`
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 Q251524, Oskar Klein (unknown). Also nLab Oskar Klein

History

2026-10-26: add by m2/dev

Dickson's lemma DQV7ZSTAMH

URI	`m2://inv/DQV7ZSTAMH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dickson's lemma, Dickson's lemma (statement). Also Wikidata Q5273779

History

2026-11-02: add by m2/dev

DQV9Q0T8Y6 DQV9Q0T8Y6

URI	`m2://inv/DQV9Q0T8Y6`
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 2610.09561#X4L8 (definition). In WDV5E2CVTR/e1, definition 7.1

History

2026-10-29: add by m2/v0.4.10

propositional variable DQVEH6RWXS

URI	`m2://inv/DQVEH6RWXS`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3492863, propositional variable (unknown). Also MathWorld SententialVariable
wikipedia: Wikipedia Propositional variable, Propositional variable (definition). Also Wikidata Q3492863

History

2026-10-26: add by m2/dev

Tatyana Ehrenfest DQVF3MDSKN

URI	`m2://inv/DQVF3MDSKN`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#2QMB, Tatyana Ehrenfest (topic)

History

2026-11-02: add by m2/dev

DQVFHJKF6J DQVFHJKF6J

URI	`m2://inv/DQVFHJKF6J`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 58.8

History

2026-11-01: add by m2/v0.6.13

Implementations DQVKBZECRQ

URI	`m2://inv/DQVKBZECRQ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Q-value (statistics)#BK8G, Implementations (definition)

History

2026-11-02: add by m2/dev

Non-concentration for Euler products DQW18JY63A

URI	`m2://inv/DQW18JY63A`
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.11974#13IO, Non-concentration for Euler products (statement). In AW6S4XZ9ZZ/e1, theorem 1.5

History

2026-10-28: add by m2/v0.4.3

DQW2X53ZSW DQW2X53ZSW

URI	`m2://inv/DQW2X53ZSW`
Kind	statement
Layer	research
MSC	20-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 2503.00560#FODL (statement). In KH1H3TSWPS/e1, corollary 4.8

History

2026-10-27: add by m2/v0.3.6

Bean machine DQW5MXB6TT

URI	`m2://inv/DQW5MXB6TT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#1BPS, Bean machine (definition)
wikipedia: Wikipedia List of probability topics#CZ7T, Bean machine (definition)

History

2026-11-02: add by m2/dev

Lamprecht DQW8J7PB7W

URI	`m2://inv/DQW8J7PB7W`
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#2G38, Lamprecht (statement). In 5BZQS1KY9A/e1, theorem 4.5

History

2026-10-29: add by m2/v0.4.10

Examples DQWB8C5BEY

URI	`m2://inv/DQWB8C5BEY`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Metrizable space#MGOY, Examples (example)

History

2026-11-02: add by m2/dev

Local well-posedness DQWCCKGS5V

URI	`m2://inv/DQWCCKGS5V`
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.38118#8HN8, Local well-posedness (statement). In K4KKTYYKKH/e1, proposition 1

History

2026-10-30: add by m2/v0.4.12

DQWD2PRB0K DQWD2PRB0K

URI	`m2://inv/DQWD2PRB0K`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 7.3.1

History

2026-11-01: add by m2/v0.6.13

DQWG1FN703 DQWG1FN703

URI	`m2://inv/DQWG1FN703`
Kind	statement
Layer	research
MSC	03-XX, 13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv math/0406514#UI6G (statement). In CY1FE8W1ZW/e1, lemma 0.108

History

2026-10-27: add by m2/v0.4.0

DQWK4ABN6T DQWK4ABN6T

URI	`m2://inv/DQWK4ABN6T`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics source/s_intro_geom.ptx#example-2 (example). In QKM9DD2H56, example, section 1.5

History

2026-11-01: add by m2/v0.6.13

DQWKH0YFJF DQWKH0YFJF

URI	`m2://inv/DQWKH0YFJF`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/sets-functions-relations/relations/equivalence-relations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 80.1

History

2026-11-01: add by m2/v0.6.13

Formal definition DQWM3DFJD5

URI	`m2://inv/DQWM3DFJD5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nevanlinna invariant#MX27, Formal definition (definition)

History

2026-11-02: add by m2/dev

DQWV49HP1F DQWV49HP1F

URI	`m2://inv/DQWV49HP1F`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.16094#0GE0 (statement). In RHBS9QDHC3/e1, lemma 5.5

History

2026-10-28: add by m2/v0.4.2

DQWZJNB0TJ DQWZJNB0TJ

URI	`m2://inv/DQWZJNB0TJ`
Kind	definition
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 2312.14445#EEDV (definition). In V56MKF0KW2/e1, definition 2.6

History

2026-10-27: add by m2/v0.3.5

DQWZKH0NSQ DQWZKH0NSQ

URI	`m2://inv/DQWZKH0NSQ`
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.33808#UYI7 (statement). In 328KGRNN0W/e1, corollary 1.2

History

2026-10-30: add by m2/v0.4.12

Weak Sharpness DQX3XQ2V2W

URI	`m2://inv/DQX3XQ2V2W`
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 2602.13510#FZUY, Weak Sharpness (definition). In Y75MQW7CFV/e1, definition 2.2

History

2026-10-27: add by m2/v0.3.5

DQX8J7HWSE DQX8J7HWSE

URI	`m2://inv/DQX8J7HWSE`
Kind	statement
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1806.05002#0DEV (statement). In JBAQ7DTW7B/e1, lemma A.3

History

2026-10-27: add by m2/v0.3.5

Profiles of a glued tree DQXEEJYR11

URI	`m2://inv/DQXEEJYR11`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17400#FS7F, Profiles of a glued tree (statement). In 8VDXGR4SVD/e1, lemma 5.2

History

2026-10-28: add by m2/v0.4.2

DQXEW1ZRMC DQXEW1ZRMC

URI	`m2://inv/DQXEW1ZRMC`
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.01915#PQ9O (statement). In 6HJQXZS0A6/e1, lemma 1.29

History

2026-10-29: add by m2/v0.4.12

DQXH80WECM DQXH80WECM

URI	`m2://inv/DQXH80WECM`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11031#00K7 (statement). In 9DMJXFRQN9/e1, corollary 3.6

History

2026-10-28: add by m2/v0.4.3

DQXK9RB64K DQXK9RB64K

URI	`m2://inv/DQXK9RB64K`
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.02489#9UJI (statement). In ZCJDWDR16Z/e1, theorem 5.2

History

2026-10-29: add by m2/v0.4.12

Quine–Putnam indispensability argument DQY47ZS260

URI	`m2://inv/DQY47ZS260`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quine–Putnam indispensability argument, Quine–Putnam indispensability argument (definition). Also Wikidata Q107863149

History

2026-11-02: add by m2/dev

DQY5558XHE DQY5558XHE

URI	`m2://inv/DQY5558XHE`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01498#D13Y (statement). In 75GDSC8460/e1, theorem 1.5

History

2026-10-29: add by m2/v0.4.12

Global hybrid Bellman inequality DQY5Q9MSR2

URI	`m2://inv/DQY5Q9MSR2`
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#6TQC, Global hybrid Bellman inequality (statement)

History

2026-11-01: add by m2/v0.6.15

applied mathematics DQY5VWCSED

URI	`m2://inv/DQY5VWCSED`
Kind	definition
Layer	textbook
MSC	00A69
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q33521, applied mathematics (topic). Also MathWorld AppliedMathematics, nLab applied mathematics, ProofWiki Definition:Applied_Mathematics
wikipedia: Wikipedia Applied mathematics, Applied mathematics (definition). Also Wikidata Q33521

History

2026-10-26: add by m2/dev

Clean ring DQY6GQM3DE

URI	`m2://inv/DQY6GQM3DE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Clean ring, Clean ring (definition). Also Wikidata Q24896331

History

2026-11-02: add by m2/dev

Uniform-cost search DQY9RVZEK9

URI	`m2://inv/DQY9RVZEK9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of algorithms#I5KM, Uniform-cost search (definition)

History

2026-11-02: add by m2/dev

Knot sum DQYC7GP31P

URI	`m2://inv/DQYC7GP31P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of knot theory topics#4WZ7, Knot sum (definition)

History

2026-11-02: add by m2/dev

Eternity II puzzle DQYCM47YCN

URI	`m2://inv/DQYCM47YCN`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Eternity II puzzle, Eternity II puzzle (conjecture). Also Wikidata Q3489291

History

2026-11-02: add by m2/dev

Anomaly (geophysics) DQYH0BHKBA

URI	`m2://inv/DQYH0BHKBA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Anomaly (natural sciences)#TAV4, Anomaly (geophysics) (unknown)

History

2026-11-02: add by m2/dev

Examples DQYHAP72K0

URI	`m2://inv/DQYHAP72K0`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pernicious number#BRX5, Examples (example)

History

2026-11-02: add by m2/dev

Frank Morley DQYRQSZSXZ

URI	`m2://inv/DQYRQSZSXZ`
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#5MSK, Frank Morley (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AYPC, Frank Morley (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q45H, Frank Morley (topic)

History

2026-11-02: add by m2/dev

DQZ19P9QPH DQZ19P9QPH

URI	`m2://inv/DQZ19P9QPH`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28411#RQMW (statement)

History

2026-11-01: add by m2/v0.6.15

Algorithm W DQZJDJC9CS

URI	`m2://inv/DQZJDJC9CS`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hindley–Milner type system#SSP1, Algorithm W (unknown)

History

2026-11-02: add by m2/dev

induction principle, for an inductive type DQZM85AW2K

URI	`m2://inv/DQZM85AW2K`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/8.6/induction-principle-for-an-inductive-type, induction principle, for an inductive type (concept). In N54F33XE07, index, section 8.6

History

2026-11-01: add by m2/v0.6.13

Examples DQZNB1YHZQ

URI	`m2://inv/DQZNB1YHZQ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Radius of curvature#AY8L, Examples (example)

History

2026-11-02: add by m2/dev

Strongly-convex DQZQ3MHAM9

URI	`m2://inv/DQZQ3MHAM9`
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#PHWL, Strongly-convex (statement). In E6795TKR6R/e1, theorem 7

History

2026-10-27: add by m2/v0.3.5

Properties DQZQJHCAZ2

URI	`m2://inv/DQZQJHCAZ2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ball divergence#DG0O, Properties (statement)

History

2026-11-02: add by m2/dev