Inventory rows GC

Coefficient estimate GC02JY25QP

URI	`m2://inv/GC02JY25QP`
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.24185#7W2L, Coefficient estimate (statement)

History

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

GC09VAHWBM GC09VAHWBM

URI	`m2://inv/GC09VAHWBM`
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.31537#MFQJ (statement). In MNYPK3W135/e1, lemma 4.2

History

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

Clinical endpoint GC0EPGZSEM

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

Mentions

wikipedia: Wikipedia Clinical endpoint, Clinical endpoint (definition). Also Wikidata Q1340863

History

2026-11-02: add by m2/dev

GC0JH0WGQ6 GC0JH0WGQ6

URI	`m2://inv/GC0JH0WGQ6`
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.30165#UD93 (statement)

History

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

GC0PJA5RTQ GC0PJA5RTQ

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

Mentions

arxiv: arXiv math/0003117#ON9W (definition). In WD2NCBV9F0/e1, definition 6.1

History

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

BusKill GC10CAB1A4

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

Mentions

wikipedia: Wikipedia BusKill, BusKill (definition). Also Wikidata Q115821131

History

2026-11-02: add by m2/dev

Michael Fourman GC10TK5RMY

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

Mentions

wikipedia: Wikipedia List of logicians#IWST, Michael Fourman (topic)

History

2026-11-02: add by m2/dev

GC11Y949C1 GC11Y949C1

URI	`m2://inv/GC11Y949C1`
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#CTLO (statement). In CY1FE8W1ZW/e1, lemma 0.103

History

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

GC16G2RP9F GC16G2RP9F

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-11 (proof). In E59CDZA4DP, proof, section 4.2.3

History

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

GC176ETCK8 GC176ETCK8

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

Mentions

arxiv: arXiv 2610.17261#81FO (problem). In XEZ1VBVC1G/e1, problem 3

History

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

central trinomial coefficient GC17B174QJ

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

Mentions

wikidata: Wikidata Q123472233, central trinomial coefficient (unknown). Also MathWorld CentralTrinomialCoefficient, OEIS A002426

History

2026-10-26: add by m2/dev

GC19F2XMA5 GC19F2XMA5

URI	`m2://inv/GC19F2XMA5`
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 math/0003117#TH1G (statement). In WD2NCBV9F0/e1, theorem 8

History

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

GC19S0XNNT GC19S0XNNT

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

Mentions

arxiv: arXiv 2308.02672#Y9C2 (statement). In ETRT1R1CQ8/e1, theorem 9.3

History

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

GC1A9AE9RN GC1A9AE9RN

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

Mentions

arxiv: arXiv 2610.06719#Y9LX (definition). In CBSA058Y53/e1, definition 2.8

History

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

GC1C88R8N9 GC1C88R8N9

URI	`m2://inv/GC1C88R8N9`
Kind	example
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#U519 (example). In 9DQKY7KGE8/e1, example A.19

History

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

Lemma 1 GC24GXDRHR

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

Mentions

wikipedia: Wikipedia Proof of Bertrand's postulate#W55I, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

Petar Pavešić GC24QEJ6VC

URI	`m2://inv/GC24QEJ6VC`
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 Q48075031, Petar Pavešić (unknown). Also nLab Petar Pavesic

History

2026-10-26: add by m2/dev

common roots GC27XS21SW

URI	`m2://inv/GC27XS21SW`
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.02743#HHDK, common roots (statement). In GQH4ZPDWET/e1, theorem 2.6

History

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

GC2ENP9W4A GC2ENP9W4A

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

Mentions

arxiv: arXiv 2610.17411#6UAB (statement). In 73QW05MWQB/e1, proposition 6.2

History

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

GC2KFCTKEE GC2KFCTKEE

URI	`m2://inv/GC2KFCTKEE`
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 2508.13122#V0HD (statement). In PX2GWH86PN/e1, theorem 2.1

History

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

surfaces GC2NMZVDVQ

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#9A3B, surfaces (definition)

History

2026-11-02: add by m2/dev

GC32N9ZC7Y GC32N9ZC7Y

URI	`m2://inv/GC32N9ZC7Y`
Kind	statement
Layer	research
MSC	46-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 1204.5958#8QMF (statement). In XYCBKM4WKY/e1, lemma 4

History

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

BID/60 GC37ZZTFQN

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

Mentions

wikipedia: Wikipedia BID/60, BID/60 (definition). Also Wikidata Q4835641

History

2026-11-02: add by m2/dev

GC3B5HNC80 GC3B5HNC80

URI	`m2://inv/GC3B5HNC80`
Kind	example
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.25188#OOED (example)

History

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

GC3BVN0KY6 GC3BVN0KY6

URI	`m2://inv/GC3BVN0KY6`
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 2609.20203#E8X7 (statement)

History

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

GC3EPHENDP GC3EPHENDP

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 6.2

History

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

Batch errors GC3FV0YKNC

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

Mentions

arxiv: arXiv 2610.11007#EF88, Batch errors (statement). In MF0H78XZXC/e1, lemma C.10

History

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

Yates's correction for continuity GC3NGTPXP6

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#FV64, Yates's correction for continuity (definition)
wikipedia: Wikipedia List of statistics articles#XP5H, Yates's correction for continuity (definition)

History

2026-11-02: add by m2/dev

difference GC3Q01DVKS

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#D1JG, difference (definition)

History

2026-11-02: add by m2/dev

Comparison at minimal conductors GC3Q7W524R

URI	`m2://inv/GC3Q7W524R`
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.30301#2MPX, Comparison at minimal conductors (statement). In 7NS75J7HAM/e1, proposition 7.16

History

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

Insertional Pseudoentropy GC3ZNBJKZ1

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

Mentions

arxiv: arXiv 2610.14615#PX8C, Insertional Pseudoentropy (definition). In 7D5MMP8XB5/e1, definition 5.3

History

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

Inequality relating means and medians GC4241ZR7V

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

Mentions

wikipedia: Wikipedia Median#7IG7, Inequality relating means and medians (statement)

History

2026-11-02: add by m2/dev

Set theory GC4B5ZBXSH

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#9HXK, Set theory (topic)
wikipedia: Wikipedia List of mathematical logic topics#L1RJ, Set theory (topic)

History

2026-11-02: add by m2/dev

GC4CFK195S GC4CFK195S

URI	`m2://inv/GC4CFK195S`
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.20119#D8XT (statement)

History

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

GC4FCSSF5Z GC4FCSSF5Z

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

Mentions

arxiv: arXiv 2610.11336#0JDW (statement). In X1R1GDAJ0Y/e1, theorem 2.1

History

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

Ledger GC4GE3RPDV

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

Mentions

wikipedia: Wikipedia Ledger (journal), Ledger (topic). Also Wikidata Q28453405

History

2026-11-02: add by m2/dev

kilogram GC4M1PJFDH

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

Mentions

wikidata: Wikidata Q11570, kilogram (definition). Also nLab kilogram, ProofWiki Definition:Metric_System/Mass/Kilogram

History

2026-10-26: add by m2/dev

Sherry Towers GC4QPR8F2C

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

Mentions

wikipedia: Wikipedia Sherry Towers, Sherry Towers (topic). Also Wikidata Q88365620

History

2026-11-02: add by m2/dev

Examples GC4XH5GT0B

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

Mentions

wikipedia: Wikipedia Norm variety#4IFS, Examples (example)

History

2026-11-02: add by m2/dev

Hyperbolic set GC51N8CT2Z

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

Mentions

wikipedia: Wikipedia Hyperbolic set, Hyperbolic set (definition). Also Wikidata Q3042004

History

2026-11-02: add by m2/dev

GC527823M1 GC527823M1

URI	`m2://inv/GC527823M1`
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.20568#A7K0 (statement). In BCD0ATARNZ/e1, theorem 3.9

History

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

First order condition GC52PMB7XE

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#EGJP, First order condition (definition)

History

2026-11-02: add by m2/dev

GC53TYA38C GC53TYA38C

URI	`m2://inv/GC53TYA38C`
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.22237#1NT8 (statement). In 2FWTWMHA2W/e1, proposition 5.1

History

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

GC556AX2DQ GC556AX2DQ

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

Mentions

arxiv: arXiv 2610.10505#OR69 (statement). In JW8HH6EPG2/e1, lemma 3.30

History

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

GC5D2ZNKEZ GC5D2ZNKEZ

URI	`m2://inv/GC5D2ZNKEZ`
Kind	statement
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#6MHA (statement). In X88HPQ0W8C/e1, theorem 3.9

History

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

GC5F9EZP7Q GC5F9EZP7Q

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/soundness-identity.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 15.10

History

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

Provability logic GC5NXGXMD0

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#TU2C, Provability logic (definition)

History

2026-11-02: add by m2/dev

Tahoe-LAFS GC5Y0RDEYE

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

Mentions

wikipedia: Wikipedia Tahoe-LAFS, Tahoe-LAFS (definition). Also Wikidata Q7675605

History

2026-11-02: add by m2/dev

\textbf{Intrinsic forward map GC62B62K90

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

Mentions

arxiv: arXiv 2610.17032#UEV5, \textbf{Intrinsic forward map (definition). In MXPK9A2HK2/e1, definition 2.7

History

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

Sydney Goldstein GC65TC87EE

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

Mentions

wikipedia: Wikipedia Sydney Goldstein, Sydney Goldstein (topic). Also Wikidata Q451685

History

2026-11-02: add by m2/dev

Bjerknes feedback GC669M0594

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

Mentions

wikipedia: Wikipedia El Niño–Southern Oscillation#ZR4J, Bjerknes feedback (unknown)

History

2026-11-02: add by m2/dev

Simion Stoilow Prize GC6DAMPMKA

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

Mentions

wikipedia: Wikipedia Simion Stoilow Prize, Simion Stoilow Prize (definition). Also Wikidata Q7517866

History

2026-11-02: add by m2/dev

Adic completion GC6GP0XAVE

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

Mentions

wikipedia: Wikipedia Completion of a ring#N883, Adic completion (unknown)

History

2026-11-02: add by m2/dev

Quantization error model GC6K35G8JV

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

Mentions

wikipedia: Wikipedia Quantization (signal processing)#D6JU, Quantization error model (unknown)

History

2026-11-02: add by m2/dev

GC6VB0N9QK GC6VB0N9QK

URI	`m2://inv/GC6VB0N9QK`
Kind	definition
Layer	research
MSC	14-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.20801#M63P (definition). In A1GWWGRXPA/e1, definition 6.13

History

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

Stipulative definition GC6Y3D0KVC

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

Mentions

wikipedia: Wikipedia Stipulative definition, Stipulative definition (definition). Also Wikidata Q7617524

History

2026-11-02: add by m2/dev

Extension and realization of the unit models GC71RPNRFW

URI	`m2://inv/GC71RPNRFW`
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.30301#S2Q9, Extension and realization of the unit models (statement). In 7NS75J7HAM/e1, proposition 7.15

History

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

GC7AP9E8JW GC7AP9E8JW

URI	`m2://inv/GC7AP9E8JW`
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.30203#4W3V (statement)

History

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

GC7BGJKGJB GC7BGJKGJB

URI	`m2://inv/GC7BGJKGJB`
Kind	example
Layer	research
MSC	14-XX, 18-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 2609.37520#4MJQ (example). In BDN507RN7J/e1, example 3.5.16

History

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

Properties GC7DPAHCQ3

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

Mentions

wikipedia: Wikipedia Torsion (mechanics)#A0H4, Properties (statement)

History

2026-11-02: add by m2/dev

McDiarmid's inequality GC7M33P2S6

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

Mentions

wikipedia: Wikipedia McDiarmid's inequality, McDiarmid's inequality (statement). Also Wikidata Q113127691

History

2026-11-02: add by m2/dev

Lipschitz-parametrized classes GC7ND0S3Z1

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

Mentions

arxiv: arXiv 2610.15974#O29O, Lipschitz-parametrized classes (statement). In 61ZHQ7BTKP/e1, proposition 2.11

History

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

Boolean projection rounding GC7NHG73FE

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

Mentions

arxiv: arXiv 2610.02407#SC8B, Boolean projection rounding (statement). In ZZER8ZBSCR/e1, lemma B.4

History

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

GC7NHQH3P3 GC7NHQH3P3

URI	`m2://inv/GC7NHQH3P3`
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.19288#GNKE (statement). In 1EA6AM9V01/e1, lemma 3.5

History

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

Robust Regression and Outlier Detection GC7PJ81HAV

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

Mentions

wikipedia: Wikipedia Robust Regression and Outlier Detection, Robust Regression and Outlier Detection (definition). Also Wikidata Q140148218

History

2026-11-02: add by m2/dev

Definition GC7X3CJZ2E

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

Mentions

wikipedia: Wikipedia Bochner space#REM4, Definition (definition)

History

2026-11-02: add by m2/dev

Epimenides paradox GC895BB0YJ

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

Mentions

wikipedia: Wikipedia Glossary of logic#8X84, Epimenides paradox (definition)

History

2026-11-02: add by m2/dev

Mathematical empiricism GC8APMY44F

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

Mentions

wikipedia: Wikipedia Philosophy of mathematics#UYFB, Mathematical empiricism (unknown)

History

2026-11-02: add by m2/dev

Examples GC8CBEWTF2

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

Mentions

wikipedia: Wikipedia Prime ideal#I3H9, Examples (example)

History

2026-11-02: add by m2/dev

GC8KPPJ9C7 GC8KPPJ9C7

URI	`m2://inv/GC8KPPJ9C7`
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#5UV0 (statement). In 587PWJ6W5D/e1, proposition 1

History

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

binary GC93N5WCK2

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#QOJB, binary (definition)

History

2026-11-02: add by m2/dev

Gromov's inequality for complex projective space GC96CG08TP

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#XQCF, Gromov's inequality for complex projective space (statement)
wikipedia: Wikipedia List of inequalities#ZPOO, Gromov's inequality for complex projective space (statement)

History

2026-11-02: add by m2/dev

GC9ECCV2YS GC9ECCV2YS

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

Mentions

arxiv: arXiv 2609.38131#9QHK (statement). In GM3S19KFDH/e1, lemma 2.4

History

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

GC9PXK1TPM GC9PXK1TPM

URI	`m2://inv/GC9PXK1TPM`
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.10372#3JL0 (statement). In P77W283VXT/e1, theorem 3.1

History

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

Hardness of Wyner's common information GC9RCJ1V4T

URI	`m2://inv/GC9RCJ1V4T`
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.15402#TIFC, Hardness of Wyner's common information (statement). In WSE8SEHVXG/e1, theorem 1

History

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

Applications GC9RPNP43G

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

Mentions

wikipedia: Wikipedia Elliptic coordinate system#OFVT, Applications (example)

History

2026-11-02: add by m2/dev

Michael Aschbacher GC9THF1752

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

Mentions

wikipedia: Wikipedia Michael Aschbacher, Michael Aschbacher (topic). Also Wikidata Q1385045

History

2026-11-02: add by m2/dev

spherical angle GC9VTK11T6

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

Mentions

wikidata: Wikidata Q10396171, spherical angle (definition). Also ProofWiki Definition:Spherical_Angle

History

2026-10-26: add by m2/dev

Consistency of the reduced tail data GC9X7D19V7

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

Mentions

arxiv: arXiv 2610.10484#VL01, Consistency of the reduced tail data (statement). In 5B4AX4SF88/e1, lemma 4.9

History

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

GCA1A6Z7F0 GCA1A6Z7F0

URI	`m2://inv/GCA1A6Z7F0`
Kind	statement
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#UAGE (statement). In HX63A1PH1W/e1, proposition 7.24

History

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

GCA2ABP2Q0 GCA2ABP2Q0

URI	`m2://inv/GCA2ABP2Q0`
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.33697#0L5R (statement). In Q6GGQ29TRC/e1, theorem

History

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

GCA7ZAF0R0 GCA7ZAF0R0

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

Mentions

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

History

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

gluings are determined by no finite skeleton GCA8SMJTM8

URI	`m2://inv/GCA8SMJTM8`
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 2609.32733#7T97, gluings are determined by no finite skeleton (statement). In PCAS8S14J6/e1, proposition 5.8

History

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

Definition GCAF1BHS07

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

Mentions

wikipedia: Wikipedia Algebraic number field#9YHF, Definition (definition)

History

2026-11-02: add by m2/dev

Cyclic group GCAFFHH6ZS

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

Mentions

wikipedia: Wikipedia List of group theory topics#AE5X, Cyclic group (definition)
wikipedia: Wikipedia List of abstract algebra topics#1ACJ, Cyclic group (definition)

History

2026-11-02: add by m2/dev

GCART5HHQA GCART5HHQA

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

Mentions

arxiv: arXiv 2609.36300#F0A6 (statement). In MNWD3Y6W56/e1, lemma 3.2

History

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

Barbara M. Byrne GCB0KACWV1

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

Mentions

wikipedia: Wikipedia Barbara M. Byrne, Barbara M. Byrne (topic). Also Wikidata Q112414634

History

2026-11-02: add by m2/dev

Hattori–Stong theorem GCB2F9SB5C

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

Mentions

wikipedia: Wikipedia Hattori–Stong theorem, Hattori–Stong theorem (statement). Also Wikidata Q5682202

History

2026-11-02: add by m2/dev

Bimodule GCB55BXBB7

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#9HO2, Bimodule (definition)

History

2026-11-02: add by m2/dev

Shimizu L-function GCB66ZJK84

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

Mentions

wikipedia: Wikipedia List of zeta functions#ITII, Shimizu L-function (definition)

History

2026-11-02: add by m2/dev

GNU Octave GCBCKDHFBN

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#LIMP, GNU Octave (definition)

History

2026-11-02: add by m2/dev

GCBCY61BJW GCBCY61BJW

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

Mentions

arxiv: arXiv 2609.39700#ZUJM (statement). In E7W2HDNEKJ/e1, theorem 8.13

History

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

GCBJ5ZRA5X GCBJ5ZRA5X

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

Mentions

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

History

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

GCBQ7ZDVPQ GCBQ7ZDVPQ

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

Mentions

arxiv: arXiv 2610.00512#6VBI (definition). In RB5QBG3MJY/e1, definition 5.5

History

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

GCBWZ5BTTR GCBWZ5BTTR

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

Mentions

arxiv: arXiv 2609.21914#J39B (definition)

History

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

GCC16J303G GCC16J303G

URI	`m2://inv/GCC16J303G`
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.18033#55UU (statement). In 59VRB6Y27N/e1, proposition 4.3

History

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

Arithmetic fluctuations GCCQBCDF97

URI	`m2://inv/GCCQBCDF97`
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#PCHN, Arithmetic fluctuations (statement). In DHQWFJW02X/e1, theorem 1.2

History

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

GCD4V37F8E GCD4V37F8E

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#impropriemann:possimp (statement). In E59CDZA4DP, prop, section 8.5

History

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

Hyperprior GCD58BS76K

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

Mentions

wikipedia: Wikipedia Hyperprior, Hyperprior (definition). Also Wikidata Q5958522

History

2026-11-02: add by m2/dev

GCD763VX0F GCD763VX0F

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

Mentions

arxiv: arXiv 2609.21528#YXVR (statement)

History

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

GCDH65F5DT GCDH65F5DT

URI	`m2://inv/GCDH65F5DT`
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.35442#LCJN (statement). In C6R0DAA279/e1, lemma 2.1

History

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

time dilation GCDHVFZ1QK

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

Mentions

wikidata: Wikidata Q185918, time dilation (definition). Also ProofWiki Definition:Time_Dilation
wikipedia: Wikipedia Time dilation, Time dilation (definition). Also Wikidata Q185918

History

2026-10-26: add by m2/dev

GCDN15ZF55 GCDN15ZF55

URI	`m2://inv/GCDN15ZF55`
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.28009#JUZ8 (statement)

History

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

Existence and stability of gradient flows GCDPYGV8WY

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

Mentions

arxiv: arXiv 2610.10051#7SWQ, Existence and stability of gradient flows (statement). In VCHH2AC34R/e1, theorem 2.18

History

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

Von Mangoldt function GCDRWN4XQZ

URI	`m2://inv/GCDRWN4XQZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	von Mangoldt function 087EMZTHWN

Mentions

wikidata: Wikidata Q282327, Von Mangoldt function (unknown). Also MathWorld MangoldtFunction
wikipedia: Wikipedia Von Mangoldt function, Von Mangoldt function (definition). Also Wikidata Q282327

History

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

Examples GCDVS7JZQH

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

Mentions

wikipedia: Wikipedia Procrustes analysis#0MBJ, Examples (example)

History

2026-11-02: add by m2/dev

Boundary element method GCDYQGA57N

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#OP0Q, Boundary element method (definition)

History

2026-11-02: add by m2/dev

GCE2XR700M GCE2XR700M

URI	`m2://inv/GCE2XR700M`
Kind	statement
Layer	research
MSC	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 2609.26743#LR3P (statement)

History

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

apothem GCE52E2SBD

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

Mentions

wikidata: Wikidata Q508490, apothem (unknown). Also MathWorld Apothem

History

2026-10-26: add by m2/dev

GCEBJN0RJN GCEBJN0RJN

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_partitions-integer.ptx#thm_partition (statement). In QKM9DD2H56, theorem, section 8.5

History

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

GCECRPMR4V GCECRPMR4V

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

Mentions

wikipedia: Wikipedia Earth–Moon problem#X5NG (problem)

History

2026-11-02: add by m2/dev

GCEJGH49BC GCEJGH49BC

URI	`m2://inv/GCEJGH49BC`
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 2609.29489#DXWQ (statement)

History

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

GCEQ0RJ0SG GCEQ0RJ0SG

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

Mentions

arxiv: arXiv 2609.21013#OXY4 (statement)

History

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

Paterson's worms GCEQ66N3F2

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

Mentions

wikipedia: Wikipedia Paterson's worms, Paterson's worms (definition). Also Wikidata Q3556116

History

2026-11-02: add by m2/dev

Separable conditional risk mapping GCETZVVG7E

URI	`m2://inv/GCETZVVG7E`
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.11917#TF5C, Separable conditional risk mapping (definition). In 7BB6PY94G9/e1, definition 2

History

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

GCEVFKHJ0P GCEVFKHJ0P

URI	`m2://inv/GCEVFKHJ0P`
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.07445#B1U4 (example). In F1BM3Q8125/e1, example 2.5

History

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

GCEX8VXZGM GCEX8VXZGM

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

Mentions

arxiv: arXiv 2609.40028#XFXP (statement). In N8TDKGGC7S/e1, proposition 2.8

History

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

Sturmian word GCEY6YG9VE

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

Mentions

wikipedia: Wikipedia Sturmian word, Sturmian word (definition). Also Wikidata Q3325046

History

2026-11-02: add by m2/dev

GCEZ4EVY53 GCEZ4EVY53

URI	`m2://inv/GCEZ4EVY53`
Kind	definition
Layer	research
MSC	03-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 2609.31445#5PER (definition). In 7V2PVZS04C/e1, definition 6.6

History

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

GCF14ZD645 GCF14ZD645

URI	`m2://inv/GCF14ZD645`
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.30664#RZH1 (statement). In ZZGDNKDVJW/e1, lemma 6.4

History

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

GCF1EBNH0H GCF1EBNH0H

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

Mentions

arxiv: arXiv 1311.6044#37IA (statement). In W4FFB6SVZD/e1, theorem 2.3

History

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

GCF264YWWH GCF264YWWH

URI	`m2://inv/GCF264YWWH`
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.38206#CTKP (statement). In F71MS1F637/e1, corollary 3.17

History

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

Lami's theorem GCF613ZEA9

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

Mentions

wikipedia: Wikipedia List of theorems#NTM9, Lami's theorem (statement)

History

2026-11-02: add by m2/dev

GCF6ZZ9MPY GCF6ZZ9MPY

URI	`m2://inv/GCF6ZZ9MPY`
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 2609.37747#NB93 (statement). In GEYDNVZEP7/e1, corollary 5.8

History

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

Properties GCF7D4SW2X

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

Mentions

wikipedia: Wikipedia Baire set#9AER, Properties (statement)

History

2026-11-02: add by m2/dev

Equivalence of metrics GCFH3SKZX4

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

Mentions

wikipedia: Wikipedia Equivalence of metrics, Equivalence of metrics (definition). Also Wikidata Q5384710

History

2026-11-02: add by m2/dev

Definition GCFJYE2EMX

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

Mentions

wikipedia: Wikipedia Scalar multiplication#1IM9, Definition (definition)

History

2026-11-02: add by m2/dev

Regularization by spectral filtering GCFRBDYDN5

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

Mentions

wikipedia: Wikipedia Regularization by spectral filtering, Regularization by spectral filtering (definition). Also Wikidata Q17051930

History

2026-11-02: add by m2/dev

Argument from miracles GCFTN07P44

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

Mentions

wikipedia: Wikipedia Argument from miracles, Argument from miracles (definition). Also Wikidata Q4789746

History

2026-11-02: add by m2/dev

GCFZ8646FM GCFZ8646FM

URI	`m2://inv/GCFZ8646FM`
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.23994#E4G0 (statement)

History

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

GCG2HYCYPC GCG2HYCYPC

URI	`m2://inv/GCG2HYCYPC`
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.10365#WNYM (statement). In PRVQPSBVHK/e1, lemma 18

History

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

Richard Shore GCG2RTTVP8

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

Mentions

wikipedia: Wikipedia Richard Shore, Richard Shore (topic). Also Wikidata Q763124

History

2026-11-02: add by m2/dev

Adolf Kiefer GCG6KB2ZDX

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

Mentions

wikipedia: Wikipedia Adolf Kiefer, Adolf Kiefer (topic). Also Wikidata Q37723834

History

2026-11-02: add by m2/dev

Applications GCG7J86JQH

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

Mentions

wikipedia: Wikipedia Hamiltonian system#9DV0, Applications (example)

History

2026-11-02: add by m2/dev

GCGFDWG060 GCGFDWG060

URI	`m2://inv/GCGFDWG060`
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.30817#9KCP (statement). In DP5KJ7AATM/e1, corollary A.2

History

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

Finite element updating GCGH5MCCC7

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#Z96I, Finite element updating (unknown)

History

2026-11-02: add by m2/dev

Cauchy principal value GCGKKWTHP9

URI	`m2://inv/GCGKKWTHP9`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Cauchy principal value 0SYR10HD4R

Mentions

wikidata: Wikidata Q769374, Cauchy principal value (concept). Also MathWorld CauchyPrincipalValue, nLab Cauchy principal value
wikipedia: Wikipedia Cauchy principal value, Cauchy principal value (definition). Also Wikidata Q769374

History

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

ordinal, trichotomy of GCGQ8WRMM1

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

Mentions

hott_book: hott_book index/C.4/ordinal-trichotomy-of, ordinal, trichotomy of (concept). In N54F33XE07, index, section C.4

History

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

GCGTS6XRZD GCGTS6XRZD

URI	`m2://inv/GCGTS6XRZD`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#NY7M (statement). In Y1DR0DPWD0/e1, corollary 5.15

History

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

Eating disorder GCGZ4E29SX

URI	`m2://inv/GCGZ4E29SX`
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#NDZ0, Eating disorder (unknown)

History

2026-11-02: add by m2/dev

Projection onto the span of feature vectors GCH46ZJCZH

URI	`m2://inv/GCH46ZJCZH`
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 2609.32652#D4GZ, Projection onto the span of feature vectors (statement). In 6KAZWJ8RFX/e1, proposition 4.8

History

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

Properties GCH7YXVMH1

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

Mentions

wikipedia: Wikipedia Dirichlet distribution#7QHR, Properties (statement)

History

2026-11-02: add by m2/dev

Hodges' estimator GCHA6H2JR2

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

Mentions

wikipedia: Wikipedia List of statistics articles#P668, Hodges' estimator (definition)

History

2026-11-02: add by m2/dev

David Silver GCHFZ5Y46G

URI	`m2://inv/GCHFZ5Y46G`
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#1YVM, David Silver (unknown)

History

2026-11-02: add by m2/dev

Baum–Welch algorithm GCHJ3D7RZ6

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

Mentions

wikipedia: Wikipedia List of statistics articles#0ADC, Baum–Welch algorithm (definition)

History

2026-11-02: add by m2/dev

Definitions GCHMG2J3ZJ

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

Mentions

wikipedia: Wikipedia Atomic model (mathematical logic)#J50P, Definitions (definition)

History

2026-11-02: add by m2/dev

GCHVATVXVW GCHVATVXVW

URI	`m2://inv/GCHVATVXVW`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-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.13213#CGHB (definition). In V97F4YZ8B0/e1, definition 1.3

History

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

GCHWN94V4N GCHWN94V4N

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

Mentions

arxiv: arXiv 1310.6698#RYQ5 (statement). In 7AQ7DMNZEY/e1, theorem 3.5

History

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

GCHXW272CG GCHXW272CG

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-4 (example). In E9HS8K3A52, example, section 2.4.1

History

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

Examples GCJB9Y8MP2

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

Mentions

wikipedia: Wikipedia Hahn series#MKVR, Examples (example)

History

2026-11-02: add by m2/dev

GCJJQHPN8A GCJJQHPN8A

URI	`m2://inv/GCJJQHPN8A`
Kind	definition
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 2609.27295#VREE (definition)

History

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

Joint density GCJQF42AAK

URI	`m2://inv/GCJQF42AAK`
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.18350#SB60, Joint density (statement). In A20E8FZS21/e1, lemma 5.2

History

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

GCJRRANZN6 GCJRRANZN6

URI	`m2://inv/GCJRRANZN6`
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.32883#HBK8 (statement). In 6MVBVC1VNK/e1, theorem 9.1

History

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

Leonard Gross GCJWK6271R

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

Mentions

wikipedia: Wikipedia Leonard Gross, Leonard Gross (topic). Also Wikidata Q97586004

History

2026-11-02: add by m2/dev

GCJWNT9HRS GCJWNT9HRS

URI	`m2://inv/GCJWNT9HRS`
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.21762#J8BO (definition). In CYDJ6JGD4A/e1, definition 1.3

History

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

Jules Drach GCJXW63YWN

URI	`m2://inv/GCJXW63YWN`
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#5QUK, Jules Drach (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7CX0, Jules Drach (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HMN4, Jules Drach (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OJEP, Jules Drach (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q26K, Jules Drach (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S6O3, Jules Drach (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U4RJ, Jules Drach (topic)

History

2026-11-02: add by m2/dev

$\epsilon$-floor-wrapped regularization GCJY6MJNJH

URI	`m2://inv/GCJY6MJNJH`
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.14988#JPJM, $\epsilon$-floor-wrapped regularization (definition). In B29M4E6KGC/e1, definition G.4

History

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

GCJYECXCD7 GCJYECXCD7

URI	`m2://inv/GCJYECXCD7`
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 2506.21337#CVM3 (statement). In EPZN0JTG2Z/e1, lemma 4.4

History

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

GCJYGFFFCV GCJYGFFFCV

URI	`m2://inv/GCJYGFFFCV`
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.26813#MQYC (statement)

History

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

Pairwise independence GCJYGWBEZG

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

Mentions

wikipedia: Wikipedia Pairwise independence, Pairwise independence (definition). Also Wikidata Q17104952

History

2026-11-02: add by m2/dev

By Leibniz formula GCK0PE48KT

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

Mentions

wikipedia: Wikipedia Determinant#EM3U, By Leibniz formula (statement)

History

2026-11-02: add by m2/dev

Zero-level directions GCK1RH6P23

URI	`m2://inv/GCK1RH6P23`
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.19953#L4WE, Zero-level directions (statement). In CHPJWBREES/e1, lemma 5.2

History

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

1 000 000 000 000 GCK424PJ1Z

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

Mentions

wikipedia: Wikipedia Orders of magnitude (numbers)#VILC, 1 000 000 000 000 (unknown)

History

2026-11-02: add by m2/dev

Cumulative frequency analysis GCK7BFD68G

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

Mentions

wikipedia: Wikipedia List of statistics articles#2FJ9, Cumulative frequency analysis (definition)

History

2026-11-02: add by m2/dev

GCK9YTC2Q3 GCK9YTC2Q3

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

Mentions

arxiv: arXiv 2610.07236#2L7K (statement). In VPMKBREFY1/e1, theorem

History

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

GCKAX75Y5E GCKAX75Y5E

URI	`m2://inv/GCKAX75Y5E`
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#M0KK (statement). In ZQDX8E43SQ/e1, corollary 4.2

History

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

Isoperimetric inequality GCKC4F1MP6

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

Mentions

wikipedia: Wikipedia Spherical measure#BEJS, Isoperimetric inequality (statement)

History

2026-11-02: add by m2/dev

Chernoff--Stein lemma, with strong converse GCKCF45GQN

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

Mentions

arxiv: arXiv 2609.27765#4G3D, Chernoff--Stein lemma, with strong converse (statement)

History

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

GCKF1QKEP2 GCKF1QKEP2

URI	`m2://inv/GCKF1QKEP2`
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.34831#6TLD (statement). In YF36GM7X5Y/e1, fact

History

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

Critical nonuniqueness in dimension seven GCKG54M4Z2

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

Mentions

arxiv: arXiv 2610.02790#FK9A, Critical nonuniqueness in dimension seven (statement). In NB7HZ8W2K2/e1, theorem 6

History

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

GCKR8YHQVN GCKR8YHQVN

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

Mentions

arxiv: arXiv 2609.21534#GK3Y (definition)

History

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

GCKSW2RQ3A GCKSW2RQ3A

URI	`m2://inv/GCKSW2RQ3A`
Kind	statement
Layer	research
MSC	14-XX, 18-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 2609.37520#1GHQ (statement). In BDN507RN7J/e1, corollary 5.3.1

History

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

Kinoshita–Lee–Nauenberg theorem GCKT69FMEF

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

Mentions

mathlib_1000: mathlib_1000 Q6414200, Kinoshita–Lee–Nauenberg theorem (statement). Also Wikidata Q6414200
thousand_plus: thousand_plus Q6414200, Kinoshita–Lee–Nauenberg theorem (statement). Also Wikidata Q6414200, Wikipedia Kinoshita–Lee–Nauenberg theorem
wikipedia: Wikipedia Kinoshita–Lee–Nauenberg theorem, Kinoshita–Lee–Nauenberg theorem (statement). Also Wikidata Q6414200

History

2026-10-26: add by m2/dev

GCKT8G81G0 GCKT8G81G0

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

Mentions

arxiv: arXiv 0908.3266#T2IT (statement). In B0W6PMDN3N/e1, lemma 6.1

History

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

Info-gap decision theory GCM38HZAMM

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

Mentions

wikipedia: Wikipedia Info-gap decision theory, Info-gap decision theory (definition). Also Wikidata Q6030341

History

2026-11-02: add by m2/dev

Inverse transform sampling GCM4CYPYTG

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

Mentions

wikipedia: Wikipedia Inverse transform sampling, Inverse transform sampling (definition). Also Wikidata Q1377019

History

2026-11-02: add by m2/dev

Biquadratic field GCM6REK3A7

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

Mentions

wikipedia: Wikipedia Biquadratic field, Biquadratic field (definition). Also Wikidata Q4915520

History

2026-11-02: add by m2/dev

total, recursive definition GCM7ZS7N40

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

Mentions

hott_book: hott_book index/4.1/total-recursive-definition, total, recursive definition (concept). In N54F33XE07, index, section 4.1

History

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

SYK norm GCM8P337AH

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

Mentions

arxiv: arXiv 2610.05953#UH24, SYK norm (statement). In P3XHJ1VB8C/e1, fact 14

History

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

principal component analysis (PCA) GCM91G5E1N

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#NNH2, principal component analysis (PCA) (definition)

History

2026-11-02: add by m2/dev

Hans Zantema GCMJVYP44A

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

Mentions

wikipedia: Wikipedia Hans Zantema, Hans Zantema (topic). Also Wikidata Q18012465

History

2026-11-02: add by m2/dev

Constant velocity geodesics GCMNDQSNA8

URI	`m2://inv/GCMNDQSNA8`
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 2410.06788#VPP4, Constant velocity geodesics (statement). In B2VE3JQZD3/e1, lemma 24

History

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

Apollonian gasket GCMZ3S1018

URI	`m2://inv/GCMZ3S1018`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Apollonian gasket 8SETG842RX

Mentions

wikidata: Wikidata Q1184368, Apollonian gasket (unknown). Also MathWorld ApollonianGasket
wikipedia: Wikipedia Apollonian gasket, Apollonian gasket (definition). Also Wikidata Q1184368

History

2026-10-26: add by m2/dev

GCN007A4ED GCN007A4ED

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-74 (exercise). In VNMV985MXX, exercise, section 2.2

History

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

Robert R. Sokal GCN36V4VB5

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

Mentions

wikipedia: Wikipedia Robert R. Sokal, Robert R. Sokal (topic). Also Wikidata Q2158553

History

2026-11-02: add by m2/dev

GCN79E1RPT GCN79E1RPT

URI	`m2://inv/GCN79E1RPT`
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.30354#6EWD (statement). In B81DM51XSK/e1, theorem 7

History

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

Riesel number GCNCMT25FJ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#F2Q4, Riesel number (conjecture)

History

2026-11-02: add by m2/dev

GCNG52V10M GCNG52V10M

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

Mentions

arxiv: arXiv 2610.09133#ZQDR (definition). In E7BPGPP9Z5/e1, definition

History

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

statistic GCNK8H1RV3

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#FS6J, statistic (definition)

History

2026-11-02: add by m2/dev

differentiable stack GCNQ3XAKH4

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

Mentions

wikidata: Wikidata Q16960732, differentiable stack (definition). Also nLab differentiable stack, ProofWiki Definition:Differentiable_Stack
wikipedia: Wikipedia Differentiable stack, Differentiable stack (definition). Also Wikidata Q16960732

History

2026-10-26: add by m2/dev

GCNQJ7G70X GCNQJ7G70X

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

Mentions

arxiv: arXiv 2610.11545#Q7ZE (statement). In VN084GGZGK/e1, proposition 4.24

History

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

Intersection array of $^2A_{2r-1}(q)$ GCNSRJ1Y60

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

Mentions

arxiv: arXiv 2610.01731#JEFZ, Intersection array of $^2A_{2r-1}(q)$ (statement). In 3TJ2FWXQ0D/e1, lemma 3.4

History

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

GCP1MTA86T GCP1MTA86T

URI	`m2://inv/GCP1MTA86T`
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.24878#88CX (statement)

History

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

GCP3XVN9C1 GCP3XVN9C1

URI	`m2://inv/GCP3XVN9C1`
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.29501#3LK3 (statement)

History

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

Dynamic Bayesian network GCP6FYS6BN

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

Mentions

wikipedia: Wikipedia Dynamic Bayesian network, Dynamic Bayesian network (definition). Also Wikidata Q3456604

History

2026-11-02: add by m2/dev

GCP95F02RH GCP95F02RH

URI	`m2://inv/GCP95F02RH`
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 2610.03661#EMJV (statement). In ESDKTYDHC8/e1, corollary 1

History

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

Domino tiling GCPH7DW2NM

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

Mentions

wikipedia: Wikipedia Domino tiling, Domino tiling (definition). Also Wikidata Q21042776

History

2026-11-02: add by m2/dev

Examples GCPPC1MC8J

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

Mentions

wikipedia: Wikipedia Pseudoanalytic function#RCSA, Examples (example)

History

2026-11-02: add by m2/dev

Definition GCPVE8S753

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

Mentions

wikipedia: Wikipedia Theories of iterated inductive definitions#J2YP, Definition (definition)

History

2026-11-02: add by m2/dev

GCPYX8VWP5 GCPYX8VWP5

URI	`m2://inv/GCPYX8VWP5`
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.07099#WARD (statement). In 9GNAHRCYFT/e1, lemma 2.1

History

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

Rubik's Cube GCQ3RX5TTT

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

Mentions

wikipedia: Wikipedia List of long mathematical proofs#APHO, Rubik's Cube (definition)

History

2026-11-02: add by m2/dev

GCQG53SZKE GCQG53SZKE

URI	`m2://inv/GCQG53SZKE`
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 2609.28824#I3KI (statement)

History

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

Relative Gromov-Witten invariant GCQP0EFPPZ

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

Mentions

wikipedia: Wikipedia Gromov–Witten invariant#9RIS, Relative Gromov-Witten invariant (unknown)

History

2026-11-02: add by m2/dev

Eigenmoments GCQTK0C6G4

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

Mentions

wikipedia: Wikipedia Eigenmoments, Eigenmoments (definition). Also Wikidata Q5348899

History

2026-11-02: add by m2/dev

Method GCQTXDWSEM

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

Mentions

wikipedia: Wikipedia Disk covering problem#UDPF, Method (definition)

History

2026-11-02: add by m2/dev

Examples GCQY65BEBV

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

Mentions

wikipedia: Wikipedia Golygon#SSI9, Examples (example)

History

2026-11-02: add by m2/dev

Oszt\'enyi GCR3QM66YD

URI	`m2://inv/GCR3QM66YD`
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 2407.05730#BH3C, Oszt\'enyi (statement). In VQ7STN4KDC/e1, theorem 3.1

History

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

Formula GCR43GH42X

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

Mentions

wikipedia: Wikipedia Equivalent potential temperature#NFU4, Formula (statement)

History

2026-11-02: add by m2/dev

Theorem 3 GCR7E9QSSV

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

Mentions

wikipedia: Wikipedia Locally compact quantum group#TMDS, Theorem 3 (statement)

History

2026-11-02: add by m2/dev

Ménage problem GCRS6F07PT

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

Mentions

wikidata: Wikidata Q3406269, Ménage problem (problem). Also MathWorld MarriedCouplesProblem
wikipedia: Wikipedia Ménage problem, Ménage problem (problem). Also Wikidata Q3406269

History

2026-10-26: add by m2/dev

GCRXPPP2Q4 GCRXPPP2Q4

URI	`m2://inv/GCRXPPP2Q4`
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.21800#ICXG (statement). In CMAEC39BKK/e1, lemma 3.1

History

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

closed interval GCS2AQRS7V

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

Mentions

wikidata: Wikidata Q78240777, closed interval (definition). Also EoM Interval,_closed, MathWorld ClosedInterval, ProofWiki Definition:Interval/Ordered_Set/Closed

History

2026-10-26: add by m2/dev

Characterizing conditional pseudoentropy, nonuniform setting GCS5Z8A5PE

URI	`m2://inv/GCS5Z8A5PE`
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#24E6, Characterizing conditional pseudoentropy, nonuniform setting (statement). In 7D5MMP8XB5/e1, theorem 2.23

History

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

Addition and multiplication of Witt vectors GCSAY373XA

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

Mentions

arxiv: arXiv 2609.37931#GK3O, Addition and multiplication of Witt vectors (example). In J8C1EXQW86/e1, example 3.3

History

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

Dirk van Dalen GCSCCCK0PW

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

Mentions

wikipedia: Wikipedia List of logicians#Y4R0, Dirk van Dalen (topic)

History

2026-11-02: add by m2/dev

GCSJ7NQK33 GCSJ7NQK33

URI	`m2://inv/GCSJ7NQK33`
Kind	statement
Layer	research
MSC	19-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.19791#8DBH (statement). In AVDB4KJ6XB/e1, corollary 3.15

History

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

K\H{o}nig's lemma GCSPM0MR5P

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/trees.tex#prop-2, K\H{o}nig's lemma (statement). In PKGMM3P5QY, prop, section 82.2

History

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

Theorem GCT06Q1KG5

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

Mentions

wikipedia: Wikipedia Borel functional calculus#PQY7, Theorem (statement)

History

2026-11-02: add by m2/dev

Classification of maximal subsheaves GCT2SDKGNT

URI	`m2://inv/GCT2SDKGNT`
Kind	statement
Layer	research
MSC	13-XX, 14-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.15887#1MCA, Classification of maximal subsheaves (statement). In 87QYNZZ67Z/e1, proposition 5.5

History

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

GCT4T7YC85 GCT4T7YC85

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

Mentions

arxiv: arXiv 2610.20421#WNCS (definition). In Q4R7J8JE3F/e1, definition 2.17

History

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

Hilbert space GCT8KHPC8N

URI	`m2://inv/GCT8KHPC8N`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Hilbert space HM2HHE3J51

Mentions

wikidata: Wikidata Q190056, Hilbert space (concept). Also EoM Hilbert_space, MathWorld HilbertSpace, nLab Hilbert space, ProofWiki Definition:Hilbert_Space
wikipedia: Wikipedia Hilbert space, Hilbert space (definition). Also Wikidata Q190056

History

2026-10-26: add by m2/dev

Generalization GCTADP89J6

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

Mentions

wikipedia: Wikipedia Logarithmic mean#ATSP, Generalization (statement)

History

2026-11-02: add by m2/dev

Charles Roy Henderson GCTDNQNNBS

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

Mentions

wikipedia: Wikipedia Charles Roy Henderson, Charles Roy Henderson (topic). Also Wikidata Q5082199

History

2026-11-02: add by m2/dev

GCTEJ9TWFK GCTEJ9TWFK

URI	`m2://inv/GCTEJ9TWFK`
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.32614#W02O (definition). In SG8GT73ZNH/e1, definition 2.4

History

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

Gelfand–Zeitlin integrable system GCTKW69K07

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

Mentions

wikipedia: Wikipedia Gelfand–Zeitlin integrable system, Gelfand–Zeitlin integrable system (definition). Also Wikidata Q5530430

History

2026-11-02: add by m2/dev

Subfactor GCTP7WD46M

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

Mentions

wikipedia: Wikipedia Subfactor, Subfactor (definition). Also Wikidata Q7631133

History

2026-11-02: add by m2/dev

Variants GCTT3EYSR9

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

Mentions

wikipedia: Wikipedia Aizerman's conjecture#XHIB, Variants (statement)

History

2026-11-02: add by m2/dev

Hartmanis–Stearns conjecture GCV1H3331A

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#JVPL, Hartmanis–Stearns conjecture (conjecture)
wikipedia: Wikipedia List of unsolved problems in mathematics#UZBG, Hartmanis–Stearns conjecture (conjecture)

History

2026-11-02: add by m2/dev

GCV61P0B91 GCV61P0B91

URI	`m2://inv/GCV61P0B91`
Kind	statement
Layer	research
MSC	14-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 2604.07243#QEZF (statement). In 9RH8C8RYW3/e1, theorem 6.2

History

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

Joseph Fletcher GCVP8C8ZX0

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

Mentions

wikipedia: Wikipedia Joseph Fletcher (statistician), Joseph Fletcher (topic). Also Wikidata Q18593308

History

2026-11-02: add by m2/dev

Corner-point grid GCVXYQN3C5

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

Mentions

wikipedia: Wikipedia Corner-point grid, Corner-point grid (object). Also Wikidata Q5171593

History

2026-11-02: add by m2/dev

GCW2S6YAFT GCW2S6YAFT

URI	`m2://inv/GCW2S6YAFT`
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.25388#L8II (statement)

History

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

GCWEMVS40H GCWEMVS40H

URI	`m2://inv/GCWEMVS40H`
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.09278#2ZJZ (statement). In XREKHJHAT7/e1, lemma 3.7

History

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

Discriminant support GCWH8F705J

URI	`m2://inv/GCWH8F705J`
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.03520#MRXW, Discriminant support (statement). In CSRZ9CWK69/e1, corollary 5.1

History

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

Scalar reduction of the sample problem GCWKWM7XAV

URI	`m2://inv/GCWKWM7XAV`
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.07637#86RE, Scalar reduction of the sample problem (statement). In ERR2F5FXC3/e1, proposition 10

History

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

GCWNJ6T35R GCWNJ6T35R

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

Mentions

arxiv: arXiv 2610.14183#JEG7 (statement). In 2WN7R53Z3D/e1, proposition 1

History

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

Eduard Stiefel GCWP6YWTF9

URI	`m2://inv/GCWP6YWTF9`
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 Q122724, Eduard Stiefel (unknown). Also nLab Eduard Stiefel
wikipedia: Wikipedia Eduard Stiefel, Eduard Stiefel (topic). Also Wikidata Q122724

History

2026-10-26: add by m2/dev

GCWTMWV52V GCWTMWV52V

URI	`m2://inv/GCWTMWV52V`
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.13670#08U9 (statement). In 4PGTZ19B26/e1, lemma 6.3

History

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

GCWXEYEN4A GCWXEYEN4A

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.10

History

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

GCX1WS5AR0 GCX1WS5AR0

URI	`m2://inv/GCX1WS5AR0`
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.28306#VIU8 (statement)

History

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

GCX3E030FN GCX3E030FN

URI	`m2://inv/GCX3E030FN`
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 1512.06981#L6PB (statement). In X923ZEY423/e1, lemma 1.8.8

History

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

Sample mean and covariance GCXB31YJGP

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

Mentions

wikipedia: Wikipedia Sample mean and covariance, Sample mean and covariance (definition). Also Wikidata Q2348165

History

2026-11-02: add by m2/dev

round brackets GCXBGTV46B

URI	`m2://inv/GCXBGTV46B`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q10345750, round brackets (unknown). Also MathWorld Parenthesis, ProofWiki Symbols:Brackets/Round_Brackets

History

2026-10-26: add by m2/dev

Seema Nanda GCXJTHPGMT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IPB8, Seema Nanda (topic)

History

2026-11-02: add by m2/dev

GCXTN016J6 GCXTN016J6

URI	`m2://inv/GCXTN016J6`
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 2212.11038#XJ5J (statement). In M3E3ARMJXK/e1, lemma 5.6

History

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

S-Lemma GCXV7FA1K4

URI	`m2://inv/GCXV7FA1K4`
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 2311.04609#OJ4Z, S-Lemma (statement). In 66W1NPE62D/e1, lemma 1

History

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

Nathan Keyfitz GCXZBAMA30

URI	`m2://inv/GCXZBAMA30`
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#AG2O, Nathan Keyfitz (topic)

History

2026-11-02: add by m2/dev

Samuelson's inequality GCYBKGJA8N

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

Mentions

wikipedia: Wikipedia Samuelson's inequality, Samuelson's inequality (statement). Also Wikidata Q7413036

History

2026-11-02: add by m2/dev

GCYENSZZ6T GCYENSZZ6T

URI	`m2://inv/GCYENSZZ6T`
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.21653#6899 (statement). In 266RE655Z2/e1, lemma 3

History

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

Persistence of Excitation GCYGEF2SHV

URI	`m2://inv/GCYGEF2SHV`
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.22338#45GE, Persistence of Excitation (statement)

History

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

GCYJ70DK09 GCYJ70DK09

URI	`m2://inv/GCYJ70DK09`
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 2610.03851#CS9S (statement). In HNV63B8Y1A/e1, lemma 3.3

History

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

GCYTY62TJP GCYTY62TJP

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-65 (exercise). In E9HS8K3A52, exercise, section 7.5.1

History

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

GCYZ0P5W4K GCYZ0P5W4K

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 22.7

History

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

GCZ0BWHSXB GCZ0BWHSXB

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-48 (exercise). In E9HS8K3A52, exercise, section 2.4.3

History

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

Main theorem GCZ17PG145

URI	`m2://inv/GCZ17PG145`
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 2609.37706#Q943, Main theorem (statement). In 6YY27KRJFN/e1, theorem 1.2

History

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

James Massey GCZ3MMJZZH

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

Mentions

wikipedia: Wikipedia James Massey, James Massey (topic). Also Wikidata Q251262

History

2026-11-02: add by m2/dev

Joel Primack GCZ66R49A5

URI	`m2://inv/GCZ66R49A5`
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 Q2688798, Joel Primack (unknown). Also nLab Joel Primack

History

2026-10-26: add by m2/dev

Beta invariant GCZA3YQB44

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

Mentions

wikipedia: Wikipedia Matroid#Z161, Beta invariant (unknown)

History

2026-11-02: add by m2/dev

GCZEGKAD57 GCZEGKAD57

URI	`m2://inv/GCZEGKAD57`
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.36877#5VIJ (statement). In FYS6VV5M99/e1, lemma 2.3

History

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

EUROCRYPT GCZNPHXJ92

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

Mentions

wikipedia: Wikipedia International Association for Cryptologic Research#SVMF, EUROCRYPT (unknown)

History

2026-11-02: add by m2/dev

Variations GCZZ020EQP

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

Mentions

wikipedia: Wikipedia Sparse approximation#YGD0, Variations (statement)

History

2026-11-02: add by m2/dev