Inventory rows N6

Wigner function of a Gaussian state N603P812YP

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

Mentions

arxiv: arXiv 2610.01855#CX00, Wigner function of a Gaussian state (definition). In MM8P5CJR18/e1, definition 5.25

History

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

N604DYVNQR N604DYVNQR

URI	`m2://inv/N604DYVNQR`
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.39539#D4MG (statement). In GVR218P3ZR/e1, lemma 4.7.2

History

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

N60BBHYZX6 N60BBHYZX6

URI	`m2://inv/N60BBHYZX6`
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 2303.17308#ITJS (statement). In 6N0T1S0BQG/e1, lemma 2

History

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

John W. Henry N60JCK1DPP

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#EW6S, John W. Henry (unknown)

History

2026-11-02: add by m2/dev

N60VBB2Y1F N60VBB2Y1F

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

Mentions

arxiv: arXiv 2610.21408#0CK5 (statement). In 3XBEGXNPXZ/e1, proposition 4.7

History

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

Sierpiński graph N60XB5Q107

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

Mentions

wikipedia: Wikipedia List of things named after Wacław Sierpiński#APV4, Sierpiński graph (unknown)

History

2026-11-02: add by m2/dev

Gauge-fixed Knill-Laflamme N6131FWFYM

URI	`m2://inv/N6131FWFYM`
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.03677#7LRB, Gauge-fixed Knill-Laflamme (statement). In J1Y06VVYRG/e1, theorem 6

History

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

Lars Knudsen N613GSZTPA

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

Mentions

wikipedia: Wikipedia Lars Knudsen (cryptographer), Lars Knudsen (topic). Also Wikidata Q2574238

History

2026-11-02: add by m2/dev

ABC@Home N617QES5JC

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

Mentions

wikipedia: Wikipedia ABC@Home, ABC@Home (definition). Also Wikidata Q287009

History

2026-11-02: add by m2/dev

Daniel Lightwing N617TP0WPJ

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

Mentions

wikipedia: Wikipedia Daniel Lightwing, Daniel Lightwing (topic). Also Wikidata Q26129122

History

2026-11-02: add by m2/dev

N61CKSJ4MF N61CKSJ4MF

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

Mentions

arxiv: arXiv 2206.11797#9F71 (statement). In 8SJWWZN4FH/e1, proposition 3.4

History

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

N61ETJ0C8W N61ETJ0C8W

URI	`m2://inv/N61ETJ0C8W`
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#7H47 (statement). In 4PGTZ19B26/e1, lemma 6.5

History

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

Symmetries and monotonicity in the twist N61TJJW50Y

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

Mentions

arxiv: arXiv 2610.09912#JVCM, Symmetries and monotonicity in the twist (statement). In 65TJENWK7X/e1, lemma 36

History

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

Interval N61W937NKJ

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

Mentions

wikipedia: Wikipedia List of real analysis topics#TTBR, Interval (definition)

History

2026-11-02: add by m2/dev

Ecological network N6230Z8F6Y

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

Mentions

wikipedia: Wikipedia List of network theory topics#9CJC, Ecological network (unknown)

History

2026-11-02: add by m2/dev

Franco P. Preparata N624C3ENZW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0CFE, Franco P. Preparata (unknown)

History

2026-11-02: add by m2/dev

N626HY3S21 N626HY3S21

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

Mentions

napkin: napkin tex/calculus/p-adic.tex#definition-2 (definition). In RZP28ERRZV, definition, section 33.2.3

History

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

Polar set N62AT6DK7B

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

Mentions

wikipedia: Wikipedia Polar set (potential theory), Polar set (definition). Also Wikidata Q7209102

History

2026-11-02: add by m2/dev

N62FYZT27V N62FYZT27V

URI	`m2://inv/N62FYZT27V`
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.36922#QD8Y (statement). In BMHWE5QTTR/e1, proposition 4.2

History

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

Elizabeth S. Allman N62M2EH2Z1

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

Mentions

wikipedia: Wikipedia Elizabeth S. Allman, Elizabeth S. Allman (topic). Also Wikidata Q18683983

History

2026-11-02: add by m2/dev

Special cases N62QPH68MS

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

Mentions

wikipedia: Wikipedia Convex hull#UAA9, Special cases (statement)

History

2026-11-02: add by m2/dev

N62WHPRS60 N62WHPRS60

URI	`m2://inv/N62WHPRS60`
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.20422#POY7 (statement). In HCH89W5Y2C/e1, theorem 1

History

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

Raindrop N6304PQZX2

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

Mentions

arxiv: arXiv 2610.12817#29H3, Raindrop (definition). In FPSGZ5S6YF/e1, definition 3.1

History

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

Generalised inverse N633W5THPN

URI	`m2://inv/N633W5THPN`
Kind	definition
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 2610.08074#KPX6, Generalised inverse (definition). In ZRPYF750AV/e1, definition 2.3

History

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

cf.\ N639WF9GXV

URI	`m2://inv/N639WF9GXV`
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.09390#HUFD, cf.\ (statement). In 7SSKW778T8/e1, lemma 8.4

History

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

Frobenius congruence on original coordinates N63EVQ3J77

URI	`m2://inv/N63EVQ3J77`
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.33808#K8NX, Frobenius congruence on original coordinates (statement). In 328KGRNN0W/e1, proposition 5.4

History

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

Generalizations N63Q8TRH7R

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

Mentions

wikipedia: Wikipedia Kleiber's law#HEWT, Generalizations (statement)

History

2026-11-02: add by m2/dev

compactification N63TE4HCZ1

URI	`m2://inv/N63TE4HCZ1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Compactification Q6XNC8JAZD

Mentions

wikidata: Wikidata Q546145, compactification (unknown). Also nLab compactification
wikipedia: Wikipedia Compactification (mathematics), Compactification (definition). Also Wikidata Q546145

History

2026-10-26: add by m2/dev

N6430GW0GT N6430GW0GT

URI	`m2://inv/N6430GW0GT`
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.00337#VMXA (statement). In 5STQ3ABZ60/e1, theorem 1.4

History

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

N645FTWN1T N645FTWN1T

URI	`m2://inv/N645FTWN1T`
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#AZ4U (statement). In 6HP7BR9WZM/e1, proposition 3.5

History

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

N645N1MY47 N645N1MY47

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

Mentions

arxiv: arXiv 2610.12169#2PNH (conjecture). In 645GF9SFWM/e1, conjecture 14

History

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

N649QMER15 N649QMER15

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

Mentions

arxiv: arXiv 2610.22082#TUET (statement). In 7PACGDW3N7/e1, theorem 15.1

History

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

Initial and final structures N64G9CGYR9

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

Mentions

arxiv: arXiv 2609.26270#ZMRM, Initial and final structures (statement)

History

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

N64T8WVS81 N64T8WVS81

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

Mentions

arxiv: arXiv 2609.22240#WNZ4 (statement)

History

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

Fityk N6597MVWMY

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#PEAX, Fityk (unknown)

History

2026-11-02: add by m2/dev

N65JK72Q50 N65JK72Q50

URI	`m2://inv/N65JK72Q50`
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.37901#VYTS (statement). In 363WNMSDMA/e1, proposition 6

History

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

clique number N65RYYH85X

URI	`m2://inv/N65RYYH85X`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Clique number 04MQSQ1F5Q

Mentions

wikidata: Wikidata Q93598411, clique number (unknown). Also MathWorld CliqueNumber

History

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

N65ZADM03P N65ZADM03P

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

Mentions

arxiv: arXiv 2609.23202#IZY8 (statement)

History

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

Inverse Gaussian distribution N65ZPXR1G9

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

Mentions

wikipedia: Wikipedia List of statistics articles#QZ91, Inverse Gaussian distribution (definition)

History

2026-11-02: add by m2/dev

Contraction property and its inversion N664KMHEBX

URI	`m2://inv/N664KMHEBX`
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.00501#T2PH, Contraction property and its inversion (statement). In FTPW1SZ8D3/e1, lemma B.3

History

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

Johannes Werner N665QZ6BA5

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

Mentions

wikipedia: Wikipedia List of German mathematicians#M7BE, Johannes Werner (unknown)

History

2026-11-02: add by m2/dev

Bayesian game N6670PWSJF

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

Mentions

wikipedia: Wikipedia Bayesian game, Bayesian game (definition). Also Wikidata Q812529

History

2026-11-02: add by m2/dev

Rudolfsheim-Fünfhaus N667T08BPZ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#9MS8, Rudolfsheim-Fünfhaus (unknown)

History

2026-11-02: add by m2/dev

N66EQMHH0Y N66EQMHH0Y

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

Mentions

arxiv: arXiv 2610.17139#5BI4 (statement). In AQWX60Z563/e1, lemma 4.24

History

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

Counterexample N66H5Y9NH0

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

Mentions

wikipedia: Wikipedia Relatively compact subspace#Y6VG, Counterexample (counterexample)

History

2026-11-02: add by m2/dev

N66HH9YM93 N66HH9YM93

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 3.3

History

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

N66SPTN3JG N66SPTN3JG

URI	`m2://inv/N66SPTN3JG`
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.05512#2VGK (statement). In 2F0KX51XKM/e1, proposition 11

History

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

N66VSPSFJR N66VSPSFJR

URI	`m2://inv/N66VSPSFJR`
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.19309#20F3 (statement). In XKENQH35DW/e1, lemma 4.1

History

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

Rudolf Fueter N66YR10HRH

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

Mentions

wikipedia: Wikipedia Rudolf Fueter, Rudolf Fueter (topic). Also Wikidata Q1532992

History

2026-11-02: add by m2/dev

N67GFQVZ22 N67GFQVZ22

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

Mentions

arxiv: arXiv 2204.04265#P63Y (statement). In YHA9M56TBB/e1, theorem 2.4

History

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

N67JXJDCC4 N67JXJDCC4

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

Mentions

arxiv: arXiv 2610.13745#Q96L (statement). In CFJH0Q39FZ/e1, proposition 2.3

History

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

N67NBAB8EJ N67NBAB8EJ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 15

History

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

N67RT5G48T N67RT5G48T

URI	`m2://inv/N67RT5G48T`
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.21899#53BW (statement). In YRN5P43B2N/e1, proposition 3.1

History

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

N67RZH9GXW N67RZH9GXW

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

Mentions

arxiv: arXiv 2609.26769#4IP2 (statement)

History

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

Mahler volume N67T13CHPC

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

Mentions

wikipedia: Wikipedia Mahler volume, Mahler volume (definition). Also Wikidata Q15864883

History

2026-11-02: add by m2/dev

N67YBVEV4K N67YBVEV4K

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

Mentions

napkin: napkin tex/set-theory/models.tex#example-2 (example). In RZP28ERRZV, example, section 91.1

History

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

$q^n$ Distributes over Composition N682B9JY3N

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

Mentions

arxiv: arXiv 2610.21131#JH3N, $q^n$ Distributes over Composition (statement). In CPYWHRTPKC/e1, lemma 2.8

History

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

N684EG59E0 N684EG59E0

URI	`m2://inv/N684EG59E0`
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.23559#P8US (statement)

History

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

18th century in mathematics N68A3HXF1J

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

Mentions

wikipedia: Wikipedia History of mathematics#LXCZ, 18th century in mathematics (unknown)

History

2026-11-02: add by m2/dev

N68BVT3H52 N68BVT3H52

URI	`m2://inv/N68BVT3H52`
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.36321#Q0QR (statement). In 3KTZ6Z615H/e1, corollary 7.6

History

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

George E. Roberts N68G58B36R

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#BGZQ, George E. Roberts (unknown)

History

2026-11-02: add by m2/dev

N68GTF6D90 N68GTF6D90

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

Mentions

arxiv: arXiv 2507.23666#876G (example). In YKQ89G5QA2/e1, example 4.3

History

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

Cycle index N68GXEQDQV

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

Mentions

wikipedia: Wikipedia List of permutation topics#4AM6, Cycle index (definition)
wikipedia: Wikipedia List of permutation topics#KJEB, Cycle index (definition)

History

2026-11-02: add by m2/dev

N68PFXJQP5 N68PFXJQP5

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

Mentions

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

History

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

Brans–Dicke theory N68QAGMWF1

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

Mentions

wikipedia: Wikipedia Brans–Dicke theory, Brans–Dicke theory (definition). Also Wikidata Q898809

History

2026-11-02: add by m2/dev

N68QEP4S93 N68QEP4S93

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-23 (proof). In E59CDZA4DP, proof, section 10.4

History

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

N68V8W1F4Z N68V8W1F4Z

URI	`m2://inv/N68V8W1F4Z`
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.20259#JUAU (statement). In VHNRE38D97/e1, proposition 3.1

History

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

Combined balance and the coloop qualification N68XZ6WVYC

URI	`m2://inv/N68XZ6WVYC`
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.07721#2JZH, Combined balance and the coloop qualification (statement). In QMJDN66F5N/e1, corollary 3.4

History

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

N68YBY56QE N68YBY56QE

URI	`m2://inv/N68YBY56QE`
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.33829#ITEF (statement). In S34H2JTJHH/e1, theorem 4.4

History

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

N698416NJ6 N698416NJ6

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

Mentions

open_logic: open_logic content/proof-theory/proof-search/search-algorithm.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 60.1

History

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

Applications N69877Y0KW

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

Mentions

wikipedia: Wikipedia Geometry#FZG6, Applications (example)

History

2026-11-02: add by m2/dev

N698D1CRRS N698D1CRRS

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

Mentions

arxiv: arXiv 2409.01237#409P (statement). In M9VHCG48HB/e1, theorem 5.2

History

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

Uniform descendant extraction N69AP3X6KV

URI	`m2://inv/N69AP3X6KV`
Kind	statement
Layer	research
MSC	14-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.10828#CKJL, Uniform descendant extraction (statement). In 8PTDFHV8SQ/e1, theorem 6.9

History

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

N69X6CNVX7 N69X6CNVX7

URI	`m2://inv/N69X6CNVX7`
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 2609.38567#IOW7 (statement). In 59AXA7QFTE/e1, lemma 1

History

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

N6A2QBAQJF N6A2QBAQJF

URI	`m2://inv/N6A2QBAQJF`
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.19470#PKB3 (statement). In Y24F6WTV90/e1, lemma 2.3

History

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

N6ABWTNSEX N6ABWTNSEX

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

Mentions

hott_book: hott_book setmath.tex#ex:choice-function (exercise). In N54F33XE07, ex, section C.5

History

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

N6ADB6FE7R N6ADB6FE7R

URI	`m2://inv/N6ADB6FE7R`
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 2610.03497#3DXN (definition). In RRNHC0CAC9/e1, definition

History

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

William A. Barnett N6AF6BZF4Z

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#4XV9, William A. Barnett (unknown)

History

2026-11-02: add by m2/dev

N6AFP3EA6A N6AFP3EA6A

URI	`m2://inv/N6AFP3EA6A`
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#1CE2 (statement). In JW8HH6EPG2/e1, proposition 4.6

History

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

N6AFZ0D2R0 N6AFZ0D2R0

URI	`m2://inv/N6AFZ0D2R0`
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.37489#0M8K (statement). In 5ZC91T5PHQ/e1, proposition

History

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

Soifer Graph N6AN458M4D

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

Mentions

wikidata: Wikidata Q3115533, Soifer Graph (unknown). Also House of Graphs 1327, MathWorld SoiferGraph

History

2026-10-26: add by m2/dev

Sergei Novikov N6AQCFXRK3

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#I2WU, Sergei Novikov (topic)

History

2026-11-02: add by m2/dev

N6ARAW8MXM N6ARAW8MXM

URI	`m2://inv/N6ARAW8MXM`
Kind	statement
Layer	research
MSC	19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28295#115W (statement)

History

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

Iris flower data set N6B01HJJ9X

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

Mentions

wikipedia: Wikipedia Iris flower data set, Iris flower data set (definition). Also Wikidata Q4203254

History

2026-11-02: add by m2/dev

Joseph H. Silverman N6B20DZMQ8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MUW7, Joseph H. Silverman (topic)

History

2026-11-02: add by m2/dev

Yield surface N6BBG5GWRT

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

Mentions

wikipedia: Wikipedia Yield surface, Yield surface (definition). Also Wikidata Q2288902

History

2026-11-02: add by m2/dev

Édouard Guillaume N6BERQF27N

URI	`m2://inv/N6BERQF27N`
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#7CUL, Édouard Guillaume (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#88KD, Édouard Guillaume (unknown)

History

2026-11-02: add by m2/dev

Ishango bone N6BJ7JZ6G1

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

Mentions

wikidata: Wikidata Q1077717, Ishango bone (unknown). Also MathWorld IshangoBone
wikipedia: Wikipedia Ishango bone, Ishango bone (definition). Also Wikidata Q1077717

History

2026-10-26: add by m2/dev

Riemann–Roch theorem for algebraic curves N6BWRBS640

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

Mentions

wikipedia: Wikipedia Riemann–Roch theorem#ECAS, Riemann–Roch theorem for algebraic curves (statement)

History

2026-11-02: add by m2/dev

N6BX3WHRMP N6BX3WHRMP

URI	`m2://inv/N6BX3WHRMP`
Kind	statement
Layer	research
MSC	05-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.20663#7Q0E (statement). In AZMX0CY5NE/e1, corollary 15

History

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

Endoxa N6CAXPNR2N

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

Mentions

wikipedia: Wikipedia Topics (Aristotle)#8HCR, Endoxa (unknown)

History

2026-11-02: add by m2/dev

N6CJXK0MVC N6CJXK0MVC

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

Mentions

arxiv: arXiv 2609.26357#W7SC (statement)

History

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

N6CR8W7PTT N6CR8W7PTT

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

Mentions

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

History

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

Directed half-line N6CRJ5JWS1

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

Mentions

wikipedia: Wikipedia Orientation (vector space)#06C9, Directed half-line (unknown)

History

2026-11-02: add by m2/dev

Replacing a realization N6CYQBD3KV

URI	`m2://inv/N6CYQBD3KV`
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.02216#LUK5, Replacing a realization (statement). In 34JGRZ2M5F/e1, lemma 2.2

History

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

Geodetic datum N6D0B1EY3Y

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

Mentions

wikipedia: Wikipedia Geodetic datum, Geodetic datum (definition). Also Wikidata Q1502887

History

2026-11-02: add by m2/dev

Polar action N6D3JSEK21

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

Mentions

wikipedia: Wikipedia Polar action, Polar action (definition). Also Wikidata Q7209059

History

2026-11-02: add by m2/dev

N6D5Q02FAT N6D5Q02FAT

URI	`m2://inv/N6D5Q02FAT`
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.08935#4R5G (statement). In G02N9D40B9/e1, lemma 4.4.3

History

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

Properties N6DBPBGFHZ

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

Mentions

wikipedia: Wikipedia Hyperbolic triangle#HXW9, Properties (statement)

History

2026-11-02: add by m2/dev

Matlis module N6DGK9M1M2

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

Mentions

wikipedia: Wikipedia Glossary of module theory#WG6B, Matlis module (definition)

History

2026-11-02: add by m2/dev

Claudia Sagastizábal N6DGN9TJK3

URI	`m2://inv/N6DGN9TJK3`
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#XF4R, Claudia Sagastizábal (unknown)

History

2026-11-02: add by m2/dev

Law N6DGW5Z5X8

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

Mentions

wikipedia: Wikipedia Stochastic process#AR50, Law (statement)

History

2026-11-02: add by m2/dev

Madhava's correction term N6DV0M61HP

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

Mentions

wikipedia: Wikipedia Madhava's correction term, Madhava's correction term (definition). Also Wikidata Q116550391

History

2026-11-02: add by m2/dev

Weighted matrix criterion N6DVCEXD52

URI	`m2://inv/N6DVCEXD52`
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.10993#BY9C, Weighted matrix criterion (statement). In 1JCPN0K7DB/e1, theorem 4.6

History

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

Equality profile N6DWSA6M0W

URI	`m2://inv/N6DWSA6M0W`
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.38993#3BD9, Equality profile (statement). In AFKQK866Y1/e1, lemma 4.1

History

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

Many different measures N6E6ACG6VF

URI	`m2://inv/N6E6ACG6VF`
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 2204.09167#A2NK, Many different measures (statement). In S1MENYEAG5/e1, lemma 8.4

History

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

Smith–Waterman algorithm N6E8PHTASV

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

Mentions

wikipedia: Wikipedia List of algorithms#KBUR, Smith–Waterman algorithm (definition)

History

2026-11-02: add by m2/dev

N6EAQNTYFM N6EAQNTYFM

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

Mentions

arxiv: arXiv 2610.21872#BK91 (statement). In HEA1ME2ZE4/e1, theorem 10

History

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

cyclic code N6ECJSC9K1

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

Mentions

wikidata: Wikidata Q245464, cyclic code (unknown). Also MathWorld CyclicCode
wikipedia: Wikipedia Cyclic code, Cyclic code (definition). Also Wikidata Q245464

History

2026-10-26: add by m2/dev

N6ER8WWR0Y N6ER8WWR0Y

URI	`m2://inv/N6ER8WWR0Y`
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.03555#JX9S (statement). In 9JZJTRRVR1/e1, corollary 3.5

History

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

Proper morphism N6F0FTVCQ7

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#9483, Proper morphism (definition)

History

2026-11-02: add by m2/dev

Mariangiola Dezani-Ciancaglini N6F26JPEDW

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

Mentions

wikipedia: Wikipedia Mariangiola Dezani-Ciancaglini, Mariangiola Dezani-Ciancaglini (topic). Also Wikidata Q62559737

History

2026-11-02: add by m2/dev

N6F4WNHPMX N6F4WNHPMX

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

Mentions

arxiv: arXiv 2609.31604#B915 (statement). In GSN5YTQS2K/e1, lemma 3.32

History

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

Ground state N6F4Y448ZX

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

Mentions

wikipedia: Wikipedia List of algorithms#G16U, Ground state (unknown)

History

2026-11-02: add by m2/dev

N6F6EX0QS8 N6F6EX0QS8

URI	`m2://inv/N6F6EX0QS8`
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 2101.07846#YVTF (statement). In 9XTXH6H1N7/e1, theorem 0.1

History

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

N6F70MHE6S N6F70MHE6S

URI	`m2://inv/N6F70MHE6S`
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.31556#6F78 (statement). In 1VBEMR0JXH/e1, theorem A

History

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

Generalizations N6F92SFPPA

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

Mentions

wikipedia: Wikipedia Direct product of groups#IAFY, Generalizations (statement)

History

2026-11-02: add by m2/dev

N6FBAQCNBR N6FBAQCNBR

URI	`m2://inv/N6FBAQCNBR`
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.25345#T9UT (statement)

History

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

△ N6FBP31M8G

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

Mentions

wikipedia: Wikipedia Glossary of set theory#640S, △ (definition)

History

2026-11-02: add by m2/dev

N6FE7KZAR8 N6FE7KZAR8

URI	`m2://inv/N6FE7KZAR8`
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.06461#F78D (statement). In QXY3W2JV2N/e1, proposition 3.13

History

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

Definition N6FEQN2G35

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

Mentions

wikipedia: Wikipedia Concrete category#BK2O, Definition (definition)

History

2026-11-02: add by m2/dev

N6FM3FGG87 N6FM3FGG87

URI	`m2://inv/N6FM3FGG87`
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.02570#HIII (statement). In 6JK30RQ1SX/e1, proposition 7.1

History

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

Algorithms N6FQD0QRT4

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

Mentions

wikipedia: Wikipedia K-medoids#1Q2E, Algorithms (definition)

History

2026-11-02: add by m2/dev

N6FSTZFYH5 N6FSTZFYH5

URI	`m2://inv/N6FSTZFYH5`
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#Z443 (definition). In A1GWWGRXPA/e1, definition 3.21

History

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

Mlpack N6FWHGAR94

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#61W9, Mlpack (unknown)

History

2026-11-02: add by m2/dev

N6FXBGSSCA N6FXBGSSCA

URI	`m2://inv/N6FXBGSSCA`
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#1PX3 (statement). In HX63A1PH1W/e1, corollary 6.40

History

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

error function N6FZ00Z075

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

Mentions

active_calculus: active_calculus index/5.5.4/error-function, error function (concept). In 907G4C4EJ1, index, section 5.5.4

History

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

*{Theorem 4.10 N6FZCSFBEW

URI	`m2://inv/N6FZCSFBEW`
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 2405.02275#ZPFE, *{Theorem 4.10 (statement). In 1QXCNGRWV1/e1, theorem 3.10

History

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

elongated square cupola N6G0E2GZTV

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

Mentions

wikidata: Wikidata Q423153, elongated square cupola (object). Also MathWorld ElongatedSquareCupola
wikipedia: Wikipedia Elongated square cupola, Elongated square cupola (object). Also Wikidata Q423153

History

2026-10-26: add by m2/dev

Galbraith plot N6G1DV6KS6

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

Mentions

wikipedia: Wikipedia Galbraith plot, Galbraith plot (definition). Also Wikidata Q5518213

History

2026-11-02: add by m2/dev

N6G4RTGKSR N6G4RTGKSR

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

Mentions

napkin: napkin tex/rep-theory/characters.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 79.4

History

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

Turbulence N6GEYKN8ZY

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#7ZXM, Turbulence (definition)

History

2026-11-02: add by m2/dev

Vogt–Russell theorem N6GFDW7FQX

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

Mentions

wikipedia: Wikipedia Vogt–Russell theorem, Vogt–Russell theorem (statement). Also Wikidata Q458549

History

2026-11-02: add by m2/dev

N6GH70A8EQ N6GH70A8EQ

URI	`m2://inv/N6GH70A8EQ`
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.21501#0K1X (statement). In 1H64QT301C/e1, lemma 5.3

History

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

Atiyah N6GMG5A5RA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#E3RN, Atiyah (definition)

History

2026-11-02: add by m2/dev

Rudolf Lipschitz N6GMGMRT5G

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

Mentions

wikipedia: Wikipedia List of real analysis topics#U0H2, Rudolf Lipschitz (topic)

History

2026-11-02: add by m2/dev

Simons' theorem N6GTXDP70R

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

Mentions

wikipedia: Wikipedia Ursescu theorem#6QR6, Simons' theorem (statement)

History

2026-11-02: add by m2/dev

K. Ruben Gabriel N6H7K6E3V2

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

Mentions

wikipedia: Wikipedia K. Ruben Gabriel, K. Ruben Gabriel (topic). Also Wikidata Q17309048

History

2026-11-02: add by m2/dev

Marlyn Meltzer N6H96XY893

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

Mentions

wikipedia: Wikipedia Marlyn Meltzer, Marlyn Meltzer (topic). Also Wikidata Q49245

History

2026-11-02: add by m2/dev

Zvi Bern N6HBC9FSM0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#T981, Zvi Bern (unknown)

History

2026-11-02: add by m2/dev

Inverse cosecant N6HF9M32DN

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#JFUC, Inverse cosecant (definition)

History

2026-11-02: add by m2/dev

N6HG712Z34 N6HG712Z34

URI	`m2://inv/N6HG712Z34`
Kind	statement
Layer	research
MSC	35-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.13241#4MJ3 (statement). In DWQWQ5KTEE/e1, lemma 12

History

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

Applications N6HJ6F9GC5

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

Mentions

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

History

2026-11-02: add by m2/dev

Existence of motions in regular points N6J3KX9C13

URI	`m2://inv/N6J3KX9C13`
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.17004#NLEB, Existence of motions in regular points (statement). In XNJGNMS6H0/e1, theorem 4.8

History

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

Burzyński-Yagn criterion N6J4HGEPRG

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

Mentions

wikipedia: Wikipedia Yield surface#GXO4, Burzyński-Yagn criterion (statement)

History

2026-11-02: add by m2/dev

Examples N6J4RFH9PD

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

Mentions

wikipedia: Wikipedia Rademacher complexity#G5U8, Examples (example)

History

2026-11-02: add by m2/dev

Block-product states N6J8ZDES9F

URI	`m2://inv/N6J8ZDES9F`
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.02166#367V, Block-product states (definition). In R6RF3P6D5A/e1, definition 3.9

History

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

N6JHB6AS48 N6JHB6AS48

URI	`m2://inv/N6JHB6AS48`
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.17129#WNRU (statement). In TCZWAMNYCV/e1, theorem 6.14

History

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

N6JSM1CX90 N6JSM1CX90

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-54 (exercise). In E9HS8K3A52, exercise, section 10.5.1

History

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

N6JTR89GQ6 N6JTR89GQ6

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

Mentions

arxiv: arXiv 2610.18302#DM7H (statement). In VJTRH1S4JA/e1, lemma 2.24

History

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

Proposition 1 N6K0ZVT5FP

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

Mentions

wikipedia: Wikipedia Tractatus Logico-Philosophicus#YTIP, Proposition 1 (statement)

History

2026-11-02: add by m2/dev

N6K6YJ0W0Q N6K6YJ0W0Q

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-3.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 3.3

History

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

N6K6Z90EQX N6K6Z90EQX

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-316 (exercise). In VNMV985MXX, exercise, section 6.8

History

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

N6K7E3HKM3 N6K7E3HKM3

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 5.3

History

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

N6KFC65VXV N6KFC65VXV

URI	`m2://inv/N6KFC65VXV`
Kind	statement
Layer	research
MSC	14-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.36509#N09S (statement). In DPJ15KW23C/e1, corollary 7.7

History

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

N6KK2NWDZQ N6KK2NWDZQ

URI	`m2://inv/N6KK2NWDZQ`
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 2604.10080#2G1D (statement). In KM2FWKP93A/e1, theorem 3.5

History

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

Definition of scalar multiplication by an integer N6KKHSPEY1

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

Mentions

wikipedia: Wikipedia Additive map#EGYT, Definition of scalar multiplication by an integer (definition)

History

2026-11-02: add by m2/dev

Uniform distribution on a Stiefel manifold N6KNT4MGKT

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

Mentions

wikipedia: Wikipedia List of probability distributions#6OVI, Uniform distribution on a Stiefel manifold (unknown)

History

2026-11-02: add by m2/dev

N6KR5E2H5S N6KR5E2H5S

URI	`m2://inv/N6KR5E2H5S`
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.02506#9GYW (statement). In 3JKRBZWJ33/e1, corollary 3.4

History

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

Pregeometry (model theory) N6M1X7FP47

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#33TU, Pregeometry (model theory) (definition)

History

2026-11-02: add by m2/dev

Terry Millar N6M3TYNA8B

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

Mentions

wikipedia: Wikipedia Terry Millar, Terry Millar (topic). Also Wikidata Q102079585

History

2026-11-02: add by m2/dev

N6M3Z9ZNWE N6M3Z9ZNWE

URI	`m2://inv/N6M3Z9ZNWE`
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 2012.05048#XJ43 (statement). In NY9HW1E6DY/e1, theorem 1.3

History

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

Carlo Catassi N6M4PEC2DK

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

Mentions

wikipedia: Wikipedia Carlo Catassi, Carlo Catassi (topic). Also Wikidata Q28939689

History

2026-11-02: add by m2/dev

Examples N6M4RA9ZCY

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

Mentions

wikipedia: Wikipedia Like terms#TYET, Examples (example)

History

2026-11-02: add by m2/dev

Sample mean and covariance N6M80446YF

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

Mentions

wikipedia: Wikipedia List of statistics articles#96YT, Sample mean and covariance (definition)

History

2026-11-02: add by m2/dev

N6M8B3K2FY N6M8B3K2FY

URI	`m2://inv/N6M8B3K2FY`
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.30823#KJWF (statement). In 1YHQ9YNQ68/e1, theorem 4.4

History

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

N6M9CPKS55 N6M9CPKS55

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

Mentions

arxiv: arXiv 2411.01837#4X8V (statement). In 2XBYZ1QP22/e1, lemma 2.5

History

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

N6M9JR597Z N6M9JR597Z

URI	`m2://inv/N6M9JR597Z`
Kind	definition
Layer	research
MSC	03-XX, 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 2609.03601#AGHF (definition). In F7TDYCHCSE/e1, definition 2.1

History

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

N6MENK3A42 N6MENK3A42

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

Mentions

wikipedia: Wikipedia Liquid crystal#ZH2U (problem)

History

2026-11-02: add by m2/dev

N6MQT2PQXS N6MQT2PQXS

URI	`m2://inv/N6MQT2PQXS`
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.08357#AHEC (statement). In R9GRCAWHG0/e1, theorem 2.1

History

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

Proposition N6MSX64Z8N

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

Mentions

wikipedia: Wikipedia Manin matrix#TK6M, Proposition (statement)

History

2026-11-02: add by m2/dev

N6MT2JAP0C N6MT2JAP0C

URI	`m2://inv/N6MT2JAP0C`
Kind	definition
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 2510.12502#DS12 (definition). In 3A4K47Y9F2/e1, definition 6.32

History

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

De Bruijn–Erdős theorem (incidence geometry) N6MVJDHRGX

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#2I18, De Bruijn–Erdős theorem (incidence geometry) (statement)
wikipedia: Wikipedia List of theorems#EVUD, De Bruijn–Erdős theorem (incidence geometry) (statement)

History

2026-11-02: add by m2/dev

downward Löwenheim–Skolem theorem N6N09N06YT

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

Mentions

wikipedia: Wikipedia Glossary of logic#EIG4, downward Löwenheim–Skolem theorem (definition)

History

2026-11-02: add by m2/dev

N6N4EGYSSB N6N4EGYSSB

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 30.8

History

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

Dawid Kielak N6N5VA9C9E

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

Mentions

wikipedia: Wikipedia Dawid Kielak, Dawid Kielak (topic). Also Wikidata Q57957939

History

2026-11-02: add by m2/dev

Leon Birnbaum N6N7AN15AS

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

Mentions

wikipedia: Wikipedia Leon Birnbaum, Leon Birnbaum (topic). Also Wikidata Q6524525

History

2026-11-02: add by m2/dev

N6NF6EFZV7 N6NF6EFZV7

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

Mentions

arxiv: arXiv 2610.02935#XZ6I (example). In WE2KKAMEFW/e1, example 3.1

History

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

Biot number N6NFYDX4SS

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

Mentions

wikipedia: Wikipedia Biot number, Biot number (definition). Also Wikidata Q864844

History

2026-11-02: add by m2/dev

N6NN2KE5ME N6NN2KE5ME

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 50.8

History

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

Tony Blankley N6NNYHTNZR

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#U50Y, Tony Blankley (unknown)

History

2026-11-02: add by m2/dev

Matsushima's formula N6NQ17FSEH

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

Mentions

wikipedia: Wikipedia Matsushima's formula, Matsushima's formula (statement). Also Wikidata Q6788198

History

2026-11-02: add by m2/dev

Virtual snowball sampling N6NTKJ7XXB

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

Mentions

wikipedia: Wikipedia Snowball sampling#IKMX, Virtual snowball sampling (unknown)

History

2026-11-02: add by m2/dev

N6NVAB0BNM N6NVAB0BNM

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-18 (example). In E9HS8K3A52, example, section 5.5.2

History

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

N6NY3YDSK8 N6NY3YDSK8

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

Mentions

arxiv: arXiv 2610.17482#WG4R (statement). In BQQK9JDJ9F/e1, proposition 4.4

History

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

Uniform analytic continuation N6NZTD5Q6P

URI	`m2://inv/N6NZTD5Q6P`
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.08980#PK81, Uniform analytic continuation (statement). In X407M6WFNR/e1, lemma C.2

History

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

Integral probability metric N6P15RCHR5

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

Mentions

wikipedia: Wikipedia Integral probability metric, Integral probability metric (definition). Also Wikidata Q123163048

History

2026-11-02: add by m2/dev

Deleted-spine clique book (\dsb N6P3J2ZFVK

URI	`m2://inv/N6P3J2ZFVK`
Kind	definition
Layer	research
MSC	05-XX, 14-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.19669#0FOX, Deleted-spine clique book (\dsb (definition). In 1QPAA94Q76/e1, definition 11

History

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

Diagrammatic reasoning N6PA5Z99FP

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

Mentions

wikipedia: Wikipedia Diagrammatic reasoning, Diagrammatic reasoning (definition). Also Wikidata Q5270387

History

2026-11-02: add by m2/dev

Sibe Mardešić N6PEJDFKCS

URI	`m2://inv/N6PEJDFKCS`
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 Q12642062, Sibe Mardešić (unknown). Also nLab Sibe Mardesic

History

2026-10-26: add by m2/dev

trigonometric identity N6PQ7W308B

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

Mentions

wikidata: Wikidata Q58437145, trigonometric identity (unknown). Also nLab trigonometric identity

History

2026-10-26: add by m2/dev

N6PVZWBK9H N6PVZWBK9H

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

Mentions

arxiv: arXiv 2609.26357#W55K (statement)

History

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

N6Q80GXRMC N6Q80GXRMC

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

Mentions

arxiv: arXiv 2405.09294#Z9FE (statement). In 2WZQC0TKVK/e1, theorem 3.1

History

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

Number One N6Q85YBW0Y

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

Mentions

wikipedia: Wikipedia List of places with numeric names#2077, Number One (unknown)

History

2026-11-02: add by m2/dev

triameter N6Q88M3V1H

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

Mentions

wikidata: Wikidata Q133886647, triameter (unknown). Also MathWorld GraphTriameter
wikipedia: Wikipedia Triameter (graph theory), Triameter (definition). Also Wikidata Q133886647

History

2026-10-26: add by m2/dev

Dutch book arguments N6QB4HGA73

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

Mentions

wikipedia: Wikipedia Dutch book arguments, Dutch book arguments (definition). Also Wikidata Q715108

History

2026-11-02: add by m2/dev

Lifting symbolic certificates N6QKJYPX2W

URI	`m2://inv/N6QKJYPX2W`
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.05442#LLU4, Lifting symbolic certificates (statement). In WEPE51JCHZ/e1, lemma 7.1

History

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

Stephen Halperin N6QP3WBPW3

URI	`m2://inv/N6QP3WBPW3`
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 Q15433104, Stephen Halperin (unknown). Also nLab Stephen Halperin
wikipedia: Wikipedia Stephen Halperin, Stephen Halperin (topic). Also Wikidata Q15433104

History

2026-10-26: add by m2/dev

N6QR9ZJ7J6 N6QR9ZJ7J6

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

Mentions

arxiv: arXiv 2610.21080#17S5 (statement). In DGE917KQSQ/e1, theorem 6.6

History

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

N6QS916Y50 N6QS916Y50

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

Mentions

austin_ula: austin_ula src/section2-4.xml#proposition-2 (statement). In 649HGZKE96, proposition, section 2.4.4

History

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

class of all ordinals N6QZK7PSM4

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

Mentions

wikidata: Wikidata Q122446519, class of all ordinals (definition). Also ProofWiki Definition:Class_of_All_Ordinals

History

2026-10-26: add by m2/dev

N6R2PFMHY9 N6R2PFMHY9

URI	`m2://inv/N6R2PFMHY9`
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.26500#2JAH (statement)

History

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

N6R4AKTSG4 N6R4AKTSG4

URI	`m2://inv/N6R4AKTSG4`
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.08956#DZDA (statement). In DEE631KR3A/e1, lemma 4

History

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

Johan Jensen N6R6WWYX33

URI	`m2://inv/N6R6WWYX33`
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 Q434385, Johan Jensen (unknown). Also ProofWiki Mathematician:Johan_Ludwig_William_Valdemar_Jensen
wikipedia: Wikipedia Johan Jensen (mathematician), Johan Jensen (topic). Also Wikidata Q434385

History

2026-10-26: add by m2/dev

N6REZ86HGB N6REZ86HGB

URI	`m2://inv/N6REZ86HGB`
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.26191#HTJ0 (statement)

History

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

Sinuosity N6RMTSR7KX

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

Mentions

wikipedia: Wikipedia List of curves topics#BPCW, Sinuosity (definition)

History

2026-11-02: add by m2/dev

Frobenius's theorem N6RVV8P8Q0

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

Mentions

wikipedia: Wikipedia Frobenius's theorem (group theory), Frobenius's theorem (statement). Also Wikidata Q25351846

History

2026-11-02: add by m2/dev

Properties N6RW6BPZQG

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

Mentions

wikipedia: Wikipedia Binary entropy function#8F4C, Properties (statement)

History

2026-11-02: add by m2/dev

N6RXWYMK46 N6RXWYMK46

URI	`m2://inv/N6RXWYMK46`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-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.23884#AE8R (statement)

History

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

Computation N6S4C3B88F

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

Mentions

wikipedia: Wikipedia Rainbow-independent set#3YTT, Computation (definition)

History

2026-11-02: add by m2/dev

Theorem N6S5204RFN

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

Mentions

wikipedia: Wikipedia Kostant polynomial#JZ8P, Theorem (statement)

History

2026-11-02: add by m2/dev

Sign rigidity N6S7XG90T3

URI	`m2://inv/N6S7XG90T3`
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.04989#EZ6O, Sign rigidity (statement). In 1T4SYTCKW8/e1, proposition 1

History

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

Corners theorem N6S8FR2EYF

URI	`m2://inv/N6S8FR2EYF`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q5171652, Corners theorem (statement). Also Mathlib corners_theorem_nat, Wikidata Q5171652
mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Corners theorem, Corners theorem (unknown). Also Mathlib corners_theorem_nat
thousand_plus: thousand_plus Q5171652, Corners theorem (statement). Also Mathlib corners_theorem_nat, Wikidata Q5171652, Wikipedia Corners theorem
wikipedia: Wikipedia Corners theorem, Corners theorem (statement). Also Wikidata Q5171652

History

2026-10-26: add by m2/dev

Quantum harmonic oscillator N6SD0WTVSG

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#O8ST, Quantum harmonic oscillator (definition)

History

2026-11-02: add by m2/dev

function, one-to-one N6SKKXSHRG

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

Mentions

applied_combinatorics: applied_combinatorics index/B.4/function-one-to-one, function, one-to-one (concept). In QKM9DD2H56, index, section B.4

History

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

N6SQ1HR72P N6SQ1HR72P

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

Mentions

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

History

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

Definition N6T65MXY7F

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

Mentions

wikipedia: Wikipedia Young's modulus#J665, Definition (definition)

History

2026-11-02: add by m2/dev

Linear independence across all parameter contributions N6TAS75GD2

URI	`m2://inv/N6TAS75GD2`
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.04357#IPYP, Linear independence across all parameter contributions (statement). In 6FY8BVP1F3/e1, lemma G.1

History

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

Superposition principle N6TEDN31YS

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

Mentions

wikipedia: Wikipedia Electric field#EJ3B, Superposition principle (statement)

History

2026-11-02: add by m2/dev

Hermite correlation N6TRR2CW3N

URI	`m2://inv/N6TRR2CW3N`
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.39408#RPKP, Hermite correlation (statement). In T8E6F01RTM/e1, lemma H.2

History

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

N6TW1PJJ47 N6TW1PJJ47

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

Mentions

open_logic: open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 33.3

History

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

Alfred Galichon N6TZRKSDEV

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

Mentions

wikipedia: Wikipedia Alfred Galichon, Alfred Galichon (topic). Also Wikidata Q33113965

History

2026-11-02: add by m2/dev

N6V4ENE8RE N6V4ENE8RE

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 10.2.5

History

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

N6V9WVBSYF N6V9WVBSYF

URI	`m2://inv/N6V9WVBSYF`
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.10927#JJGQ (statement). In DHEJP3YATV/e1, proposition 4

History

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

Weddle surface N6VAMW2GES

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#HR03, Weddle surface (definition)

History

2026-11-02: add by m2/dev

N6VDJFNH5H N6VDJFNH5H

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

Mentions

hott_book: hott_book setmath.tex#lem-1 (statement). In N54F33XE07, lem, section C.1.2

History

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

N6VFXKSHCZ N6VFXKSHCZ

URI	`m2://inv/N6VFXKSHCZ`
Kind	definition
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#79NV (definition). In CY1FE8W1ZW/e1, definition 0.213

History

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

Examples N6VH9YAF68

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

Mentions

wikipedia: Wikipedia Kullback–Leibler divergence#BXCE, Examples (example)

History

2026-11-02: add by m2/dev

contraction mapping principle N6VQEFWYMP

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

Mentions

lebl_ra: lebl_ra index/4.6.1/contraction-mapping-principle, contraction mapping principle (concept). In E59CDZA4DP, index, section 4.6.1

History

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

Metamath N6VR896JYC

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

Mentions

wikidata: Wikidata Q6822975, Metamath (unknown). Also nLab Metamath
wikipedia: Wikipedia Metamath, Metamath (definition). Also Wikidata Q6822975

History

2026-10-26: add by m2/dev

Cdots N6W54D4XYT

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

Mentions

wikipedia: Wikipedia Ellipsis#92B2, Cdots (unknown)

History

2026-11-02: add by m2/dev

Wilburton Number One, Pennsylvania N6W9NJFH4S

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

Mentions

wikipedia: Wikipedia List of places with numeric names#GSS7, Wilburton Number One, Pennsylvania (unknown)

History

2026-11-02: add by m2/dev

N6WCNBKRGM N6WCNBKRGM

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

Mentions

arxiv: arXiv 2610.22040#GBRG (statement). In 2QP93JHYNB/e1, lemma 4.8

History

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

Johann Gottlieb Fichte N6WCV2SVKW

URI	`m2://inv/N6WCV2SVKW`
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 Q102585, Johann Gottlieb Fichte (unknown). Also nLab Johann Fichte

History

2026-10-26: add by m2/dev

N6WE1A6K9B N6WE1A6K9B

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

Mentions

arxiv: arXiv 2211.01586#C8H2 (proof). In P39MF3ZJC0/e1, proof

History

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

N6WE9B54D3 N6WE9B54D3

URI	`m2://inv/N6WE9B54D3`
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.35325#OW1Q (statement). In GHT5WXFA4E/e1, lemma 4.1

History

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

Applications N6WMG96KC1

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

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#C7BK, Applications (example)

History

2026-11-02: add by m2/dev

Alternative definition N6WMVQY51G

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

Mentions

wikipedia: Wikipedia Chinese restaurant process#YICV, Alternative definition (definition)

History

2026-11-02: add by m2/dev

N6WSPDJ54H N6WSPDJ54H

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

Mentions

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

History

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

N6X2X4G5P0 N6X2X4G5P0

URI	`m2://inv/N6X2X4G5P0`
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.29943#5ADM (statement)

History

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

Exponentially modified Gaussian distribution N6XA027TJV

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

Mentions

wikipedia: Wikipedia List of probability distributions#42M7, Exponentially modified Gaussian distribution (definition)

History

2026-11-02: add by m2/dev

Domination Sombor Index N6XE22W9KQ

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

Mentions

arxiv: arXiv 2610.10221#FHRT, Domination Sombor Index (definition). In 9Z5M655EPV/e1, definition 2.7

History

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

Properties N6XR7X2QMD

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

Mentions

wikipedia: Wikipedia Divergence#XS4I, Properties (statement)

History

2026-11-02: add by m2/dev

N6XSJ9C7J9 N6XSJ9C7J9

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

Mentions

arxiv: arXiv 2610.01946#7C8Z (definition). In NB1Z31FMXN/e1, definition 3.11

History

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

N6XW1MMWB7 N6XW1MMWB7

URI	`m2://inv/N6XW1MMWB7`
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.15992#YIKC (statement). In P74TAV3ME5/e1, lemma 3.1

History

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

The fundamental triangle's full symmetry group N6XZ2A2CHM

URI	`m2://inv/N6XZ2A2CHM`
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.25120#RB1I, The fundamental triangle's full symmetry group (statement)

History

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

Left-symmetric superalgebras N6Y0G4X39X

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

Mentions

arxiv: arXiv 2610.12489#KEWI, Left-symmetric superalgebras (definition). In FDWFVD08SE/e1, definition 2.13

History

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

Three Mile Rock N6Y50NJ14A

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

Mentions

wikipedia: Wikipedia List of places with numeric names#MT6O, Three Mile Rock (unknown)

History

2026-11-02: add by m2/dev

near invariance to signed sums N6YC2JVS1Y

URI	`m2://inv/N6YC2JVS1Y`
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.20979#JLLR, near invariance to signed sums (statement)

History

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

Wedge N6YQKQRV0H

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

Mentions

wikipedia: Wikipedia Wedge (symbol), Wedge (definition). Also Wikidata Q19361600

History

2026-11-02: add by m2/dev

Noncentral chi-squared distribution N6YS3CG7RE

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

Mentions

wikipedia: Wikipedia Noncentral chi-squared distribution, Noncentral chi-squared distribution (definition). Also Wikidata Q1052990

History

2026-11-02: add by m2/dev

N6YT233YEH N6YT233YEH

URI	`m2://inv/N6YT233YEH`
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.05506#J5OA (statement). In FT53PMB1TE/e1, lemma 4.3.1

History

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

N6YTFB90MM N6YTFB90MM

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

Mentions

lebl_scv: lebl_scv scv.tex#example-20 (example). In VNMV985MXX, example, section 6.5

History

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

N6YZ4NERVB N6YZ4NERVB

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#definition-5 (definition). In RZP28ERRZV, definition, section 14.5

History

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

N6YZCXKKRK N6YZCXKKRK

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-4 (exercise). In P1C114YBXG, problem, section G

History

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

N6Z5ZPTPPY N6Z5ZPTPPY

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

Mentions

arxiv: arXiv 2404.06445#RUP4 (statement). In 12JKZ8EN52/e1, lemma 7.6

History

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

Lp space N6Z7MDS87A

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

Mentions

wikipedia: Wikipedia List of vector spaces in mathematics#SNZM, Lp space (definition)
wikipedia: Wikipedia List of functional analysis topics#WYBO, Lp space (definition)
wikipedia: Wikipedia List of integration and measure theory topics#COG6, Lp space (definition)

History

2026-11-02: add by m2/dev

Linear function N6Z9MKVZQ6

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

Mentions

wikipedia: Wikipedia Linear function, Linear function (definition). Also Wikidata Q15854269

History

2026-11-02: add by m2/dev