Inventory rows X2

X200TS9Z8M X200TS9Z8M

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#example-4 (example). In RZP28ERRZV, example, section 22.4.2

History

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

Applications X202YV57WZ

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

Mentions

wikipedia: Wikipedia Harmonic series (mathematics)#GFVL, Applications (example)

History

2026-11-02: add by m2/dev

Microdot X206MG9TT3

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

Mentions

wikipedia: Wikipedia List of steganography techniques#OOBB, Microdot (unknown)

History

2026-11-02: add by m2/dev

X206TAG0MM X206TAG0MM

URI	`m2://inv/X206TAG0MM`
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 2207.11097#JBQU (definition). In 13H5BTAXHF/e1, definition 16

History

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

Bounded-variance high probability: the exact rate, known modulus X208B60MH8

URI	`m2://inv/X208B60MH8`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.00295#NXWR, Bounded-variance high probability: the exact rate, known modulus (statement). In 7HXP270BD0/e1, theorem 5.8

History

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

Definition X20CXMZBV7

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

Mentions

wikipedia: Wikipedia Invertible matrix#OEQP, Definition (definition)

History

2026-11-02: add by m2/dev

X20KH0CTC3 X20KH0CTC3

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

Mentions

arxiv: arXiv 2610.01919#R1YP (statement). In 4H727T2YAS/e1, theorem 8.3

History

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

Function X20V5SEQ58

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

Mentions

open_logic: open_logic content/sets-functions-relations/functions/function-basics.tex#defn-1, Function (definition). In PKGMM3P5QY, defn, section 78.9

History

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

X20VS1EMDA X20VS1EMDA

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

Mentions

arxiv: arXiv 2111.08123#BNZD (statement). In TAAB0QAKAG/e1, proposition 7.1

History

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

Lehmer number X20WBQ1Y4J

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

Mentions

wikidata: Wikidata Q6518932, Lehmer number (concept). Also MathWorld LehmerNumber
wikipedia: Wikipedia Lehmer sequence, Lehmer sequence (definition). Also Wikidata Q6518932

History

2026-10-26: add by m2/dev

Pair-block realization of local block frames X20Z0AK9XF

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

Mentions

arxiv: arXiv 2610.00448#4960, Pair-block realization of local block frames (statement). In N06J7GC05Q/e1, proposition 6.3

History

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

X20ZRF62FR X20ZRF62FR

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

Mentions

arxiv: arXiv 2610.05652#I6KZ (statement). In 8BNPFYQDQX/e1, lemma 14.2

History

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

X21D07T8CR X21D07T8CR

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

Mentions

arxiv: arXiv 2609.35632#59LY (statement). In Q74G3BVZAQ/e1, lemma 4.2

History

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

X21KHNNYST X21KHNNYST

URI	`m2://inv/X21KHNNYST`
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 2404.06445#G7ZE (statement). In 12JKZ8EN52/e1, proposition 1.7

History

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

Explicit quotient coordinates X21N264SQJ

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

Mentions

arxiv: arXiv 2610.07905#OKDS, Explicit quotient coordinates (statement). In 88GEN3Z5VG/e1, lemma 8.15

History

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

X22DJXJ8SG X22DJXJ8SG

URI	`m2://inv/X22DJXJ8SG`
Kind	definition
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#8PPX (definition). In WH55XAE8E2/e1, definition 6.1

History

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

X22H0TE4BY X22H0TE4BY

URI	`m2://inv/X22H0TE4BY`
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 2609.31604#Z1KT (statement). In GSN5YTQS2K/e1, proposition 3.22

History

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

Flint Hills series X22P1RKY34

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

Mentions

wikidata: Wikidata Q97575271, Flint Hills series (unknown). Also MathWorld FlintHillsSeries

History

2026-10-26: add by m2/dev

Qualitative spectral stability X22SWYHX55

URI	`m2://inv/X22SWYHX55`
Kind	statement
Layer	research
MSC	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 2610.01299#OOZ1, Qualitative spectral stability (statement). In Z7FB8DPPDQ/e1, lemma 1

History

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

Differentiable vector-valued functions from Euclidean space X231X6QBC9

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

Mentions

wikipedia: Wikipedia Differentiable vector-valued functions from Euclidean space, Differentiable vector-valued functions from Euclidean space (definition). Also Wikidata Q96376361

History

2026-11-02: add by m2/dev

Formal statement X2357726NE

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

Mentions

wikipedia: Wikipedia Zeta function universality#ZXON, Formal statement (statement)

History

2026-11-02: add by m2/dev

X237QMNE8A X237QMNE8A

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

Mentions

arxiv: arXiv 2609.24001#J27R (statement)

History

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

Multiple transitivity X239GN3Q2X

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

Mentions

wikipedia: Wikipedia Mathieu group#OT43, Multiple transitivity (unknown)

History

2026-11-02: add by m2/dev

Banach fixed point theorem X23EQ43VD1

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

Mentions

napkin: napkin tex/topology/metric-prop.tex#dproblem-1, Banach fixed point theorem (exercise). In RZP28ERRZV, dproblem, section 99.5

History

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

464 (number) X23F05ZH7B

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

Mentions

wikipedia: Wikipedia 400 (number)#GBWT, 464 (number) (unknown)

History

2026-11-02: add by m2/dev

Canonical interval block X23HX8SY5E

URI	`m2://inv/X23HX8SY5E`
Kind	statement
Layer	research
MSC	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 2609.27799#AXS9, Canonical interval block (statement)

History

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

X23Q3H6RSR X23Q3H6RSR

URI	`m2://inv/X23Q3H6RSR`
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.32446#2CTS (statement). In W1KVJEGJ1W/e1, theorem 1.1

History

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

X23QF9RPPB X23QF9RPPB

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

Mentions

open_logic: open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 66.1

History

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

Single-index flows X23V68BK3Z

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

Mentions

arxiv: arXiv 2610.10875#TVV8, Single-index flows (statement). In N91F15MHW1/e1, lemma 14

History

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

Ш X23ZK14M3M

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#F0ZY, Ш (definition)

History

2026-11-02: add by m2/dev

X249J0E164 X249J0E164

URI	`m2://inv/X249J0E164`
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#59M0 (statement). In G6WQDW52TJ/e1, lemma 2.6

History

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

Groupoid object in $\textbf{H}$ X24D60YCYW

URI	`m2://inv/X24D60YCYW`
Kind	definition
Layer	research
MSC	18-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.03865#G7HU, Groupoid object in $\textbf{H}$ (definition). In G3D1YR20BJ/e1, definition A.6

History

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

Definition X24D7C7PSX

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

Mentions

wikipedia: Wikipedia Quasi-category#ZX94, Definition (definition)

History

2026-11-02: add by m2/dev

Uniform half-space advancement X24KCHTXFF

URI	`m2://inv/X24KCHTXFF`
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.24568#KZBG, Uniform half-space advancement (statement)

History

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

X24KZGDNBM X24KZGDNBM

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

Mentions

arxiv: arXiv 2610.19360#K6I9 (statement). In MFCW5CY96C/e1, lemma 26

History

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

X24M4XFFXT X24M4XFFXT

URI	`m2://inv/X24M4XFFXT`
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#A5K9 (definition). In G70Q2FB591/e1, definition 4.16

History

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

X24NXMW4KK X24NXMW4KK

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-278 (exercise). In VNMV985MXX, exercise, section 6.2

History

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

X24P1AD9YS X24P1AD9YS

URI	`m2://inv/X24P1AD9YS`
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.21915#5HP0 (statement)

History

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

Applications X24SDFJ1HG

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#TUKD, Applications (example)

History

2026-11-02: add by m2/dev

X24WNF1XBG X24WNF1XBG

URI	`m2://inv/X24WNF1XBG`
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 2308.08081#8PHR (statement). In FJ8XVQ6F0T/e1, lemma 3.1

History

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

X250HTG5CY X250HTG5CY

URI	`m2://inv/X250HTG5CY`
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.32104#R6OG (statement). In YRJSYFXNM8/e1, theorem 1.4

History

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

Ornstein theorem X251SBSX7W

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

Mentions

wikipedia: Wikipedia List of theorems#25VW, Ornstein theorem (statement)

History

2026-11-02: add by m2/dev

X256GQWWBG X256GQWWBG

URI	`m2://inv/X256GQWWBG`
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 2610.12777#5GHS (statement). In 1YFK2FB3JY/e1, proposition 2.2

History

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

Predictive intake modelling X2586SG9X7

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

Mentions

wikipedia: Wikipedia Predictive intake modelling, Predictive intake modelling (definition). Also Wikidata Q17147087

History

2026-11-02: add by m2/dev

Olry Terquem X25AG6DAMV

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ZS3E, Olry Terquem (topic)

History

2026-11-02: add by m2/dev

dual space X25E8AQW7R

URI	`m2://inv/X25E8AQW7R`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Dual space 07JBSZE0V4

Mentions

mathlib_overview: mathlib_overview Linear algebra > Duality > dual vector space, dual vector space (unknown). Also Mathlib Module.Dual
mathlib_undergrad: mathlib_undergrad Linear algebra > Duality > dual vector space, dual vector space (unknown). Also Mathlib Module.Dual
wikidata: Wikidata Q752487, dual space (unknown). Also Mathlib Module.Dual, MathWorld DualVectorSpace
wikidata: Wikidata Q91323680, algebraic dual space (unknown). Also MathWorld DualVectorSpace
wikipedia: Wikipedia Dual space, Dual space (definition). Also Wikidata Q752487

History

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

X25J6PM6B0 X25J6PM6B0

URI	`m2://inv/X25J6PM6B0`
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.18277#9GBQ (statement). In YFRNY7S92A/e1, proposition 5.1

History

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

Guesstimate X25T1DX9FE

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

Mentions

wikipedia: Wikipedia List of statistics articles#3ETV, Guesstimate (definition)

History

2026-11-02: add by m2/dev

Example (block-separable regularizers) X26074ERR0

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

Mentions

wikipedia: Wikipedia Random coordinate descent#W4NX, Example (block-separable regularizers) (example)

History

2026-11-02: add by m2/dev

Simple homotopy theory X26AM7HPY7

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

Mentions

wikipedia: Wikipedia Simple homotopy theory, Simple homotopy theory (definition). Also Wikidata Q113504696

History

2026-11-02: add by m2/dev

Optimal proximal kernels X26GQ20K03

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

Mentions

arxiv: arXiv 2609.38228#IZAL, Optimal proximal kernels (statement). In 9YAE8FNQST/e1, corollary 16.16

History

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

X26MH09TP7 X26MH09TP7

URI	`m2://inv/X26MH09TP7`
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 2610.05428#A3WW (definition). In 31MQPCA8SH/e1, definition

History

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

X26MYP5SJ8 X26MYP5SJ8

URI	`m2://inv/X26MYP5SJ8`
Kind	definition
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 2602.07485#34DC (definition). In 8KAC1E81JQ/e1, definition 8

History

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

X26PHN55D0 X26PHN55D0

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

Mentions

arxiv: arXiv 2610.10860#PK1Y (statement). In PBYNV2WF2H/e1, lemma B.1

History

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

Applications X26TJKJ8MF

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

Mentions

wikipedia: Wikipedia Expectation–maximization algorithm#S2GC, Applications (example)

History

2026-11-02: add by m2/dev

X270VP6ACT X270VP6ACT

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#lem:cons-G-unprov (statement). In PKGMM3P5QY, lem, section 27.9

History

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

Chronology protection conjecture X2789X5BXE

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#XIJ8, Chronology protection conjecture (statement)

History

2026-11-02: add by m2/dev

X279CPJB46 X279CPJB46

URI	`m2://inv/X279CPJB46`
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.28674#8MHA (statement)

History

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

Almost periodic modulo symmetries (APMS X27BHT3JNA

URI	`m2://inv/X27BHT3JNA`
Kind	definition
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.28454#TYP6, Almost periodic modulo symmetries (APMS (definition)

History

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

X27GAPC0MT X27GAPC0MT

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

Mentions

arxiv: arXiv 2609.36412#9KCN (definition). In 6HKGGCMBCK/e1, definition 1.1

History

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

Lwów School of Mathematics X27J0SWS3J

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

Mentions

wikipedia: Wikipedia Lwów School of Mathematics, Lwów School of Mathematics (definition). Also Wikidata Q1260135

History

2026-11-02: add by m2/dev

Monsky–Washnitzer cohomology X27KA34CZR

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

Mentions

wikidata: Wikidata Q6902593, Monsky–Washnitzer cohomology (unknown). Also nLab Monsky-Washnitzer cohomology
wikipedia: Wikipedia Monsky–Washnitzer cohomology, Monsky–Washnitzer cohomology (definition). Also Wikidata Q6902593

History

2026-10-26: add by m2/dev

X27NN3S8PA X27NN3S8PA

URI	`m2://inv/X27NN3S8PA`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#79H0 (unknown). In QNBFHFZ3H0/e1, unknown 74

History

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

Simple example X27R9T0W4D

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

Mentions

wikipedia: Wikipedia Antiisomorphism#0UT5, Simple example (example)

History

2026-11-02: add by m2/dev

X27WPWN0TG X27WPWN0TG

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

Mentions

arxiv: arXiv 2208.06310#OSSZ (definition). In 9YR0E0T9XA/e1, definition 2.1

History

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

X288FPRXTM X288FPRXTM

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

Mentions

arxiv: arXiv 2609.36113#FG41 (statement). In FSGSVD0XYH/e1, corollary 18

History

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

Grothendieck's vanishing theorem X28ADZ72GZ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#A1VB, Grothendieck's vanishing theorem (definition)

History

2026-11-02: add by m2/dev

X28BNJCMX4 X28BNJCMX4

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

Mentions

arxiv: arXiv 2510.01873#VQLI (problem). In FVZZDPEYNM/e1, problem 3.4

History

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

Applications X28C7ZJCNY

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

Mentions

wikipedia: Wikipedia Normal fan#W7MC, Applications (example)

History

2026-11-02: add by m2/dev

Applications X28E2RP3EX

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

Mentions

wikipedia: Wikipedia Kan extension#MT1H, Applications (example)

History

2026-11-02: add by m2/dev

Supervised profiling X28VWWAJ7F

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

Mentions

wikipedia: Wikipedia Profiling (information science)#TW4K, Supervised profiling (unknown)

History

2026-11-02: add by m2/dev

unimodular X28YA6EQ7T

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#YY1E, unimodular (definition)

History

2026-11-02: add by m2/dev

Separating insertional from ordinary pseudoentropy gaps X2995MW7K3

URI	`m2://inv/X2995MW7K3`
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.14615#M7BO, Separating insertional from ordinary pseudoentropy gaps (statement). In 7D5MMP8XB5/e1, corollary 7.4

History

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

The ease of knowing analytic propositions X29EN8CY2P

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

Mentions

wikipedia: Wikipedia Analytic–synthetic distinction#FALU, The ease of knowing analytic propositions (statement)

History

2026-11-02: add by m2/dev

Template Numerical Toolkit X29EVR8X9N

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#0OU0, Template Numerical Toolkit (unknown)

History

2026-11-02: add by m2/dev

X29M3NF7A9 X29M3NF7A9

URI	`m2://inv/X29M3NF7A9`
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.26581#1Z5E (definition)

History

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

X29MK7AR11 X29MK7AR11

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-289 (exercise). In VNMV985MXX, exercise, section 6.4

History

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

Lebesgue's density theorem X29PNNJK4V

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

Mentions

wikipedia: Wikipedia Lebesgue's density theorem#6YL0, Lebesgue's density theorem (statement)

History

2026-11-02: add by m2/dev

\bf The Q-shaped homotopy category X29X4PN9NQ

URI	`m2://inv/X29X4PN9NQ`
Kind	definition
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#XZMV, \bf The Q-shaped homotopy category (definition). In 879ZDHVK7N/e1, definition 2.5

History

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

X2A0JSY0XS X2A0JSY0XS

URI	`m2://inv/X2A0JSY0XS`
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.20798#N8CT (statement)

History

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

X2A55GSCEN X2A55GSCEN

URI	`m2://inv/X2A55GSCEN`
Kind	definition
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 2609.27301#VD46 (definition)

History

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

X2AD2PK82N X2AD2PK82N

URI	`m2://inv/X2AD2PK82N`
Kind	definition
Layer	research
MSC	30-XX, 32-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.37606#36W7 (definition). In WNFW6GY38C/e1, definition 3.1

History

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

Catlin--D'Angelo X2AEGCZAZC

URI	`m2://inv/X2AEGCZAZC`
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#XRT8, Catlin--D'Angelo (statement)

History

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

Inframetric X2AFPX95SC

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

Mentions

wikipedia: Wikipedia Metric space#FNFH, Inframetric (unknown)

History

2026-11-02: add by m2/dev

X2AG7YSHAV X2AG7YSHAV

URI	`m2://inv/X2AG7YSHAV`
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 2609.30018#HJC4 (statement)

History

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

Prime divisor X2AGMS6ZTX

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

Mentions

wikipedia: Wikipedia Prime number#LL20, Prime divisor (unknown)

History

2026-11-02: add by m2/dev

Sextus Empiricus X2AVDKXQ5B

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

Mentions

wikipedia: Wikipedia Sextus Empiricus, Sextus Empiricus (topic). Also Wikidata Q236594

History

2026-11-02: add by m2/dev

Kenneth Brown X2AYTAEK4V

URI	`m2://inv/X2AYTAEK4V`
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 Q15994957, Kenneth Brown (unknown). Also nLab Kenneth Brown
wikipedia: Wikipedia Kenneth Brown (mathematician), Kenneth Brown (topic). Also Wikidata Q15994957

History

2026-10-26: add by m2/dev

X2BQ86613D X2BQ86613D

URI	`m2://inv/X2BQ86613D`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.31090#1A37 (statement). In SMTJDX0Q6R/e1, lemma 8.2

History

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

Metapopulation X2BRMV9697

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

Mentions

wikipedia: Wikipedia Metapopulation, Metapopulation (definition). Also Wikidata Q954495

History

2026-11-02: add by m2/dev

X2BX08KG1F X2BX08KG1F

URI	`m2://inv/X2BX08KG1F`
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.00271#6G1W (statement). In T1NSCAZS28/e1, proposition 7.1

History

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

X2BXWXGW5K X2BXWXGW5K

URI	`m2://inv/X2BXWXGW5K`
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.14377#KH6O (statement). In WEZPNET90D/e1, theorem 1.1

History

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

Weierstrass preparation theorem X2BZKY61GV

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

Mentions

wikipedia: Wikipedia List of theorems#F6UP, Weierstrass preparation theorem (statement)

History

2026-11-02: add by m2/dev

X2C86YFPJ0 X2C86YFPJ0

URI	`m2://inv/X2C86YFPJ0`
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 2610.21255#AP9T (statement). In FB4DAYJJ5F/e1, theorem 3.1

History

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

X2CB43BKZD X2CB43BKZD

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

Mentions

arxiv: arXiv 2610.10558#2BO3 (statement). In GYSF9JXQCH/e1, lemma 5.7

History

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

X2CKHT3ZFR X2CKHT3ZFR

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 2.3.3

History

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

X2CRQWECV9 X2CRQWECV9

URI	`m2://inv/X2CRQWECV9`
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.12713#8OLS (statement). In F14A5HX20Q/e1, theorem

History

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

A characterization theorem X2CT0H3SNP

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

Mentions

wikipedia: Wikipedia Pareto distribution#W0U0, A characterization theorem (statement)

History

2026-11-02: add by m2/dev

Theorem X2D35EEG6P

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

Mentions

wikipedia: Wikipedia Murnaghan–Nakayama rule#UGWC, Theorem (statement)

History

2026-11-02: add by m2/dev

X2D6XPJ037 X2D6XPJ037

URI	`m2://inv/X2D6XPJ037`
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.19437#W2M6 (statement). In 9PXXGQ978Z/e1, lemma 5.1

History

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

permutation invariant X2DAKM9VV0

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

Mentions

wikipedia: Wikipedia Glossary of logic#HJE6, permutation invariant (definition)

History

2026-11-02: add by m2/dev

Acht (Eifel) X2DGQ2CR1P

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

Mentions

wikipedia: Wikipedia List of places with numeric names#76R9, Acht (Eifel) (unknown)

History

2026-11-02: add by m2/dev

necessity of identity X2DHKT4Q1P

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

Mentions

wikipedia: Wikipedia Glossary of logic#SPG8, necessity of identity (definition)

History

2026-11-02: add by m2/dev

continuous predicate X2DQBR0REG

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

Mentions

wikidata: Wikidata Q5165503, continuous predicate (unknown). Also nLab continuous predicate
wikipedia: Wikipedia Continuous predicate, Continuous predicate (definition). Also Wikidata Q5165503

History

2026-10-26: add by m2/dev

Algorithms X2DRZH80YM

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

Mentions

wikipedia: Wikipedia List of graph theory topics#8GQH, Algorithms (definition)

History

2026-11-02: add by m2/dev

July X2E3BJHB1C

URI	`m2://inv/X2E3BJHB1C`
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 Q121, July (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/July

History

2026-10-26: add by m2/dev

X2E6B4HKVT X2E6B4HKVT

URI	`m2://inv/X2E6B4HKVT`
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 2502.08738#32SN (statement). In 9GMTVSTAVN/e1, proposition 5.3

History

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

X2E75VG62G X2E75VG62G

URI	`m2://inv/X2E75VG62G`
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#EXNQ (statement). In 9VG7PNZHZT/e1, theorem 4.4

History

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

X2E8M9EARP X2E8M9EARP

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

Mentions

arxiv: arXiv 2609.22825#BO9Z (statement)

History

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

infinity X2EECXZ5Z1

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

Mentions

active_calculus: active_calculus index/3.2.3/infinity, infinity (concept). In 907G4C4EJ1, index, section 3.2.3

History

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

mercury X2EGPYRD9W

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

Mentions

wikidata: Wikidata Q925, mercury (definition). Also ProofWiki Definition:Mercury_(Chemical_Element)

History

2026-10-26: add by m2/dev

X2ENPFEK15 X2ENPFEK15

URI	`m2://inv/X2ENPFEK15`
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.20389#L0YK (statement). In BSHRC0Y3ZZ/e1, proposition 1

History

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

Robert Percival Porter X2EPMTN4SC

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

Mentions

wikipedia: Wikipedia Robert Percival Porter, Robert Percival Porter (topic). Also Wikidata Q63161344

History

2026-11-02: add by m2/dev

Sub-additivity in the gains tail X2ESJ5T6TM

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

Mentions

arxiv: arXiv 2609.31345#TYDL, Sub-additivity in the gains tail (statement). In R4MX33WNRX/e1, corollary 3.13

History

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

Hamilton, Lord George X2EYH72RBD

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

Mentions

wikipedia: Wikipedia List of statisticians#AKFA, Hamilton, Lord George (unknown)

History

2026-11-02: add by m2/dev

Azumaya X2FEJXWBJC

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

Mentions

wikipedia: Wikipedia Glossary of module theory#B3ZM, Azumaya (definition)

History

2026-11-02: add by m2/dev

Parafree group X2FK6PG7AM

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

Mentions

wikipedia: Wikipedia Parafree group, Parafree group (definition). Also Wikidata Q7134550

History

2026-11-02: add by m2/dev

X2FKTEE2XP X2FKTEE2XP

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 51.4

History

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

X2FP6NWNQH X2FP6NWNQH

URI	`m2://inv/X2FP6NWNQH`
Kind	definition
Layer	research
MSC	11-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 2609.28141#JSTT (definition)

History

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

Uniform sample coverage X2FT2EX8CY

URI	`m2://inv/X2FT2EX8CY`
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#2FWB, Uniform sample coverage (statement). In 48NN33SAH7/e1, lemma C.1

History

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

X2FTEF6V89 X2FTEF6V89

URI	`m2://inv/X2FTEF6V89`
Kind	statement
Layer	research
MSC	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.05850#L14D (statement). In D424GB5MAW/e1, proposition 2.10

History

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

X2FW3C33BR X2FW3C33BR

URI	`m2://inv/X2FW3C33BR`
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#G7RU (statement). In ZQDX8E43SQ/e1, lemma 2.3

History

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

supertask X2FXBDCK4J

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

Mentions

wikipedia: Wikipedia Glossary of logic#QE2V, supertask (definition)

History

2026-11-02: add by m2/dev

Applications X2FYEHECSZ

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

Mentions

wikipedia: Wikipedia Automated theorem proving#0U7P, Applications (example)

History

2026-11-02: add by m2/dev

Lookup cost X2G0D6AQME

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

Mentions

arxiv: arXiv 2609.39233#N87J, Lookup cost (statement). In Y7NC12TBNP/e1, proposition 2

History

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

X2G4381319 X2G4381319

URI	`m2://inv/X2G4381319`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 57-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.09333#DTIJ (statement). In Z9HC1EDTQP/e1, proposition 3.4

History

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

X2G6NK2QRJ X2G6NK2QRJ

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

Mentions

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

History

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

liminf X2G803BP19

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

Mentions

lebl_ra: lebl_ra index/10.3.1/liminf, liminf (concept). In E59CDZA4DP, index, section 10.3.1

History

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

Kimiko O. Bowman X2GAZG3R9S

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

Mentions

wikipedia: Wikipedia Kimiko O. Bowman, Kimiko O. Bowman (topic). Also Wikidata Q42306182

History

2026-11-02: add by m2/dev

AD+ X2GEDVW6QH

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

Mentions

wikipedia: Wikipedia AD+, AD+ (definition). Also Wikidata Q4650969

History

2026-11-02: add by m2/dev

X2GFFDHRN2 X2GFFDHRN2

URI	`m2://inv/X2GFFDHRN2`
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#3VHG (statement). In M0SQY5EZN5/e1, theorem 1.5.6

History

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

X2GHQMDW6C X2GHQMDW6C

URI	`m2://inv/X2GHQMDW6C`
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.17677#UTQ5 (statement). In 5E9G06XJKC/e1, lemma F.19

History

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

Edward Sang X2GMNFKQQ7

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

Mentions

wikipedia: Wikipedia Edward Sang, Edward Sang (topic). Also Wikidata Q5345219

History

2026-11-02: add by m2/dev

X2GNWJKRG2 X2GNWJKRG2

URI	`m2://inv/X2GNWJKRG2`
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.28518#F6GC (statement)

History

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

ampere X2GNYCWWCQ

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

Mentions

wikidata: Wikidata Q25272, ampere (definition). Also ProofWiki Definition:Ampere_(Unit)

History

2026-10-26: add by m2/dev

X2GPJ9D7HT X2GPJ9D7HT

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

Mentions

napkin: napkin tex/calculus/integrate.tex#definition-2 (definition). In RZP28ERRZV, definition, section 31.2

History

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

Vint Cerf X2GSYJH43D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6N46, Vint Cerf (unknown)

History

2026-11-02: add by m2/dev

Leonid Pasternak X2GVRCWXZN

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#TIYV, Leonid Pasternak (unknown)

History

2026-11-02: add by m2/dev

Uses X2GZS2KGXW

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

Mentions

wikipedia: Wikipedia Expander walk sampling#HH09, Uses (example)

History

2026-11-02: add by m2/dev

Complex projective plane X2H3C7FC92

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

Mentions

wikipedia: Wikipedia List of manifolds#4JDX, Complex projective plane (definition)

History

2026-11-02: add by m2/dev

Shewhart individuals control chart X2HC4XVY3M

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

Mentions

wikipedia: Wikipedia List of statistics articles#RSNM, Shewhart individuals control chart (definition)

History

2026-11-02: add by m2/dev

Droz-Farny circle X2HCCH01FC

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

Mentions

wikidata: Wikidata Q131599485, Droz-Farny circle (statement). Also MathWorld Droz-FarnyCircles

History

2026-10-26: add by m2/dev

X2HJ750Q7P X2HJ750Q7P

URI	`m2://inv/X2HJ750Q7P`
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.35030#EG8W (statement). In DPT4P2BTEW/e1, proposition 8.1

History

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

Super-recursive algorithm X2HNM2XH2G

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

Mentions

wikipedia: Wikipedia Super-recursive algorithm, Super-recursive algorithm (definition). Also Wikidata Q5295939

History

2026-11-02: add by m2/dev

X2HRPMA4M6 X2HRPMA4M6

URI	`m2://inv/X2HRPMA4M6`
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#HQS6 (example). In HX63A1PH1W/e1, example 3.78

History

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

Definition X2HTPPQ365

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

Mentions

wikipedia: Wikipedia Fibonacci word#2K1Y, Definition (definition)

History

2026-11-02: add by m2/dev

X2HV0KD05E X2HV0KD05E

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

Mentions

arxiv: arXiv 2609.40207#A3OP (definition). In JXTG8KP95P/e1, definition 3.10

History

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

X2HYCMZA0D X2HYCMZA0D

URI	`m2://inv/X2HYCMZA0D`
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 2211.10816#SZ4J (statement). In 8VNN8PX49Y/e1, theorem 14

History

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

X2HYRAR6FJ X2HYRAR6FJ

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

Mentions

arxiv: arXiv 2609.24545#5ZUY (statement)

History

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

X2J13D33X6 X2J13D33X6

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

Mentions

arxiv: arXiv 2609.20900#TRLD (statement)

History

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

Whittaker model X2J4GMJ6KK

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

Mentions

wikipedia: Wikipedia Whittaker model, Whittaker model (definition). Also Wikidata Q7996827

History

2026-11-02: add by m2/dev

Leopold Kronecker X2J5GWA024

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

Mentions

wikipedia: Wikipedia List of logicians#WIR0, Leopold Kronecker (topic)

History

2026-11-02: add by m2/dev

X2JBD4TGRZ X2JBD4TGRZ

URI	`m2://inv/X2JBD4TGRZ`
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 2103.02468#R042 (statement). In Q7C6G66CWM/e1, corollary 3.2

History

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

X2JE89YHWG X2JE89YHWG

URI	`m2://inv/X2JE89YHWG`
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#YSVA (statement). In X1AGBB90EH/e1, lemma 5.9

History

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

Chaining bound for fluctuations of the reciprocal extension $\Phi_{a,W,T}$ X2JEJP7E5F

URI	`m2://inv/X2JEJP7E5F`
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.30590#QEHC, Chaining bound for fluctuations of the reciprocal extension $\Phi_{a,W,T}$ (statement). In WYE2JVEZBT/e1, theorem 5.4

History

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

X2JJA66RM5 X2JJA66RM5

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-113 (exercise). In VNMV985MXX, exercise, section 2.4

History

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

Cathy Woan-Shu Chen X2JPJ8AFA4

URI	`m2://inv/X2JPJ8AFA4`
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#ESFX, Cathy Woan-Shu Chen (unknown)

History

2026-11-02: add by m2/dev

Composition series X2JTS7GQ2E

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

Mentions

wikipedia: Wikipedia List of group theory topics#DREU, Composition series (definition)
wikipedia: Wikipedia List of abstract algebra topics#1O04, Composition series (definition)

History

2026-11-02: add by m2/dev

Leonid Berlyand X2K082F2VK

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#A2Y7, Leonid Berlyand (topic)

History

2026-11-02: add by m2/dev

Surface wave X2K2B7D86F

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

Mentions

wikipedia: Wikipedia Surface wave, Surface wave (definition). Also Wikidata Q889796

History

2026-11-02: add by m2/dev

Definition X2K2PHH7JD

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

Mentions

wikipedia: Wikipedia Second quantization#H18B, Definition (definition)

History

2026-11-02: add by m2/dev

Ad personam X2K87XEAY6

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

Mentions

wikipedia: Wikipedia Ad personam, Ad personam (definition). Also Wikidata Q2861082

History

2026-11-02: add by m2/dev

Counterexample X2KN68ZN4Q

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

Mentions

wikipedia: Wikipedia Complete intersection ring#SIHM, Counterexample (counterexample)

History

2026-11-02: add by m2/dev

X2KN8FJD5C X2KN8FJD5C

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

Mentions

napkin: napkin tex/riemann-surface/morphism.tex#proposition-3 (statement). In RZP28ERRZV, proposition, section 86.4

History

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

X2MDRS0J49 X2MDRS0J49

URI	`m2://inv/X2MDRS0J49`
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.19285#LYIQ (statement). In 6DJR9DKY5W/e1, lemma 3.5

History

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

Timothy Gowers X2MFFPF15E

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

Mentions

wikipedia: Wikipedia Timothy Gowers, Timothy Gowers (topic). Also Wikidata Q220402

History

2026-11-02: add by m2/dev

X2MHPS03W7 X2MHPS03W7

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 62.3

History

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

X2MHX79WB3 X2MHX79WB3

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

Mentions

arxiv: arXiv 2610.03081#2CBS (statement). In TX0H26X4VX/e1, theorem F

History

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

X2MKYV0FQH X2MKYV0FQH

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

Mentions

austin_ula: austin_ula src/section3-2.xml#activity-1 (exercise). In 649HGZKE96, activity, section 3.2.2

History

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

X2MR3E9N9N X2MR3E9N9N

URI	`m2://inv/X2MR3E9N9N`
Kind	statement
Layer	research
MSC	46-XX, 47-XX, 81-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.04694#ELDT (statement). In W9A0Z2NBMA/e1, lemma 9

History

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

X2MTDYHR0D X2MTDYHR0D

URI	`m2://inv/X2MTDYHR0D`
Kind	statement
Layer	research
MSC	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 2609.39317#YS02 (statement). In QM1T8JDK4A/e1, proposition 3.4

History

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

X2N0B64HQM X2N0B64HQM

URI	`m2://inv/X2N0B64HQM`
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 2301.04933#UAZ4 (statement). In Q70CTMCJTP/e1, proposition 5.2

History

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

Distributional Fractal Explicit Formulas: Non-Exact and Exact; see , Theorems 5.18 and 5.22, pages 159 and 162, along with Theorem 5.30, page 168 (for the distributional error estimates in part (i X2N1KM4RRB

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

Mentions

arxiv: arXiv 2609.22759#1ITM, Distributional Fractal Explicit Formulas: Non-Exact and Exact; see , Theorems 5.18 and 5.22, pages 159 and 162, along with Theorem 5.30, page 168 (for the distributional error estimates in part (i (statement)

History

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

X2N61C4H43 X2N61C4H43

URI	`m2://inv/X2N61C4H43`
Kind	statement
Layer	research
MSC	05-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.04325#1POU (statement). In 42XHT97E64/e1, corollary 5.3

History

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

Sweet-Parker model X2N6PM5XYD

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

Mentions

wikipedia: Wikipedia Magnetic reconnection#HWL9, Sweet-Parker model (unknown)

History

2026-11-02: add by m2/dev

Arnold Neumaier X2NRPE3WVC

URI	`m2://inv/X2NRPE3WVC`
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 Q58420481, Arnold Neumaier (unknown). Also nLab Arnold Neumaier

History

2026-10-26: add by m2/dev

Applications X2NS3XPE4S

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

Mentions

wikipedia: Wikipedia K-theory#AE99, Applications (example)

History

2026-11-02: add by m2/dev

Logarithmically convex function X2NVAESB0X

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

Mentions

wikipedia: Wikipedia Logarithmically convex function, Logarithmically convex function (definition). Also Wikidata Q3610230

History

2026-11-02: add by m2/dev

X2NWR8A2N2 X2NWR8A2N2

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

Mentions

arxiv: arXiv 2204.01073#8FY2 (definition). In W4TYN4PGE8/e1, definition 3.37

History

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

partial algebra X2NYTHCYW5

URI	`m2://inv/X2NYTHCYW5`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Partial algebra H7RX5729ZB

Mentions

wikidata: Wikidata Q18386809, partial algebra (unknown). Also MathWorld PartialAlgebra
wikipedia: Wikipedia Partial algebra, Partial algebra (definition). Also Wikidata Q18386809

History

2026-10-26: add by m2/dev

topological field X2P5XB3GCX

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

Mentions

wikidata: Wikidata Q10260753, topological field (topic). Also MathWorld TopologicalField, nLab topological field

History

2026-10-26: add by m2/dev

Bourget function X2P9TES2FQ

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

Mentions

wikidata: Wikidata Q4493438, Bourget function (unknown). Also MathWorld BourgetFunction

History

2026-10-26: add by m2/dev

X2PD1KA8Q9 X2PD1KA8Q9

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

Mentions

arxiv: arXiv 2305.18021#J1S5 (definition). In GQVSX93P6C/e1, definition C.1

History

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

X2PECG06T5 X2PECG06T5

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

Mentions

arxiv: arXiv 2609.27181#2G3X (statement)

History

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

Variants X2PEJKY3DP

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

Mentions

wikipedia: Wikipedia BLOSUM#LB0P, Variants (statement)

History

2026-11-02: add by m2/dev

X2PET93K1F X2PET93K1F

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#prop:provability-quantifiers (statement). In PKGMM3P5QY, prop, section 22.9

History

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

X2PJPR8MQC X2PJPR8MQC

URI	`m2://inv/X2PJPR8MQC`
Kind	definition
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 1810.06028#8KEK (definition). In ZPFHH6YJG3/e1, definition 2.6

History

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

X2PQ0QPN5W X2PQ0QPN5W

URI	`m2://inv/X2PQ0QPN5W`
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.16554#G4J9 (statement). In GWNT8HEZG1/e1, proposition 4.15

History

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

Tidal locking X2PQ2CS7KE

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

Mentions

wikipedia: Wikipedia Tidal locking, Tidal locking (definition). Also Wikidata Q109144

History

2026-11-02: add by m2/dev

X2PSCX4PQV X2PSCX4PQV

URI	`m2://inv/X2PSCX4PQV`
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 2608.24424#0QIK (statement). In RQHGZ4AA5T/e1, lemma 4.2

History

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

X2PW33W2MD X2PW33W2MD

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

Mentions

arxiv: arXiv 2609.26133#35C9 (statement)

History

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

Double Ratchet Algorithm X2Q4RH7CER

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

Mentions

wikipedia: Wikipedia Double Ratchet Algorithm, Double Ratchet Algorithm (definition). Also Wikidata Q22079944

History

2026-11-02: add by m2/dev

Berman–Hartmanis conjecture X2QAMPQZGW

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

Mentions

wikipedia: Wikipedia Berman–Hartmanis conjecture, Berman–Hartmanis conjecture (conjecture). Also Wikidata Q4892564

History

2026-11-02: add by m2/dev

List of factorial and binomial topics X2QES8EJNJ

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#SMLY, List of factorial and binomial topics (topic)

History

2026-11-02: add by m2/dev

X2QF3EYV5F X2QF3EYV5F

URI	`m2://inv/X2QF3EYV5F`
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 2610.19534#R69T (example). In 22G1ATP2RA/e1, example 3

History

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

self-reference X2QGGZ59CS

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

Mentions

wikipedia: Wikipedia Glossary of logic#KAIV, self-reference (definition)

History

2026-11-02: add by m2/dev

indeterminacy of translation X2QHBQ05KA

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

Mentions

wikipedia: Wikipedia Glossary of logic#ZXWI, indeterminacy of translation (definition)

History

2026-11-02: add by m2/dev

Alexander Doniphan Wallace X2QSWE2BQP

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

Mentions

wikipedia: Wikipedia Alexander Doniphan Wallace, Alexander Doniphan Wallace (topic). Also Wikidata Q17403727

History

2026-11-02: add by m2/dev

X2R04JNT3D X2R04JNT3D

URI	`m2://inv/X2R04JNT3D`
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.32946#98MZ (statement). In 6AEBXNK614/e1, lemma 3.14

History

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

Fourth-order product rule X2R2M2V4EE

URI	`m2://inv/X2R2M2V4EE`
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.20593#B1PI, Fourth-order product rule (statement). In 7GMD8J4200/e1, corollary 11

History

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

X2R5F0RG0E X2R5F0RG0E

URI	`m2://inv/X2R5F0RG0E`
Kind	problem
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 2504.02065#ZUG7 (problem). In 60CK7P5F36/e1, problem 8.1

History

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

critical pair X2R5PBVDHE

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

Mentions

arxiv: arXiv 2610.12484#KKYE, critical pair (definition). In GW23NX78SB/e1, definition 3.20

History

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

X2RAEQDQKX X2RAEQDQKX

URI	`m2://inv/X2RAEQDQKX`
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.15525#JN30 (statement). In EFDRME13PT/e1, proposition 4.2

History

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

Examples X2RDAKF9ME

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

Mentions

wikipedia: Wikipedia Lagrangian (field theory)#Y4DI, Examples (example)

History

2026-11-02: add by m2/dev

X2RJHP6HYD X2RJHP6HYD

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 62.8

History

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

BGS conjecture X2RK1TBYFH

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

Mentions

wikipedia: Wikipedia BGS conjecture, BGS conjecture (conjecture). Also Wikidata Q133321781

History

2026-11-02: add by m2/dev

minimum, relative X2RMS4MDSY

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

Mentions

active_calculus: active_calculus index/3.3.1/minimum-relative, minimum, relative (concept). In 907G4C4EJ1, index, section 3.3.1

History

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

dimensions (general formula) X2S8P0ZZMM

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

Mentions

wikipedia: Wikipedia Differentiable curve#OGYO, dimensions (general formula) (statement)

History

2026-11-02: add by m2/dev

Exact forgetting of the initialization X2SQZJK7JN

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

Mentions

arxiv: arXiv 2610.14988#OKS6, Exact forgetting of the initialization (statement). In B29M4E6KGC/e1, lemma J.10

History

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

Applications X2SXY8C4SZ

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

Mentions

wikipedia: Wikipedia Littlewood–Paley theory#AYGI, Applications (example)

History

2026-11-02: add by m2/dev

Sturm separation theorem X2T1WPTRGG

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

Mentions

wikipedia: Wikipedia Sturm separation theorem#2XTN, Sturm separation theorem (statement)

History

2026-11-02: add by m2/dev

Conditionally Poisson observations X2TCBB8SC0

URI	`m2://inv/X2TCBB8SC0`
Kind	example
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.19421#G94P, Conditionally Poisson observations (example). In 3S1VFGYWQE/e1, example

History

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

X2TDPB8YFX X2TDPB8YFX

URI	`m2://inv/X2TDPB8YFX`
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 2402.05875#HINN (statement). In 35FDBKEDC0/e1, theorem 2.1

History

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

Riemann mapping theorem X2TDWQYRT7

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

Mentions

wikipedia: Wikipedia Riemann mapping theorem#G0TO, Riemann mapping theorem (statement)

History

2026-11-02: add by m2/dev

Definition X2TPCYQ2FK

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

Mentions

wikipedia: Wikipedia Normal convergence#WLU0, Definition (definition)

History

2026-11-02: add by m2/dev

X2TSE1CZAD X2TSE1CZAD

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

History

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

Properties X2TV8V2EJH

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

Mentions

wikipedia: Wikipedia Self-complementary graph#0TTX, Properties (statement)

History

2026-11-02: add by m2/dev

X2TVYEX0QY X2TVYEX0QY

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

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

Definition X2TWWAF437

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

Mentions

wikipedia: Wikipedia Knapsack problem#O1WQ, Definition (definition)

History

2026-11-02: add by m2/dev

X2V337NPV4 X2V337NPV4

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

Mentions

arxiv: arXiv 2610.12484#QMQP (statement). In GW23NX78SB/e1, lemma 4.23

History

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

Applications X2V5VX8CQ8

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

Mentions

wikipedia: Wikipedia Trigonometry#2RE5, Applications (example)

History

2026-11-02: add by m2/dev

Nicholson–Bailey model X2VA34MH0Y

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

Mentions

wikipedia: Wikipedia List of statistics articles#FQYK, Nicholson–Bailey model (definition)

History

2026-11-02: add by m2/dev

X2VBKP14GX X2VBKP14GX

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

Mentions

arxiv: arXiv 2610.07812#7EPN (statement). In PVX8WBBXW5/e1, lemma 3.10

History

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

Cyclic character of the family X2VFX3AZ60

URI	`m2://inv/X2VFX3AZ60`
Kind	statement
Layer	research
MSC	05-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.22082#J9TG, Cyclic character of the family (statement). In 7PACGDW3N7/e1, theorem 10.3

History

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

Definition X2VHSRNQM5

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

Mentions

wikipedia: Wikipedia New Foundations#QCOM, Definition (definition)

History

2026-11-02: add by m2/dev

Rajeev Motwani X2VJBN0JMM

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

Mentions

wikipedia: Wikipedia Rajeev Motwani, Rajeev Motwani (topic). Also Wikidata Q92963

History

2026-11-02: add by m2/dev

X2VQZ6AN8Q X2VQZ6AN8Q

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

Mentions

arxiv: arXiv 1705.01594#XO4X (statement). In BR3N3GSY2C/e1, lemma 3.3

History

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

X2W1PY9EW5 X2W1PY9EW5

URI	`m2://inv/X2W1PY9EW5`
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.14154#SD9U (statement). In 8X6PXX2TRA/e1, lemma 3.8

History

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

tabu search X2W241P4P1

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

Mentions

wikidata: Wikidata Q1424540, tabu search (unknown). Also MathWorld TabuSearch

History

2026-10-26: add by m2/dev

X2WBQBEEMJ X2WBQBEEMJ

URI	`m2://inv/X2WBQBEEMJ`
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.01924#T8FA (statement). In CB89152EQW/e1, lemma 26

History

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

X2WC7AQSAA X2WC7AQSAA

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

Mentions

arxiv: arXiv 2610.15340#2ECI (definition). In 9NVKKW8HDH/e1, definition 3.23

History

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

X2WGDWGR9S X2WGDWGR9S

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

Mentions

arxiv: arXiv 2609.25168#QM12 (definition)

History

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

$\mathcal{C}^1$ case: an exact averaged kernel X2WGNMSG6C

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

Mentions

arxiv: arXiv 2610.14988#NU6L, $\mathcal{C}^1$ case: an exact averaged kernel (statement). In B29M4E6KGC/e1, corollary E.1

History

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

Example X2WV87K0SY

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

Mentions

wikipedia: Wikipedia Lubin–Tate formal group law#FZCR, Example (example)

History

2026-11-02: add by m2/dev

Explicit LCL CSS family X2WZ6HWM4S

URI	`m2://inv/X2WZ6HWM4S`
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.40252#DK5U, Explicit LCL CSS family (statement). In 7MVPNFPRKB/e1, theorem 14.2

History

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

Variations X2WZNA7C5J

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

Mentions

wikipedia: Wikipedia Selection principle#4HK7, Variations (statement)

History

2026-11-02: add by m2/dev

Definition X2X3SEWQVX

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

Mentions

wikipedia: Wikipedia Hilbert basis (linear programming)#3RAA, Definition (definition)

History

2026-11-02: add by m2/dev

Balance identity X2X4JRKC84

URI	`m2://inv/X2X4JRKC84`
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.17006#WPCA, Balance identity (statement). In YY81ZEJ82P/e1, proposition 4.2

History

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

Closed-form formulas X2X8K83MXW

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

Mentions

wikipedia: Wikipedia Polynomial root-finding#RWJK, Closed-form formulas (statement)

History

2026-11-02: add by m2/dev

definite integral, definition X2X8XCFAN6

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

Mentions

active_calculus: active_calculus index/4.3.2/definite-integral-definition, definite integral, definition (concept). In 907G4C4EJ1, index, section 4.3.2

History

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

Unramified case X2XAQCAC5S

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

Mentions

arxiv: arXiv 2610.10583#M1DT, Unramified case (statement). In 5BZQS1KY9A/e1, proposition 7.1

History

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

Formal definition X2XGP3RGEB

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

Mentions

wikipedia: Wikipedia Nondeterministic finite automaton#8P7H, Formal definition (definition)

History

2026-11-02: add by m2/dev

Law of cosines X2XKF9491V

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

Mentions

wikipedia: Wikipedia Jamshid al-Kashi#HMUC, Law of cosines (statement)

History

2026-11-02: add by m2/dev

X2XP8TH43V X2XP8TH43V

URI	`m2://inv/X2XP8TH43V`
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.13799#3RWI (statement). In HECT28CM5V/e1, lemma 2

History

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

Taguchi's rule X2Y6KBQK36

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

Mentions

wikipedia: Wikipedia Taguchi methods#CGN7, Taguchi's rule (unknown)

History

2026-11-02: add by m2/dev

X2YB4FN3NB X2YB4FN3NB

URI	`m2://inv/X2YB4FN3NB`
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.26477#97VX (statement)

History

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

Algorithmic technique X2YF489X6C

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

Mentions

wikipedia: Wikipedia Algorithmic technique, Algorithmic technique (definition). Also Wikidata Q65085387

History

2026-11-02: add by m2/dev

Real estate economics X2YP0Z8HRZ

URI	`m2://inv/X2YP0Z8HRZ`
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#S7TT, Real estate economics (unknown)

History

2026-11-02: add by m2/dev

X2YPA2WZD8 X2YPA2WZD8

URI	`m2://inv/X2YPA2WZD8`
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.33278#SHIT (statement). In QABBHZQZFR/e1, proposition 5

History

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

X2YWR1C9FS X2YWR1C9FS

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

Mentions

arxiv: arXiv 2609.31126#W6YG (definition). In GK1V5GEHTK/e1, definition 2.8

History

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

X2YY5HRW00 X2YY5HRW00

URI	`m2://inv/X2YY5HRW00`
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#IADI (statement). In M0SQY5EZN5/e1, theorem 3.0.11

History

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

X2Z16PNH6S X2Z16PNH6S

URI	`m2://inv/X2Z16PNH6S`
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 2208.07490#N0LU (statement). In EK9MF8KMFC/e1, proposition 4

History

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

Fibered knot X2Z4VXWJAD

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

Mentions

wikipedia: Wikipedia Fibered knot, Fibered knot (definition). Also Wikidata Q2381352

History

2026-11-02: add by m2/dev

Dévissage X2ZBQKJCH3

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#XVZ7, Dévissage (definition)

History

2026-11-02: add by m2/dev

Further examples X2ZF4WJ8DA

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

Mentions

wikipedia: Wikipedia Sheaf (mathematics)#6H9T, Further examples (example)

History

2026-11-02: add by m2/dev

X2ZG1VX983 X2ZG1VX983

URI	`m2://inv/X2ZG1VX983`
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.31811#YVFW (statement). In A8ZBZW9RNA/e1, corollary 6.2

History

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

Retrospective determinism X2ZMGHHA2D

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

Mentions

wikipedia: Wikipedia Retrospective determinism, Retrospective determinism (definition). Also Wikidata Q7317077

History

2026-11-02: add by m2/dev

X2ZQB9B0T3 X2ZQB9B0T3

URI	`m2://inv/X2ZQB9B0T3`
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.08382#ISRJ (statement). In GYMGDQS25R/e1, corollary 4.10

History

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

X2ZRYSAXPR X2ZRYSAXPR

URI	`m2://inv/X2ZRYSAXPR`
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.02637#PELG (statement). In 5Z2H5XJ6EM/e1, theorem

History

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

Definitions X2ZSPJVH4W

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

Mentions

wikipedia: Wikipedia Comparison triangle#EK1O, Definitions (definition)

History

2026-11-02: add by m2/dev

X2ZV5A833W X2ZV5A833W

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

Mentions

arxiv: arXiv 2610.03081#3R3U (statement). In TX0H26X4VX/e1, theorem 8.11

History

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

X2ZXN1M743 X2ZXN1M743

URI	`m2://inv/X2ZXN1M743`
Kind	statement
Layer	research
MSC	05-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 2401.13523#EL8B (statement). In DDA62XQTWW/e1, proposition 3.3

History

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

equivariant intersection theory X2ZXVG9F8F

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#2E0X, equivariant intersection theory (definition)

History

2026-11-02: add by m2/dev