Inventory rows DY

Linear connection DY032P7V10

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

Mentions

wikipedia: Wikipedia Linear connection, Linear connection (definition). Also Wikidata Q8349715

History

2026-11-02: add by m2/dev

DY0811CZY9 DY0811CZY9

URI	`m2://inv/DY0811CZY9`
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.07451#W1WN (definition). In P7KT88N75Q/e1, definition 1.6

History

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

DY08MNT722 DY08MNT722

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

Mentions

napkin: napkin tex/set-theory/CH.tex#definition-4 (definition). In RZP28ERRZV, definition, section 88.4

History

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

DY0F3NB1XC DY0F3NB1XC

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

Mentions

arxiv: arXiv 2601.22681#JJ28 (statement). In 68VEQQX68G/e1, lemma 3.1

History

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

DY0G2AX59R DY0G2AX59R

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 15.3

History

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

Examples DY0JEZSTRX

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

Mentions

wikipedia: Wikipedia Vizing's theorem#DWZW, Examples (example)

History

2026-11-02: add by m2/dev

\emph{in $\ZF$} DY1BNTHZ84

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

Mentions

open_logic: open_logic content/set-theory/choice/hartogs.tex#thm-1, \emph{in $\ZF$} (statement). In PKGMM3P5QY, thm, section 71.2

History

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

Applications DY1CNRDVPN

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

Mentions

wikipedia: Wikipedia Bochner space#54IG, Applications (example)

History

2026-11-02: add by m2/dev

Properties DY1FWMJFP9

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

Mentions

wikipedia: Wikipedia Hopf link#8J5O, Properties (statement)

History

2026-11-02: add by m2/dev

The same identity using the quasi-geostrophic potential vorticity DY1J6CPAQP

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

Mentions

wikipedia: Wikipedia Quasi-geostrophic equations#5XH6, The same identity using the quasi-geostrophic potential vorticity (statement)

History

2026-11-02: add by m2/dev

Ehresmann's theorem DY1K80B1H9

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

Mentions

wikipedia: Wikipedia List of theorems#SV14, Ehresmann's theorem (statement)

History

2026-11-02: add by m2/dev

DY1MTX262J DY1MTX262J

URI	`m2://inv/DY1MTX262J`
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.27911#SCE0 (statement)

History

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

DY2133PDMQ DY2133PDMQ

URI	`m2://inv/DY2133PDMQ`
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 2609.24917#B49K (statement)

History

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

DY228PXBDW DY228PXBDW

URI	`m2://inv/DY228PXBDW`
Kind	example
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.31910#ABID (example). In E4EK1XXPY4/e1, example 5.17

History

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

Exponential $\rho$-Mixing DY23W0255N

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

Mentions

arxiv: arXiv 2609.33590#6W1Z, Exponential $\rho$-Mixing (statement). In WRE0P7V6Z3/e1, corollary 7.8

History

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

Zipf's law DY25FR03PS

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

Mentions

wikipedia: Wikipedia List of probability distributions#HGRD, Zipf's law (statement)

History

2026-11-02: add by m2/dev

DY286ZSZTA DY286ZSZTA

URI	`m2://inv/DY286ZSZTA`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 37-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 math/0008020#SX78 (statement). In 8K466RA3HH/e1, lemma 1

History

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

Recursive inversion DY29PVHW3E

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

Mentions

arxiv: arXiv 2610.12873#456G, Recursive inversion (statement). In 9MMD2N7DQ1/e1, lemma 3.2

History

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

Mokken scale DY2CMSKMB5

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

Mentions

wikipedia: Wikipedia Mokken scale, Mokken scale (definition). Also Wikidata Q2120588

History

2026-11-02: add by m2/dev

Phonon tunneling DY2NNN477J

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

Mentions

wikipedia: Wikipedia Phonon#4YHP, Phonon tunneling (unknown)

History

2026-11-02: add by m2/dev

David Christiani DY2NQJEV3H

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

Mentions

wikipedia: Wikipedia David Christiani, David Christiani (topic). Also Wikidata Q89126

History

2026-11-02: add by m2/dev

Multivariate counting statistics for an annular hard wall region DY2Q4NNX5Y

URI	`m2://inv/DY2Q4NNX5Y`
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.25307#HZOL, Multivariate counting statistics for an annular hard wall region (statement)

History

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

\hspace{-1sp DY2WQFXMKM

URI	`m2://inv/DY2WQFXMKM`
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.03341#S8XO, \hspace{-1sp (statement). In 3G1H5ASBVE/e1, theorem 5

History

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

Properties DY2WS8B2VY

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

Mentions

wikipedia: Wikipedia Fullerene#QVIA, Properties (statement)

History

2026-11-02: add by m2/dev

Fitch's paradox of knowability DY2ZBV5X0D

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

Mentions

wikipedia: Wikipedia Fitch's paradox of knowability, Fitch's paradox of knowability (statement). Also Wikidata Q5455413

History

2026-11-02: add by m2/dev

Dietmar Bisch DY31DVEFC9

URI	`m2://inv/DY31DVEFC9`
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#QTCU, Dietmar Bisch (unknown)

History

2026-11-02: add by m2/dev

Microscopic transfer DY33TTY2VT

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

Mentions

arxiv: arXiv 2610.01391#Z70X, Microscopic transfer (statement). In MAZNVJX5YK/e1, theorem 12

History

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

DY3571GKW1 DY3571GKW1

URI	`m2://inv/DY3571GKW1`
Kind	definition
Layer	research
MSC	03-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 2110.11143#L3YJ (definition). In VTVC0TCWSB/e1, definition 6.3

History

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

Senary DY371Q3F8X

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

Mentions

wikipedia: Wikipedia List of numeral system topics#0I9P, Senary (definition)

History

2026-11-02: add by m2/dev

Invariance of tilted cascades DY3D83AHA9

URI	`m2://inv/DY3D83AHA9`
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.32710#VGNC, Invariance of tilted cascades (statement). In KVYG6R7CGJ/e1, lemma A.1

History

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

Related conjectures and heuristics DY3GHBS9BJ

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

Mentions

wikipedia: Wikipedia Cramér's conjecture#58UO, Related conjectures and heuristics (statement)

History

2026-11-02: add by m2/dev

Height-preserving invertibility DY3H1A72WW

URI	`m2://inv/DY3H1A72WW`
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.08293#7XNM, Height-preserving invertibility (statement). In 90A5DJG27R/e1, theorem 5

History

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

Extensions DY3JHCHFM6

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

Mentions

wikipedia: Wikipedia Quantum coin flipping#UIP9, Extensions (statement)

History

2026-11-02: add by m2/dev

Edward Nelson DY3KZCBD1Z

URI	`m2://inv/DY3KZCBD1Z`
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 Q381346, Edward Nelson (unknown). Also nLab Edward Nelson
wikipedia: Wikipedia Edward Nelson, Edward Nelson (topic). Also Wikidata Q381346

History

2026-10-26: add by m2/dev

DY3RFSATJ0 DY3RFSATJ0

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

Mentions

arxiv: arXiv 1011.4651#PSG5 (statement). In 44YWXB0VB4/e1, lemma 5

History

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

DY3VQ1R61Y DY3VQ1R61Y

URI	`m2://inv/DY3VQ1R61Y`
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.06488#PIM9 (statement). In XG3BJ2QXXP/e1, proposition 2.12

History

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

DY3XR5Y3VR DY3XR5Y3VR

URI	`m2://inv/DY3XR5Y3VR`
Kind	definition
Layer	research
MSC	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.32916#NXQZ (definition). In G1RP4JY5PE/e1, definition 5.4.3

History

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

Edward Ng DY3XWPFK5V

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

Mentions

wikipedia: Wikipedia Edward Ng, Edward Ng (topic). Also Wikidata Q5344619

History

2026-11-02: add by m2/dev

DY3YTBV8PR DY3YTBV8PR

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

Mentions

arxiv: arXiv 2610.19707#XCIP (statement). In R6SEBXARYC/e1, proposition 3.6

History

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

DY42DCJ41D DY42DCJ41D

URI	`m2://inv/DY42DCJ41D`
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.09594#AWFL (statement). In TVE5WK2MH8/e1, lemma 4.1

History

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

DY447EJM15 DY447EJM15

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

Mentions

open_logic: open_logic content/model-theory/basics/isomorphism.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.2

History

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

DY46Y97M2E DY46Y97M2E

URI	`m2://inv/DY46Y97M2E`
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.15217#I2FC (definition). In G70Q2FB591/e1, definition 2.17

History

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

Weak trace-class operator DY48DG4EHN

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

Mentions

wikipedia: Wikipedia Weak trace-class operator, Weak trace-class operator (definition). Also Wikidata Q17104648

History

2026-11-02: add by m2/dev

\coqident{Foundations}{Sets}{PartialOrder DY49REP7VD

URI	`m2://inv/DY49REP7VD`
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 1904.09810#PHOD, \coqident{Foundations}{Sets}{PartialOrder (definition). In T1VFA7TXPA/e1, definition 2

History

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

DY4DJQ4ZQ1 DY4DJQ4ZQ1

URI	`m2://inv/DY4DJQ4ZQ1`
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.00048#M9BL (statement). In 4T0CFT0MMX/e1, proposition

History

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

Robert Arthur Fairthorne DY4DZ8SBJ9

URI	`m2://inv/DY4DZ8SBJ9`
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#H03U, Robert Arthur Fairthorne (unknown)

History

2026-11-02: add by m2/dev

DY4JY49W0Z DY4JY49W0Z

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

Mentions

arxiv: arXiv 2609.35577#WRKC (definition). In 4F8QRV05BV/e1, definition 2.2

History

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

Volterra lattice DY4KA1VJFH

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

Mentions

wikipedia: Wikipedia Volterra lattice, Volterra lattice (definition). Also Wikidata Q17136631

History

2026-11-02: add by m2/dev

Helen Brewster Owens DY4QYRAY8J

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

Mentions

wikipedia: Wikipedia Helen Brewster Owens, Helen Brewster Owens (topic). Also Wikidata Q19665138

History

2026-11-02: add by m2/dev

Immediate inference DY4SF10YFC

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

Mentions

wikipedia: Wikipedia Immediate inference, Immediate inference (definition). Also Wikidata Q11716380

History

2026-11-02: add by m2/dev

DY4TGEHEJ1 DY4TGEHEJ1

URI	`m2://inv/DY4TGEHEJ1`
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.26386#HC1Z (statement)

History

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

DY59CZFDJE DY59CZFDJE

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

Mentions

arxiv: arXiv 1002.0879#EU8X (statement). In M0SQY5EZN5/e1, lemma 2.7.5

History

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

Algebraic properties DY5BPNDFCG

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

Mentions

wikipedia: Wikipedia F26A graph#L9WZ, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

Structured data analysis (statistics) DY5FFVCSE9

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

Mentions

wikipedia: Wikipedia List of statistics articles#AT63, Structured data analysis (statistics) (definition)

History

2026-11-02: add by m2/dev

$\Lambda$-minimizer DY5H6CZVW2

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

Mentions

arxiv: arXiv 2610.18673#T5TM, $\Lambda$-minimizer (definition). In 7ZFD9XRKA1/e1, definition 2.15

History

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

Integrated Encryption Scheme DY5J1899WE

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

Mentions

wikipedia: Wikipedia Integrated Encryption Scheme, Integrated Encryption Scheme (definition). Also Wikidata Q1332372

History

2026-11-02: add by m2/dev

Almost surely DY5S7HRDNX

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

Mentions

wikipedia: Wikipedia List of statistics articles#UNVB, Almost surely (definition)
wikipedia: Wikipedia List of exceptional set concepts#Z150, Almost surely (definition)
wikipedia: Wikipedia List of probability topics#JBVJ, Almost surely (definition)

History

2026-11-02: add by m2/dev

Weka DY5WZWD6XC

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#HXGL, Weka (unknown)

History

2026-11-02: add by m2/dev

DY5YB1ZFW2 DY5YB1ZFW2

URI	`m2://inv/DY5YB1ZFW2`
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 2306.08237#125X (statement). In E22A2MFR4Y/e1, proposition 4.11

History

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

bug-eyed line DY60N5MJFK

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

Mentions

wikipedia: Wikipedia List of topologies#MZLP, bug-eyed line (definition)

History

2026-11-02: add by m2/dev

DY678JX2ZQ DY678JX2ZQ

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#example-5 (example). In RZP28ERRZV, example, section 5.3

History

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

DY6A9TQE09 DY6A9TQE09

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#example-10 (example). In RZP28ERRZV, example, section 62.6.2

History

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

DY6FM2XVN1 DY6FM2XVN1

URI	`m2://inv/DY6FM2XVN1`
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.03719#H378 (statement). In 8MDK189ZMB/e1, proposition 4.5

History

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

DY6GPR60V4 DY6GPR60V4

URI	`m2://inv/DY6GPR60V4`
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.13392#4XBC (statement). In 2FVND41HVS/e1, lemma 5.6

History

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

Morgan Chu DY6HCKR9Y9

URI	`m2://inv/DY6HCKR9Y9`
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#NQ7T, Morgan Chu (unknown)

History

2026-11-02: add by m2/dev

Classically independent propositions DY711MQYWX

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

Mentions

wikipedia: Wikipedia Heyting arithmetic#33W4, Classically independent propositions (statement)

History

2026-11-02: add by m2/dev

octahedron DY71S4SY9Z

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

Mentions

levin_dmoi: levin_dmoi index/5.3.2/octahedron, octahedron (concept). In Y91XFCEVHQ, index, section 5.3.2

History

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

Complexity DY72E11SKS

URI	`m2://inv/DY72E11SKS`
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.15631#KM47, Complexity (statement). In AF465QFRGQ/e1, theorem V.4

History

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

Division by infinity DY7MG0EAV8

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

Mentions

wikipedia: Wikipedia Division by infinity, Division by infinity (definition). Also Wikidata Q111944717

History

2026-11-02: add by m2/dev

Definitions DY7P48AY8J

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

Mentions

wikipedia: Wikipedia NL (complexity)#CT6A, Definitions (definition)

History

2026-11-02: add by m2/dev

Analytic half-mean tail DY7P9XP7E5

URI	`m2://inv/DY7P9XP7E5`
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#AT7D, Analytic half-mean tail (statement)

History

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

DY7QSHCFV1 DY7QSHCFV1

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

Mentions

arxiv: arXiv 2411.16655#IB6N (statement). In EJHAXRV685/e1, lemma 2.3

History

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

Example DY7RZB7Y36

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

Mentions

wikipedia: Wikipedia Analysis of variance#C71J, Example (example)

History

2026-11-02: add by m2/dev

Bridgette Hashima DY7T0KG3QT

URI	`m2://inv/DY7T0KG3QT`
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#4AIS, Bridgette Hashima (unknown)

History

2026-11-02: add by m2/dev

bivariate DY7T3WR805

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

Mentions

wikidata: Wikidata Q141504792, bivariate (unknown). Also MathWorld Bivariate

History

2026-10-26: add by m2/dev

DY7VC9KV3P DY7VC9KV3P

URI	`m2://inv/DY7VC9KV3P`
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.36811#I3FS (statement). In ZQDX8E43SQ/e1, lemma 2.4

History

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

DY7VG0QK1T DY7VG0QK1T

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

Mentions

arxiv: arXiv 2610.09678#EQ7P (statement). In 9VG7PNZHZT/e1, lemma 6.1

History

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

Properties DY7YTKJK8C

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

Mentions

wikipedia: Wikipedia Salinon#UKQB, Properties (statement)

History

2026-11-02: add by m2/dev

DY819SMS7W DY819SMS7W

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#thm:l2bestapprox (statement). In E59CDZA4DP, thm, section 1.8.3

History

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

DY863884CR DY863884CR

URI	`m2://inv/DY863884CR`
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.28898#8VEQ (statement)

History

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

DY87Y3C691 DY87Y3C691

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

Mentions

arxiv: arXiv 2609.35691#R1D5 (definition). In G7R61RPWE2/e1, definition 1.1

History

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

DY87ZRCZWA DY87ZRCZWA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 6.8.4

History

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

DY88PVJ7W3 DY88PVJ7W3

URI	`m2://inv/DY88PVJ7W3`
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#TBA2 (statement). In TFZNHCE6EV/e1, lemma 3.2

History

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

loop, $n$- DY893FKT1Q

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

Mentions

hott_book: hott_book index/7/loop-n, loop, $n$- (concept). In N54F33XE07, index, section 7

History

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

Gillian Slater DY89C42055

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

Mentions

wikipedia: Wikipedia Gillian Slater, Gillian Slater (topic). Also Wikidata Q102309136

History

2026-11-02: add by m2/dev

DY8C3MKWRY DY8C3MKWRY

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

Mentions

arxiv: arXiv 2609.21914#5I6U (example)

History

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

Largest empty rectangle DY8Y5BRE06

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#VNYG, Largest empty rectangle (unknown)

History

2026-11-02: add by m2/dev

Sensitivity DY8YY6577R

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

Mentions

wikipedia: Wikipedia Sensitivity (control systems), Sensitivity (definition). Also Wikidata Q7451068

History

2026-11-02: add by m2/dev

DY90MHK3N7 DY90MHK3N7

URI	`m2://inv/DY90MHK3N7`
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/language-modal-logic.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 54.3

History

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

DY93K44MAR DY93K44MAR

URI	`m2://inv/DY93K44MAR`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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 math/9902147#8ZC4 (statement). In 7CK21JGM5A/e1, lemma 4.11

History

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

Example DY94KXD1MA

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

Mentions

wikipedia: Wikipedia Trachtenberg system#28JE, Example (example)

History

2026-11-02: add by m2/dev

DY9DMSBXHH DY9DMSBXHH

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

Mentions

hott_book: hott_book reals.tex#eg:surreal-addition (example). In N54F33XE07, eg, section B.6

History

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

DY9GHJMFYW DY9GHJMFYW

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

Mentions

hott_book: hott_book reals.tex#proof-26 (proof). In N54F33XE07, proof, section B.3.3

History

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

Analytica DY9M8K5E31

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

Mentions

wikipedia: Wikipedia List of statistical software#D0AT, Analytica (unknown)

History

2026-11-02: add by m2/dev

ComRes DY9SRNHRYZ

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

Mentions

wikipedia: Wikipedia List of polling organizations#V4IG, ComRes (unknown)

History

2026-11-02: add by m2/dev

1990 Indonesian census DY9XEAZGG3

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

Mentions

wikipedia: Wikipedia 1990 Indonesian census, 1990 Indonesian census (definition). Also Wikidata Q17997475

History

2026-11-02: add by m2/dev

Pablo Shmerkin DY9YVY0QQX

URI	`m2://inv/DY9YVY0QQX`
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#DA6J, Pablo Shmerkin (unknown)

History

2026-11-02: add by m2/dev

DYA46F1BJ3 DYA46F1BJ3

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

Mentions

napkin: napkin tex/homology/singular.tex#ex:S1_c_minus_d (example). In RZP28ERRZV, example, section 55.2

History

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

DYA4W4YV5H DYA4W4YV5H

URI	`m2://inv/DYA4W4YV5H`
Kind	statement
Layer	research
MSC	26-XX, 35-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.01958#DO2O (statement). In NQFYT2M6YZ/e1, theorem 3.5

History

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

DYA684VVCG DYA684VVCG

URI	`m2://inv/DYA684VVCG`
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.32903#IZV6 (statement). In S8NB83KQX3/e1, lemma 8

History

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

Joint upper and lower regime DYA70Q0PE4

URI	`m2://inv/DYA70Q0PE4`
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.15543#FID8, Joint upper and lower regime (statement). In TQSHQZFCS5/e1, corollary B.3

History

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

Konstanze Rietsch DYA94CK2DM

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

Mentions

wikipedia: Wikipedia Konstanze Rietsch, Konstanze Rietsch (topic). Also Wikidata Q102192502

History

2026-11-02: add by m2/dev

DYA9R7T54H DYA9R7T54H

URI	`m2://inv/DYA9R7T54H`
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#6KK8 (statement). In P5SY7AVP5E/e1, theorem 8.3

History

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

Examples DYAAZ1J4RG

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

Mentions

wikipedia: Wikipedia Huygens–Fresnel principle#AZC5, Examples (example)

History

2026-11-02: add by m2/dev

Generalizations DYABJAP47V

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

Mentions

wikipedia: Wikipedia Schaefer's dichotomy theorem#NVBV, Generalizations (statement)

History

2026-11-02: add by m2/dev

Williamson's theorem DYB2DCGCE1

URI	`m2://inv/DYB2DCGCE1`
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.01855#DXOW, Williamson's theorem (statement). In MM8P5CJR18/e1, theorem 5.5

History

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

DYB49NJQTP DYB49NJQTP

URI	`m2://inv/DYB49NJQTP`
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.11047#SNFE (statement). In MNQAZ70XTH/e1, lemma 15.1

History

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

DYBD8PXKAX DYBD8PXKAX

URI	`m2://inv/DYBD8PXKAX`
Kind	definition
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.03384#OZ0J (definition). In J55JTTKG84/e1, definition 2.1

History

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

Statistics DYBH0N5FHG

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

Mentions

wikipedia: Wikipedia List of statistics articles#24EW, Statistics (topic)

History

2026-11-02: add by m2/dev

DYCH9JS8JV DYCH9JS8JV

URI	`m2://inv/DYCH9JS8JV`
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.38188#2A2X (statement). In 7615KVXDB5/e1, corollary 2.3

History

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

DYCS8CBB4J DYCS8CBB4J

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

Mentions

arxiv: arXiv 2311.01874#8T9O (statement). In A4TR95VGX2/e1, lemma 3

History

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

DYCTP55WMN DYCTP55WMN

URI	`m2://inv/DYCTP55WMN`
Kind	definition
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.20466#CD0T (definition). In M4ZVJWM8YA/e1, definition A.2

History

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

DYCZ6XM8KG DYCZ6XM8KG

URI	`m2://inv/DYCZ6XM8KG`
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 2508.17135#HBXY (statement). In 74MXJ2RX4B/e1, theorem 4.2

History

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

Definition DYD2VFJ85F

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

Mentions

wikipedia: Wikipedia Rogers–Ramanujan identities#Z9VX, Definition (definition)

History

2026-11-02: add by m2/dev

Examples DYD4E368CZ

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

Mentions

wikipedia: Wikipedia Census Enumerators' Books#QBCC, Examples (example)

History

2026-11-02: add by m2/dev

DYD51SJTM6 DYD51SJTM6

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

Mentions

napkin: napkin tex/alg-geom/bezout.tex#example-1 (example). In RZP28ERRZV, example, section 20.2

History

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

maximal independent set DYD87J4J44

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

Mentions

wikidata: Wikidata Q7888149, maximal independent set (unknown). Also MathWorld MaximalIndependentVertexSet
wikipedia: Wikipedia Maximal independent set, Maximal independent set (definition). Also Wikidata Q7888149

History

2026-10-26: add by m2/dev

DYDW6G15JA DYDW6G15JA

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

Mentions

arxiv: arXiv 2609.27843#5DN1 (statement)

History

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

Generalizations DYDYCJ8G7R

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

Mentions

wikipedia: Wikipedia Golygon#SNEW, Generalizations (statement)

History

2026-11-02: add by m2/dev

DYDYZGRHAB DYDYZGRHAB

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/more-rules.tex#ex-1 (example). In PKGMM3P5QY, ex, section 55.7

History

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

harvesting DYEB43RQJ9

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

Mentions

lebl_diffyqs: lebl_diffyqs index/4.6/harvesting, harvesting (concept). In E9HS8K3A52, index, section 4.6

History

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

$\omega^\omega$ is countable DYEPB5SDPE

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#example-2, $\omega^\omega$ is countable (example). In RZP28ERRZV, example, section 89.1

History

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

Pairwise angles do not determine multi-channel conditioning DYES2FTPZP

URI	`m2://inv/DYES2FTPZP`
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.33021#85SG, Pairwise angles do not determine multi-channel conditioning (statement). In GG96DW33Q9/e1, lemma C.3

History

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

DYEXAPA4K6 DYEXAPA4K6

URI	`m2://inv/DYEXAPA4K6`
Kind	statement
Layer	research
MSC	16-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 0902.4012#M3PV (statement). In 6FH16YESRH/e1, theorem 3.2

History

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

DYF2GPAGDK DYF2GPAGDK

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

Mentions

arxiv: arXiv 2610.22247#9H2S (statement). In SBNH1MWND8/e1, theorem 9

History

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

Hall's marriage theorem DYF4S6E1FJ

URI	`m2://inv/DYF4S6E1FJ`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Hall's marriage theorem 08WCB90WND

Mentions

mathlib_1000: mathlib_1000 Q536640, Hall's marriage theorem (statement). Also Mathlib Finset.all_card_le_biUnion_card_iff_exists_injective, Mathlib SimpleGraph.exists_isPerfectMatching_of_forall_ncard_le, Wikidata Q536640
mathlib_overview: mathlib_overview Combinatorics > Transversals > Hall's marriage theorem, Hall's marriage theorem (unknown). Also Mathlib Finset.all_card_le_biUnion_card_iff_exists_injective
thousand_plus: thousand_plus Q536640, Hall's marriage theorem (statement). Also Mathlib Finset.all_card_le_biUnion_card_iff_exists_injective, Mathlib SimpleGraph.exists_isPerfectMatching_of_forall_ncard_le, Wikidata Q536640, Wikipedia Hall's marriage theorem
wikidata: Wikidata Q536640, Hall's marriage theorem (statement). Also MathWorld HallsTheorem, ProofWiki Hall's_Marriage_Theorem
wikipedia: Wikipedia Hall's marriage theorem, Hall's marriage theorem (statement). Also Wikidata Q536640

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

DYF6Q761HY DYF6Q761HY

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

Mentions

arxiv: arXiv 2609.22685#0KZ0 (statement)

History

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

Mathematical statement of Aizerman's conjecture (Aizerman problem) DYFAVXJ5BC

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

Mentions

wikipedia: Wikipedia Aizerman's conjecture#H4XK, Mathematical statement of Aizerman's conjecture (Aizerman problem) (statement)

History

2026-11-02: add by m2/dev

Covariance optimality for arbitrary barycenters DYG0K76FT9

URI	`m2://inv/DYG0K76FT9`
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.01855#IF61, Covariance optimality for arbitrary barycenters (statement). In MM8P5CJR18/e1, corollary 5.13

History

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

DYG81R58MA DYG81R58MA

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-2 (proof). In E59CDZA4DP, proof, section 1.2.1

History

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

Definition DYGAZYYP53

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

Mentions

wikipedia: Wikipedia Force of mortality#8322, Definition (definition)

History

2026-11-02: add by m2/dev

Conjecture DYGMG963XZ

URI	`m2://inv/DYGMG963XZ`
Kind	conjecture
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 2512.11346#T6DL, Conjecture (conjecture). In ZW58VE9XE3/e1, conjecture 1.1

History

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

Surface of general type DYGS1TEQ1X

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

Mentions

wikipedia: Wikipedia Surface of general type, Surface of general type (definition). Also Wikidata Q16766069

History

2026-11-02: add by m2/dev

DYGWD6J6Z1 DYGWD6J6Z1

URI	`m2://inv/DYGWD6J6Z1`
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.26600#UYBT (definition)

History

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

Gauss and Jacobi sums DYGZ6GPFYK

URI	`m2://inv/DYGZ6GPFYK`
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.16351#JSM2, Gauss and Jacobi sums (statement). In 1QSV7EQE3T/e1, lemma S66

History

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

DYH4YEDG0C DYH4YEDG0C

URI	`m2://inv/DYH4YEDG0C`
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.08865#0TII (statement). In SJ5JKGH94M/e1, theorem 3

History

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

Doplicher–Roberts theorem DYHBPJR216

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

Mentions

wikipedia: Wikipedia Tannaka–Krein duality#VEAR, Doplicher–Roberts theorem (statement)

History

2026-11-02: add by m2/dev

Clark Kimberling DYHC7SMES8

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

Mentions

wikipedia: Wikipedia Clark Kimberling, Clark Kimberling (topic). Also Wikidata Q2975655

History

2026-11-02: add by m2/dev

DYHEWR8K5S DYHEWR8K5S

URI	`m2://inv/DYHEWR8K5S`
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.06683#BXVC (statement). In NH7VBYH6PH/e1, lemma 2.3

History

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

DYHFWZDK3B DYHFWZDK3B

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

Mentions

arxiv: arXiv 2603.28861#PFGY (statement). In A3VQ2TNRKK/e1, proposition 8.6

History

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

Alternative definitions DYJ0M3HRNH

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

Mentions

wikipedia: Wikipedia Partially ordered set#5N5C, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

DYJ52FXNPE DYJ52FXNPE

URI	`m2://inv/DYJ52FXNPE`
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.25896#5ADU (statement)

History

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

Power laws with DYJ8VKHGE2

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

Mentions

wikipedia: Wikipedia Potential flow#IEAU, Power laws with (statement)

History

2026-11-02: add by m2/dev

Algebraic geometry and analytic geometry DYJACME9BJ

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

Mentions

mathlib_1000: mathlib_1000 Q4724004A, Chow's theorem (statement). Also Wikidata Q4724004
mathlib_1000: mathlib_1000 Q4724004B, Riemann's existence theorem (statement). Also Wikidata Q4724004
thousand_plus: thousand_plus Q4724004A, Chow's theorem (statement). Also Wikidata Q4724004
thousand_plus: thousand_plus Q4724004B, Riemann's existence theorem (statement). Also Wikidata Q4724004, Wikipedia Riemann's existence theorem
wikipedia: Wikipedia Algebraic geometry and analytic geometry, Algebraic geometry and analytic geometry (definition). Also Wikidata Q4724004
wikipedia: Wikipedia Riemann's existence theorem, Riemann's existence theorem (statement). Also Wikidata Q134889667

History

2026-10-26: add by m2/dev

DYJHSJHA9E DYJHSJHA9E

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

Mentions

arxiv: arXiv 2610.14841#FAP4 (statement). In 6V5HP8W1ZG/e1, proposition 21

History

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

Properties DYJPY6Z00B

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

Mentions

wikipedia: Wikipedia Rational consequence relation#T1C0, Properties (statement)

History

2026-11-02: add by m2/dev

DYJSZCZ39B DYJSZCZ39B

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

Mentions

arxiv: arXiv 2610.16332#O4GL (statement). In JJQPFXZQ3D/e1, proposition 3.13

History

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

DYJY6JD4G8 DYJY6JD4G8

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

Mentions

arxiv: arXiv 2609.30015#RPT7 (statement)

History

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

DYJYPY2B19 DYJYPY2B19

URI	`m2://inv/DYJYPY2B19`
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.19088#4M67 (statement). In 90QTB4CC31/e1, theorem 2.8

History

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

DYJZ6R2VBB DYJZ6R2VBB

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

Mentions

arxiv: arXiv 2610.09133#VB4G (problem). In E7BPGPP9Z5/e1, problem 6

History

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

Samit Dasgupta DYK6S85E08

URI	`m2://inv/DYK6S85E08`
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#BL0W, Samit Dasgupta (topic)

History

2026-11-02: add by m2/dev

DYK8YXM2P7 DYK8YXM2P7

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

Mentions

arxiv: arXiv 2301.02848#S7UA (statement). In G6WQDW52TJ/e1, lemma 3.5

History

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

DYKBD0TJP8 DYKBD0TJP8

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

Mentions

arxiv: arXiv 2610.02935#13BJ (problem). In WE2KKAMEFW/e1, problem

History

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

DYKBEH7Y7F DYKBEH7Y7F

URI	`m2://inv/DYKBEH7Y7F`
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 2609.35466#00ZY (definition). In MVR35ZJPCC/e1, definition 4

History

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

DYM19AWGQA DYM19AWGQA

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

Mentions

arxiv: arXiv 0908.3266#L774 (statement). In B0W6PMDN3N/e1, lemma 3.2

History

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

Surface of constant width DYM1F4VYPT

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

Mentions

wikipedia: Wikipedia Surface of constant width, Surface of constant width (definition). Also Wikidata Q1972992

History

2026-11-02: add by m2/dev

DYM3W9SJZP DYM3W9SJZP

URI	`m2://inv/DYM3W9SJZP`
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.33360#IPL7 (statement). In GH6FSDK4YB/e1, lemma 4.3

History

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

inductive, predicate DYM72AJ7PH

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

Mentions

hott_book: hott_book index/8.7/inductive-predicate, inductive, predicate (concept). In N54F33XE07, index, section 8.7

History

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

Chinese long scale DYMAMRNN76

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

Mentions

wikipedia: Wikipedia Chinese numerals#W0IK, Chinese long scale (unknown)

History

2026-11-02: add by m2/dev

Similarity-constrained velocities generate similarity transformations DYMEM0M0E3

URI	`m2://inv/DYMEM0M0E3`
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.31544#CRQ3, Similarity-constrained velocities generate similarity transformations (statement). In TX449S1VZV/e1, proposition A.10

History

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

DYMNCKFQNZ DYMNCKFQNZ

URI	`m2://inv/DYMNCKFQNZ`
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 2609.23605#1SMM (statement)

History

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

Definition DYMQE3RJF8

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

Mentions

wikipedia: Wikipedia Galactic coordinate system#VGZN, Definition (definition)

History

2026-11-02: add by m2/dev

multilinear algebra DYMQYHEFYJ

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

Mentions

wikidata: Wikidata Q1197190, multilinear algebra (topic). Also nLab multilinear algebra
wikipedia: Wikipedia Multilinear algebra, Multilinear algebra (topic). Also Wikidata Q1197190

History

2026-10-26: add by m2/dev

Al-Ghazali DYMRB7WHSD

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

Mentions

wikipedia: Wikipedia Al-Ghazali, Al-Ghazali (topic). Also Wikidata Q9546

History

2026-11-02: add by m2/dev

Concentration of $\xi_i$ DYMT18XBS2

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

Mentions

arxiv: arXiv 2610.20944#QM2W, Concentration of $\xi_i$ (statement). In DRRKZR6CQC/e1, lemma A.5

History

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

Döblin--Fourier cancellation estimate DYMZX286CN

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

Mentions

arxiv: arXiv 2610.03083#JA5Y, Döblin--Fourier cancellation estimate (statement). In C71DZH5GBJ/e1, proposition 2.1

History

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

Oscillation DYNA33SJCD

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

Mentions

wikipedia: Wikipedia List of real analysis topics#BACL, Oscillation (definition)

History

2026-11-02: add by m2/dev

DYNBEJ6E42 DYNBEJ6E42

URI	`m2://inv/DYNBEJ6E42`
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.29925#R9A1 (statement)

History

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

Cauchy principal value DYNF00FQ1Q

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#TA1A, Cauchy principal value (definition)
wikipedia: Wikipedia List of integration and measure theory topics#V76P, Cauchy principal value (definition)

History

2026-11-02: add by m2/dev

LST DYNF9HDSV1

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

Mentions

wikipedia: Wikipedia Glossary of set theory#BTK5, LST (definition)

History

2026-11-02: add by m2/dev

The corrected vector DYNG9PW6SK

URI	`m2://inv/DYNG9PW6SK`
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.19908#U414, The corrected vector (statement)

History

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

Chafford Hundred DYNHRW3PCB

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

Mentions

wikipedia: Wikipedia List of places with numeric names#BBUM, Chafford Hundred (unknown)

History

2026-11-02: add by m2/dev

Tuned exploration DYNQB05Z8Q

URI	`m2://inv/DYNQB05Z8Q`
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.11007#PEUP, Tuned exploration (statement). In MF0H78XZXC/e1, corollary C.13

History

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

A matrix with entries of both signs DYNQSCZZVJ

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

Mentions

arxiv: arXiv 2610.13063#WB3R, A matrix with entries of both signs (example). In R5AFFWBMAF/e1, example A.5

History

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

Unified charge and value budget DYNSNJCZ0G

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

Mentions

arxiv: arXiv 2609.20701#4STD, Unified charge and value budget (statement)

History

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

Oracle complexity DYNWCYAFWF

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

Mentions

wikipedia: Wikipedia Oracle complexity (optimization), Oracle complexity (definition). Also Wikidata Q96397629

History

2026-11-02: add by m2/dev

DYNXAZW7CN DYNXAZW7CN

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

Mentions

hott_book: hott_book reals.tex#proof-11 (proof). In N54F33XE07, proof, section B.3.2

History

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

Formulations DYNZNMVGND

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

Mentions

wikipedia: Wikipedia N conjecture#P50A, Formulations (definition)

History

2026-11-02: add by m2/dev

Topological combinatorics DYNZZA32BQ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#HG5O, Topological combinatorics (definition)

History

2026-11-02: add by m2/dev

DYPC4BZQNV DYPC4BZQNV

URI	`m2://inv/DYPC4BZQNV`
Kind	definition
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 math/0301148#4DEX (definition). In 5RE15848Z0/e1, definition 0.2

History

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

Localization at a prime ideal DYPE418MV9

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

Mentions

wikipedia: Wikipedia Localization (commutative algebra)#JYN9, Localization at a prime ideal (unknown)

History

2026-11-02: add by m2/dev

DYPE8SVR77 DYPE8SVR77

URI	`m2://inv/DYPE8SVR77`
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.29205#D20K (statement)

History

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

Rank 2 termination DYPHVWBWBF

URI	`m2://inv/DYPHVWBWBF`
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.32936#ZQUY, Rank 2 termination (statement). In QDBYK125AB/e1, proposition 1

History

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

Heterogeneous random walk in one dimension DYPW78XX73

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

Mentions

wikipedia: Wikipedia Heterogeneous random walk in one dimension, Heterogeneous random walk in one dimension (definition). Also Wikidata Q5747218

History

2026-11-02: add by m2/dev

algebra of endomorphisms of a vector space DYQ0YQWGMK

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > algebra of endomorphisms of a vector space, algebra of endomorphisms of a vector space (unknown). Also Mathlib Module.End.instAlgebra

History

2026-10-26: add by m2/dev

DYQ2MCR49V DYQ2MCR49V

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

Mentions

arxiv: arXiv 2610.18219#807H (statement). In X1AGBB90EH/e1, proposition 7.9

History

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

Parseval's theorem and Plancherel's theorem DYQB4H3K5J

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

Mentions

wikipedia: Wikipedia Mellin transform#8024, Parseval's theorem and Plancherel's theorem (statement)

History

2026-11-02: add by m2/dev

Sole sufficient operator DYQBDZGQFZ

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

Mentions

wikipedia: Wikipedia Functional completeness#1SAD, Sole sufficient operator (unknown)

History

2026-11-02: add by m2/dev

fifth DYQG5YAQ3G

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

Mentions

wikidata: Wikidata Q224169, fifth (definition). Also ProofWiki Definition:Fifth_(Music)

History

2026-10-26: add by m2/dev

Theorem DYQGADSN9E

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

Mentions

wikipedia: Wikipedia Inverse function theorem#AJOC, Theorem (statement)

History

2026-11-02: add by m2/dev

Separated leaves DYRA9V1KTP

URI	`m2://inv/DYRA9V1KTP`
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#QEVK, Separated leaves (statement). In ZZER8ZBSCR/e1, proposition 5.23

History

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

DYRF2Z6TE3 DYRF2Z6TE3

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

Mentions

arxiv: arXiv 2609.25289#57ZH (problem)

History

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

Hockey stick graph DYRMHPSS3R

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

Mentions

wikipedia: Wikipedia Hockey stick graph, Hockey stick graph (definition). Also Wikidata Q113537566

History

2026-11-02: add by m2/dev

DYRTNBZMN9 DYRTNBZMN9

URI	`m2://inv/DYRTNBZMN9`
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 2207.12181#WCYD (statement). In FSD8NE3XSR/e1, proposition 4.9

History

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

DYRX4WXVD6 DYRX4WXVD6

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

Mentions

arxiv: arXiv 2609.26340#JREC (statement)

History

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

DYS1565NPR DYS1565NPR

URI	`m2://inv/DYS1565NPR`
Kind	example
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#9OZS (example). In HX63A1PH1W/e1, example 3.16

History

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

Moore, Henry Ludwell DYS15NGVXY

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

Mentions

wikipedia: Wikipedia List of statisticians#WNGK, Moore, Henry Ludwell (unknown)

History

2026-11-02: add by m2/dev

DYS2HMGHQV DYS2HMGHQV

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

Mentions

arxiv: arXiv 2610.07673#YVG5 (example). In 37B1MPV8GX/e1, example 6.3

History

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

DYS7A1SWTN DYS7A1SWTN

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

Mentions

arxiv: arXiv 2609.31689#PTW0 (statement). In Z7M2JSF6HA/e1, lemma 7.2

History

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

DYSA2HS51W DYSA2HS51W

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

Mentions

arxiv: arXiv 2610.07092#8G5W (statement). In JWNYJVH8XG/e1, theorem 3.11

History

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

Howard B. Myers DYSBBV113G

URI	`m2://inv/DYSBBV113G`
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#JATF, Howard B. Myers (unknown)

History

2026-11-02: add by m2/dev

DYSCMQE904 DYSCMQE904

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

Mentions

arxiv: arXiv 2610.22268#H3II (definition). In 9ZD87293QS/e1, definition 1.1

History

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

History of semantics DYSFK2RET9

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

Mentions

wikipedia: Wikipedia Semantics#DRBP, History of semantics (unknown)

History

2026-11-02: add by m2/dev

DYSGNPZJAZ DYSGNPZJAZ

URI	`m2://inv/DYSGNPZJAZ`
Kind	statement
Layer	research
MSC	49-XX, 65-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.02901#MI3D (statement). In NSP90G5XCQ/e1, theorem 4.3

History

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

Area theorem DYSR8NT69B

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

Mentions

wikipedia: Wikipedia Altitude (triangle)#NIS6, Area theorem (statement)

History

2026-11-02: add by m2/dev

DYT8ME5ZQW DYT8ME5ZQW

URI	`m2://inv/DYT8ME5ZQW`
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.38220#71I6 (statement). In 1AC4S19925/e1, lemma 5.4

History

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

Foundations of Differential Geometry DYTEYQZBTJ

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

Mentions

wikipedia: Wikipedia Foundations of Differential Geometry, Foundations of Differential Geometry (definition). Also Wikidata Q5474559

History

2026-11-02: add by m2/dev

Five Corners, New Brunswick DYTKS0EXBY

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

Mentions

wikipedia: Wikipedia List of places with numeric names#X6NP, Five Corners, New Brunswick (unknown)

History

2026-11-02: add by m2/dev

DYTNH6FCVM DYTNH6FCVM

URI	`m2://inv/DYTNH6FCVM`
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#QWKY (statement). In RK1VPWWX9E/e1, lemma 5.1

History

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

Properties DYTV0BG8BE

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

Mentions

wikipedia: Wikipedia Wijsman convergence#CACK, Properties (statement)

History

2026-11-02: add by m2/dev

Definition DYVDWF20YV

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

Mentions

wikipedia: Wikipedia Continuity in probability#UQZ7, Definition (definition)

History

2026-11-02: add by m2/dev

the word dinosaur can be used pejoratively DYVJ07PA9F

URI	`m2://inv/DYVJ07PA9F`
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#NQ5Q, the word dinosaur can be used pejoratively (unknown)

History

2026-11-02: add by m2/dev

DYVRBAFCSW DYVRBAFCSW

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#problem-1 (exercise). In P1C114YBXG, problem, section D

History

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

DYW0SR6TAA DYW0SR6TAA

URI	`m2://inv/DYW0SR6TAA`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.20891#D0VS (statement). In WH55XAE8E2/e1, corollary 3.3

History

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

DYW1QRX7DB DYW1QRX7DB

URI	`m2://inv/DYW1QRX7DB`
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.14689#X3MI (statement). In 6BKMNJYNPJ/e1, lemma 3.2

History

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

DYW3N9RJ2H DYW3N9RJ2H

URI	`m2://inv/DYW3N9RJ2H`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.25000#6FEY (statement)

History

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

DYWCWGXV8M DYWCWGXV8M

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

Mentions

arxiv: arXiv math/0003117#JP82 (example). In WD2NCBV9F0/e1, example 5.16

History

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

DYWJS4730N DYWJS4730N

URI	`m2://inv/DYWJS4730N`
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#PC7C (statement). In DR7BK4CQ0V/e1, theorem 3.18

History

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

DYWPJZT14Q DYWPJZT14Q

URI	`m2://inv/DYWPJZT14Q`
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#1DWO (statement). In XX1J2REXY2/e1, lemma 3.7

History

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

Failure of normalized non-collapse DYWZ4709A4

URI	`m2://inv/DYWZ4709A4`
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.28014#5V4J, Failure of normalized non-collapse (statement)

History

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

Examples DYX08T40KM

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

Mentions

wikipedia: Wikipedia Generatrix#DTX0, Examples (example)

History

2026-11-02: add by m2/dev

DYX626JBN2 DYX626JBN2

URI	`m2://inv/DYX626JBN2`
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 2204.13401#N8ZR (statement). In B8MJT0GGW8/e1, proposition 4.13

History

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

Kei(x) DYX6Q13JC7

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

Mentions

wikipedia: Wikipedia Kelvin functions#EOLP, Kei(x) (unknown)

History

2026-11-02: add by m2/dev

Fejér, Lipót DYXBMVJKG5

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#CCAR, Fejér, Lipót (topic)

History

2026-11-02: add by m2/dev

Fractional Fourier transform DYXMME8TXX

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

Mentions

wikipedia: Wikipedia Fractional Fourier transform, Fractional Fourier transform (definition). Also Wikidata Q4817582

History

2026-11-02: add by m2/dev

Formal definitions DYXR69KV2T

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

Mentions

wikipedia: Wikipedia Sylvester's sequence#PUAI, Formal definitions (definition)

History

2026-11-02: add by m2/dev

Sigmund Gundelfinger DYXSXWYP42

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#1LYL, Sigmund Gundelfinger (topic)

History

2026-11-02: add by m2/dev

DYXXS9MX54 DYXXS9MX54

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 5.2.1

History

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

DYY05X3VG2 DYY05X3VG2

URI	`m2://inv/DYY05X3VG2`
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.39700#415V (statement). In E7W2HDNEKJ/e1, theorem 10.24

History

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

Statement DYY37ZFZ2T

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

Mentions

wikipedia: Wikipedia Put–call parity#TXGO, Statement (statement)

History

2026-11-02: add by m2/dev

Character of a representation DYY4M0DBKJ

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

Mentions

wikipedia: Wikipedia Character (mathematics)#L0DV, Character of a representation (definition)

History

2026-11-02: add by m2/dev

F-test of equality of variances DYYBSYCG23

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

Mentions

wikipedia: Wikipedia F-test of equality of variances, F-test of equality of variances (definition). Also Wikidata Q5423649

History

2026-11-02: add by m2/dev

DYYCGM7JXF DYYCGM7JXF

URI	`m2://inv/DYYCGM7JXF`
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 1311.6044#7QJY (statement). In W4FFB6SVZD/e1, lemma 2.2

History

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

Embedding DYYCK9PXZ6

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

Mentions

wikipedia: Wikipedia Embedding, Embedding (definition). Also Wikidata Q980509

History

2026-11-02: add by m2/dev

DYYE0MJC1P DYYE0MJC1P

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#proof-4 (proof). In E59CDZA4DP, proof, section 8.1.2

History

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

Expenditure and Food Survey DYYQ8F0W3K

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

Mentions

wikipedia: Wikipedia Expenditure and Food Survey, Expenditure and Food Survey (definition). Also Wikidata Q5421002

History

2026-11-02: add by m2/dev

Mehler–Heine formula DYYS52YR49

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

Mentions

wikipedia: Wikipedia List of things named after Eduard Heine#Y4SF, Mehler–Heine formula (statement)

History

2026-11-02: add by m2/dev

DYYY593T1R DYYY593T1R

URI	`m2://inv/DYYY593T1R`
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 2610.19285#7RDU (definition). In 6DJR9DKY5W/e1, definition 4.2

History

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

Stirling permutation DYZ6V3QDWM

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

Mentions

wikipedia: Wikipedia Stirling permutation, Stirling permutation (definition). Also Wikidata Q17103734

History

2026-11-02: add by m2/dev

First proof DYZBJSXXXD

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

Mentions

hott_book: hott_book basics.tex#proof-17, First proof (proof). In N54F33XE07, proof, section 1.3

History

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

DYZKHRV76H DYZKHRV76H

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

Mentions

arxiv: arXiv 2609.24078#U8KH (definition)

History

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

Application DYZY944F8E

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

Mentions

wikipedia: Wikipedia Generalized functional linear model#J5AC, Application (example)

History

2026-11-02: add by m2/dev

Jacqueline Akinpelu DYZZ732MTC

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

Mentions

wikipedia: Wikipedia Jacqueline Akinpelu, Jacqueline Akinpelu (topic). Also Wikidata Q102214700

History

2026-11-02: add by m2/dev