Inventory rows DK

Exact and near spectral minimizers DK045VTJZ4

URI	`m2://inv/DK045VTJZ4`
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#UV0F, Exact and near spectral minimizers (statement). In TTEAQA1XXR/e1, proposition C.15

History

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

DK05HXQX2Y DK05HXQX2Y

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

Mentions

open_logic: open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 53.6

History

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

Friedrich Bessel DK0ANCKKGQ

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#HTJR, Friedrich Bessel (topic)

History

2026-11-02: add by m2/dev

Existence and uniqueness DK0BJZBVTY

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-2, Existence and uniqueness (statement). In E9HS8K3A52, theorem, section 6.1

History

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

DK0H2R7JNV DK0H2R7JNV

URI	`m2://inv/DK0H2R7JNV`
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 2608.24190#WI8C (statement). In DW7FVA587C/e1, theorem 1.4

History

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

Geroch's splitting theorem DK0ZF65FB1

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

Mentions

wikipedia: Wikipedia List of theorems#OHU2, Geroch's splitting theorem (statement)

History

2026-11-02: add by m2/dev

Examples DK13C6KW53

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

Mentions

wikipedia: Wikipedia Canonical transformation#T38J, Examples (example)

History

2026-11-02: add by m2/dev

Lucia de Berk case DK15BVYZX4

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

Mentions

wikipedia: Wikipedia Lucia de Berk case, Lucia de Berk case (definition). Also Wikidata Q113158163

History

2026-11-02: add by m2/dev

DK15HFJ4BV DK15HFJ4BV

URI	`m2://inv/DK15HFJ4BV`
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.26386#L1W7 (definition)

History

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

DK17NXZ3QH DK17NXZ3QH

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

Mentions

hott_book: hott_book homotopy.tex#cor-2 (statement). In N54F33XE07, cor, section 7.3

History

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

DK18017JEC DK18017JEC

URI	`m2://inv/DK18017JEC`
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.38131#JDDN (statement). In GM3S19KFDH/e1, corollary 3.14

History

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

Discrete Fourier transform DK1APH6S4W

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#OF4N, Discrete Fourier transform (definition)

History

2026-11-02: add by m2/dev

Female education DK1J2MZQM8

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

Mentions

wikipedia: Wikipedia Female education, Female education (definition). Also Wikidata Q15675634

History

2026-11-02: add by m2/dev

DK220CR0FJ DK220CR0FJ

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-15 (definition). In VNMV985MXX, defn, section 2.5

History

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

DK22TSBYBN DK22TSBYBN

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-33 (exercise). In E9HS8K3A52, exercise, section 5.3.5

History

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

DK2C6E8ZGS DK2C6E8ZGS

URI	`m2://inv/DK2C6E8ZGS`
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 2011.06637#ATUX (statement). In KFCJ5CFP3G/e1, theorem 5.3

History

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

DK2JWZ8EAK DK2JWZ8EAK

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

Mentions

arxiv: arXiv 2609.31476#JHIV (statement). In PC1CFE8CJC/e1, theorem

History

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

DK2MJEZ6WA DK2MJEZ6WA

URI	`m2://inv/DK2MJEZ6WA`
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.12413#SGI4 (statement). In 6EJ8J60SP8/e1, theorem 11

History

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

The branched line DK2P2SCZF7

URI	`m2://inv/DK2P2SCZF7`
Kind	definition
Layer	research
MSC	18-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.26270#KRI2, The branched line (definition)

History

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

Jordan measure DK2QRMDFEE

URI	`m2://inv/DK2QRMDFEE`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Jordan measure 0565DC8RMK

Mentions

wikidata: Wikidata Q1703597, Jordan measure (concept). Also EoM Jordan_measure, MathWorld JordanMeasure
wikipedia: Wikipedia Peano–Jordan measure, Peano–Jordan measure (definition). Also Wikidata Q1703597

History

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

Wald's lemma DK372BGNNP

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

Mentions

wikipedia: Wikipedia List of lemmas#V3K1, Wald's lemma (definition)

History

2026-11-02: add by m2/dev

$L$-block lemma, $j=1$ DK38C1WGX8

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

Mentions

arxiv: arXiv 2610.18512#OUNV, $L$-block lemma, $j=1$ (statement). In 11JNM66Z09/e1, lemma G.2

History

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

DK3A9WHTQ9 DK3A9WHTQ9

URI	`m2://inv/DK3A9WHTQ9`
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 2609.26337#ZBUF (definition)

History

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

Twenty, Lincolnshire DK3J97Z1QK

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

Mentions

wikipedia: Wikipedia List of places with numeric names#4T9X, Twenty, Lincolnshire (unknown)

History

2026-11-02: add by m2/dev

Nothing DK3N5T7CNF

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

Mentions

wikipedia: Wikipedia Nothing, Nothing (definition). Also Wikidata Q154242

History

2026-11-02: add by m2/dev

simple polygon DK413YP7XQ

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

Mentions

wikidata: Wikidata Q782746, simple polygon (unknown). Also MathWorld SimplePolygon
wikipedia: Wikipedia Simple polygon, Simple polygon (definition). Also Wikidata Q782746

History

2026-10-26: add by m2/dev

DK473B55PQ DK473B55PQ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise:increasing (exercise). In E9HS8K3A52, exercise, section 8.2.5

History

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

DK47XP78W4 DK47XP78W4

URI	`m2://inv/DK47XP78W4`
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.27820#QPBP (statement)

History

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

isolated DK4BBQFWKJ

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#9IDV, isolated (definition)

History

2026-11-02: add by m2/dev

DK4BT668DQ DK4BT668DQ

URI	`m2://inv/DK4BT668DQ`
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.16518#VW64 (statement). In SAQBDG4FK1/e1, lemma F.9

History

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

approximate fibration DK4J7PN2NX

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#A0FQ, approximate fibration (definition)

History

2026-11-02: add by m2/dev

Kraków School of Mathematics and Astrology DK4K8E7N79

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

Mentions

wikipedia: Wikipedia Kraków School of Mathematics and Astrology, Kraków School of Mathematics and Astrology (definition). Also Wikidata Q6435965

History

2026-11-02: add by m2/dev

DK4WH2EP2M DK4WH2EP2M

URI	`m2://inv/DK4WH2EP2M`
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.34339#UH01 (statement). In 9WFSTGMQ4E/e1, theorem 1.3

History

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

DK4ZW4SFYG DK4ZW4SFYG

URI	`m2://inv/DK4ZW4SFYG`
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.17240#XTJS (statement). In 59BZ4V9RQW/e1, proposition 9.6

History

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

DK55ZG07QZ DK55ZG07QZ

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

Mentions

arxiv: arXiv 2610.03231#BJAR (statement). In 3Y76AQQGF0/e1, proposition 4.4

History

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

Corollary 1 DK5EET614G

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

Mentions

wikipedia: Wikipedia Wishart distribution#0P0R, Corollary 1 (statement)

History

2026-11-02: add by m2/dev

DK5MSH685K DK5MSH685K

URI	`m2://inv/DK5MSH685K`
Kind	definition
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#J0EE (definition). In VN084GGZGK/e1, definition 2.17

History

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

Cochran's theorem DK6764SCCS

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

Mentions

wikipedia: Wikipedia List of statistics articles#555A, Cochran's theorem (statement)

History

2026-11-02: add by m2/dev

augmenting DK67XZ0ZQR

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#QCN6, augmenting (definition)

History

2026-11-02: add by m2/dev

wave equation DK6A1CVBYG

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

Mentions

lebl_diffyqs: lebl_diffyqs index/5.7/wave-equation, wave equation (concept). In E9HS8K3A52, index, section 5.7

History

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

Guido Castelnuovo DK6CP7ZJ5C

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#G2A4, Guido Castelnuovo (topic)

History

2026-11-02: add by m2/dev

Henk Lombaers DK6DC7TCC2

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

Mentions

wikipedia: Wikipedia Henk Lombaers, Henk Lombaers (topic). Also Wikidata Q2717865

History

2026-11-02: add by m2/dev

Moser--Trudinger inequality DK6DM5F8SK

URI	`m2://inv/DK6DM5F8SK`
Kind	statement
Layer	research
MSC	35-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.25449#XUGX, Moser--Trudinger inequality (statement). In 9JHMTYGWFQ/e1, lemma 2.11

History

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

DK6WM6G15G DK6WM6G15G

URI	`m2://inv/DK6WM6G15G`
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 2104.00162#OD2K (statement). In HVGT9D84WV/e1, lemma 4.1

History

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

Nonary DK7H8Q29D6

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

Mentions

wikipedia: Wikipedia List of numeral system topics#HSYB, Nonary (definition)

History

2026-11-02: add by m2/dev

derived DK7MQDVQ4Z

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#T5R6, derived (definition)

History

2026-11-02: add by m2/dev

special relativity DK7TYFPXBZ

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

Mentions

wikidata: Wikidata Q11455, special relativity (topic). Also nLab special relativity, ProofWiki Definition:Relativity_Theory/Special
wikipedia: Wikipedia Special relativity, Special relativity (topic). Also Wikidata Q11455

History

2026-10-26: add by m2/dev

Distortion DK7WBQ75VJ

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

Mentions

wikipedia: Wikipedia Distortion (mathematics), Distortion (definition). Also Wikidata Q2520974

History

2026-11-02: add by m2/dev

monotonicity, of inductive cover DK80D2ZVGC

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

Mentions

hott_book: hott_book index/B.5/monotonicity-of-inductive-cover, monotonicity, of inductive cover (concept). In N54F33XE07, index, section B.5

History

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

RPN-Calc DK84TN77Z1

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

Mentions

wikipedia: Wikipedia HP Voyager#DGZ9, RPN-Calc (unknown)

History

2026-11-02: add by m2/dev

DK861RN8HD DK861RN8HD

URI	`m2://inv/DK861RN8HD`
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#EY1K (statement)

History

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

implicit function theorem DK871VD81V

URI	`m2://inv/DK871VD81V`
Kind	statement
Layer	textbook
MSC	26-XX, 35-XX
Sources	7
Outcome	node (a node has the same Wikidata item as the row)
Node	Implicit function theorem 0BXBADR94C

Mentions

arxiv: arXiv 2610.21781#FJP9, Implicit function theorem (statement). In FEQ72D1AX6/e1, proposition 5.5
mathlib_1000: mathlib_1000 Q848375, Implicit function theorem (statement). Also Mathlib ImplicitFunctionData.implicitFunction, Wikidata Q848375
mathlib_overview: mathlib_overview Analysis > Differentiability > implicit function theorem, implicit function theorem (unknown). Also Mathlib ImplicitFunctionData.implicitFunction
mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > implicit function theorem, implicit function theorem (unknown). Also Mathlib ImplicitFunctionData.implicitFunction
thousand_plus: thousand_plus Q848375, Implicit function theorem (statement). Also Mathlib ImplicitFunctionData.implicitFunction, Wikidata Q848375, Wikipedia Implicit function theorem
wikidata: Wikidata Q848375, implicit function theorem (statement). Also MathWorld ImplicitFunctionTheorem
wikipedia: Wikipedia Implicit function theorem, Implicit function theorem (statement). Also Wikidata Q848375

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent
2026-10-31: merge by m2/v0.5.6

Flip equation and cyclic automorphisms DK8CX29TGD

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

Mentions

arxiv: arXiv 2610.17482#1XS6, Flip equation and cyclic automorphisms (statement). In BQQK9JDJ9F/e1, theorem

History

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

DK8VYQB6JK DK8VYQB6JK

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 9.9.3

History

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

DK8WZ8EWRQ DK8WZ8EWRQ

URI	`m2://inv/DK8WZ8EWRQ`
Kind	statement
Layer	research
MSC	37-XX, 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 2004.02766#4GIM (statement). In HY652RA1NJ/e1, lemma 2

History

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

Algorithm DK90CSDX97

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

Mentions

wikipedia: Wikipedia Analysis of variance#VXV9, Algorithm (definition)

History

2026-11-02: add by m2/dev

DK9B40G433 DK9B40G433

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

Mentions

arxiv: arXiv 2610.19300#ZDLW (definition). In S6S4RD5VXJ/e1, definition 2

History

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

DK9CX238J5 DK9CX238J5

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

Mentions

arxiv: arXiv 2609.32233#FGYO (statement). In V42PPD7SWH/e1, lemma 4.3

History

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

Hadamard factorization theorem DK9NXT1Q8E

URI	`m2://inv/DK9NXT1Q8E`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Hadamard factorization theorem KYSR7NHNFQ

Mentions

wikidata: Wikidata Q117481504, Hadamard factorization theorem (statement). Also MathWorld HadamardFactorizationTheorem, ProofWiki Hadamard_Factorization_Theorem
wikipedia: Wikipedia Hadamard factorization theorem, Hadamard factorization theorem (statement). Also Wikidata Q117481504

History

2026-10-26: add by m2/dev

DK9Q5V2GGG DK9Q5V2GGG

URI	`m2://inv/DK9Q5V2GGG`
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.02790#IBAD (statement). In NB7HZ8W2K2/e1, lemma 34

History

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

DK9WQXTQK6 DK9WQXTQK6

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#proof-21 (proof). In E59CDZA4DP, proof, section 8.5

History

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

DK9Y5HAS7D DK9Y5HAS7D

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/second-incompleteness-thm.tex#thm:second-incompleteness (statement). In PKGMM3P5QY, thm, section 28.5

History

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

Naomi Livesay DK9YGE89YY

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

Mentions

wikipedia: Wikipedia Naomi Livesay, Naomi Livesay (topic). Also Wikidata Q121303157

History

2026-11-02: add by m2/dev

Arithmetic progression topologies DK9ZEB45M5

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

Mentions

wikipedia: Wikipedia Arithmetic progression topologies, Arithmetic progression topologies (definition). Also Wikidata Q3993517

History

2026-11-02: add by m2/dev

Rape in Cambodia DKA4X4E4KN

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

Mentions

wikipedia: Wikipedia Rape statistics#YBW7, Rape in Cambodia (unknown)

History

2026-11-02: add by m2/dev

DKA8RXM9HM DKA8RXM9HM

URI	`m2://inv/DKA8RXM9HM`
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.39793#OXWX (statement). In 380M45ANWF/e1, lemma 2.1

History

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

List of countries by population in 1989 DKAHTRR923

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

Mentions

wikipedia: Wikipedia List of countries by population in 1989, List of countries by population in 1989 (topic). Also Wikidata Q25036992

History

2026-11-02: add by m2/dev

1 − 2 + 4 − 8 + ⋯ DKAKCSECS0

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

Mentions

wikipedia: Wikipedia 1 − 2 + 4 − 8 + ⋯, 1 − 2 + 4 − 8 + ⋯ (definition). Also Wikidata Q1064181

History

2026-11-02: add by m2/dev

Semantic map DKAQ0KSFEQ

URI	`m2://inv/DKAQ0KSFEQ`
Kind	definition
Layer	research
MSC	18-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.20207#L6JW, Semantic map (definition)

History

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

Duality DKATKH5PYG

URI	`m2://inv/DKATKH5PYG`
Kind	statement
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.27766#IBA6, Duality (statement)

History

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

DKAZGT8BG9 DKAZGT8BG9

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

Mentions

arxiv: arXiv 2609.23202#5EZZ (statement)

History

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

Normal default theory DKB0V7RKQC

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

Mentions

wikipedia: Wikipedia Default logic#9PX5, Normal default theory (unknown)

History

2026-11-02: add by m2/dev

Differential field DKB3WAY882

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

Mentions

wikipedia: Wikipedia List of first-order theories#HY4U, Differential field (definition)

History

2026-11-02: add by m2/dev

Generalization DKB7PAJZEZ

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

Mentions

wikipedia: Wikipedia Secant method#WF75, Generalization (statement)

History

2026-11-02: add by m2/dev

DKB8Q27PMQ DKB8Q27PMQ

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

Mentions

arxiv: arXiv 2507.03563#8LIS (definition). In R6DR6F68BJ/e1, definition 4.2

History

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

DKBB9MZEZ0 DKBB9MZEZ0

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

Mentions

arxiv: arXiv 2610.06707#9DN9 (statement). In 9TR5E527P5/e1, lemma 6.28

History

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

convergence of a power series DKBJK5HF37

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

Mentions

lebl_diffyqs: lebl_diffyqs index/9.1.1/convergence-of-a-power-series, convergence of a power series (concept). In E9HS8K3A52, index, section 9.1.1

History

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

Loch Ness monster surface DKBN608BKT

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

Mentions

wikipedia: Wikipedia List of surfaces#7NZM, Loch Ness monster surface (definition)

History

2026-11-02: add by m2/dev

Oscar Chisini DKBPQCARF2

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

Mentions

wikipedia: Wikipedia Oscar Chisini, Oscar Chisini (topic). Also Wikidata Q982553

History

2026-11-02: add by m2/dev

Quantile normalization DKBWQ645AB

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

Mentions

wikipedia: Wikipedia List of statistics articles#0OJN, Quantile normalization (definition)

History

2026-11-02: add by m2/dev

DKBZEJ2Y38 DKBZEJ2Y38

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise:dirichproblemxy (exercise). In E9HS8K3A52, exercise, section 5.10.4

History

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

DKC1767QY4 DKC1767QY4

URI	`m2://inv/DKC1767QY4`
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#RX6G (statement). In AHGQZ89DY0/e1, corollary 4.1

History

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

Mixed motive (math) DKCN6Z2SE2

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

Mentions

wikipedia: Wikipedia Motive (algebraic geometry)#OQRR, Mixed motive (math) (unknown)

History

2026-11-02: add by m2/dev

Radical extension DKCRRAZ55T

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

Mentions

wikipedia: Wikipedia Radical extension, Radical extension (definition). Also Wikidata Q6588186

History

2026-11-02: add by m2/dev

Corollary (Spectral stability) DKCSMZ46YF

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

Mentions

wikipedia: Wikipedia Weyl's inequality#Y8M1, Corollary (Spectral stability) (statement)

History

2026-11-02: add by m2/dev

Variations DKCTE2V8AG

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

Mentions

wikipedia: Wikipedia Cohort study#IBOK, Variations (statement)

History

2026-11-02: add by m2/dev

Boris M. Schein DKCTFWTJX5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XW6Z, Boris M. Schein (unknown)

History

2026-11-02: add by m2/dev

DKCW1QYGT4 DKCW1QYGT4

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

Mentions

arxiv: arXiv 2609.34295#8579 (statement). In A93R925Z24/e1, proposition 9.3

History

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

DKCY2YH23G DKCY2YH23G

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-25 (exercise). In E59CDZA4DP, exercise, section 3.3.3

History

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

DKD5C37Y29 DKD5C37Y29

URI	`m2://inv/DKD5C37Y29`
Kind	definition
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 2207.05628#7ROG (definition). In 9JPKTEWW4W/e1, definition 2.2

History

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

Eva Cantoni DKD8TZNQRA

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

Mentions

wikipedia: Wikipedia Eva Cantoni, Eva Cantoni (topic). Also Wikidata Q102162007

History

2026-11-02: add by m2/dev

Measure-theoretic probability theory DKD9ZPC9QB

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

Mentions

wikipedia: Wikipedia Probability theory#PQPV, Measure-theoretic probability theory (unknown)

History

2026-11-02: add by m2/dev

DKDAZJEN8X DKDAZJEN8X

URI	`m2://inv/DKDAZJEN8X`
Kind	statement
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.21080#JXI0 (statement). In DGE917KQSQ/e1, theorem 4.1

History

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

DKDHQ05GY2 DKDHQ05GY2

URI	`m2://inv/DKDHQ05GY2`
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.14979#Z8MY (statement). In 6NH1VVZK1N/e1, lemma 2.3

History

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

DKDMPB3023 DKDMPB3023

URI	`m2://inv/DKDMPB3023`
Kind	statement
Layer	research
MSC	05-XX, 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.20522#8STU (statement)

History

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

DKDR95QD8Y DKDR95QD8Y

URI	`m2://inv/DKDR95QD8Y`
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#2KE0 (statement). In E7W2HDNEKJ/e1, proposition 10.21

History

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

August Ferdinand Möbius DKDRW4X5DA

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

Mentions

wikipedia: Wikipedia List of geometers#F6EW, August Ferdinand Möbius (topic)

History

2026-11-02: add by m2/dev

DKE4PE6FGW DKE4PE6FGW

URI	`m2://inv/DKE4PE6FGW`
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.36423#J4JK (statement). In Q5Z178SAHP/e1, theorem 5.2

History

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

Hypothetico-deductive model DKE8VC9ZRA

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

Mentions

wikipedia: Wikipedia Hypothetico-deductive model, Hypothetico-deductive model (definition). Also Wikidata Q1143445

History

2026-11-02: add by m2/dev

primitive DKE9Z701H4

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#NE22, primitive (definition)

History

2026-11-02: add by m2/dev

Definition DKEAMAEC58

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

Mentions

wikipedia: Wikipedia Quasiregular map#7FN7, Definition (definition)

History

2026-11-02: add by m2/dev

Del formula DKECCYRCV1

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

Mentions

wikipedia: Wikipedia Del in cylindrical and spherical coordinates#IIG2, Del formula (statement)

History

2026-11-02: add by m2/dev

Cauchy Condensation Test DKECD7RWSA

URI	`m2://inv/DKECD7RWSA`
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.02963#D4F6, Cauchy Condensation Test (statement). In FN8MJK3C6K/e1, proposition A.1

History

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

International Association for Computing and Philosophy DKF4GZ3KHN

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

Mentions

wikipedia: Wikipedia International Association for Computing and Philosophy, International Association for Computing and Philosophy (definition). Also Wikidata Q13515586

History

2026-11-02: add by m2/dev

Covering projection of $S^1$ DKF55GBVQP

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

Mentions

napkin: napkin tex/topology/cover-project.tex#example-2, Covering projection of $S^1$ (example). In RZP28ERRZV, example, section 97.1

History

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

Louis Charles Karpinski DKF5HH92DE

URI	`m2://inv/DKF5HH92DE`
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#C0WG, Louis Charles Karpinski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O558, Louis Charles Karpinski (topic)

History

2026-11-02: add by m2/dev

DKF718K25H DKF718K25H

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

Mentions

arxiv: arXiv 2610.15169#3D1X (statement). In V7SN19J84T/e1, lemma 4.12

History

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

Weitzenböck identity DKFEE8JAYQ

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

Mentions

wikipedia: Wikipedia Weitzenböck identity, Weitzenböck identity (statement). Also Wikidata Q7980430

History

2026-11-02: add by m2/dev

PGPfone DKFFC6066P

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

Mentions

wikipedia: Wikipedia PGPfone, PGPfone (definition). Also Wikidata Q2044098

History

2026-11-02: add by m2/dev

DKFFG6BYQW DKFFG6BYQW

URI	`m2://inv/DKFFG6BYQW`
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.09809#I95D (statement). In 7NKQ6PR78N/e1, proposition 5.2

History

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

Algorithm DKFG7DW1RZ

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

Mentions

wikipedia: Wikipedia Edmonds' algorithm#KT94, Algorithm (definition)

History

2026-11-02: add by m2/dev

Bessel's correction DKFX897635

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

Mentions

wikidata: Wikidata Q526938, Bessel's correction (unknown). Also MathWorld BesselsCorrection
wikipedia: Wikipedia Bessel's correction, Bessel's correction (definition). Also Wikidata Q526938

History

2026-10-26: add by m2/dev

Uses DKG371XE5D

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

Mentions

wikipedia: Wikipedia Plücker coordinates#84PB, Uses (example)

History

2026-11-02: add by m2/dev

Sampling fraction DKG52FPPWY

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

Mentions

wikipedia: Wikipedia Sampling fraction, Sampling fraction (definition). Also Wikidata Q2188543

History

2026-11-02: add by m2/dev

DKGHRJTZPX DKGHRJTZPX

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

Mentions

arxiv: arXiv 2610.09561#45P5 (statement). In WDV5E2CVTR/e1, corollary 7.3

History

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

DKGJ6NB73W DKGJ6NB73W

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

Mentions

open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-4 (definition). In PKGMM3P5QY, defn, section 67.5

History

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

Shrewd cardinal DKGJJZC8S9

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

Mentions

wikipedia: Wikipedia Shrewd cardinal, Shrewd cardinal (definition). Also Wikidata Q7503645

History

2026-11-02: add by m2/dev

Partition of an interval DKGNTK55G5

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

Mentions

wikipedia: Wikipedia Partition of an interval, Partition of an interval (definition). Also Wikidata Q2344169

History

2026-11-02: add by m2/dev

DKGT8TTS2W DKGT8TTS2W

URI	`m2://inv/DKGT8TTS2W`
Kind	definition
Layer	research
MSC	26-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.34918#XT6F (definition). In B3MNVE9149/e1, definition 4.3

History

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

Definitions DKGZ1QE2HS

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

Mentions

wikipedia: Wikipedia Congruum#PEKS, Definitions (definition)

History

2026-11-02: add by m2/dev

DKH82D0A37 DKH82D0A37

URI	`m2://inv/DKH82D0A37`
Kind	definition
Layer	research
MSC	11-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.00134#5YYS (definition). In S654779J5P/e1, definition

History

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

DKHBBFZEXR DKHBBFZEXR

URI	`m2://inv/DKHBBFZEXR`
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.31242#XHB4 (statement). In 3NPRR9546C/e1, lemma 2.5

History

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

DKHQ8NP4BD DKHQ8NP4BD

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

Mentions

arxiv: arXiv 2610.04466#42DU (statement). In EHW82CK883/e1, lemma 4.1

History

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

Examples DKHYDXP7H4

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

Mentions

wikipedia: Wikipedia Deviance (statistics)#D4U7, Examples (example)

History

2026-11-02: add by m2/dev

DKJ2D9X9BF DKJ2D9X9BF

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

Mentions

arxiv: arXiv 2610.10973#ES3R (definition). In H8NGNDP0XT/e1, definition 9

History

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

A worked example of Virial Theorem DKJ3HEVEWW

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

Mentions

wikipedia: Wikipedia Stellar dynamics#RAIB, A worked example of Virial Theorem (example)

History

2026-11-02: add by m2/dev

DKJ4Y7T4WM DKJ4Y7T4WM

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

Mentions

austin_ula: austin_ula src/section7-2.xml#example-1 (example). In 649HGZKE96, example, section 7.2.2

History

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

Small stellated triacontahedron DKJC7WKRJM

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

Mentions

wikipedia: Wikipedia Dodecadodecahedron#4KQY, Small stellated triacontahedron (unknown)

History

2026-11-02: add by m2/dev

DKJGQE119C DKJGQE119C

URI	`m2://inv/DKJGQE119C`
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 2307.02473#PQOW (statement). In RGXMK94YW1/e1, lemma 5.1

History

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

DKJKSJVM0B DKJKSJVM0B

URI	`m2://inv/DKJKSJVM0B`
Kind	example
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.20911#H5XI (example). In FF3MV70E7Z/e1, example 3.3

History

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

Properties DKJRFSSG2R

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

Mentions

wikipedia: Wikipedia Q-matrix#NM5T, Properties (statement)

History

2026-11-02: add by m2/dev

Erdős–Faber–Lovász conjecture DKJV5WBFRQ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#TWQL, Erdős–Faber–Lovász conjecture (conjecture)

History

2026-11-02: add by m2/dev

DKJYGWH3XJ DKJYGWH3XJ

URI	`m2://inv/DKJYGWH3XJ`
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.24353#DM2Q (statement)

History

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

DKK145MNNN DKK145MNNN

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

Mentions

austin_ula: austin_ula src/section6-5.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 6.5.3

History

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

DKK6Z335NE DKK6Z335NE

URI	`m2://inv/DKK6Z335NE`
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.14189#QLVT (statement). In 39VAB08YDJ/e1, proposition 2.5

History

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

Gauss's formulas DKK96AWQ5K

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

Mentions

wikipedia: Wikipedia Pentagramma mirificum#GGBT, Gauss's formulas (statement)

History

2026-11-02: add by m2/dev

Algorithms DKKATC7APW

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

Mentions

wikipedia: Wikipedia Star-free language#XLUF, Algorithms (definition)

History

2026-11-02: add by m2/dev

fluid flow DKKEAX8NEC

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

Mentions

wikidata: Wikidata Q12142910, fluid flow (topic)

History

2026-10-26: add by m2/dev

Jerzy Neyman DKKK5KKBTN

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#EXZV, Jerzy Neyman (topic)

History

2026-11-02: add by m2/dev

Meadow's law DKKMWDCPH1

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

Mentions

wikipedia: Wikipedia List of statistics articles#0BYB, Meadow's law (statement)

History

2026-11-02: add by m2/dev

Johannes Knoblauch DKM1RPSRNC

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

Mentions

wikipedia: Wikipedia Johannes Knoblauch, Johannes Knoblauch (topic). Also Wikidata Q87707

History

2026-11-02: add by m2/dev

DKMCR52Y06 DKMCR52Y06

URI	`m2://inv/DKMCR52Y06`
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 2012.11507#311K (statement). In DZA5P853H9/e1, proposition 1

History

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

DKMHG5ZH8K DKMHG5ZH8K

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#definition-6 (definition). In RZP28ERRZV, definition, section 22.10

History

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

Generalized taxicab number DKMK5J8712

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

Mentions

wikipedia: Wikipedia Generalized taxicab number, Generalized taxicab number (definition). Also Wikidata Q3140742

History

2026-11-02: add by m2/dev

Applications DKMN6CT37Q

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

Mentions

wikipedia: Wikipedia Reduced chi-squared statistic#KCP6, Applications (example)

History

2026-11-02: add by m2/dev

Anthony C. Davison DKMPN3VYSY

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

Mentions

wikipedia: Wikipedia Anthony C. Davison, Anthony C. Davison (topic). Also Wikidata Q96121010

History

2026-11-02: add by m2/dev

Second law of thermodynamics DKMXM5YYPQ

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

Mentions

wikipedia: Wikipedia Entropy#PGF9, Second law of thermodynamics (statement)

History

2026-11-02: add by m2/dev

DKMZ497218 DKMZ497218

URI	`m2://inv/DKMZ497218`
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#DJQ4 (statement). In MNQAZ70XTH/e1, proposition 5.2

History

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

DKMZ6A3YCS DKMZ6A3YCS

URI	`m2://inv/DKMZ6A3YCS`
Kind	statement
Layer	research
MSC	14-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.15926#BOFK (statement). In G0J92BSX4A/e1, lemma 2.5

History

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

Singular distribution DKMZYY5FYT

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

Mentions

wikipedia: Wikipedia List of statistics articles#X38S, Singular distribution (definition)

History

2026-11-02: add by m2/dev

Notepad++ DKN9YEF0HK

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#MAXG, Notepad++ (unknown)

History

2026-11-02: add by m2/dev

DKNBB6HT5T DKNBB6HT5T

URI	`m2://inv/DKNBB6HT5T`
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.38250#SI3M (statement). In 5KDV984W48/e1, theorem 4

History

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

Diagrammatic interpretation of axioms DKP1QQQMB6

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

Mentions

wikipedia: Wikipedia Homotopy associative algebra#PQFV, Diagrammatic interpretation of axioms (statement)

History

2026-11-02: add by m2/dev

Classical Heisenberg model DKP32WW7PP

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

Mentions

wikipedia: Wikipedia Classical Heisenberg model, Classical Heisenberg model (definition). Also Wikidata Q5128287

History

2026-11-02: add by m2/dev

dilatino DKPEV2VAJS

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

Mentions

wikidata: Wikidata Q3027958, dilatino (unknown). Also nLab dilatino

History

2026-10-26: add by m2/dev

Definition DKPFZM1SJ4

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

Mentions

wikipedia: Wikipedia Tychonoff cube#0C22, Definition (definition)

History

2026-11-02: add by m2/dev

DKPKG5FN5G DKPKG5FN5G

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

Mentions

arxiv: arXiv 2610.11336#EZXI (statement). In X1R1GDAJ0Y/e1, theorem 2.3

History

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

Quadratic excess DKPN0MB7TB

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

Mentions

wikipedia: Wikipedia Quadratic residue#4D4U, Quadratic excess (unknown)

History

2026-11-02: add by m2/dev

DKPPM822XY DKPPM822XY

URI	`m2://inv/DKPPM822XY`
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.38844#QBN9 (statement). In PX8D91DQCX/e1, proposition 2.5

History

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

Torus DKQ105P9MZ

URI	`m2://inv/DKQ105P9MZ`
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 2609.32733#T35E, Torus (example). In PCAS8S14J6/e1, example E.10

History

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

DKQ3D38G8M DKQ3D38G8M

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

Mentions

arxiv: arXiv 2609.30544#7IIY (example). In CB35ZBBBPT/e1, example 4.16

History

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

Scalar discrete Gaussian DKQ7CVTRQE

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

Mentions

arxiv: arXiv 2610.14085#5PBZ, Scalar discrete Gaussian (definition). In T8F19ZGHF3/e1, definition 1.3

History

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

DKQCG8FSGQ DKQCG8FSGQ

URI	`m2://inv/DKQCG8FSGQ`
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 2412.14956#D4MB (definition). In T8BQ6HHZYT/e1, definition 2.8

History

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

Laplace limit DKQD14CNVD

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

Mentions

wikidata: Wikidata Q2994928, Laplace limit (object). Also MathWorld LaplaceLimit, OEIS A033259
wikipedia: Wikipedia Laplace limit, Laplace limit (definition). Also Wikidata Q2994928

History

2026-10-26: add by m2/dev

Möbius–Kantor polygon DKQMHWRHJA

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

Mentions

wikipedia: Wikipedia Möbius–Kantor polygon, Möbius–Kantor polygon (definition). Also Wikidata Q28000194

History

2026-11-02: add by m2/dev

Suspension of a ring DKQNAPRKPM

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

Mentions

wikipedia: Wikipedia Suspension of a ring, Suspension of a ring (definition). Also Wikidata Q16920449

History

2026-11-02: add by m2/dev

DKR0GDP48K DKR0GDP48K

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-6 (example). In E9HS8K3A52, example, section 4.1

History

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

functional DKR7SHR4D8

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#3OFF, functional (definition)

History

2026-11-02: add by m2/dev

DKRAEA5CZX DKRAEA5CZX

URI	`m2://inv/DKRAEA5CZX`
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#0DBM (statement). In 68VEQQX68G/e1, theorem 1.9

History

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

Prasad Raghavendra DKRM57FZW7

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

Mentions

wikipedia: Wikipedia Prasad Raghavendra, Prasad Raghavendra (topic). Also Wikidata Q102418017

History

2026-11-02: add by m2/dev

Euler's inequality in absolute geometry DKRPKWE0FF

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

Mentions

wikipedia: Wikipedia Euler's theorem in geometry#VGW9, Euler's inequality in absolute geometry (statement)

History

2026-11-02: add by m2/dev

Consequences of the generalized Riemann hypothesis DKRV500HM3

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

Mentions

wikipedia: Wikipedia Riemann hypothesis#IIK6, Consequences of the generalized Riemann hypothesis (statement)

History

2026-11-02: add by m2/dev

DKRXSPEDR2 DKRXSPEDR2

URI	`m2://inv/DKRXSPEDR2`
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.10221#5PUN (statement). In 9Z5M655EPV/e1, theorem 4.3

History

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

Definitions DKS6A8PN4M

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

Mentions

wikipedia: Wikipedia Hessenberg variety#0EYF, Definitions (definition)

History

2026-11-02: add by m2/dev

DKS8A4WDT5 DKS8A4WDT5

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 7.1

History

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

DKS97XV1KD DKS97XV1KD

URI	`m2://inv/DKS97XV1KD`
Kind	definition
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 2610.18302#4HZK (definition). In VJTRH1S4JA/e1, definition 4.6

History

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

Frank Pfenning DKSPKF5YM3

URI	`m2://inv/DKSPKF5YM3`
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 Q15487688, Frank Pfenning (unknown). Also nLab Frank Pfenning

History

2026-10-26: add by m2/dev

DKSRBF6KY7 DKSRBF6KY7

URI	`m2://inv/DKSRBF6KY7`
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#92DR (example). In HX63A1PH1W/e1, example 3.75

History

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

Isaac DKSWCWJ803

URI	`m2://inv/DKSWCWJ803`
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.21899#20YB, Isaac (definition). In YRN5P43B2N/e1, definition 2.1

History

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

DKSWWH7TN7 DKSWWH7TN7

URI	`m2://inv/DKSWWH7TN7`
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#CFT0 (statement). In 2FVND41HVS/e1, lemma 4.1

History

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

Cryptomathic DKSZTJX9FR

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

Mentions

wikipedia: Wikipedia Cryptomathic, Cryptomathic (definition). Also Wikidata Q5190981

History

2026-11-02: add by m2/dev

DKT04SK862 DKT04SK862

URI	`m2://inv/DKT04SK862`
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.15291#Z41G (statement). In YVS8268AG8/e1, corollary 9.1

History

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

DKT1HS6NE4 DKT1HS6NE4

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

Mentions

arxiv: arXiv 2610.01433#47EZ (example). In 160PQ7F1AS/e1, example 4.24

History

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

U-chart DKT57E9FKN

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

Mentions

wikipedia: Wikipedia U-chart, U-chart (definition). Also Wikidata Q7862937

History

2026-11-02: add by m2/dev

DKT6HWE5A4 DKT6HWE5A4

URI	`m2://inv/DKT6HWE5A4`
Kind	statement
Layer	research
MSC	16-XX, 18-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.21507#GQ8G (statement). In 879ZDHVK7N/e1, proposition 3.12

History

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

Three Springs, Western Australia DKT8DFKTGB

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

Mentions

wikipedia: Wikipedia List of places with numeric names#7P8D, Three Springs, Western Australia (unknown)

History

2026-11-02: add by m2/dev

Small ditrigonal dodecacronic hexecontahedron DKTBWJDY64

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#T8J2, Small ditrigonal dodecacronic hexecontahedron (object)

History

2026-11-02: add by m2/dev

DKTEP299MX DKTEP299MX

URI	`m2://inv/DKTEP299MX`
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 2210.02997#XRUX (definition). In KEXVYV0SNS/e1, definition 8

History

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

WhatsApp Payments DKTFKXN9Q8

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

Mentions

wikipedia: Wikipedia WhatsApp#C8LC, WhatsApp Payments (unknown)

History

2026-11-02: add by m2/dev

canonical signatures DKTP9GRZP9

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

Mentions

arxiv: arXiv 2609.22667#CI7Q, canonical signatures (statement)

History

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

Information matrix test DKTZ71KKCY

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

Mentions

wikipedia: Wikipedia Information matrix test, Information matrix test (definition). Also Wikidata Q48997067

History

2026-11-02: add by m2/dev

unary operation DKV1N5R17B

URI	`m2://inv/DKV1N5R17B`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Unary operation Q2W26ZY10B

Mentions

wikidata: Wikidata Q657596, unary operation (unknown). Also MathWorld UnaryOperation
wikipedia: Wikipedia Unary operation, Unary operation (definition). Also Wikidata Q657596

History

2026-10-26: add by m2/dev

Tracking error: recursion, moments, and Cesàro bounds DKV62RHW2Q

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

Mentions

arxiv: arXiv 2609.20274#V0J4, Tracking error: recursion, moments, and Cesàro bounds (statement)

History

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

Characterizations DKVBEKTSWV

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

Mentions

wikipedia: Wikipedia Tangential quadrilateral#Q105, Characterizations (statement)

History

2026-11-02: add by m2/dev

William James Sidis DKVBV3WB3D

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

Mentions

wikipedia: Wikipedia William James Sidis, William James Sidis (topic). Also Wikidata Q313603

History

2026-11-02: add by m2/dev

Thin plate spline DKVHENE7PA

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

Mentions

wikipedia: Wikipedia Thin plate spline, Thin plate spline (definition). Also Wikidata Q7784288

History

2026-11-02: add by m2/dev

Newton's identities DKVKCFH7FT

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

Mentions

mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > Newton's identities, Newton's identities (unknown). Also Mathlib MvPolynomial.mul_esymm_eq_sum

History

2026-10-26: add by m2/dev

History of inductive reasoning DKVS6Q3TX5

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

Mentions

wikipedia: Wikipedia Inductive reasoning#ID8P, History of inductive reasoning (unknown)

History

2026-11-02: add by m2/dev

DKVTA0T9WQ DKVTA0T9WQ

URI	`m2://inv/DKVTA0T9WQ`
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.38772#O52L (statement). In 1C3R5NAQAP/e1, lemma 7.6

History

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

Filters in topology DKVTT0FCSG

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

Mentions

wikipedia: Wikipedia Filters in topology, Filters in topology (definition). Also Wikidata Q104901581

History

2026-11-02: add by m2/dev

DKVW275A6N DKVW275A6N

URI	`m2://inv/DKVW275A6N`
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.30527#YU2F (statement). In E3WQDZY388/e1, theorem

History

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

Generalization DKVYNCK3ZY

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

Mentions

wikipedia: Wikipedia Chessboard paradox#TFGL, Generalization (statement)

History

2026-11-02: add by m2/dev

History of black holes DKW12J060X

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

Mentions

wikipedia: Wikipedia Black hole#J2NQ, History of black holes (unknown)

History

2026-11-02: add by m2/dev

DKW3AWGH1K DKW3AWGH1K

URI	`m2://inv/DKW3AWGH1K`
Kind	statement
Layer	research
MSC	05-XX, 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 2306.12846#3XDC (statement). In D6XA7JXZF3/e1, lemma 2.7

History

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

Quality control DKWC2NB879

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

Mentions

wikipedia: Wikipedia List of statistics articles#8TIZ, Quality control (object)

History

2026-11-02: add by m2/dev

Definition DKWRJK33BB

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

Mentions

wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#IPWT, Definition (definition)

History

2026-11-02: add by m2/dev

Marginal coverage guarantee DKWTTC9TVW

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

Mentions

arxiv: arXiv 2609.26951#FF9X, Marginal coverage guarantee (statement)

History

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

Erkenntnis DKWVAZ31VE

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

Mentions

wikipedia: Wikipedia Erkenntnis, Erkenntnis (definition). Also Wikidata Q876363

History

2026-11-02: add by m2/dev

DKX8WKM8KC DKX8WKM8KC

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

Mentions

arxiv: arXiv 2204.01121#HVLG (statement). In 1HP57QXBGF/e1, theorem 4

History

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

DKXG468JT3 DKXG468JT3

URI	`m2://inv/DKXG468JT3`
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/schemas.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 54.7

History

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

Population bound for the 1NN uphill shift outside the modal core DKXHPZW2AC

URI	`m2://inv/DKXHPZW2AC`
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.01050#U0I0, Population bound for the 1NN uphill shift outside the modal core (statement). In 48NN33SAH7/e1, lemma F.4

History

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

First-order theory DKXJ3V6CFF

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#JF52, First-order theory (definition)

History

2026-11-02: add by m2/dev

Tensor product of graphs DKXR46WXB6

URI	`m2://inv/DKXR46WXB6`
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 2609.20881#38MT, Tensor product of graphs (definition)

History

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

Generalized additive model DKXV5G1EHG

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

Mentions

wikipedia: Wikipedia List of statistics articles#LI21, Generalized additive model (definition)

History

2026-11-02: add by m2/dev

Characteristic Classes DKXVT9CT45

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

Mentions

wikipedia: Wikipedia Characteristic Classes, Characteristic Classes (definition). Also Wikidata Q137910724

History

2026-11-02: add by m2/dev

Uniform 10-polytope DKXXEN3AA6

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

Mentions

wikipedia: Wikipedia Uniform 10-polytope, Uniform 10-polytope (definition). Also Wikidata Q17104408

History

2026-11-02: add by m2/dev

bisection method DKY8B2HYZP

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

Mentions

mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > bisection method, bisection method (unknown)

History

2026-10-26: add by m2/dev

Compression of represented zonotope DKYG69TYHV

URI	`m2://inv/DKYG69TYHV`
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.24235#XH2J, Compression of represented zonotope (statement)

History

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

Poincaré–Birkhoff theorem DKYKKPF3CD

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#Y56E, Poincaré–Birkhoff theorem (statement)

History

2026-11-02: add by m2/dev

Dolbeault–Grothendieck lemma DKYSFX65TW

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

Mentions

wikipedia: Wikipedia Dolbeault cohomology#8HSC, Dolbeault–Grothendieck lemma (statement)

History

2026-11-02: add by m2/dev

DKYVZ8EAAT DKYVZ8EAAT

URI	`m2://inv/DKYVZ8EAAT`
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.26357#D4GI (statement)

History

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

Fodor's lemma DKYX38EBSH

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

Mentions

wikipedia: Wikipedia Fodor's lemma, Fodor's lemma (statement). Also Wikidata Q1119050

History

2026-11-02: add by m2/dev

Theorems 1.19 and 1.26 , Theorems 1.4.7 and 1.4.8 DKYZQNB00X

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

Mentions

arxiv: arXiv 2505.04593#A4E4, Theorems 1.19 and 1.26 , Theorems 1.4.7 and 1.4.8 (statement). In PEXJPV3NP8/e1, theorem 2.8

History

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

DKZ4VNWZEG DKZ4VNWZEG

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-30 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Bonferroni correction DKZQVAYRG6

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

Mentions

wikipedia: Wikipedia List of statistics articles#M3TR, Bonferroni correction (definition)

History

2026-11-02: add by m2/dev

DKZTP3VW79 DKZTP3VW79

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-33 (definition). In VNMV985MXX, defn, section C

History

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

Naimark's theorem DKZWMXST05

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

Mentions

wikipedia: Wikipedia Naimark's dilation theorem#0Q72, Naimark's theorem (statement)

History

2026-11-02: add by m2/dev

DKZY9E3HMP DKZY9E3HMP

URI	`m2://inv/DKZY9E3HMP`
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.23671#WU6D (statement)

History

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

E-dense semigroup DKZYN69QPF

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

Mentions

wikipedia: Wikipedia E-dense semigroup, E-dense semigroup (definition). Also Wikidata Q18206693

History

2026-11-02: add by m2/dev

Penrose transform DKZZF0PVRY

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

Mentions

wikidata: Wikidata Q7164655, Penrose transform (concept). Also EoM Penrose_transform
wikipedia: Wikipedia Penrose transform, Penrose transform (definition). Also Wikidata Q7164655

History

2026-10-26: add by m2/dev