Inventory rows N9

N900AH7G9Q N900AH7G9Q

URI	`m2://inv/N900AH7G9Q`
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.30323#SN3P (statement). In HDJ6N25XVT/e1, corollary 3.3

History

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

N909WD2E51 N909WD2E51

URI	`m2://inv/N909WD2E51`
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 2206.12966#R03U (statement). In VH93X5QZDV/e1, theorem 2.2

History

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

pedal N90D3FMBFR

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#H17U, pedal (definition)

History

2026-11-02: add by m2/dev

rank-one combination theorem N90F85STHR

URI	`m2://inv/N90F85STHR`
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.17608#3E3U, rank-one combination theorem (statement). In VAGWC38NSF/e1, theorem 2.3

History

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

N90Q3XV099 N90Q3XV099

URI	`m2://inv/N90Q3XV099`
Kind	statement
Layer	research
MSC	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 2609.33805#V6O6 (statement). In XM98BX97RT/e1, proposition 3.1

History

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

N90T50T2HE N90T50T2HE

URI	`m2://inv/N90T50T2HE`
Kind	definition
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.10546#FO0C (definition). In K5R5RRPMQ5/e1, definition 3.1

History

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

Lizhen Ji N90YA5W6MD

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

Mentions

wikipedia: Wikipedia Lizhen Ji, Lizhen Ji (topic). Also Wikidata Q11101827

History

2026-11-02: add by m2/dev

Cayley's theorem N913VHWH3F

URI	`m2://inv/N913VHWH3F`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Cayley's theorem 0151VYVX27

Mentions

mathlib_1000: mathlib_1000 Q179208, Cayley's theorem (statement). Also Mathlib Equiv.Perm.subgroupOfMulAction, Wikidata Q179208
mathlib_overview: mathlib_overview General algebra > Group theory > Cayley's theorem, Cayley's theorem (unknown). Also Mathlib Equiv.Perm.subgroupOfMulAction
thousand_plus: thousand_plus Q179208, Cayley's theorem (statement). Also Mathlib Equiv.Perm.subgroupOfMulAction, Wikidata Q179208, Wikipedia Cayley's theorem
wikidata: Wikidata Q179208, Cayley's theorem (statement). Also Mathlib Equiv.Perm.subgroupOfMulAction, MathWorld CayleysGroupTheorem
wikipedia: Wikipedia Cayley's theorem, Cayley's theorem (statement). Also Wikidata Q179208

History

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

A detection--repair gap N9154FP16M

URI	`m2://inv/N9154FP16M`
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.08069#KHZ5, A detection--repair gap (statement). In TVW9BTWJ3D/e1, corollary 3

History

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

Nonassociative ring N9160SG39N

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#QSFJ, Nonassociative ring (definition)

History

2026-11-02: add by m2/dev

Strong and weak sampling N917XWEE8J

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

Mentions

wikipedia: Wikipedia Strong and weak sampling, Strong and weak sampling (definition). Also Wikidata Q104525280

History

2026-11-02: add by m2/dev

Arf invariant N9191DQHGH

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#OHMO, Arf invariant (definition)

History

2026-11-02: add by m2/dev

Italian Mathematical Union N91BEXJX20

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

Mentions

wikipedia: Wikipedia Italian Mathematical Union, Italian Mathematical Union (definition). Also Wikidata Q658922

History

2026-11-02: add by m2/dev

elliptic cylinder N91D01P9Y9

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

Mentions

wikidata: Wikidata Q9370294, elliptic cylinder (unknown). Also MathWorld EllipticCylinder

History

2026-10-26: add by m2/dev

Ikarashi River N91EZMQM14

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

Mentions

wikipedia: Wikipedia List of places with numeric names#7MTO, Ikarashi River (unknown)

History

2026-11-02: add by m2/dev

N91HJY47QR N91HJY47QR

URI	`m2://inv/N91HJY47QR`
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 2609.27694#3JAE (definition)

History

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

Orientation N91PGAYHZW

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

Mentions

wikipedia: Wikipedia Orientation (geometry), Orientation (definition). Also Wikidata Q2235286

History

2026-11-02: add by m2/dev

Bounded local obstructions N91PZJ6SHV

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

Mentions

arxiv: arXiv 2610.01329#PZBJ, Bounded local obstructions (statement). In 7XEVYJKJ5C/e1, lemma 3.3

History

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

N91QKE1FJ8 N91QKE1FJ8

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

Mentions

arxiv: arXiv 2610.03661#YE9N (definition). In ESDKTYDHC8/e1, definition 14

History

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

Variations N91SG4738B

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

Mentions

wikipedia: Wikipedia Station-to-Station protocol#CIIZ, Variations (statement)

History

2026-11-02: add by m2/dev

N91SG5VWC0 N91SG5VWC0

URI	`m2://inv/N91SG5VWC0`
Kind	statement
Layer	research
MSC	26-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 2411.16022#QYLZ (statement). In QG9ATXTKJ6/e1, proposition 2.14

History

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

N91ZAZ53CK N91ZAZ53CK

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

Mentions

arxiv: arXiv 2609.35600#7OT9 (statement). In ET8GYMMDQM/e1, lemma 5.1

History

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

$K_4$ one-bit criterion N923CVM07V

URI	`m2://inv/N923CVM07V`
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.10002#QJN8, $K_4$ one-bit criterion (statement). In 5ZYWF6HAXJ/e1, theorem 4

History

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

Reinhold Remmert N923KHSRX7

URI	`m2://inv/N923KHSRX7`
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#HD2H, Reinhold Remmert (topic)
wikipedia: Wikipedia List of German mathematicians#1WV5, Reinhold Remmert (topic)

History

2026-11-02: add by m2/dev

De Moivre's formula N924Q0N7X8

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

Mentions

wikipedia: Wikipedia List of exponential topics#HJWU, De Moivre's formula (statement)

History

2026-11-02: add by m2/dev

N927TPZ8YJ N927TPZ8YJ

URI	`m2://inv/N927TPZ8YJ`
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.16680#EVOA (statement). In H29YHXQZV6/e1, lemma

History

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

Notation N92CVDQH88

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

Mentions

wikipedia: Wikipedia Definite matrix#NUAC, Notation (definition)

History

2026-11-02: add by m2/dev

N92HSVJWCG N92HSVJWCG

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

Mentions

arxiv: arXiv 2610.21954#F5X3 (problem). In F2XATDBRK4/e1, problem 1

History

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

Derivation from Fermat's principle N92K8V2Q71

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

Mentions

wikipedia: Wikipedia Snell's law#ZM2G, Derivation from Fermat's principle (statement)

History

2026-11-02: add by m2/dev

D. R. Fulkerson N933C9DYYD

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

Mentions

wikipedia: Wikipedia D. R. Fulkerson, D. R. Fulkerson (topic). Also Wikidata Q1184009

History

2026-11-02: add by m2/dev

Eberhard Becker N936C2KWX8

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

Mentions

wikipedia: Wikipedia Eberhard Becker, Eberhard Becker (topic). Also Wikidata Q1278855

History

2026-11-02: add by m2/dev

Yingying Fan N93G2C06RF

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#7P7N, Yingying Fan (topic)

History

2026-11-02: add by m2/dev

N93M1DBS1J N93M1DBS1J

URI	`m2://inv/N93M1DBS1J`
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.33219#V44R (statement). In ETTQWMJZXJ/e1, proposition 1

History

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

bivariate normal distribution N93XHP9TCC

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

Mentions

wikidata: Wikidata Q113485197, bivariate normal distribution (unknown). Also MathWorld BivariateNormalDistribution

History

2026-10-26: add by m2/dev

N943ZMVZ1P N943ZMVZ1P

URI	`m2://inv/N943ZMVZ1P`
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.24363#S4BH (statement)

History

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

N945RCWFB4 N945RCWFB4

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 49.1

History

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

Similarity theory N946JYHDFD

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

Mentions

wikipedia: Wikipedia Buckingham pi theorem#E0MG, Similarity theory (unknown)

History

2026-11-02: add by m2/dev

Equivalence induction N948T419DY

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

Mentions

hott_book: hott_book induction.tex#thm:equiv-induction, Equivalence induction (statement). In N54F33XE07, cor, section 8.8

History

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

N94EH7RKZ9 N94EH7RKZ9

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

Mentions

arxiv: arXiv math/0406514#03P0 (statement). In CY1FE8W1ZW/e1, lemma 0.138

History

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

Uniform adapted charts N94H7QM9C4

URI	`m2://inv/N94H7QM9C4`
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.11077#7Q5L, Uniform adapted charts (statement). In 4333A6G5K5/e1, lemma 4.1

History

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

N94KY5X9XG N94KY5X9XG

URI	`m2://inv/N94KY5X9XG`
Kind	statement
Layer	research
MSC	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 2610.15643#O5KP (statement). In 7QFBJCRPW1/e1, lemma 3.2

History

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

N955VEEBFK N955VEEBFK

URI	`m2://inv/N955VEEBFK`
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 2304.09819#O1TN (statement). In FYKSPSVT37/e1, theorem 3.3

History

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

Samuel S. Wilks N95AK1MQTV

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#SY81, Samuel S. Wilks (topic)

History

2026-11-02: add by m2/dev

Total correlation N95QNTK72M

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

Mentions

wikipedia: Wikipedia Total correlation, Total correlation (definition). Also Wikidata Q17149502

History

2026-11-02: add by m2/dev

separable N95S79YHKX

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#25E6, separable (definition)

History

2026-11-02: add by m2/dev

N95YJ2Y896 N95YJ2Y896

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#example-3 (example). In E59CDZA4DP, example, section 5.1.5

History

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

N95ZKZANCW N95ZKZANCW

URI	`m2://inv/N95ZKZANCW`
Kind	conjecture
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#QS75 (conjecture)

History

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

Magnetotellurics N96009CQPV

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

Mentions

wikipedia: Wikipedia Magnetotellurics, Magnetotellurics (definition). Also Wikidata Q1413106

History

2026-11-02: add by m2/dev

Clean coefficient and diagnostic scales N960QQKTV2

URI	`m2://inv/N960QQKTV2`
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.15202#EP5A, Clean coefficient and diagnostic scales (statement). In X1FPG0KYBM/e1, lemma N.1

History

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

No-retraction theorem N96129TZ5M

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

Mentions

wikipedia: Wikipedia Retraction (topology)#PKE4, No-retraction theorem (statement)

History

2026-11-02: add by m2/dev

Vadim Schechtman N963B4HNFD

URI	`m2://inv/N963B4HNFD`
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#VAN3, Vadim Schechtman (topic)

History

2026-11-02: add by m2/dev

Reynolds equation N966NWPXWG

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

Mentions

wikipedia: Wikipedia Reynolds equation, Reynolds equation (definition). Also Wikidata Q7319639

History

2026-11-02: add by m2/dev

N967J5SNMY N967J5SNMY

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

Mentions

open_logic: open_logic content/second-order-logic/metatheory/loewenheim-skolem.tex#thm:sol-no-ls (statement). In PKGMM3P5QY, thm, section 65.3

History

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

N96ASKGV2G N96ASKGV2G

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

Mentions

arxiv: arXiv 2610.11974#RFIS (statement). In AW6S4XZ9ZZ/e1, theorem 5.3

History

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

N96FDXS1SK N96FDXS1SK

URI	`m2://inv/N96FDXS1SK`
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.10377#HFHI (statement). In 6HP7BR9WZM/e1, corollary 3.27

History

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

Examples N96FHFR4PX

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

Mentions

wikipedia: Wikipedia Lyndon–Hochschild–Serre spectral sequence#DEY8, Examples (example)

History

2026-11-02: add by m2/dev

N96KCQEDJG N96KCQEDJG

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

Mentions

arxiv: arXiv 2609.38793#679Y (definition). In T2N92YSY5R/e1, definition 4.5

History

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

Randomized predictive system N96PGE6SZQ

URI	`m2://inv/N96PGE6SZQ`
Kind	definition
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.23350#EZIT, Randomized predictive system (definition)

History

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

N96YAB8XR5 N96YAB8XR5

URI	`m2://inv/N96YAB8XR5`
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.10902#TE3O (statement). In 96T1K6C3NZ/e1, lemma 3

History

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

Melvyn B. Nathanson N96ZQPC63R

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

Mentions

wikipedia: Wikipedia Melvyn B. Nathanson, Melvyn B. Nathanson (topic). Also Wikidata Q15433045

History

2026-11-02: add by m2/dev

N976026KB1 N976026KB1

URI	`m2://inv/N976026KB1`
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.25843#BBOX (statement)

History

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

Vortex lattice method N9799V0JT1

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

Mentions

wikipedia: Wikipedia Vortex lattice method, Vortex lattice method (definition). Also Wikidata Q1089893

History

2026-11-02: add by m2/dev

Judith Goldberg N97AXFKRM2

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#7YRX, Judith Goldberg (topic)

History

2026-11-02: add by m2/dev

N97B9W67BW N97B9W67BW

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

Mentions

arxiv: arXiv 2610.14045#SA0W (definition). In KZ71GXT2B0/e1, definition 3.6

History

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

Laura McKenna N97FKBKW7C

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

Mentions

wikipedia: Wikipedia Laura McKenna, Laura McKenna (topic). Also Wikidata Q103301633

History

2026-11-02: add by m2/dev

Butterfly curve (algebraic) N97R0VR9FK

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

Mentions

wikipedia: Wikipedia List of curves#1GMZ, Butterfly curve (algebraic) (definition)

History

2026-11-02: add by m2/dev

N97YF41X8F N97YF41X8F

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-22 (exercise). In Y91XFCEVHQ, exercise, section 1.4

History

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

N97YWJKAAG N97YWJKAAG

URI	`m2://inv/N97YWJKAAG`
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.26434#39QL (statement)

History

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

Transitively normal subgroup N980CG1NMM

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

Mentions

wikipedia: Wikipedia Transitively normal subgroup, Transitively normal subgroup (definition). Also Wikidata Q7834485

History

2026-11-02: add by m2/dev

Properties N980VEPKXW

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

Mentions

wikipedia: Wikipedia Cayley configuration space#H7K5, Properties (statement)

History

2026-11-02: add by m2/dev

N982EH8TNR N982EH8TNR

URI	`m2://inv/N982EH8TNR`
Kind	statement
Layer	research
MSC	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 2303.09207#Q4Y4 (statement). In 9DQKY7KGE8/e1, proposition 6.36

History

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

N98J7VPGDA N98J7VPGDA

URI	`m2://inv/N98J7VPGDA`
Kind	statement
Layer	research
MSC	20-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 2609.25151#1RGE (statement)

History

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

Reduced cost N98VWYMRQT

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

Mentions

wikipedia: Wikipedia Reduced cost, Reduced cost (definition). Also Wikidata Q7306321

History

2026-11-02: add by m2/dev

N99EFKXS07 N99EFKXS07

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

Mentions

arxiv: arXiv 2610.07718#F2A4 (statement). In CEKW9CNVVW/e1, corollary 7.6

History

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

N99RFNM0J1 N99RFNM0J1

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

Mentions

arxiv: arXiv 0809.4587#89GM (statement). In KQ8JPHDKKE/e1, lemma 9.7.17

History

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

Guarded logic N99RYTTPRF

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

Mentions

wikipedia: Wikipedia Guarded logic, Guarded logic (definition). Also Wikidata Q5614006

History

2026-11-02: add by m2/dev

N99W9YDQGW N99W9YDQGW

URI	`m2://inv/N99W9YDQGW`
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.20466#9SKJ (statement). In M4ZVJWM8YA/e1, lemma 5.23

History

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

N99XGFW1XR N99XGFW1XR

URI	`m2://inv/N99XGFW1XR`
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.06724#6FWY (statement). In W5XG3PGVF1/e1, corollary C.19

History

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

Generalized entropy index N9A8SRCRYR

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

Mentions

wikipedia: Wikipedia List of statistics articles#QFYH, Generalized entropy index (definition)

History

2026-11-02: add by m2/dev

N9AFAFXE8D N9AFAFXE8D

URI	`m2://inv/N9AFAFXE8D`
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.25291#PGF4 (definition)

History

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

Picard–Vessiot theory N9AQYRHQAY

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#ULIA, Picard–Vessiot theory (definition)

History

2026-11-02: add by m2/dev

Binary decision diagram N9AZ0JWHJR

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

Mentions

wikipedia: Wikipedia List of graphical methods#V3FH, Binary decision diagram (definition)

History

2026-11-02: add by m2/dev

The adjunction formula N9B5Z2B593

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

Mentions

wikipedia: Wikipedia Canonical bundle#DDIK, The adjunction formula (statement)

History

2026-11-02: add by m2/dev

N9BBV1H0EM N9BBV1H0EM

URI	`m2://inv/N9BBV1H0EM`
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.32977#TN2X (statement). In 4KT9TK3MG4/e1, theorem F.5

History

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

Approximation in heterogeneous direct-sum families N9BF2GTS05

URI	`m2://inv/N9BF2GTS05`
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.21523#M101, Approximation in heterogeneous direct-sum families (statement)

History

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

Lanchester's linear law N9BKQ61WK9

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

Mentions

wikipedia: Wikipedia Lanchester's laws#J14J, Lanchester's linear law (statement)

History

2026-11-02: add by m2/dev

Jan Willem van Holten N9BVE585AH

URI	`m2://inv/N9BVE585AH`
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 Q77086471, Jan Willem van Holten (unknown). Also nLab Jan-Willem van Holten

History

2026-10-26: add by m2/dev

Second proof N9C48RS6DN

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

Mentions

hott_book: hott_book basics.tex#proof-16, Second proof (proof). In N54F33XE07, proof, section 1.3

History

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

Shoenfield's absoluteness theorem N9CB0X1AE4

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

Mentions

wikipedia: Wikipedia Absoluteness (logic)#KMY1, Shoenfield's absoluteness theorem (statement)

History

2026-11-02: add by m2/dev

N9CHS990CX N9CHS990CX

URI	`m2://inv/N9CHS990CX`
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.02484#IMDO (statement). In D1V0MQZTFQ/e1, corollary 4.4

History

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

Exact polynomial form N9CQJNVHRA

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

Mentions

arxiv: arXiv 2610.03912#C32M, Exact polynomial form (statement). In RJ553C7NJM/e1, proposition 2.2

History

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

Equivalent definitions N9D2XMHWMS

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

Mentions

wikipedia: Wikipedia Prime ring#5PMG, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

N9D5VDSMNQ N9D5VDSMNQ

URI	`m2://inv/N9D5VDSMNQ`
Kind	problem
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.12238#7I41 (problem). In E31CZYM2H8/e1, problem Question

History

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

John Renshaw Carson N9D7D6ACQW

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4UTK, John Renshaw Carson (unknown)

History

2026-11-02: add by m2/dev

Open Problems in Mathematics N9DM0539DG

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

Mentions

wikipedia: Wikipedia Open Problems in Mathematics, Open Problems in Mathematics (conjecture). Also Wikidata Q28859234

History

2026-11-02: add by m2/dev

Chiliagon N9DVG1YGSN

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#BYZ7, Chiliagon (definition)

History

2026-11-02: add by m2/dev

N9DWBSBQT5 N9DWBSBQT5

URI	`m2://inv/N9DWBSBQT5`
Kind	statement
Layer	research
MSC	05-XX, 13-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 2610.17441#IVS1 (statement). In 9Q8S0NWHP2/e1, theorem 5.1

History

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

N9DYNKWEXM N9DYNKWEXM

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

Mentions

arxiv: arXiv 2111.14699#WR3C (statement). In ES1CVGG59Y/e1, lemma 5.9

History

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

N9E11Z3MGK N9E11Z3MGK

URI	`m2://inv/N9E11Z3MGK`
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.39531#GXUR (statement). In SN9RSTHQ07/e1, proposition C.1

History

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

N9E44P3NFN N9E44P3NFN

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

Mentions

arxiv: arXiv 2510.01873#DWPG (statement). In FVZZDPEYNM/e1, theorem 1.3

History

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

Ordinary generating function N9EBBYQY9J

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

Mentions

wikipedia: Wikipedia Generating function#YBC7, Ordinary generating function (unknown)

History

2026-11-02: add by m2/dev

Von Neumann's trace inequality and related results N9EM9WKEEX

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

Mentions

wikipedia: Wikipedia Trace inequality#OFZA, Von Neumann's trace inequality and related results (statement)

History

2026-11-02: add by m2/dev

Daniel Revuz N9EPX611WX

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

Mentions

wikipedia: Wikipedia Daniel Revuz, Daniel Revuz (topic). Also Wikidata Q36951458

History

2026-11-02: add by m2/dev

N9F071ER6Z N9F071ER6Z

URI	`m2://inv/N9F071ER6Z`
Kind	statement
Layer	research
MSC	05-XX, 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 2608.17785#HCTS (statement). In H3FDP8S1Z7/e1, theorem 3.6

History

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

vary along a path constructor N9FATPXH29

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

Mentions

hott_book: hott_book index/5.2/vary-along-a-path-constructor, vary along a path constructor (concept). In N54F33XE07, index, section 5.2

History

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

N9FPH3X475 N9FPH3X475

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

Mentions

applied_combinatorics: applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 14

History

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

N9FPQDZJM2 N9FPQDZJM2

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

Mentions

arxiv: arXiv 2609.23004#RH5R (statement)

History

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

Sub-exponential property of $\tilde{V}_i$ N9FQC1MJY6

URI	`m2://inv/N9FQC1MJY6`
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.10840#H3ET, Sub-exponential property of $\tilde{V}_i$ (statement). In JSJQEPY71E/e1, lemma 3.7

History

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

Theorem N9FW7YSYMC

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

Mentions

wikipedia: Wikipedia Ekeland's variational principle#2EC1, Theorem (statement)

History

2026-11-02: add by m2/dev

N9FWDGCG00 N9FWDGCG00

URI	`m2://inv/N9FWDGCG00`
Kind	statement
Layer	research
MSC	51-XX, 52-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.01087#WSRB (statement). In 7QXAZXGNPQ/e1, lemma 3.5

History

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

Brook Taylor N9G08FM2PM

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

Mentions

wikipedia: Wikipedia List of calculus topics#3MMG, Brook Taylor (topic)
wikipedia: Wikipedia List of complex analysis topics#V1U9, Brook Taylor (topic)

History

2026-11-02: add by m2/dev

trigonal trapezohedron N9GJ3VDAWV

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

Mentions

wikidata: Wikidata Q3100536, trigonal trapezohedron (object). Also MathWorld TrigonalTrapezohedron
wikipedia: Wikipedia Trigonal trapezohedron, Trigonal trapezohedron (object). Also Wikidata Q3100536

History

2026-10-26: add by m2/dev

Definition N9GK6462QB

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

Mentions

wikipedia: Wikipedia McKay graph#GT0Z, Definition (definition)

History

2026-11-02: add by m2/dev

Plastic flow N9GM7FEFBS

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

Mentions

wikipedia: Wikipedia Plasticity (physics)#Z2D9, Plastic flow (unknown)

History

2026-11-02: add by m2/dev

operad N9GTHJHKKZ

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

Mentions

wikidata: Wikidata Q842072, operad (unknown). Also MathWorld Operad, nLab operad
wikipedia: Wikipedia Operad, Operad (definition). Also Wikidata Q842072

History

2026-10-26: add by m2/dev

Matched posterior ordering yields ML decoding N9GXC3YC7W

URI	`m2://inv/N9GXC3YC7W`
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.29688#2B4E, Matched posterior ordering yields ML decoding (statement)

History

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

Notation N9GYCT3D32

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

Mentions

wikipedia: Wikipedia Time series#79IM, Notation (definition)

History

2026-11-02: add by m2/dev

N9H537B2C7 N9H537B2C7

URI	`m2://inv/N9H537B2C7`
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.20391#L1SV (statement). In CTAS41TRM2/e1, lemma 7.14

History

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

William Mitchinson Hicks N9H5AS8MVW

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

Mentions

wikipedia: Wikipedia William Mitchinson Hicks, William Mitchinson Hicks (topic). Also Wikidata Q8015694

History

2026-11-02: add by m2/dev

N9H5EK0NNN N9H5EK0NNN

URI	`m2://inv/N9H5EK0NNN`
Kind	example
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 2603.26376#4HK2 (example). In PJAT9YDX7Y/e1, example 4.10

History

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

N9H5TA8W6D N9H5TA8W6D

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

Mentions

arxiv: arXiv 2610.05299#VNZZ (definition). In 68AE571S4P/e1, definition 2.2

History

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

N9H9P55GMB N9H9P55GMB

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

Mentions

arxiv: arXiv 2610.04870#MU6N (statement). In X765ZXXVC3/e1, proposition 4.33

History

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

N9HDM0Y4R1 N9HDM0Y4R1

URI	`m2://inv/N9HDM0Y4R1`
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.39274#EICK (statement). In HVC7RVEM6V/e1, theorem 4

History

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

Tetrabiblos N9HHSPGSA1

URI	`m2://inv/N9HHSPGSA1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1879027, Tetrabiblos (unknown). Also ProofWiki Book:Claudius_Ptolemy/Apotelesmatika

History

2026-10-26: add by m2/dev

Helmut Grunsky N9HJH22B5S

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

Mentions

wikipedia: Wikipedia List of cryptographers#XN3R, Helmut Grunsky (topic)

History

2026-11-02: add by m2/dev

Political discourse N9HJSFZ1JG

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

Mentions

wikipedia: Wikipedia Discourse analysis#4B7N, Political discourse (unknown)

History

2026-11-02: add by m2/dev

vector N9HNHMXJXN

URI	`m2://inv/N9HNHMXJXN`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Euclidean vector 0QN3D80AWP

Mentions

wikidata: Wikidata Q13471665, vector (unknown). Also MathWorld Vector, nLab vector
wikidata: Wikidata Q44528, Euclidean vector (unknown). Also EoM vector, MathWorld Vector
wikipedia: Wikipedia Vector (mathematics and physics), Vector (definition). Also Wikidata Q13471665
wikipedia: Wikipedia Euclidean vector, Euclidean vector (definition). Also Wikidata Q44528

History

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

Twisted cubic N9HQ9HJBY2

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

Mentions

wikipedia: Wikipedia Twisted cubic, Twisted cubic (definition). Also Wikidata Q7858555

History

2026-11-02: add by m2/dev

N9HW0M884S N9HW0M884S

URI	`m2://inv/N9HW0M884S`
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.30663#6E08 (statement). In 3JZDKWS8NK/e1, lemma 8.4

History

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

N9J9X8DYD9 N9J9X8DYD9

URI	`m2://inv/N9J9X8DYD9`
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 2510.02019#9Q6B (statement). In PD607VXPY3/e1, lemma 31

History

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

Lefschetz's fixed-point theorem N9JE5SYCRW

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

Mentions

wikipedia: Wikipedia Barycentric subdivision#FDOZ, Lefschetz's fixed-point theorem (statement)

History

2026-11-02: add by m2/dev

N9JG5C171P N9JG5C171P

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

Mentions

napkin: napkin tex/homology/cup-product.tex#proof-3 (proof). In RZP28ERRZV, proof, section 52.4

History

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

Simple example N9JJEG3M8Z

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

Mentions

wikipedia: Wikipedia Circular reference#BXE1, Simple example (example)

History

2026-11-02: add by m2/dev

Paul Lévy N9JJG3C9VS

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#PIPS, Paul Lévy (topic)

History

2026-11-02: add by m2/dev

N9JJR95DBE N9JJR95DBE

URI	`m2://inv/N9JJR95DBE`
Kind	statement
Layer	research
MSC	17-XX, 19-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 2504.00596#QNZ7 (statement). In F8RC6AENB0/e1, lemma 5.7

History

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

N9JPX8W23D N9JPX8W23D

URI	`m2://inv/N9JPX8W23D`
Kind	statement
Layer	research
MSC	05-XX, 13-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 2610.17441#17L1 (statement). In 9Q8S0NWHP2/e1, lemma 2.3

History

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

N9JQYC3NJ7 N9JQYC3NJ7

URI	`m2://inv/N9JQYC3NJ7`
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.22002#JL71 (definition). In JTND2BM263/e1, definition 1.3

History

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

N9JRCSPPRA N9JRCSPPRA

URI	`m2://inv/N9JRCSPPRA`
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.30113#SGSX (statement)

History

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

N9JVRZGXT9 N9JVRZGXT9

URI	`m2://inv/N9JVRZGXT9`
Kind	statement
Layer	research
MSC	03-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.05986#VB2Z (statement). In N5ZM8MXJXH/e1, fact 5.9

History

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

Restriction of an ambient symmetry N9JX7BMHPA

URI	`m2://inv/N9JX7BMHPA`
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 2609.25987#HY4T, Restriction of an ambient symmetry (example)

History

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

Separation of observations N9K42BPP55

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

Mentions

arxiv: arXiv 2610.16989#R6FO, Separation of observations (statement). In 4769XNDWYS/e1, lemma 3.6

History

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

Alexander Mathis N9KA1GXBBD

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

Mentions

wikipedia: Wikipedia Alexander Mathis, Alexander Mathis (topic). Also Wikidata Q57986080

History

2026-11-02: add by m2/dev

N9KR6F43QR N9KR6F43QR

URI	`m2://inv/N9KR6F43QR`
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.27157#2248 (statement)

History

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

Theorem N9KXZ85XT5

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#5OWZ, Theorem (statement)

History

2026-11-02: add by m2/dev

pentacontagon N9M0B0KRRX

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

Mentions

wikidata: Wikidata Q1898067, pentacontagon (unknown). Also MathWorld Pentacontagon

History

2026-10-26: add by m2/dev

Mordell–Weil theorem N9M37MPH9E

URI	`m2://inv/N9M37MPH9E`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	Mordell–Weil theorem MXRCPAH09H

Mentions

mathlib_1000: mathlib_1000 Q284960, Mordell–Weil theorem (statement). Also Wikidata Q284960
thousand_plus: thousand_plus Q284960, Mordell–Weil theorem (statement). Also Wikidata Q284960, Wikipedia Mordell–Weil theorem
wikidata: Wikidata Q284960, Mordell–Weil theorem (statement). Also LMFDB knowl ec.mordell_weil_theorem, MathWorld Mordell-WeilTheorem
wikipedia: Wikipedia Mordell–Weil theorem, Mordell–Weil theorem (statement). Also Wikidata Q284960

History

2026-10-26: add by m2/dev

Clarence Lemuel Elisha Moore N9M3MPPYNB

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

Mentions

wikipedia: Wikipedia Clarence Lemuel Elisha Moore, Clarence Lemuel Elisha Moore (topic). Also Wikidata Q16029941

History

2026-11-02: add by m2/dev

N9M9APM4E7 N9M9APM4E7

URI	`m2://inv/N9M9APM4E7`
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 2609.36622#5A2B (definition). In 9704QPRPR6/e1, definition 3.17

History

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

N9MDPS7TVH N9MDPS7TVH

URI	`m2://inv/N9MDPS7TVH`
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.04876#QEGY (statement). In 2TNAKVC0YP/e1, lemma 4.6

History

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

N9MDXY6C3Z N9MDXY6C3Z

URI	`m2://inv/N9MDXY6C3Z`
Kind	problem
Layer	research
MSC	20-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.40290#LPI3 (problem). In 4K1CNBYJHF/e1, problem 7.2

History

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

N9ME719RFY N9ME719RFY

URI	`m2://inv/N9ME719RFY`
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.31102#5FQO (statement). In 7CADATJMAA/e1, proposition D.2

History

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

N9MFPQ9M9R N9MFPQ9M9R

URI	`m2://inv/N9MFPQ9M9R`
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.36377#C1R9 (statement). In M98F6VRPZ2/e1, lemma 3.3

History

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

N9MFVDTH6Y N9MFVDTH6Y

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

Mentions

active_calculus: active_calculus source/activities/act-2-6-2.xml#act-2-6-2 (exercise). In 907G4C4EJ1, activity, section 2.6.4

History

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

N9MHJADQR1 N9MHJADQR1

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#prop-3 (statement). In E59CDZA4DP, prop, section 9.2.4

History

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

Lower bound under trial heterogeneity N9MPV5X78Z

URI	`m2://inv/N9MPV5X78Z`
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.04135#W957, Lower bound under trial heterogeneity (statement). In 587PWJ6W5D/e1, theorem 5

History

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

Adolph Yushkevich N9MV6ENHFM

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#VS2G, Adolph Yushkevich (unknown)

History

2026-11-02: add by m2/dev

N9MW5X9GC6 N9MW5X9GC6

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

Mentions

arxiv: arXiv 2610.03619#RISZ (statement). In 7SRERSS1PF/e1, theorem F

History

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

4900 N9MWF2TQJP

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

Mentions

wikipedia: Wikipedia 4000 (number)#ZZ2V, 4900 (unknown)

History

2026-11-02: add by m2/dev

Elasticity of order $j$ N9MY9BCXXR

URI	`m2://inv/N9MY9BCXXR`
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.17479#0FNA, Elasticity of order $j$ (statement). In 4FWAY748N7/e1, lemma 4.6

History

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

requires \sectionref{sec:moreonseries} N9MZEQEGDB

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-31, requires \sectionref{sec:moreonseries} (exercise). In E59CDZA4DP, exercise, section 9.2.5

History

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

N9N1C93N9J N9N1C93N9J

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

Mentions

arxiv: arXiv 2410.18564#3UNP (statement). In MC8ZBZ14PM/e1, theorem 6.4

History

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

Lambda calculus definition N9N1NDMKDJ

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

Mentions

wikipedia: Wikipedia Lambda calculus definition, Lambda calculus definition (definition). Also Wikidata Q25303700

History

2026-11-02: add by m2/dev

Properties N9N3N0HSJJ

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

Mentions

wikipedia: Wikipedia Simultaneous eating algorithm#S6CU, Properties (statement)

History

2026-11-02: add by m2/dev

N9N6CKTKDE N9N6CKTKDE

URI	`m2://inv/N9N6CKTKDE`
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.01354#BT2M (statement). In BWD76W20W8/e1, lemma 4.2

History

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

N9N9NRDZ1T N9N9NRDZ1T

URI	`m2://inv/N9N9NRDZ1T`
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 2610.10230#AV9H (definition). In YS75517SF7/e1, definition 3.1

History

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

Self-reference N9NDMSK621

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

Mentions

wikipedia: Wikipedia Self-reference, Self-reference (definition). Also Wikidata Q1129622

History

2026-11-02: add by m2/dev

Normalized number N9NHAA0173

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

Mentions

wikipedia: Wikipedia Normalized number, Normalized number (definition). Also Wikidata Q3889188

History

2026-11-02: add by m2/dev

Examples N9NHMP8Z3W

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

Mentions

wikipedia: Wikipedia Hall subgroup#CQJI, Examples (example)

History

2026-11-02: add by m2/dev

Likelihood equations N9NQE7MBWT

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

Mentions

wikipedia: Wikipedia Likelihood function#CS6O, Likelihood equations (unknown)

History

2026-11-02: add by m2/dev

N9NXNTG11V N9NXNTG11V

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

Mentions

arxiv: arXiv 2511.06555#6QA3 (statement). In 5GDDS20Q3D/e1, theorem 3.3

History

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

K-means clustering N9NYY5WP74

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

Mentions

wikipedia: Wikipedia K-means clustering, K-means clustering (definition). Also Wikidata Q310401

History

2026-11-02: add by m2/dev

Definition N9P0C8K1Q8

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

Mentions

wikipedia: Wikipedia Cylindrical harmonics#S4IG, Definition (definition)

History

2026-11-02: add by m2/dev

Law of total covariance N9P6F0Z1YY

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

Mentions

wikipedia: Wikipedia Law of total covariance, Law of total covariance (statement). Also Wikidata Q6503511

History

2026-11-02: add by m2/dev

Rectified 6-simplex N9PE78944X

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

Mentions

wikipedia: Wikipedia Rectified 6-simplexes#25SH, Rectified 6-simplex (unknown)

History

2026-11-02: add by m2/dev

Example N9PHJ7EWTN

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

Mentions

wikipedia: Wikipedia Fractal string#CL53, Example (example)

History

2026-11-02: add by m2/dev

N9PMCV182A N9PMCV182A

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

Mentions

arxiv: arXiv 1904.09810#FT0K (statement). In T1VFA7TXPA/e1, theorem 66

History

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

Γ-convergence N9PQBVBYPP

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

Mentions

wikipedia: Wikipedia Γ-convergence, Γ-convergence (definition). Also Wikidata Q278549

History

2026-11-02: add by m2/dev

N9PRCPK98S N9PRCPK98S

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#example-18 (example). In E59CDZA4DP, example, section 10.5.5

History

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

Wenxian Shen N9PZJK7RE6

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

Mentions

wikipedia: Wikipedia Wenxian Shen, Wenxian Shen (topic). Also Wikidata Q102173265

History

2026-11-02: add by m2/dev

N9Q3ZNARR9 N9Q3ZNARR9

URI	`m2://inv/N9Q3ZNARR9`
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 2506.09840#NENP (statement). In Y7TWHSF2HC/e1, proposition 2.4

History

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

N9QBA0WE87 N9QBA0WE87

URI	`m2://inv/N9QBA0WE87`
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.10086#P41K (statement). In NP9X9CAK19/e1, lemma 4.4

History

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

Example N9QSZZMQKZ

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

Mentions

wikipedia: Wikipedia XOR cipher#YP38, Example (example)

History

2026-11-02: add by m2/dev

Maryam Mirzakhani New Frontiers Prize N9R2NBYNAX

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

Mentions

wikipedia: Wikipedia Breakthrough Prize in Mathematics#JBUN, Maryam Mirzakhani New Frontiers Prize (unknown)

History

2026-11-02: add by m2/dev

N9R77DZC8Y N9R77DZC8Y

URI	`m2://inv/N9R77DZC8Y`
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.01753#F3HZ (statement). In JY50YXMH5N/e1, proposition 13

History

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

Properties N9RM90EGJ4

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

Mentions

wikipedia: Wikipedia Contraharmonic mean#2OXA, Properties (statement)

History

2026-11-02: add by m2/dev

Minkowski inequality N9RPN9DZC0

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#0WU6, Minkowski inequality (statement)
wikipedia: Wikipedia List of real analysis topics#I86L, Minkowski inequality (statement)

History

2026-11-02: add by m2/dev

apex graph N9RVT0ZBAD

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

Mentions

wikidata: Wikidata Q4779442, apex graph (unknown). Also MathWorld ApexGraph
wikipedia: Wikipedia Apex graph, Apex graph (definition). Also Wikidata Q4779442

History

2026-10-26: add by m2/dev

Hall's theorem N9RVV0H1VE

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

Mentions

wikipedia: Wikipedia Hall subgroup#5BQ8, Hall's theorem (statement)

History

2026-11-02: add by m2/dev

analogy N9S0R02FMC

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

Mentions

wikidata: Wikidata Q185816, analogy (unknown). Also MathWorld Analogy, nLab analogy
wikipedia: Wikipedia Analogy, Analogy (definition). Also Wikidata Q185816

History

2026-10-26: add by m2/dev

Ricci calculus N9S1E7GW3J

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

Mentions

wikipedia: Wikipedia Ricci calculus, Ricci calculus (definition). Also Wikidata Q7322955

History

2026-11-02: add by m2/dev

Pierre Schapira N9S26VKMHJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9267, Pierre Schapira (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RKPC, Pierre Schapira (topic)

History

2026-11-02: add by m2/dev

Reduction to $\eta$ optimization N9S6TEAN8Q

URI	`m2://inv/N9S6TEAN8Q`
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.17579#94KY, Reduction to $\eta$ optimization (statement). In 1H021CTR3A/e1, theorem 1

History

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

Cartan matrix N9S8AAZFXA

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

Mentions

wikipedia: Wikipedia List of things named after Élie Cartan#IZ01, Cartan matrix (definition)

History

2026-11-02: add by m2/dev

A nested recurrence N9SG1VYYYM

URI	`m2://inv/N9SG1VYYYM`
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.03811#62I1, A nested recurrence (statement). In DHQWFJW02X/e1, proposition A.1

History

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

independent, event N9SGKWJN28

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

Mentions

applied_combinatorics: applied_combinatorics index/10.2.1/independent-event, independent, event (concept). In QKM9DD2H56, index, section 10.2.1

History

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

N9SJDN0PNQ N9SJDN0PNQ

URI	`m2://inv/N9SJDN0PNQ`
Kind	statement
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 2609.33512#QAXP (statement). In WYHZMYZT31/e1, proposition 3.8

History

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

Simple point N9SJJAZBK7

URI	`m2://inv/N9SJJAZBK7`
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.15088#DE6N, Simple point (definition). In 2BRTT5ZFC6/e1, definition 1.1

History

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

N9STSJECKB N9STSJECKB

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_intro-intro.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 1.1

History

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

S. I. Adjan N9T14X5QAW

URI	`m2://inv/N9T14X5QAW`
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#BSH7, S. I. Adjan (topic)

History

2026-11-02: add by m2/dev

Parallel axis theorem N9T5DZ7WYJ

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

Mentions

wikipedia: Wikipedia Second moment of area#KSXG, Parallel axis theorem (statement)

History

2026-11-02: add by m2/dev

{Theorem 4.18}, {Corollary 6.6(2 N9TARN2QM3

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

Mentions

arxiv: arXiv 2609.27518#L9DB, *{Theorem 4.18}, *{Corollary 6.6(2 (statement)

History

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

set of rational numbers N9TD23BEE3

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

Mentions

wikidata: Wikidata Q47005650, set of rational numbers (unknown). Also MathWorld Q, MathWorld Rationals

History

2026-10-26: add by m2/dev

N9TVF0YQZB N9TVF0YQZB

URI	`m2://inv/N9TVF0YQZB`
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.08362#ONI8 (statement). In 7JHAD30NBB/e1, theorem 1.1

History

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

Fundamental theorems N9TXDX7M7K

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

Mentions

wikipedia: Wikipedia Morse theory#16R4, Fundamental theorems (statement)

History

2026-11-02: add by m2/dev

N9TXP1WDY9 N9TXP1WDY9

URI	`m2://inv/N9TXP1WDY9`
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.38659#8JTT (statement). In DCJ23ZYXGK/e1, lemma C.1

History

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

Cantor's isomorphism theorem N9TZKHGT7Q

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

Mentions

wikipedia: Wikipedia List of theorems#B0GK, Cantor's isomorphism theorem (statement)

History

2026-11-02: add by m2/dev

N9V0VQ06SE N9V0VQ06SE

URI	`m2://inv/N9V0VQ06SE`
Kind	definition
Layer	research
MSC	17-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.20558#8GOG (definition). In 46370P3Y9S/e1, definition 2.4

History

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

N9V1KJWBYT N9V1KJWBYT

URI	`m2://inv/N9V1KJWBYT`
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.37739#UTL5 (statement). In F5XF5VXTXY/e1, lemma 6.3

History

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

Stationary comparison N9V55JHM8D

URI	`m2://inv/N9V55JHM8D`
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.34202#AGRT, Stationary comparison (statement). In 57CRGWHT13/e1, proposition

History

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

N9VB11JCQ7 N9VB11JCQ7

URI	`m2://inv/N9VB11JCQ7`
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.32614#9TO5 (statement). In SG8GT73ZNH/e1, theorem 1.8

History

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

N9VPM5H8CE N9VPM5H8CE

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

Mentions

arxiv: arXiv 2212.00617#X1QE (statement). In K7505G10SS/e1, proposition 4.7

History

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

Example N9VS8AQFRK

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

Mentions

wikipedia: Wikipedia Softmax function#3BM6, Example (example)

History

2026-11-02: add by m2/dev

N9VV869FNR N9VV869FNR

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

Mentions

arxiv: arXiv 2610.12619#YTPI (statement). In 7F8KACT5AJ/e1, lemma 4.1

History

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

Titchmarsh convolution theorem N9VZ5PSWVG

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

Mentions

wikipedia: Wikipedia List of theorems#9F4U, Titchmarsh convolution theorem (statement)

History

2026-11-02: add by m2/dev

Statement of the theorem N9W0PYR7EM

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

Mentions

wikipedia: Wikipedia Eilenberg–Zilber theorem#I68E, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Properties N9W2RBC22Q

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

Mentions

wikipedia: Wikipedia Operator norm#U1W8, Properties (statement)

History

2026-11-02: add by m2/dev

Stromquist–Woodall theorem N9WEM0BSGC

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

Mentions

wikipedia: Wikipedia Stromquist–Woodall theorem, Stromquist–Woodall theorem (statement). Also Wikidata Q85803783

History

2026-11-02: add by m2/dev

RSA-180 N9WMV6GKM5

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

Mentions

wikipedia: Wikipedia RSA numbers#Z9LM, RSA-180 (unknown)

History

2026-11-02: add by m2/dev

N9WN8JB121 N9WN8JB121

URI	`m2://inv/N9WN8JB121`
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.21934#IH6M (statement). In YKD51BX3XB/e1, lemma 9.3

History

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

N9WZH94JXK N9WZH94JXK

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

Mentions

arxiv: arXiv 2610.14204#O6AU (statement). In GZAY1Y12YD/e1, theorem A

History

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

N9XBKKDQJP N9XBKKDQJP

URI	`m2://inv/N9XBKKDQJP`
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#Q8PF (definition). In VJTRH1S4JA/e1, definition 4.4

History

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

Definition N9XBR0QJ68

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

Mentions

wikipedia: Wikipedia Herbrand structure#WQ4C, Definition (definition)

History

2026-11-02: add by m2/dev

Superposition of intersection regions N9XDWM28BN

URI	`m2://inv/N9XDWM28BN`
Kind	statement
Layer	research
MSC	35-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 2609.31294#JZVB, Superposition of intersection regions (statement). In 6GK9EJMWY4/e1, corollary 4.2

History

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

Separable algebraic closure N9XH2KVT3J

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

Mentions

wikipedia: Wikipedia Algebraic closure#ZU8A, Separable algebraic closure (unknown)

History

2026-11-02: add by m2/dev

N9XJ5JGQ6Z N9XJ5JGQ6Z

URI	`m2://inv/N9XJ5JGQ6Z`
Kind	statement
Layer	research
MSC	05-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 2411.00562#IQ41 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm

History

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

Use in proving Gödel's incompleteness theorems N9XQ2EVASM

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

Mentions

wikipedia: Wikipedia Hilbert–Bernays–Löb provability conditions#UVD1, Use in proving Gödel's incompleteness theorems (statement)

History

2026-11-02: add by m2/dev

N9XS75EHC0 N9XS75EHC0

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 30.1

History

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

John F. Hughes N9XVD3EJ35

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#E2T4, John F. Hughes (unknown)

History

2026-11-02: add by m2/dev

Preston, Samuel H. N9Y4HD7RP8

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

Mentions

wikipedia: Wikipedia List of statisticians#XK4T, Preston, Samuel H. (unknown)

History

2026-11-02: add by m2/dev

N9YA5DKJCX N9YA5DKJCX

URI	`m2://inv/N9YA5DKJCX`
Kind	definition
Layer	research
MSC	37-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 2510.05499#P3KR (definition). In WRMNCC8VBC/e1, definition 6

History

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

Wu–Yang dictionary N9YDRFA6WF

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

Mentions

wikipedia: Wikipedia Wu–Yang dictionary, Wu–Yang dictionary (definition). Also Wikidata Q117312693

History

2026-11-02: add by m2/dev

Invertible Bloom filter N9YTYNF6MP

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

Mentions

wikipedia: Wikipedia Counting Bloom filter#K29T, Invertible Bloom filter (unknown)

History

2026-11-02: add by m2/dev

N9YW2SPXJ7 N9YW2SPXJ7

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

Mentions

arxiv: arXiv 2610.18620#KJQQ (statement). In 6WJ0R9YEBR/e1, lemma 6.12

History

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

Definition N9YWEGK82M

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

Mentions

wikipedia: Wikipedia Coequalizer#SKC6, Definition (definition)

History

2026-11-02: add by m2/dev

induction principle, for accessibility N9YY7ZT518

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

Mentions

hott_book: hott_book index/C.3/induction-principle-for-accessibility, induction principle, for accessibility (concept). In N54F33XE07, index, section C.3

History

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

N9YZYYEM6S N9YZYYEM6S

URI	`m2://inv/N9YZYYEM6S`
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.33108#HQ1G (statement). In 5JK5N2RRMS/e1, lemma 2.4

History

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

Short endpoint windows under ridge regularization N9Z1PXDKMC

URI	`m2://inv/N9Z1PXDKMC`
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.12271#UWGD, Short endpoint windows under ridge regularization (statement). In WGCET6KSQ7/e1, lemma 39

History

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

Semicontinuous function N9ZH08723Y

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

Mentions

wikipedia: Wikipedia List of types of functions#C49X, Semicontinuous function (definition)

History

2026-11-02: add by m2/dev

Linear dependence cannot be removed N9ZH5XN7X8

URI	`m2://inv/N9ZH5XN7X8`
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.40077#T9GW, Linear dependence cannot be removed (statement). In F0HMNYB8WB/e1, proposition 4.2

History

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

Graded abelian group N9ZHA6AXM8

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

Mentions

wikipedia: Wikipedia Graded ring#D6UP, Graded abelian group (unknown)

History

2026-11-02: add by m2/dev

Calculus of moving surfaces N9ZN05FFPS

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

Mentions

wikipedia: Wikipedia Calculus of moving surfaces, Calculus of moving surfaces (definition). Also Wikidata Q5018897

History

2026-11-02: add by m2/dev